Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact 2024-07-05 | OPTIMUM | 1819.87 | 1824.41 |
| Name | PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo |
| MD5SUM | bc45bcdbecbc5e781b95a5731515dca1 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 143.802 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4960 |
| Total number of constraints | 16157 |
| Number of soft constraints | 5468 |
| Number of constraints which are clauses | 15841 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 316 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 30 |
| Top cost | 278200 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 278199 |
| Biggest number in a constraint | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 201 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.18 o 11517 0.10/0.19 o 11205 0.10/0.19 o 11126 0.10/0.19 o 11079 0.10/0.19 o 11077 0.10/0.20 o 10987 0.10/0.20 o 10952 0.10/0.20 o 10907 0.10/0.21 o 10843 0.10/0.21 o 10766 0.21/0.22 o 10749 0.21/0.22 o 10739 0.21/0.22 o 10670 0.21/0.23 o 10658 0.21/0.23 o 10643 0.21/0.24 o 10608 0.21/0.24 o 10593 0.21/0.25 o 10556 0.21/0.26 o 10545 0.21/0.27 o 10510 0.21/0.29 o 10469 0.21/0.30 o 10458 0.31/0.33 o 10380 0.31/0.37 o 10378 0.31/0.37 o 10361 0.31/0.37 o 10351 0.31/0.38 o 10316 0.31/0.42 o 10304 0.68/0.79 o 10302 0.68/0.79 o 10297 0.88/0.93 o 10223 1.09/1.16 o 10147 1.49/1.54 o 10143 1.49/1.55 o 10133 1.59/1.60 o 10118 1.79/1.82 o 10053 2.10/2.12 o 10022 2.38/2.40 o 10010 2.38/2.41 o 10009 2.38/2.41 o 10003 2.38/2.43 o 9944 2.48/2.52 o 9929 3.18/3.20 o 9924 3.29/3.37 o 9883 3.48/3.60 o 9872 3.78/3.80 o 9817 4.09/4.14 o 9813 4.18/4.23 o 9798 4.28/4.38 o 9757 5.57/5.60 o 9745 5.57/5.60 o 9734 5.67/5.77 o 9693 5.87/5.92 o 9688 6.37/6.40 o 9647 6.77/6.89 o 9585 7.37/7.41 o 9577 7.37/7.42 o 9566 7.37/7.47 o 9551 8.08/8.19 o 9543 8.37/8.46 o 9542 8.56/8.60 o 9541 8.56/8.60 o 9537 8.56/8.62 o 9527 8.77/8.82 o 9507 11.66/11.74 o 9461 12.75/12.82 o 9453 12.75/12.84 o 9448 12.96/13.04 o 9438 12.96/13.08 o 9431 13.25/13.37 o 9416 15.34/15.46 o 9415 16.45/16.59 o 9401 19.34/19.40 o 9395 19.34/19.41 o 9390 19.44/19.58 o 9375 19.84/19.96 o 9365 19.84/19.98 o 9343 21.44/21.55 o 9342 23.22/23.39 o 9297 23.52/23.63 o 9291 26.62/26.75 o 9290 26.62/26.77 o 9268 27.12/27.20 o 9246 27.31/27.45 o 9227 31.60/31.70 o 9192 37.29/37.44 o 9179 37.29/37.44 o 9159 37.29/37.45 o 9018 37.29/37.45 o 9003 37.29/37.47 o 8898 37.29/37.47 o 8841 37.29/37.48 o 8835 37.29/37.49 o 8809 37.39/37.54 o 8777 37.39/37.59 o 8670 37.39/37.59 o 8582 37.49/37.60 o 8552 37.49/37.63 o 8498 37.49/37.66 o 8468 38.00/38.12 o 8465 39.38/39.51 o 8412 39.78/39.99 o 8402 39.78/40.00 o 8398 39.78/40.01 o 8381 40.48/40.69 o 8365 40.48/40.69 o 8359 40.58/40.70 o 8358 40.58/40.74 o 8343 41.78/41.92 o 8338 41.78/41.93 o 8330 64.93/65.12 o 8250 72.10/72.34 o 8228 74.09/74.31 o 8183 85.88/86.12 o 8176 87.26/87.52 o 8174 87.36/87.63 o 8173 87.36/87.65 o 8171 87.66/87.95 o 8170 87.66/87.95 o 8160 87.66/87.96 o 8158 102.52/102.88 o 8107 102.62/102.90 o 8074 102.62/102.94 o 8066 102.73/103.09 o 8055 102.92/103.29 o 8050 103.52/103.82 o 8035 103.52/103.82 o 8034 103.62/103.96 o 8033 121.27/121.60 o 8024 121.37/121.74 o 8018 121.37/121.74 o 8016 121.37/121.75 o 7991 121.37/121.75 o 7989 121.57/121.98 o 7985 121.57/121.98 o 7976 121.68/122.05 o 7965 121.68/122.06 o 7959 121.68/122.09 o 7943 121.68/122.10 o 7942 121.78/122.13 o 7933 121.78/122.13 o 7931 121.78/122.14 o 7927 121.78/122.14 o 7925 121.78/122.15 o 7919 121.78/122.15 o 7917 121.78/122.16 o 7885 121.78/122.17 o 7883 121.78/122.17 o 7866 121.78/122.18 o 7852 121.78/122.19 o 7831 121.87/122.20 o 7829 121.87/122.20 o 7828 121.87/122.21 o 7823 121.87/122.22 o 7805 121.87/122.22 o 7777 121.87/122.23 o 7744 121.87/122.24 o 7742 121.87/122.24 o 7723 121.87/122.24 o 7721 121.87/122.25 o 7700 121.87/122.26 o 7698 121.97/122.31 o 7695 122.07/122.48 o 7683 122.07/122.48 o 7676 122.17/122.52 o 7667 122.17/122.56 o 7660 122.27/122.66 o 7653 122.27/122.66 o 7637 122.37/122.72 o 7631 122.37/122.72 o 7622 122.37/122.72 o 7617 122.37/122.75 o 7616 122.37/122.75 o 7597 122.37/122.76 o 7582 122.37/122.76 o 7577 122.37/122.77 o 7554 122.57/122.94 o 7539 122.57/122.94 o 7534 122.68/123.03 o 7531 122.68/123.03 o 7516 122.68/123.04 o 7511 122.96/123.32 o 7500 123.06/123.43 o 7498 123.06/123.44 o 7478 123.36/123.75 o 7468 124.36/124.74 o 7461 142.41/142.81 o 7422 142.91/143.33 o 7421 143.01/143.44 o 7420 165.25/165.72 o 7419 165.25/165.73 o 7418 165.25/165.73 o 7416 165.35/165.86 o 7397 165.35/165.86 o 7388 165.45/165.92 o 7332 165.45/166.00 o 7327 165.56/166.06 o 7323 165.56/166.11 o 7249 165.66/166.12 o 7246 165.66/166.12 o 7239 165.66/166.13 o 7236 165.66/166.13 o 7217 165.66/166.14 o 7130 165.66/166.15 o 7063 165.66/166.16 o 7057 165.66/166.18 o 7030 165.75/166.21 o 7028 165.75/166.22 o 6994 165.75/166.22 o 6990 165.85/166.32 o 6980 165.94/166.47 o 6968 166.04/166.57 o 6907 166.14/166.60 o 6904 166.14/166.60 o 6902 166.14/166.60 o 6885 166.24/166.70 o 6788 166.24/166.77 o 6769 166.34/166.81 o 6713 166.34/166.87 o 6663 166.34/166.87 o 6651 166.34/166.87 o 6642 166.34/166.88 o 6638 166.34/166.89 o 6611 166.44/166.97 o 6567 166.55/167.03 o 6490 166.65/167.13 o 6432 166.65/167.13 o 6413 166.65/167.14 o 6397 166.65/167.14 o 6395 166.65/167.15 o 6367 166.65/167.17 o 6365 166.74/167.24 o 6278 166.84/167.33 o 6246 167.14/167.65 o 6214 167.44/167.94 o 6128 168.84/169.36 o 6127 168.84/169.37 o 6118 168.84/169.37 o 6114 179.90/180.43 o 6111 179.90/180.43 o 6110 180.00/180.59 o 6102 180.90/181.42 o 6101 181.11/181.60 o 6100 181.51/182.05 o 6097 181.51/182.05 o 6095 181.51/182.07 o 6083 181.51/182.08 o 6064 181.51/182.09 o 5992 181.51/182.10 o 5986 181.51/182.11 o 5978 181.61/182.11 o 5953 181.61/182.11 o 5888 181.61/182.13 o 5883 181.61/182.13 o 5882 181.61/182.14 o 5867 181.61/182.14 o 5864 181.61/182.14 o 5860 181.61/182.16 o 5852 181.70/182.22 o 5837 181.70/182.23 o 5821 181.70/182.24 o 5813 181.70/182.26 o 5803 181.70/182.27 o 5786 181.70/182.27 o 5770 181.70/182.29 o 5748 182.90/183.48 o 5745 182.90/183.49 o 5741 183.00/183.51 o 5669 183.00/183.56 o 5666 183.00/183.60 o 5665 183.09/183.68 o 5657 183.19/183.70 o 5650 183.19/183.75 o 5646 183.29/183.87 o 5644 183.39/183.96 o 5631 183.50/184.10 o 5630 183.50/184.10 o 5626 183.61/184.12 o 5608 183.99/184.57 o 5564 184.09/184.64 o 5555 184.19/184.77 o 5547 184.19/184.77 o 5544 185.79/186.32 o 5537 185.79/186.33 o 5520 186.99/187.50 o 5502 186.99/187.51 o 5495 186.99/187.53 o 5477 191.27/191.84 o 5455 217.00/217.65 o 5409 217.00/217.66 o 5322 217.30/217.90 o 5304 217.70/218.33 o 5287 218.41/219.05 o 5283 218.41/219.07 o 5280 281.60/282.40 o 5250 292.96/293.86 o 5198 321.20/322.19 o 5197 321.20/322.19 o 5196 322.69/323.61 o 5195 322.69/323.61 o 5192 322.69/323.62 o 5191 322.69/323.64 o 5181 322.79/323.71 o 5179 322.79/323.71 o 5168 322.79/323.73 o 5129 322.79/323.76 o 5127 322.79/323.78 o 5099 322.79/323.78 o 5095 322.79/323.80 o 5079 322.89/323.80 o 5074 322.89/323.80 o 5067 322.89/323.81 o 5046 322.89/323.81 o 5036 322.89/323.83 o 5015 322.89/323.86 o 5014 322.89/323.87 o 5005 322.89/323.88 o 5004 322.89/323.88 o 4994 322.99/323.93 o 4990 322.99/323.93 o 4981 323.10/324.08 o 4970 323.20/324.16 o 4967 323.20/324.17 o 4965 323.28/324.20 o 4962 323.28/324.21 o 4957 323.28/324.21 o 4951 323.28/324.27 o 4949 323.28/324.28 o 4947 323.28/324.28 o 4937 323.28/324.28 o 4934 323.28/324.29 o 4932 323.28/324.29 o 4930 323.28/324.29 o 4926 323.38/324.32 o 4924 323.38/324.32 o 4919 323.38/324.32 o 4915 323.38/324.33 o 4914 323.48/324.47 o 4913 323.48/324.47 o 4912 323.48/324.48 o 4910 323.68/324.62 o 4909 323.68/324.62 o 4897 323.68/324.63 o 4893 323.68/324.65 o 4891 323.68/324.66 o 4890 323.68/324.68 o 4889 323.68/324.68 o 4888 323.78/324.74 o 4887 323.78/324.75 o 4886 323.78/324.75 o 4879 323.78/324.75 o 4878 323.98/325.01 o 4877 324.09/325.01 o 4876 324.09/325.02 o 4872 324.09/325.03 o 4870 324.09/325.03 o 4869 324.48/325.41 o 4867 324.58/325.50 o 4865 325.19/326.13 o 4862 325.19/326.13 o 4857 325.19/326.14 o 4853 325.19/326.15 o 4847 325.19/326.15 o 4846 325.47/326.42 o 4845 325.47/326.42 o 4841 325.47/326.44 o 4838 326.37/327.36 o 4837 326.37/327.37 o 4832 326.67/327.61 o 4831 326.67/327.69 o 4830 327.57/328.58 o 4828 327.57/328.59 o 4827 327.67/328.61 o 4811 327.67/328.62 o 4806 327.67/328.62 o 4795 327.67/328.62 o 4793 327.67/328.63 o 4789 327.67/328.63 o 4788 327.67/328.64 o 4780 327.67/328.65 o 4777 327.67/328.66 o 4775 327.67/328.69 o 4773 327.77/328.71 o 4758 327.77/328.72 o 4754 328.27/329.23 o 4750 328.27/329.24 o 4737 328.27/329.27 o 4736 328.27/329.27 o 4735 328.27/329.28 o 4732 328.37/329.31 o 4728 328.37/329.37 o 4720 328.37/329.38 o 4716 329.47/330.43 o 4715 329.47/330.43 o 4714 335.35/336.37 o 4709 336.07/337.05 o 4702 336.07/337.10 o 4650 336.25/337.30 o 4642 423.04/424.25 o 4570 423.04/424.26 o 4563 423.13/424.34 o 4523 423.13/424.36 o 4520 423.23/424.41 o 4488 423.33/424.55 o 4480 423.33/424.57 o 4479 423.33/424.57 o 4472 439.30/440.59 o 4466 439.40/440.61 o 4460 439.40/440.62 o 4459 439.91/441.11 o 4452 439.91/441.12 o 4443 439.91/441.14 o 4434 439.91/441.15 o 4431 439.91/441.16 o 4424 471.62/472.95 o 4360 471.62/472.97 o 4271 471.73/473.05 o 4257 471.83/473.16 o 4255 472.91/474.26 o 4234 499.76/501.15 o 4231 538.67/540.19 o 4221 538.67/540.19 o 4213 542.74/544.28 o 4211 595.22/596.85 o 4133 595.22/596.89 o 4126 595.42/597.09 o 4125 595.42/597.09 o 4123 595.52/597.13 o 4110 595.52/597.15 o 4106 601.30/602.95 o 4087 656.97/658.71 o 4086 656.97/658.72 o 4076 656.97/658.72 o 4073 656.97/658.74 o 4066 656.97/658.75 o 4063 656.97/658.75 o 4028 656.97/658.76 o 4026 656.97/658.77 o 4021 656.97/658.77 o 4015 657.07/658.88 o 4014 657.07/658.89 o 4013 657.17/658.93 o 4010 657.17/658.93 o 4003 657.17/658.93 o 4002 657.17/658.94 o 3993 657.17/658.94 o 3992 657.17/658.95 o 3976 657.17/658.95 o 3975 657.17/658.97 o 3953 657.17/658.97 o 3937 657.17/658.98 o 3932 657.17/658.98 o 3901 657.17/658.98 o 3886 657.17/658.99 o 3879 657.17/658.99 o 3873 657.17/659.00 o 3870 657.28/659.02 o 3844 657.28/659.02 o 3804 657.28/659.03 o 3791 657.56/659.31 o 3790 657.56/659.33 o 3783 657.56/659.37 o 3781 657.56/659.37 o 3774 657.56/659.38 o 3771 657.56/659.38 o 3770 657.56/659.38 o 3768 657.56/659.39 o 3741 657.56/659.39 o 3739 657.66/659.41 o 3737 657.66/659.41 o 3720 657.66/659.42 o 3719 657.66/659.42 o 3716 657.66/659.42 o 3713 657.66/659.43 o 3710 657.66/659.43 o 3703 657.66/659.44 o 3702 657.66/659.49 o 3686 657.66/659.49 o 3677 657.76/659.51 o 3671 657.76/659.53 o 3664 657.76/659.58 o 3661 657.76/659.58 o 3656 657.76/659.58 o 3652 657.76/659.59 o 3651 657.76/659.59 o 3647 657.86/659.60 o 3643 657.86/659.60 o 3639 657.86/659.61 o 3637 657.86/659.61 o 3634 657.86/659.62 o 3630 657.96/659.70 o 3628 657.96/659.71 o 3622 657.96/659.71 o 3615 657.96/659.71 o 3614 657.96/659.72 o 3610 657.96/659.72 o 3609 657.96/659.72 o 3605 657.96/659.73 o 3604 657.96/659.73 o 3603 657.96/659.73 o 3599 657.96/659.76 o 3593 657.96/659.77 o 3592 657.96/659.78 o 3591 657.96/659.78 o 3585 657.96/659.78 o 3580 657.96/659.78 o 3577 657.96/659.79 o 3576 657.96/659.79 o 3573 657.96/659.79 o 3571 657.96/659.80 o 3541 658.06/659.82 o 3540 658.06/659.82 o 3539 658.06/659.82 o 3538 658.06/659.89 o 3536 658.16/659.90 o 3531 658.16/659.90 o 3523 658.16/659.90 o 3521 658.16/659.91 o 3520 658.16/659.92 o 3519 658.16/659.92 o 3471 658.16/659.93 o 3469 658.16/659.94 o 3467 658.16/659.97 o 3421 658.16/659.97 o 3391 658.16/659.97 o 3378 665.94/667.72 o 3373 665.94/667.73 o 3372 667.64/669.43 o 3357 671.54/673.31 o 3355 685.21/687.07 o 3353 685.21/687.09 o 3351 685.31/687.12 o 3343 685.31/687.14 o 3338 685.50/687.36 o 3334 685.50/687.38 o 3333 685.50/687.39 o 3324 715.93/717.89 o 3229 716.03/717.91 o 3184 716.03/717.92 o 3168 716.14/718.03 o 3105 716.52/718.48 o 3099 735.67/737.65 o 3095 735.67/737.67 o 3091 767.30/769.33 o 3012 767.30/769.34 o 2999 767.60/769.69 o 2996 767.70/769.70 o 2994 767.70/769.71 o 2990 768.01/770.01 o 2980 768.01/770.01 o 2970 774.78/776.83 o 2964 775.18/777.26 o 2960 775.18/777.27 o 2959 775.18/777.29 o 2955 775.28/777.30 o 2951 775.99/778.05 o 2949 775.99/778.06 o 2948 775.99/778.07 o 2941 799.43/801.52 o 2934 799.43/801.53 o 2899 814.39/816.57 o 2892 833.44/835.68 o 2889 864.07/866.30 o 2877 864.07/866.34 o 2837 864.07/866.35 o 2831 864.07/866.35 o 2800 864.07/866.35 o 2798 864.07/866.36 o 2780 864.27/866.51 o 2776 864.36/866.61 o 2770 864.36/866.64 o 2767 864.36/866.64 o 2762 866.16/868.43 o 2750 866.16/868.43 o 2737 866.16/868.44 o 2726 868.06/870.38 o 2719 868.06/870.39 o 2718 868.87/871.12 o 2717 875.14/877.40 o 2716 876.94/879.20 o 2711 927.62/930.08 o 2686 927.62/930.11 o 2626 927.72/930.15 o 2619 935.49/937.96 o 2601 984.78/987.31 o 2552 984.78/987.32 o 2548 985.38/987.91 o 2545 985.38/987.93 o 2544 985.38/987.94 o 2537 985.38/987.95 o 2528 985.38/987.95 o 2521 985.38/987.95 o 2517 985.59/988.12 o 2514 985.88/988.40 o 2511 985.88/988.40 o 2502 1001.14/1003.76 o 2448 1001.14/1003.77 o 2434 1003.23/1005.81 o 2432 1003.54/1006.16 o 2426 1003.54/1006.17 o 2419 1004.54/1007.11 o 2418 1004.54/1007.12 o 2415 1114.57/1117.43 o 2344 1114.57/1117.43 o 2339 1114.57/1117.45 o 2320 1133.92/1136.82 o 2299 1171.63/1174.64 o 2193 1171.63/1174.64 o 2177 1172.53/1175.58 o 2176 1175.52/1178.59 o 2175 1175.92/1179.00 o 2154 1240.47/1243.60 o 2078 1241.36/1244.50 o 2060 1241.36/1244.53 o 2043 1242.06/1245.21 o 2041 1242.16/1245.30 o 2030 1242.16/1245.31 o 2000 1242.16/1245.33 o 1999 1242.66/1245.80 o 1962 1242.66/1245.82 o 1946 1243.15/1246.34 o 1938 1243.65/1246.89 o 1917 1245.25/1248.41 o 1911 1245.35/1248.54 o 1831 1245.35/1248.56 o 1814 1245.65/1248.84 o 1795 1245.65/1248.88 o 1766 1245.75/1248.93 o 1762 1246.45/1249.61 o 1761 1249.34/1252.52 o 1757 1249.34/1252.54 o 1750 1249.85/1253.09 o 1746 1250.35/1253.53 o 1743 1250.35/1253.57 o 1726 1250.35/1253.57 o 1707 1250.54/1253.70 o 1701 1290.35/1293.67 o 1620 1290.35/1293.68 o 1547 1354.99/1358.49 o 1512 1354.99/1358.49 o 1496 1354.99/1358.49 o 1483 1355.09/1358.52 o 1475 1358.38/1361.85 o 1471 1360.07/1363.52 o 1452 1360.07/1363.53 o 1435 1363.47/1366.95 o 1418 1363.47/1366.98 o 1414 1407.48/1411.08 o 1311 1407.48/1411.08 o 1300 1407.48/1411.08 o 1286 1407.48/1411.08 o 1271 1407.48/1411.09 o 1143 1407.58/1411.13 o 1140 1408.27/1411.81 o 1132 1423.62/1427.24 o 1130 1423.62/1427.26 o 1126 1466.82/1470.54 o 1067 1466.82/1470.55 o 971 1466.82/1470.58 o 794 1467.53/1471.20 o 686 1488.97/1492.76 o 668 1489.07/1492.83 o 645 1540.55/1544.42 o 573 1540.55/1544.43 o 554 1540.55/1544.43 o 551 1576.08/1580.10 o 550 1576.18/1580.18 o 549 1576.18/1580.19 o 545 1576.26/1580.20 o 541 1576.26/1580.21 o 513 1576.26/1580.22 o 510 1668.14/1672.37 o 506 1668.14/1672.38 o 483 1668.14/1672.39 o 481 1668.14/1672.39 o 477 1683.40/1687.66 o 476 1683.50/1687.78 o 475 1683.50/1687.79 o 474 1683.60/1687.85 o 473 1684.40/1688.61 o 471 1684.40/1688.64 o 468 1684.40/1688.65 o 461 1700.05/1704.34 o 460 1700.15/1704.45 o 457 1700.15/1704.47 o 433 1700.65/1704.99 o 413 1700.95/1705.24 o 411 1700.95/1705.24 o 408 1700.95/1705.29 o 387 1701.25/1705.52 o 386 1701.25/1705.53 o 381 1701.25/1705.54 o 374 1701.25/1705.54 o 364 1701.25/1705.55 o 360 1701.25/1705.55 o 353 1701.65/1705.97 o 290 1704.34/1708.61 o 289 1704.34/1708.63 o 286 1704.34/1708.64 o 281 1704.34/1708.64 o 217 1704.34/1708.65 o 192 1704.34/1708.65 o 187 1704.75/1709.04 o 185 1704.75/1709.04 o 181 1706.24/1710.54 o 175 1706.24/1710.55 o 158 1707.14/1711.45 o 156 1707.14/1711.46 o 102 1783.85/1788.38 o 86 1783.85/1788.38 o 81 1783.85/1788.38 o 62 1784.05/1788.51 o 58 1784.05/1788.52 o 45 1784.05/1788.53 o 44 1784.05/1788.53 o 5 1798.70/1803.28 o 2 1819.75/1824.39 s OPTIMUM FOUND 1819.75/1824.39 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 x907 x908 x909 x910 x911 x912 x913 x914 x915 x916 x917 x918 x919 x920 x921 x922 x923 x924 x925 x926 x927 x928 x929 x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 x1014 x1015 x1016 x1017 x1018 x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 x1157 x1158 x1159 x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 x1251 x1252 x1253 x1254 x1255 x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 x1437 x1438 x1439 x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1674 x1675 x1676 x1677 x1678 x1679 x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 x1738 x1739 x1740 x1741 x1742 x1743 x1744 x1745 x1746 x1747 x1748 x1749 x1750 x1751 x1752 x1753 x1754 x1755 x1756 x1757 x1758 x1759 x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 x1786 x1787 x1788 x1789 x1790 x1791 x1792 x1793 x1794 x1795 x1796 x1797 x1798 x1799 x1800 x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 x1812 x1813 x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 x1824 x1825 x1826 x1827 x1828 x1829 x1830 x1831 x1832 x1833 x1834 x1835 x1836 x1837 x1838 x1839 x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 x1896 x1897 x1898 x1899 x1900 x1901 x1902 x1903 x1904 x1905 x1906 x1907 x1908 x1909 x1910 x1911 x1912 x1913 x1914 x1915 x1916 x1917 x1918 x1919 x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 x1984 x1985 x1986 x1987 x1988 x1989 x1990 x1991 x1992 x1993 x1994 x1995 x1996 x1997 x1998 x1999 x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 x2066 x2067 x2068 x2069 x2070 x2071 x2072 x2073 x2074 x2075 x2076 x2077 x2078 x2079 x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 x2152 x2153 x2154 x2155 x2156 x2157 x2158 x2159 x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 x2233 x2234 x2235 x2236 x2237 x2238 x2239 x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 x2314 x2315 x2316 x2317 x2318 x2319 x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 x2394 x2395 x2396 x2397 x2398 x2399 x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 x2569 x2570 x2571 x2572 x2573 x2574 x2575 x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 x2642 x2643 x2644 x2645 x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 x2813 x2814 x2815 x2816 x2817 x2818 x2819 x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 x2913 x2914 x2915 x2916 x2917 x2918 x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 x2979 x2980 x2981 x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 x3072 x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 x3142 x3143 x3144 x3145 x3146 x3147 x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 x3321 x3322 x3323 x3324 x3325 x3326 x3327 x3328 x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 x3384 x3385 x3386 x3387 x3388 x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 x3561 x3562 x3563 x3564 x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635 x3636 x3637 x3638 x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 x3721 x3722 x3723 x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 x3817 x3818 x3819 x3820 x3821 x3822 x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 x3872 x3873 x3874 x3875 x3876 x3877 x3878 x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 x3967 x3968 x3969 x3970 x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 x4053 x4054 x4055 x4056 x4057 x4058 x4059 x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 x4145 x4146 x4147 x4148 x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 x4208 x4209 x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 x4264 x4265 x4266 x4267 x4268 x4269 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 x4374 x4375 x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 x4544 x4545 x4546 x4547 x4548 x4549 x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x4630 x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4711 x4712 x4713 x4714 x4715 x4716 x4717 x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 x4792 x4793 x4794 x4795 x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872 x4873 x4874 x4875 x4876 x4877 x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 x4960
OK 2
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: 64059 MiB (63380 MiB free)
memory of node 1: 64510 MiB (63549 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425702-1720881443/watcher-4425702-1720881443 -o /tmp/evaluation-result-4425702-1720881443/solver-4425702-1720881443 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720881298-701983 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=631105369 HOME/instance-4425702-1720881443.wbo
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=703130, runsolver pid=703127
[startup+0.1001 s]*
/proc/loadavg: 3.90 2.35 1.65 5/243 703131
/proc/meminfo: memFree=129950016/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=55416 memory=33952 CPUtime=0.1 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 8400 0 0 0 10 0 0 0 20 0 1 0 140301333 56745984 8488 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 13854 8488 1092 1005 0 12617 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55416 KiB
Current children cumulated memory: 33952 KiB
[startup+0.212811 s]*
/proc/loadavg: 3.90 2.35 1.65 5/243 703131
/proc/meminfo: memFree=129941956/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=59576 memory=37584 CPUtime=0.21 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 9314 0 0 0 20 1 0 0 20 0 1 0 140301333 61005824 9396 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 14894 9396 1092 1005 0 13657 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59576 KiB
Current children cumulated memory: 37584 KiB
[startup+0.312724 s]*
/proc/loadavg: 3.90 2.35 1.65 5/243 703131
/proc/meminfo: memFree=129939152/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=60104 memory=40420 CPUtime=0.31 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 9528 0 0 0 30 1 0 0 20 0 1 0 140301333 61546496 10105 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 15026 10105 1092 1005 0 13789 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60104 KiB
Current children cumulated memory: 40420 KiB
[startup+0.700285 s]
/proc/loadavg: 3.90 2.35 1.65 5/243 703131
/proc/meminfo: memFree=129937536/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=61952 memory=44372 CPUtime=0.68 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 9995 0 0 0 67 1 0 0 20 0 1 0 140301333 63438848 11093 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 15488 11093 1108 1005 0 14251 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61952 KiB
Current children cumulated memory: 44372 KiB
[startup+1.50031 s]
/proc/loadavg: 3.90 2.35 1.65 5/243 703131
/proc/meminfo: memFree=129933500/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=66596 memory=50232 CPUtime=1.49 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 10891 0 0 0 147 2 0 0 20 0 1 0 140301333 68194304 12558 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 16649 12558 1140 1005 0 15412 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 66596 KiB
Current children cumulated memory: 50232 KiB
[startup+3.11266 s]
/proc/loadavg: 3.91 2.38 1.66 5/243 703131
/proc/meminfo: memFree=129914068/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=74200 memory=65504 CPUtime=3.09 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 12667 0 0 0 307 2 0 0 20 0 1 0 140301333 75980800 16376 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 18550 16376 1140 1005 0 17313 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74200 KiB
Current children cumulated memory: 65504 KiB
[startup+6.30031 s]
/proc/loadavg: 3.91 2.38 1.66 5/243 703133
/proc/meminfo: memFree=129910892/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=76604 memory=68628 CPUtime=6.27 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 13469 0 0 0 624 3 0 0 20 0 1 0 140301333 78442496 17157 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 19151 17157 1140 1005 0 17914 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76604 KiB
Current children cumulated memory: 68628 KiB
[startup+12.7003 s]
/proc/loadavg: 3.92 2.41 1.67 5/243 703133
/proc/meminfo: memFree=129887352/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=124104 memory=95640 CPUtime=12.66 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 17309 0 0 0 1259 7 0 0 20 0 1 0 140301333 127082496 23910 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 31026 23910 1140 1005 0 29789 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 124104 KiB
Current children cumulated memory: 95640 KiB
[startup+25.5003 s]
/proc/loadavg: 3.94 2.49 1.71 5/243 703136
/proc/meminfo: memFree=129850812/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=137956 memory=126548 CPUtime=25.42 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 20477 0 0 0 2530 12 0 0 20 0 1 0 140301333 141266944 31637 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 34489 31637 1140 1005 0 33252 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 137956 KiB
Current children cumulated memory: 126548 KiB
[startup+51.1127 s]
/proc/loadavg: 4.01 2.63 1.78 5/243 703139
/proc/meminfo: memFree=129804484/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=202412 memory=171172 CPUtime=50.97 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 26515 0 0 0 5075 22 0 0 20 0 1 0 140301333 207269888 42793 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 50603 42793 1140 1005 0 49366 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 202412 KiB
Current children cumulated memory: 171172 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 2.86 1.90 5/243 703147
/proc/meminfo: memFree=129797184/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=207780 memory=176624 CPUtime=102.02 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 27962 0 0 0 10167 35 0 0 20 0 1 0 140301333 212766720 44156 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 51945 44156 1140 1005 0 50708 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 207780 KiB
Current children cumulated memory: 176624 KiB
[startup+162.3 s]
/proc/loadavg: 4.49 3.18 2.07 5/241 703202
/proc/meminfo: memFree=129550160/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=218924 memory=187556 CPUtime=161.85 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 30740 0 0 0 16129 56 0 0 20 0 1 0 140301333 224178176 46889 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 54731 46889 1140 1005 0 53494 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 218924 KiB
Current children cumulated memory: 187556 KiB
[startup+222.3 s]
/proc/loadavg: 4.51 3.45 2.24 5/244 703218
/proc/meminfo: memFree=129454996/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=221248 memory=191172 CPUtime=221.69 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 31372 0 0 0 22093 76 0 0 20 0 1 0 140301333 226557952 47793 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 55312 47793 1140 1005 0 54075 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 221248 KiB
Current children cumulated memory: 191172 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 3.58 2.36 5/244 703228
/proc/meminfo: memFree=129370848/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=225124 memory=201984 CPUtime=281.5 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 32532 0 0 0 28059 91 0 0 20 0 1 0 140301333 230526976 50496 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 56281 50496 1140 1005 0 55044 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 225124 KiB
Current children cumulated memory: 201984 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.67 2.47 5/244 703238
/proc/meminfo: memFree=129249056/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=240472 memory=216068 CPUtime=341.34 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 36128 0 0 0 34025 109 0 0 20 0 1 0 140301333 246243328 54017 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 60118 54017 1140 1005 0 58881 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 240472 KiB
Current children cumulated memory: 216068 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.77 2.58 5/244 703249
/proc/meminfo: memFree=129241944/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=241792 memory=217072 CPUtime=401.19 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 36501 0 0 0 39988 131 0 0 20 0 1 0 140301333 247595008 54268 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 60448 54268 1140 1005 0 59211 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 241792 KiB
Current children cumulated memory: 217072 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.84 2.68 5/244 703260
/proc/meminfo: memFree=129223088/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=243808 memory=219344 CPUtime=461.04 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 37098 0 0 0 45954 150 0 0 20 0 1 0 140301333 249659392 54836 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 60952 54836 1140 1005 0 59715 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
/proc/loadavg: 4.06 4.10 3.65 5/244 704046
/proc/meminfo: memFree=126940376/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=263716 memory=239036 CPUtime=1418.74 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 42906 0 0 0 141394 480 0 0 20 0 1 0 140301333 270045184 59759 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 65929 59759 1140 1005 0 64692 0
Current children cumulated CPU time: 1418.74 s
Current children cumulated vsize: 263716 KiB
Current children cumulated memory: 239036 KiB
[startup+1482.3 s]
/proc/loadavg: 4.14 4.11 3.68 5/244 704056
/proc/meminfo: memFree=126906656/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=263716 memory=239260 CPUtime=1478.59 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 42993 0 0 0 147357 502 0 0 20 0 1 0 140301333 270045184 59815 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 65929 59815 1140 1005 0 64692 0
Current children cumulated CPU time: 1478.59 s
Current children cumulated vsize: 263716 KiB
Current children cumulated memory: 239260 KiB
[startup+1542.3 s]
/proc/loadavg: 4.16 4.12 3.72 5/244 704066
/proc/meminfo: memFree=126870764/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=263716 memory=239260 CPUtime=1538.46 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 43073 0 0 0 153326 520 0 0 20 0 1 0 140301333 270045184 59815 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 65929 59815 1140 1005 0 64692 0
Current children cumulated CPU time: 1538.46 s
Current children cumulated vsize: 263716 KiB
Current children cumulated memory: 239260 KiB
[startup+1602.3 s]
/proc/loadavg: 4.11 4.11 3.74 5/242 704077
/proc/meminfo: memFree=126845860/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=263716 memory=239260 CPUtime=1598.31 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 43157 0 0 0 159293 538 0 0 20 0 1 0 140301333 270045184 59815 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 65929 59815 1140 1005 0 64692 0
Current children cumulated CPU time: 1598.31 s
Current children cumulated vsize: 263716 KiB
Current children cumulated memory: 239260 KiB
[startup+1662.3 s]
/proc/loadavg: 4.18 4.12 3.77 5/244 704137
/proc/meminfo: memFree=125529692/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=264876 memory=240164 CPUtime=1658.17 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 43461 0 0 0 165260 557 0 0 20 0 1 0 140301333 271233024 60041 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 66219 60041 1140 1005 0 64982 0
Current children cumulated CPU time: 1658.17 s
Current children cumulated vsize: 264876 KiB
Current children cumulated memory: 240164 KiB
[startup+1722.3 s]
/proc/loadavg: 4.13 4.11 3.80 5/244 704147
/proc/meminfo: memFree=125420532/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=265028 memory=240332 CPUtime=1718.02 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 43584 0 0 0 171231 571 0 0 20 0 1 0 140301333 271388672 60083 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 66257 60083 1140 1005 0 65020 0
Current children cumulated CPU time: 1718.02 s
Current children cumulated vsize: 265028 KiB
Current children cumulated memory: 240332 KiB
[startup+1782.3 s]
/proc/loadavg: 4.09 4.11 3.82 5/243 704157
/proc/meminfo: memFree=125371356/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=265924 memory=241072 CPUtime=1777.86 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 43888 0 0 0 177200 586 0 0 20 0 1 0 140301333 272306176 60268 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 66481 60268 1140 1005 0 65244 0
Current children cumulated CPU time: 1777.86 s
Current children cumulated vsize: 265924 KiB
Current children cumulated memory: 241072 KiB
[startup+1824.4 s]
# the end of solver process 703130 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1813.88 s, system=5.99124 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.08 4.10 3.82 5/243 704159
/proc/meminfo: memFree=125272516/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=265924 memory=241072 CPUtime=1787.55 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 43893 0 0 0 178166 589 0 0 20 0 1 0 140301333 272306176 60268 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 66481 60268 1140 1005 0 65244 0
Current children cumulated CPU time: 1787.55 s
Current children cumulated vsize: 265924 KiB
Current children cumulated memory: 241072 KiB
[startup+1804.8 s]
/proc/loadavg: 4.13 4.11 3.83 5/243 704161
/proc/meminfo: memFree=125271988/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=266088 memory=241320 CPUtime=1800.3 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 43927 0 0 0 179438 592 0 0 20 0 1 0 140301333 272474112 60330 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 66522 60330 1140 1005 0 65285 0
Current children cumulated CPU time: 1800.3 s
Current children cumulated vsize: 266088 KiB
Current children cumulated memory: 241320 KiB
[startup+1817.6 s]
/proc/loadavg: 4.11 4.11 3.83 5/243 704164
/proc/meminfo: memFree=125270916/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=266404 memory=241584 CPUtime=1813.07 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 44016 0 0 0 180711 596 0 0 20 0 1 0 140301333 272797696 60396 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 66601 60396 1140 1005 0 65364 0
Current children cumulated CPU time: 1813.07 s
Current children cumulated vsize: 266404 KiB
Current children cumulated memory: 241584 KiB
[startup+1820.8 s]
/proc/loadavg: 4.10 4.11 3.83 5/243 704164
/proc/meminfo: memFree=125270716/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=266928 memory=242112 CPUtime=1816.27 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 44161 0 0 0 181030 597 0 0 20 0 1 0 140301333 273334272 60528 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 66732 60528 1140 1005 0 65495 0
Current children cumulated CPU time: 1816.27 s
Current children cumulated vsize: 266928 KiB
Current children cumulated memory: 242112 KiB
[startup+1822.4 s]
/proc/loadavg: 4.10 4.11 3.83 5/243 704165
/proc/meminfo: memFree=125269924/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=267680 memory=242640 CPUtime=1817.86 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 44293 0 0 0 181188 598 0 0 20 0 1 0 140301333 274104320 60660 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 66920 60660 1140 1005 0 65683 0
Current children cumulated CPU time: 1817.86 s
Current children cumulated vsize: 267680 KiB
Current children cumulated memory: 242640 KiB
[startup+1823.2 s]
/proc/loadavg: 4.09 4.11 3.83 5/243 704165
/proc/meminfo: memFree=125269860/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=267680 memory=242640 CPUtime=1818.65 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 44294 0 0 0 181267 598 0 0 20 0 1 0 140301333 274104320 60660 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 66920 60660 1140 1005 0 65683 0
Current children cumulated CPU time: 1818.65 s
Current children cumulated vsize: 267680 KiB
Current children cumulated memory: 242640 KiB
[startup+1824 s]*
/proc/loadavg: 4.09 4.11 3.83 5/243 704165
/proc/meminfo: memFree=125269820/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=267680 memory=242640 CPUtime=1819.46 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 44295 0 0 0 181348 598 0 0 20 0 1 0 140301333 274104320 60660 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 66920 60660 1140 1005 0 65683 0
Current children cumulated CPU time: 1819.46 s
Current children cumulated vsize: 267680 KiB
Current children cumulated memory: 242640 KiB
[startup+1824.4 s]
/proc/loadavg: 4.09 4.11 3.83 5/243 704165
/proc/meminfo: memFree=125269820/131655788 swapFree=131071996/131071996
[pid=703130] ppid=703127 vsize=169684 memory=163124 CPUtime=1819.85 cores=1,3
/proc/703130/stat : 703130 (Exact) R 703127 703130 697562 0 -1 4194304 44300 0 0 0 181387 598 0 0 20 0 1 0 140301333 173756416 40781 134679101440 4194304 8309489 140729031242384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 32571392 140729031250853 140729031251022 140729031251022 140729031258063 0
/proc/703130/statm: 42421 40781 1140 1005 0 41184 0
Current children cumulated CPU time: 1819.85 s
Current children cumulated vsize: 169684 KiB
Current children cumulated memory: 163124 KiB
Child status: 30
Real time (s): 1824.41
CPU time (s): 1819.87
CPU user time (s): 1813.88
CPU system time (s): 5.99124
CPU usage (%): 99.7513
Max. virtual memory (cumulated for all children) (KiB): 267680
Max. memory (cumulated for all children) (KiB): 242640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1813.88
system time used= 5.99124
maximum resident set size= 242640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44301
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= 49
involuntary context switches= 1374
# summary of solver processes directly reported to runsolver:
# pid: 703130
# total CPU time (s): 1819.87
# total CPU user time (s): 1813.88
# total CPU system time (s): 5.99124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.071 second user time and 15.8387 second system time
The end
Begin job on nodeC012 at 2024-07-13 16:37:36 IDJOB=4425702 IDBENCH=143822 IDSOLVER=3040 FILE ID=nodeC012/4425702-1720881443 RUNJOBID= nodeC012-1720881298-701983 SLURM_JOB_ID= 7483760 Free space on /tmp= 723764 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-66-100-0.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425702-1720881443/watcher-4425702-1720881443 -o /tmp/evaluation-result-4425702-1720881443/solver-4425702-1720881443 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720881298-701983 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=631105369 HOME/instance-4425702-1720881443.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bc45bcdbecbc5e781b95a5731515dca1 RANDOM SEED=631105369 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3671.781 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.223 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.496 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.321 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3671.893 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3651.425 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.600 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.379 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129975816 kB MemAvailable: 129901584 kB Buffers: 322128 kB Cached: 452548 kB SwapCached: 0 kB Active: 480036 kB Inactive: 705176 kB Active(anon): 1464 kB Inactive(anon): 446444 kB Active(file): 478572 kB Inactive(file): 258732 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6328 kB Writeback: 0 kB AnonPages: 409760 kB Mapped: 115368 kB Shmem: 37704 kB KReclaimable: 56992 kB Slab: 145764 kB SReclaimable: 56992 kB SUnreclaim: 88772 kB KernelStack: 4000 kB PageTables: 9748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 830536 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45792 kB HardwareCorrupted: 0 kB AnonHugePages: 290816 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 207688 kB DirectMap2M: 10182656 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723744 MiB End job on nodeC012 at 2024-07-13 17:08:01