Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 773 | 1800.12 | 1800.92 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 54 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 45 |
Optimality of the best value was proved | NO |
Number of variables | 5203 |
Total number of constraints | 19637 |
Number of constraints which are clauses | 19637 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 5203 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 5203 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 5203 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb ...... 3.79/3.87 c done parsing opb. 3.79/3.87 o 5037 3.99/4.00 o 5024 4.09/4.13 o 5023 4.19/4.26 o 5022 4.29/4.38 o 5020 4.49/4.51 o 5019 4.59/4.64 o 5018 4.69/4.77 o 5017 4.79/4.89 o 5016 4.99/5.02 o 5015 5.09/5.15 o 5014 5.19/5.28 o 5013 5.39/5.40 o 5012 5.49/5.53 o 5011 5.59/5.66 o 5010 5.69/5.79 o 5009 5.89/5.91 o 5008 5.99/6.04 o 5007 6.09/6.17 o 5006 6.19/6.29 o 5005 6.39/6.42 o 5004 6.50/6.55 o 5003 6.59/6.67 o 5002 6.79/6.80 o 5001 6.89/6.93 o 5000 6.99/7.05 o 4999 7.09/7.18 o 4998 7.29/7.31 o 4997 7.39/7.43 o 4996 7.49/7.56 o 4995 7.59/7.69 o 4994 7.79/7.81 o 4993 7.89/7.94 o 4992 7.99/8.06 o 4991 8.09/8.19 o 4990 8.29/8.31 o 4989 8.39/8.44 o 4988 8.49/8.57 o 4987 8.59/8.69 o 4986 8.79/8.82 o 4985 8.89/8.94 o 4984 8.99/9.07 o 4983 9.09/9.19 o 4982 9.28/9.32 o 4981 9.39/9.44 o 4980 9.49/9.57 o 4979 9.59/9.69 o 4978 9.79/9.82 o 4977 9.89/9.95 o 4976 9.99/10.07 o 4975 10.09/10.20 o 4974 10.29/10.32 o 4973 10.39/10.45 o 4972 10.49/10.57 o 4971 10.69/10.70 o 4970 10.79/10.82 o 4969 10.89/10.95 o 4968 11.00/11.07 o 4967 11.19/11.20 o 4966 11.29/11.32 o 4965 11.38/11.45 o 4964 11.49/11.57 o 4963 11.69/11.70 o 4962 11.79/11.82 o 4961 11.89/11.95 o 4960 11.99/12.07 o 4959 12.19/12.20 o 4958 12.29/12.33 o 4957 12.39/12.45 o 4956 12.49/12.57 o 4955 12.69/12.70 o 4954 12.79/12.82 o 4953 12.88/12.95 o 4952 12.99/13.07 o 4951 13.09/13.20 o 4950 13.28/13.32 o 4949 13.39/13.45 o 4948 13.49/13.57 o 4947 13.59/13.70 o 4946 13.79/13.82 o 4945 13.89/13.95 o 4944 13.98/14.07 o 4943 14.09/14.19 o 4942 14.29/14.32 o 4941 14.38/14.44 o 4940 14.49/14.57 o 4939 14.59/14.69 o 4938 14.79/14.81 o 4937 14.89/14.94 o 4936 14.98/15.06 o 4935 15.08/15.19 o 4934 15.29/15.31 o 4933 15.39/15.43 o 4932 15.48/15.56 o 4931 15.58/15.68 o 4930 15.79/15.80 o 4929 15.89/15.93 o 4928 15.98/16.05 o 4927 16.09/16.18 o 4926 16.28/16.30 o 4925 16.39/16.42 o 4924 16.49/16.55 o 4923 16.58/16.67 o 4922 16.68/16.79 o 4921 16.89/16.92 o 4920 16.99/17.04 o 4919 17.08/17.17 o 4918 17.18/17.29 o 4917 17.38/17.41 o 4916 17.49/17.54 o 4915 17.59/17.66 o 4914 17.69/17.78 o 4913 17.88/17.91 o 4912 17.99/18.03 o 4911 18.09/18.16 o 4910 18.19/18.28 o 4909 18.39/18.41 o 4908 18.48/18.53 o 4907 18.59/18.66 o 4906 18.69/18.78 o 4905 18.89/18.91 o 4904 18.99/19.03 o 4903 19.08/19.15 o 4902 19.19/19.28 o 4901 19.38/19.40 o 4900 19.48/19.53 o 4899 19.58/19.65 o 4898 19.69/19.78 o 4897 19.88/19.90 o 4896 19.99/20.03 o 4895 20.09/20.15 o 4894 20.18/20.27 o 4893 20.39/20.40 o 4892 20.49/20.52 o 4891 20.58/20.65 o 4890 20.68/20.77 o 4889 20.78/20.90 o 4888 20.99/21.02 o 4887 21.08/21.14 o 4886 21.18/21.27 o 4885 21.29/21.39 o 4884 21.49/21.51 o 4883 21.59/21.64 o 4882 21.68/21.76 o 4881 21.78/21.88 o 4880 21.99/22.01 o 4879 22.09/22.13 o 4878 22.18/22.26 o 4877 22.28/22.38 o 4876 22.49/22.50 o 4875 22.59/22.63 o 4874 22.68/22.75 o 4873 22.78/22.87 o 4872 22.88/23.00 o 4871 23.09/23.12 o 4870 23.19/23.24 o 4869 23.28/23.37 o 4868 23.39/23.49 o 4867 23.58/23.61 o 4866 23.69/23.74 o 4865 23.79/23.86 o 4864 23.89/23.98 o 4863 24.09/24.11 o 4862 24.19/24.23 o 4861 24.28/24.35 o 4533 24.39/24.47 o 4532 24.48/24.58 o 4531 24.69/24.70 o 4529 24.79/24.82 o 4528 24.89/24.93 o 4523 24.99/25.05 o 4522 25.08/25.17 o 4504 25.18/25.28 o 4503 25.38/25.40 o 4502 25.48/25.52 o 4496 25.58/25.63 o 4495 25.69/25.75 o 4494 25.78/25.86 o 4493 25.88/25.98 o 4492 25.99/26.09 o 4491 26.18/26.21 o 4490 26.29/26.33 o 4489 26.39/26.44 o 4488 26.48/26.56 o 4487 26.58/26.67 o 4486 26.69/26.79 o 4485 26.88/26.90 o 4484 26.98/27.02 o 4483 27.09/27.13 o 4482 27.19/27.25 o 4481 27.28/27.37 o 4480 27.38/27.48 o 4479 27.58/27.60 o 4478 27.68/27.71 o 4477 27.79/27.83 o 4476 27.88/27.94 o 4475 27.98/28.06 o 4474 28.08/28.17 o 4473 28.18/28.28 o 4472 28.39/28.40 o 4471 28.48/28.51 o 4470 28.58/28.63 o 4469 28.68/28.74 o 4468 28.78/28.85 o 4467 28.88/28.97 o 4466 28.98/29.08 o 4094 29.08/29.18 o 4090 29.18/29.29 o 4078 29.38/29.40 o 4077 29.49/29.51 o 4076 29.59/29.61 o 4067 29.68/29.72 o 4066 29.79/29.82 o 4065 29.88/29.93 o 4064 29.98/30.04 o 4063 30.08/30.14 o 4062 30.18/30.25 o 4061 30.28/30.36 o 4060 30.38/30.46 o 4059 30.49/30.57 o 4058 30.58/30.67 o 4057 30.68/30.78 o 4056 30.78/30.88 o 4055 30.89/30.99 o 4054 30.98/31.10 o 4053 31.18/31.20 o 4052 31.28/31.31 o 4051 31.38/31.41 o 4040 31.48/31.52 o 4039 31.59/31.62 o 4038 31.68/31.73 o 4037 31.78/31.84 o 4036 31.89/31.94 o 4035 31.98/32.05 o 4034 32.08/32.15 o 4033 32.18/32.26 o 4032 32.28/32.36 o 4031 32.38/32.47 o 4030 32.48/32.58 o 4029 32.59/32.68 o 4028 32.68/32.79 o 4027 32.79/32.89 o 4026 32.89/33.00 o 4025 33.08/33.10 o 4024 33.18/33.21 o 4023 33.28/33.31 o 4022 33.38/33.42 o 4021 33.48/33.52 o 4020 33.58/33.63 o 4019 33.68/33.73 o 4018 33.78/33.84 o 4017 33.88/33.94 o 4016 33.98/34.05 o 4015 34.09/34.15 o 4014 34.18/34.26 o 4013 34.28/34.36 o 4012 34.38/34.47 o 4011 34.48/34.57 o 4010 34.57/34.68 o 4009 34.68/34.78 o 4008 34.78/34.89 o 4007 34.88/34.99 o 4006 34.98/35.10 o 4005 35.08/35.20 o 4004 35.28/35.31 o 4003 35.38/35.41 o 4002 35.48/35.52 o 4001 35.58/35.62 o 4000 35.68/35.73 o 3999 35.78/35.83 o 3998 35.88/35.93 o 3997 35.98/36.04 o 3996 36.07/36.14 o 3995 36.18/36.25 o 3994 36.28/36.35 o 3993 36.38/36.46 o 3992 36.47/36.56 o 3991 36.58/36.66 o 3990 36.68/36.77 o 3989 36.77/36.87 o 3988 36.88/36.98 o 3987 36.97/37.08 o 3986 37.08/37.19 o 3985 37.18/37.29 o 3984 37.29/37.40 o 3983 37.48/37.50 o 3982 37.58/37.60 o 3981 37.68/37.71 o 3874 37.78/37.81 o 3873 37.88/37.91 o 3872 37.98/38.01 o 3849 38.08/38.11 o 3848 38.18/38.22 o 3847 38.27/38.32 o 3846 38.39/38.42 o 3845 38.48/38.52 o 3844 38.57/38.62 o 3843 38.68/38.72 o 3842 38.78/38.82 o 3841 38.88/38.92 o 3840 38.97/39.02 o 3791 39.08/39.12 o 3790 39.18/39.22 o 3789 39.27/39.32 o 3788 39.38/39.42 o 3787 39.48/39.52 o 3786 39.59/39.62 o 3785 39.68/39.72 o 3784 39.77/39.82 o 3783 39.88/39.92 o 3782 39.97/40.02 o 3781 40.07/40.12 o 3780 40.18/40.22 o 3779 40.27/40.32 o 3778 40.37/40.42 o 3777 40.48/40.52 o 3776 40.58/40.62 o 3775 40.67/40.72 o 3774 40.77/40.82 o 3773 40.87/40.92 o 3772 40.97/41.02 o 3771 41.07/41.11 o 3770 41.17/41.21 o 3769 41.28/41.31 o 3768 41.38/41.41 o 3767 41.47/41.51 o 3766 41.57/41.61 o 3765 41.68/41.71 o 3764 41.77/41.81 o 3619 41.88/41.90 o 3594 41.88/41.99 o 3593 41.98/42.09 o 3592 42.07/42.18 o 3581 42.17/42.28 o 3580 42.27/42.37 o 3579 42.38/42.46 o 3578 42.47/42.56 o 3577 42.58/42.65 o 3576 42.67/42.74 o 3575 42.78/42.84 o 3574 42.87/42.93 o 3558 42.97/43.02 o 3557 43.07/43.12 o 3556 43.17/43.21 o 3555 43.27/43.30 o 3554 43.27/43.39 o 3553 43.37/43.49 o 3552 43.47/43.58 o 3551 43.57/43.67 o 3550 43.67/43.77 o 3549 43.77/43.86 o 3548 43.87/43.95 o 3547 43.97/44.04 o 3546 44.07/44.14 o 3545 44.17/44.23 o 3539 44.27/44.32 o 3538 44.37/44.41 o 3537 44.47/44.50 o 3536 44.47/44.60 o 3535 44.57/44.69 o 3534 44.67/44.78 o 3533 44.76/44.87 o 3532 44.87/44.96 o 3531 44.97/45.06 o 3530 45.08/45.15 o 3529 45.17/45.24 o 3528 45.26/45.33 o 3527 45.37/45.42 o 3526 45.47/45.52 o 3525 45.57/45.60 o 2909 45.57/45.68 o 2864 45.66/45.76 o 2863 45.77/45.84 o 2862 45.86/45.91 o 2861 45.86/45.99 o 2860 45.97/46.07 o 2859 46.07/46.15 o 2849 46.17/46.23 o 2848 46.27/46.30 o 2847 46.27/46.38 o 2846 46.37/46.45 o 2845 46.46/46.53 o 2844 46.57/46.60 o 2843 46.57/46.68 o 2842 46.66/46.76 o 2841 46.77/46.83 o 2840 46.86/46.91 o 2839 46.86/46.98 o 2838 46.97/47.06 o 2826 47.06/47.13 o 2825 47.17/47.21 o 2824 47.17/47.28 o 2823 47.27/47.36 o 2822 47.36/47.43 o 2821 47.47/47.51 o 2820 47.47/47.58 o 2819 47.56/47.66 o 2818 47.66/47.73 o 2817 47.76/47.80 o 2816 47.76/47.88 o 2815 47.87/47.95 o 2814 47.97/48.02 o 2813 47.97/48.10 o 2812 48.07/48.17 o 2811 48.17/48.24 o 2810 48.27/48.32 o 2809 48.27/48.39 o 2808 48.37/48.46 o 2807 48.46/48.53 o 2806 48.56/48.61 o 2805 48.56/48.68 o 2614 48.67/48.76 o 2613 48.76/48.83 o 2589 48.87/48.91 o 2588 48.87/48.98 o 2587 48.97/49.05 o 2586 49.06/49.13 o 2585 49.17/49.20 o 2584 49.17/49.28 o 2583 49.26/49.35 o 2552 49.37/49.42 o 2551 49.37/49.50 o 2550 49.47/49.57 o 2549 49.56/49.64 o 2548 49.67/49.72 o 2547 49.67/49.79 o 2546 49.76/49.86 o 2545 49.86/49.94 o 2544 49.97/50.01 o 2543 49.97/50.09 o 2542 50.06/50.16 o 2541 50.17/50.23 o 2540 50.26/50.30 o 2525 50.26/50.37 o 2524 50.36/50.45 o 2523 50.46/50.52 o 2522 50.46/50.59 o 2521 50.57/50.67 o 2520 50.66/50.74 o 2519 50.76/50.81 o 2518 50.76/50.88 o 2517 50.86/50.95 o 2516 50.96/51.02 o 2515 50.96/51.10 o 2514 51.07/51.17 o 2513 51.16/51.24 o 2512 51.26/51.31 o 2511 51.26/51.38 o 2510 51.36/51.46 o 2509 51.46/51.53 o 2508 51.46/51.60 o 2507 51.57/51.67 o 2506 51.66/51.74 o 2505 51.76/51.82 o 2504 51.76/51.89 o 2503 51.86/51.96 o 2502 51.96/52.04 o 2501 52.06/52.11 o 2500 52.06/52.18 o 2499 52.16/52.26 o 2498 52.26/52.33 o 2497 52.36/52.40 o 2496 52.36/52.47 o 2495 52.47/52.54 o 2494 52.56/52.62 o 2493 52.56/52.69 o 2492 52.67/52.76 o 2491 52.76/52.83 o 2490 52.86/52.90 o 2489 52.86/52.98 o 2488 52.96/53.05 o 2487 53.06/53.12 o 2486 53.06/53.19 o 2485 53.16/53.26 o 2484 53.26/53.34 o 2483 53.36/53.41 o 2482 53.36/53.48 o 2481 53.46/53.55 o 2480 53.56/53.62 o 2479 53.56/53.69 o 2478 53.66/53.77 o 2477 53.76/53.84 o 2476 53.86/53.91 o 2475 53.86/53.98 o 2474 53.96/54.05 o 2473 54.06/54.12 o 2472 54.06/54.19 o 2471 54.16/54.26 o 2470 54.26/54.33 o 2469 54.35/54.41 o 2468 54.35/54.48 o 2467 54.46/54.55 o 2466 54.55/54.62 o 2465 54.55/54.69 o 2464 54.66/54.76 o 2463 54.75/54.83 o 2462 54.86/54.90 o 2461 54.86/54.98 o 2460 54.96/55.05 o 2459 55.06/55.12 o 2458 55.06/55.19 o 2457 55.15/55.26 o 2456 55.26/55.33 o 2455 55.35/55.40 o 2454 55.35/55.47 o 2453 55.46/55.54 o 2452 55.56/55.61 o 2451 55.56/55.68 o 2450 55.65/55.75 o 2449 55.75/55.83 o 2448 55.75/55.90 o 2447 55.86/55.97 o 2446 55.96/56.04 o 2445 56.05/56.11 o 2444 56.05/56.18 o 2443 56.16/56.25 o 2442 56.25/56.32 o 2441 56.25/56.39 o 2440 56.36/56.46 o 2439 56.45/56.53 o 2438 56.56/56.60 o 2437 56.56/56.67 o 2436 56.65/56.74 o 2435 56.76/56.81 o 2434 56.76/56.88 o 2433 56.85/56.95 o 2432 56.96/57.01 o 2431 56.96/57.08 o 2430 57.05/57.15 o 2429 57.16/57.22 o 2428 57.16/57.29 o 2427 57.25/57.36 o 2426 57.36/57.43 o 2425 57.45/57.50 o 2424 57.45/57.57 o 2423 57.56/57.64 o 2422 57.66/57.71 o 2421 57.66/57.78 o 2420 57.75/57.85 o 2419 57.85/57.92 o 2418 57.85/57.99 o 2417 57.96/58.06 o 2416 58.05/58.13 o 2415 58.05/58.20 o 2414 58.16/58.27 o 2413 58.26/58.34 o 2412 58.35/58.41 o 2411 58.35/58.48 o 2410 58.46/58.55 o 2409 58.55/58.62 o 2408 58.55/58.69 o 2407 58.65/58.76 o 2406 58.75/58.83 o 2405 58.85/58.90 o 2404 58.85/58.97 o 2403 58.95/59.04 o 2402 59.06/59.11 o 2401 59.06/59.18 o 2400 59.15/59.25 o 2399 59.25/59.31 o 2398 59.25/59.38 o 2397 59.36/59.45 o 2396 59.45/59.52 o 2395 59.45/59.59 o 2394 59.55/59.66 o 2393 59.65/59.73 o 2392 59.75/59.80 o 2391 59.75/59.87 o 2390 59.85/59.94 o 2389 59.95/60.01 o 2388 59.95/60.07 o 2387 60.05/60.14 o 2386 60.15/60.21 o 2385 60.15/60.28 o 2384 60.25/60.35 o 2383 60.35/60.42 o 2382 60.35/60.49 o 2381 60.46/60.55 o 2380 60.55/60.62 o 2379 60.55/60.69 o 2378 60.65/60.76 o 2377 60.75/60.83 o 2376 60.75/60.90 o 2375 60.85/60.97 o 2374 60.95/61.03 o 2373 61.05/61.10 o 2372 61.05/61.17 o 2371 61.15/61.24 o 2370 61.25/61.31 o 2369 61.25/61.38 o 2368 61.35/61.45 o 2367 61.45/61.51 o 2366 61.45/61.58 o 2365 61.56/61.65 o 2364 61.64/61.72 o 2363 61.64/61.79 o 2362 61.75/61.85 o 2361 61.85/61.92 o 2360 61.85/61.99 o 2359 61.95/62.06 o 2358 62.05/62.13 o 2357 62.05/62.19 o 2356 62.15/62.26 o 2355 62.25/62.33 o 2354 62.35/62.40 o 2353 62.35/62.47 o 2352 62.44/62.53 o 2351 62.44/62.60 o 2350 62.55/62.67 o 2349 62.66/62.74 o 2348 62.75/62.80 o 2347 62.75/62.87 o 2346 62.85/62.94 o 2345 62.95/63.01 o 2344 62.95/63.08 o 2343 63.04/63.14 o 2342 63.15/63.21 o 2341 63.15/63.28 o 2340 63.25/63.34 o 2339 63.35/63.41 o 2338 63.35/63.48 o 2337 63.45/63.55 o 2336 63.55/63.62 o 2335 63.55/63.68 o 2334 63.65/63.75 o 2333 63.75/63.82 o 2332 63.75/63.88 o 2331 63.85/63.95 o 2330 63.95/64.02 o 2329 63.95/64.09 o 2328 64.04/64.15 o 2327 64.15/64.22 o 2326 64.15/64.29 o 2325 64.25/64.35 o 2324 64.35/64.42 o 2323 64.35/64.49 o 2322 64.45/64.55 o 2321 64.55/64.62 o 2320 64.55/64.69 o 2319 64.64/64.76 o 2318 64.75/64.83 o 2317 64.75/64.89 o 2316 64.85/64.96 o 2315 64.94/65.03 o 2314 64.94/65.09 o 2313 65.04/65.16 o 2312 65.15/65.23 o 2311 65.15/65.29 o 2310 65.25/65.36 o 2309 65.35/65.43 o 2308 65.35/65.49 o 2307 65.45/65.56 o 2306 65.55/65.63 o 2305 65.55/65.69 o 2304 65.65/65.76 o 2303 65.74/65.83 o 2302 65.74/65.89 o 2301 65.85/65.96 o 2300 65.95/66.03 o 2299 65.95/66.09 o 2298 66.05/66.16 o 2297 66.15/66.22 o 2296 66.15/66.29 o 2295 66.25/66.36 o 2294 66.34/66.42 o 2293 66.34/66.49 o 2292 66.45/66.56 o 2291 66.54/66.62 o 2290 66.54/66.69 o 2289 66.65/66.75 o 2288 66.74/66.82 o 2287 66.74/66.88 o 2286 66.85/66.95 o 2285 66.95/67.02 o 2284 66.95/67.08 o 2283 67.05/67.15 o 2282 67.14/67.21 o 2281 67.14/67.28 o 2280 67.24/67.35 o 2279 67.35/67.41 o 2278 67.35/67.48 o 2277 67.44/67.54 o 2276 67.55/67.61 o 2275 67.55/67.67 o 2274 67.64/67.74 o 2273 67.74/67.81 o 2272 67.74/67.87 o 2271 67.85/67.94 o 2270 67.95/68.00 o 2269 67.95/68.07 o 2268 68.05/68.13 o 2267 68.05/68.20 o 2266 68.14/68.26 o 2265 68.24/68.33 o 2264 68.24/68.39 o 2263 68.35/68.46 o 2262 68.44/68.52 o 2261 68.44/68.59 o 2260 68.54/68.65 o 2259 68.64/68.72 o 2258 68.64/68.78 o 2257 68.74/68.85 o 2256 68.84/68.91 o 2255 68.84/68.98 o 2254 68.94/69.04 o 2253 69.04/69.11 o 2252 69.04/69.17 o 2251 69.15/69.24 o 2250 69.25/69.30 o 2249 69.25/69.37 o 2248 69.34/69.43 o 2247 69.34/69.49 o 2246 69.45/69.56 o 2245 69.54/69.62 o 2244 69.54/69.69 o 2243 69.65/69.75 o 2242 69.74/69.82 o 2241 69.74/69.88 o 2240 69.84/69.95 o 2239 69.95/70.01 o 2238 69.95/70.08 o 2237 70.04/70.14 o 2236 70.15/70.20 o 2235 70.15/70.27 o 2234 70.25/70.33 o 2233 70.25/70.39 o 2232 70.34/70.46 o 2231 70.45/70.52 o 2230 70.45/70.59 o 2229 70.54/70.65 o 2228 70.64/70.71 o 2227 70.64/70.78 o 2226 70.74/70.84 o 2225 70.85/70.91 o 2224 70.85/70.97 o 2223 70.94/71.03 o 2222 71.04/71.10 o 2221 71.04/71.16 o 2220 71.14/71.23 o 2219 71.14/71.29 o 2218 71.24/71.35 o 2217 71.34/71.42 o 2216 71.34/71.48 o 2215 71.44/71.55 o 2214 71.53/71.61 o 2213 71.53/71.67 o 2212 71.64/71.74 o 2211 71.74/71.80 o 2210 71.74/71.86 o 2209 71.84/71.93 o 2208 71.84/71.99 o 2207 71.94/72.06 o 2206 72.04/72.12 o 2205 72.04/72.18 o 2204 72.13/72.25 o 2203 72.24/72.31 o 2202 72.24/72.37 o 2201 72.34/72.44 o 2200 72.44/72.50 o 2199 72.44/72.56 o 2198 72.54/72.63 o 2197 72.54/72.69 o 2196 72.63/72.76 o 2195 72.73/72.82 o 2194 72.73/72.88 o 2193 72.84/72.95 o 2192 72.93/73.01 o 2191 72.93/73.07 o 2190 73.04/73.14 o 2189 73.13/73.20 o 2188 73.13/73.26 o 2187 73.23/73.32 o 2186 73.23/73.39 o 2185 73.33/73.45 o 2184 73.44/73.51 o 2183 73.44/73.57 o 2182 73.54/73.64 o 2181 73.54/73.70 o 2180 73.64/73.76 o 2179 73.74/73.83 o 2178 73.74/73.89 o 2177 73.84/73.95 o 2176 73.94/74.02 o 2175 73.94/74.08 o 2174 74.04/74.15 o 2173 74.13/74.21 o 2172 74.13/74.27 o 2171 74.24/74.33 o 2170 74.33/74.40 o 2169 74.33/74.46 o 2168 74.44/74.52 o 2167 74.44/74.59 o 2166 74.53/74.65 o 2165 74.63/74.71 o 2164 74.63/74.78 o 2163 74.74/74.84 o 2162 74.84/74.90 o 2161 74.84/74.96 o 2160 74.94/75.02 o 2159 74.94/75.09 o 2158 75.03/75.15 o 2157 75.14/75.21 o 2156 75.14/75.27 o 2155 75.23/75.34 o 2154 75.33/75.40 o 2153 75.33/75.46 o 2152 75.44/75.52 o 2151 75.44/75.59 o 2150 75.53/75.65 o 2149 75.63/75.71 o 2148 75.63/75.77 o 2147 75.73/75.83 o 2146 75.73/75.90 o 2145 75.83/75.96 o 2144 75.94/76.02 o 2143 75.94/76.09 o 2142 76.03/76.15 o 2141 76.13/76.21 o 2140 76.13/76.27 o 2139 76.23/76.33 o 2138 76.23/76.40 o 2137 76.33/76.46 o 2136 76.43/76.52 o 2135 76.43/76.58 o 2134 76.53/76.65 o 2133 76.63/76.71 o 2132 76.63/76.77 o 2131 76.73/76.83 o 2130 76.73/76.89 o 2129 76.83/76.95 o 2128 76.93/77.02 o 2127 76.93/77.08 o 2126 77.03/77.14 o 2125 77.13/77.20 o 2124 77.13/77.26 o 2123 77.23/77.33 o 2122 77.23/77.39 o 2121 77.33/77.45 o 2120 77.43/77.51 o 2119 77.43/77.57 o 2118 77.53/77.63 o 2117 77.53/77.70 o 2116 77.63/77.76 o 2115 77.73/77.82 o 2114 77.73/77.88 o 2113 77.83/77.95 o 2112 77.94/78.01 o 2111 77.94/78.07 o 2110 78.03/78.13 o 2109 78.03/78.19 o 2108 78.13/78.26 o 2107 78.23/78.32 o 2106 78.23/78.38 o 2105 78.33/78.44 o 2104 78.42/78.50 o 2103 78.42/78.57 o 2102 78.53/78.63 o 2101 78.53/78.69 o 2100 78.63/78.75 o 2099 78.73/78.81 o 2098 78.73/78.88 o 2097 78.83/78.94 o 2096 78.93/79.00 o 2095 78.93/79.06 o 2094 79.03/79.12 o 2093 79.03/79.18 o 2092 79.14/79.25 o 2091 79.23/79.31 o 2090 79.23/79.37 o 2089 79.33/79.43 o 2088 79.33/79.49 o 2087 79.42/79.56 o 2086 79.53/79.62 o 2085 79.53/79.68 o 2084 79.63/79.74 o 2083 79.73/79.80 o 2082 79.73/79.87 o 2081 79.83/79.93 o 2080 79.83/79.99 o 2079 79.93/80.05 o 2078 80.02/80.11 o 2077 80.02/80.17 o 2076 80.13/80.23 o 2075 80.13/80.30 o 2074 80.24/80.36 o 2073 80.33/80.42 o 2072 80.33/80.48 o 2071 80.43/80.54 o 2070 80.53/80.60 o 2069 80.53/80.66 o 2068 80.63/80.72 o 2067 80.63/80.78 o 2066 80.73/80.85 o 2065 80.83/80.91 o 2064 80.83/80.97 o 2063 80.93/81.03 o 2062 80.93/81.09 o 2061 81.03/81.15 o 2060 81.13/81.21 o 2059 81.13/81.27 o 2058 81.23/81.34 o 2057 81.23/81.40 o 2056 81.33/81.46 o 2055 81.43/81.52 o 2054 81.43/81.58 o 2053 81.52/81.64 o 2052 81.63/81.70 o 2051 81.63/81.76 o 2050 81.73/81.82 o 2049 81.73/81.89 o 2048 81.83/81.95 o 2047 81.92/82.01 o 2046 81.92/82.07 o 2045 82.03/82.13 o 2044 82.03/82.19 o 2043 82.12/82.25 o 2042 82.23/82.31 o 2041 82.23/82.37 o 2040 82.33/82.43 o 2039 82.33/82.50 o 2038 82.43/82.56 o 2037 82.53/82.62 o 2036 82.53/82.68 o 2035 82.62/82.74 o 2034 82.72/82.80 o 2033 82.72/82.86 o 2032 82.82/82.92 o 2031 82.82/82.98 o 2030 82.93/83.04 o 2029 83.03/83.10 o 2028 83.03/83.16 o 2027 83.12/83.22 o 2026 83.12/83.28 o 2025 83.23/83.34 o 2024 83.33/83.40 o 2023 83.33/83.46 o 2022 83.42/83.52 o 2021 83.42/83.58 o 2020 83.53/83.64 o 2019 83.62/83.70 o 2018 83.62/83.77 o 2017 83.72/83.83 o 2016 83.72/83.89 o 2015 83.83/83.95 o 2014 83.93/84.01 o 2013 83.93/84.07 o 2012 84.02/84.13 o 2011 84.02/84.19 o 2010 84.13/84.25 o 2009 84.22/84.31 o 2008 84.22/84.37 o 2007 84.33/84.43 o 2006 84.33/84.49 o 2005 84.42/84.55 o 2004 84.53/84.61 o 2003 84.53/84.67 o 2002 84.63/84.72 o 2001 84.63/84.78 o 2000 84.72/84.84 o 1999 84.82/84.90 o 1998 84.82/84.96 o 1997 84.92/85.02 o 1996 84.92/85.08 o 1995 85.02/85.14 o 1994 85.12/85.20 o 1993 85.12/85.26 o 1992 85.23/85.32 o 1991 85.23/85.38 o 1990 85.32/85.44 o 1989 85.32/85.49 o 1988 85.43/85.55 o 1987 85.52/85.61 o 1986 85.52/85.67 o 1985 85.63/85.73 o 1984 85.63/85.79 o 1983 85.73/85.85 o 1982 85.83/85.91 o 1981 85.83/85.97 o 1980 85.93/86.03 o 1979 85.93/86.08 o 1978 86.02/86.14 o 1977 86.12/86.20 o 1976 86.12/86.26 o 1975 86.22/86.32 o 1974 86.22/86.38 o 1973 86.32/86.43 o 1972 86.32/86.49 o 1971 86.43/86.55 o 1970 86.52/86.61 o 1969 86.52/86.67 o 1968 86.62/86.73 o 1967 86.62/86.79 o 1966 86.72/86.84 o 1965 86.83/86.90 o 1964 86.83/86.96 o 1963 86.92/87.02 o 1962 86.92/87.08 o 1961 87.02/87.14 o 1960 87.02/87.20 o 1959 87.12/87.25 o 1958 87.22/87.31 o 1957 87.22/87.37 o 1956 87.32/87.43 o 1955 87.32/87.49 o 1954 87.42/87.55 o 1953 87.52/87.60 o 1952 87.52/87.66 o 1951 87.61/87.72 o 1950 87.61/87.78 o 1949 87.72/87.84 o 1948 87.72/87.89 o 1947 87.82/87.95 o 1946 87.92/88.01 o 1945 87.92/88.07 o 1944 88.01/88.13 o 1943 88.01/88.18 o 1942 88.12/88.24 o 1941 88.21/88.30 o 1940 88.21/88.35 o 1939 88.31/88.41 o 1938 88.31/88.47 o 1937 88.42/88.53 o 1936 88.42/88.58 o 1935 88.51/88.64 o 1934 88.62/88.70 o 1933 88.62/88.76 o 1932 88.71/88.81 o 1931 88.71/88.87 o 1930 88.82/88.93 o 1929 88.82/88.98 o 1928 88.92/89.04 o 1927 88.92/89.10 o 1926 89.01/89.15 o 1925 89.11/89.21 o 1924 89.11/89.27 o 1923 89.22/89.32 o 1922 89.22/89.38 o 1921 89.32/89.44 o 1920 89.32/89.49 o 1919 89.42/89.55 o 1918 89.51/89.61 o 1917 89.51/89.66 o 1916 89.62/89.72 o 1915 89.62/89.78 o 1914 89.71/89.83 o 1913 89.71/89.89 o 1912 89.82/89.95 o 1911 89.91/90.00 o 1910 89.91/90.06 o 1909 90.02/90.12 o 1908 90.02/90.17 o 1907 90.12/90.23 o 1906 90.12/90.29 o 1905 90.21/90.34 o 1904 90.31/90.40 o 1903 90.31/90.46 o 1902 90.42/90.51 o 1901 90.42/90.57 o 1900 90.52/90.63 o 1899 90.52/90.68 o 1898 90.61/90.74 o 1897 90.72/90.80 o 1896 90.72/90.85 o 1895 90.81/90.91 o 1894 90.81/90.97 o 1893 90.91/91.02 o 1892 90.91/91.08 o 1891 91.01/91.14 o 1890 91.01/91.19 o 1889 91.11/91.25 o 1888 91.22/91.30 o 1887 91.22/91.36 o 1886 91.31/91.41 o 1885 91.31/91.47 o 1884 91.41/91.53 o 1883 91.41/91.58 o 1882 91.51/91.64 o 1881 91.61/91.70 o 1880 91.61/91.76 o 1879 91.72/91.81 o 1878 91.72/91.87 o 1877 91.81/91.92 o 1876 91.81/91.98 o 1875 91.91/92.04 o 1874 91.91/92.09 o 1873 92.01/92.15 o 1872 92.11/92.21 o 1871 92.11/92.26 o 1870 92.21/92.32 o 1869 92.21/92.37 o 1868 92.31/92.43 o 1867 92.31/92.48 o 1866 92.41/92.54 o 1865 92.51/92.60 o 1864 92.51/92.65 o 1863 92.61/92.71 o 1862 92.61/92.76 o 1861 92.71/92.82 o 1860 92.71/92.87 o 1859 92.81/92.93 o 1858 92.81/92.99 o 1857 92.91/93.04 o 1856 93.01/93.10 o 1855 93.01/93.15 o 1854 93.11/93.21 o 1853 93.11/93.26 o 1852 93.20/93.32 o 1851 93.20/93.37 o 1850 93.31/93.43 o 1849 93.31/93.49 o 1848 93.41/93.54 o 1847 93.41/93.60 o 1846 93.51/93.65 o 1845 93.61/93.71 o 1844 93.61/93.76 o 1843 93.71/93.82 o 1842 93.71/93.87 o 1841 93.80/93.93 o 1840 93.80/93.98 o 1839 93.91/94.04 o 1838 93.91/94.09 o 1837 94.01/94.15 o 1836 94.11/94.20 o 1835 94.11/94.26 o 1834 94.21/94.31 o 1833 94.21/94.37 o 1832 94.31/94.42 o 1831 94.31/94.48 o 1830 94.41/94.53 o 1829 94.41/94.59 o 1828 94.51/94.64 o 1827 94.61/94.70 o 1826 94.61/94.75 o 1825 94.71/94.81 o 1824 94.71/94.86 o 1823 94.81/94.92 o 1822 94.81/94.97 o 1821 94.91/95.03 o 1820 94.91/95.08 o 1819 95.01/95.14 o 1818 95.01/95.19 o 1817 95.11/95.24 o 1816 95.20/95.30 o 1815 95.20/95.35 o 1814 95.31/95.41 o 1813 95.31/95.46 o 1812 95.41/95.52 o 1811 95.41/95.57 o 1810 95.51/95.63 o 1809 95.51/95.68 o 1808 95.60/95.74 o 1807 95.60/95.79 o 1806 95.70/95.84 o 1805 95.81/95.90 o 1804 95.81/95.95 o 1803 95.90/96.01 o 1802 95.90/96.06 o 1801 96.01/96.11 o 1800 96.01/96.17 o 1799 96.10/96.22 o 1798 96.10/96.28 o 1797 96.20/96.33 o 1796 96.20/96.38 o 1795 96.31/96.44 o 1794 96.31/96.49 o 1793 96.40/96.55 o 1792 96.51/96.60 o 1791 96.51/96.65 o 1790 96.61/96.70 o 1789 96.61/96.76 o 1788 96.71/96.81 o 1787 96.71/96.87 o 1786 96.80/96.92 o 1785 96.80/96.97 o 1784 96.91/97.03 o 1783 96.91/97.08 o 1782 97.00/97.13 o 1781 97.00/97.19 o 1780 97.11/97.24 o 1779 97.11/97.29 o 1778 97.20/97.35 o 1777 97.31/97.40 o 1776 97.31/97.45 o 1775 97.40/97.51 o 1774 97.40/97.56 o 1773 97.50/97.61 o 1772 97.50/97.67 o 1771 97.61/97.72 o 1770 97.61/97.78 o 1769 97.71/97.83 o 1768 97.71/97.88 o 1767 97.80/97.94 o 1766 97.80/97.99 o 1765 97.90/98.04 o 1764 98.00/98.10 o 1763 98.00/98.15 o 1762 98.11/98.21 o 1761 98.11/98.26 o 1760 98.21/98.31 o 1759 98.21/98.37 o 1758 98.30/98.42 o 1757 98.30/98.47 o 1756 98.40/98.53 o 1755 98.40/98.58 o 1754 98.50/98.63 o 1753 98.50/98.69 o 1752 98.61/98.74 o 1751 98.70/98.80 o 1750 98.70/98.85 o 1749 98.81/98.90 o 1748 98.81/98.96 o 1747 98.90/99.01 o 1746 98.90/99.06 o 1745 99.00/99.12 o 1744 99.00/99.17 o 1743 99.10/99.22 o 1742 99.10/99.27 o 1741 99.20/99.33 o 1740 99.20/99.38 o 1739 99.30/99.43 o 1738 99.30/99.49 o 1737 99.40/99.54 o 1736 99.40/99.59 o 1735 99.50/99.65 o 1734 99.60/99.70 o 1733 99.60/99.75 o 1732 99.70/99.81 o 1731 99.70/99.86 o 1730 99.80/99.91 o 1729 99.80/99.97 o 1728 99.90/100.02 o 1727 99.90/100.07 o 1726 100.00/100.13 o 1725 100.00/100.18 o 1724 100.10/100.23 o 1723 100.10/100.28 o 1722 100.20/100.34 o 1721 100.20/100.39 o 1720 100.30/100.44 o 1719 100.40/100.50 o 1718 100.40/100.55 o 1717 100.49/100.60 o 1716 100.49/100.66 o 1715 100.60/100.71 o 1714 100.60/100.76 o 1713 100.69/100.82 o 1712 100.69/100.87 o 1711 100.80/100.92 o 1710 100.80/100.97 o 1709 100.90/101.03 o 1708 100.90/101.08 o 1707 101.01/101.13 o 1706 101.01/101.18 o 1705 101.11/101.24 o 1704 101.11/101.29 o 1703 101.20/101.34 o 1702 101.20/101.40 o 1701 101.29/101.45 o 1700 101.40/101.50 o 1699 101.40/101.55 o 1698 101.50/101.61 o 1697 101.50/101.66 o 1696 101.60/101.71 o 1695 101.60/101.76 o 1694 101.69/101.82 o 1693 101.69/101.87 o 1692 101.80/101.92 o 1691 101.80/101.98 o 1690 101.90/102.03 o 1689 101.90/102.08 o 1688 102.00/102.13 o 1687 102.00/102.19 o 1686 102.10/102.24 o 1685 102.10/102.29 o 1684 102.21/102.34 o 1683 102.21/102.39 o 1682 102.30/102.45 o 1681 102.40/102.50 o 1680 102.40/102.55 o 1679 102.49/102.60 o 1678 102.49/102.66 o 1677 102.60/102.71 o 1676 102.60/102.76 o 1675 102.70/102.81 o 1674 102.70/102.87 o 1673 102.80/102.92 o 1672 102.80/102.97 o 1671 102.90/103.02 o 1670 102.90/103.07 o 1669 102.99/103.12 o 1668 102.99/103.18 o 1667 103.09/103.23 o 1666 103.09/103.28 o 1665 103.20/103.33 o 1664 103.20/103.38 o 1663 103.30/103.44 o 1662 103.30/103.49 o 1661 103.40/103.54 o 1660 103.40/103.59 o 1659 103.50/103.64 o 1658 103.50/103.70 o 1657 103.60/103.75 o 1656 103.70/103.80 o 1655 103.70/103.85 o 1654 103.79/103.90 o 1653 103.79/103.95 o 1652 103.89/104.00 o 1651 103.89/104.05 o 1650 104.00/104.11 o 1649 104.00/104.16 o 1648 104.10/104.21 o 1647 104.10/104.26 o 1646 104.20/104.31 o 1645 104.20/104.36 o 1644 104.29/104.42 o 1643 104.29/104.47 o 1642 104.40/104.52 o 1641 104.40/104.57 o 1640 104.49/104.62 o 1639 104.49/104.67 o 1638 104.59/104.72 o 1637 104.59/104.77 o 1636 104.70/104.82 o 1635 104.70/104.87 o 1634 104.79/104.93 o 1633 104.79/104.98 o 1632 104.89/105.03 o 1631 104.89/105.08 o 1630 105.00/105.13 o 1629 105.00/105.18 o 1628 105.09/105.23 o 1627 105.09/105.28 o 1626 105.19/105.33 o 1625 105.19/105.38 o 1624 105.30/105.44 o 1623 105.30/105.49 o 1622 105.40/105.54 o 1621 105.40/105.59 o 1620 105.50/105.64 o 1619 105.50/105.69 o 1618 105.59/105.74 o 1617 105.59/105.79 o 1616 105.69/105.84 o 1615 105.69/105.89 o 1614 105.80/105.94 o 1613 105.80/105.99 o 1612 105.89/106.04 o 1611 105.89/106.09 o 1610 105.99/106.14 o 1609 105.99/106.19 o 1608 106.09/106.24 o 1607 106.09/106.30 o 1606 106.19/106.35 o 1605 106.19/106.40 o 1604 106.29/106.45 o 1603 106.39/106.50 o 1602 106.39/106.55 o 1601 106.39/106.60 o 1600 106.50/106.65 o 1599 106.50/106.70 o 1598 106.59/106.75 o 1597 106.69/106.80 o 1596 106.69/106.85 o 1595 106.69/106.90 o 1594 106.79/106.95 o 1593 106.79/106.99 o 1592 106.89/107.04 o 1591 106.89/107.09 o 1590 106.99/107.14 o 1589 106.99/107.19 o 1588 107.09/107.24 o 1587 107.09/107.29 o 1586 107.19/107.34 o 1585 107.19/107.39 o 1584 107.29/107.44 o 1583 107.29/107.49 o 1582 107.39/107.54 o 1581 107.39/107.59 o 1580 107.49/107.64 o 1579 107.49/107.69 o 1578 107.60/107.74 o 1577 107.60/107.79 o 1576 107.69/107.83 o 1575 107.69/107.88 o 1574 107.79/107.93 o 1573 107.79/107.98 o 1572 107.89/108.03 o 1571 107.89/108.08 o 1570 107.99/108.13 o 1569 107.99/108.18 o 1568 108.09/108.22 o 1567 108.09/108.27 o 1566 108.19/108.32 o 1565 108.19/108.37 o 1564 108.30/108.42 o 1563 108.30/108.46 o 1562 108.39/108.51 o 1561 108.39/108.56 o 1560 108.49/108.61 o 1559 108.49/108.66 o 1558 108.59/108.71 o 1557 108.59/108.75 o 1556 108.59/108.80 o 1555 108.69/108.85 o 1554 108.69/108.90 o 1553 108.80/108.94 o 1552 108.80/108.99 o 1551 108.89/109.04 o 1550 108.89/109.09 o 1549 108.99/109.14 o 1548 108.99/109.18 o 1547 109.09/109.23 o 1546 109.09/109.28 o 1545 109.19/109.33 o 1544 109.19/109.38 o 1543 109.29/109.42 o 1542 109.29/109.47 o 1541 109.38/109.52 o 1540 109.38/109.57 o 1539 109.49/109.62 o 1538 109.49/109.66 o 1537 109.58/109.71 o 1536 109.58/109.76 o 1535 109.69/109.81 o 1534 109.69/109.85 o 1533 109.69/109.90 o 1532 109.79/109.95 o 1531 109.79/109.99 o 1530 109.89/110.04 o 1529 109.89/110.09 o 1528 109.98/110.14 o 1527 109.98/110.18 o 1526 110.09/110.23 o 1525 110.09/110.28 o 1524 110.19/110.32 o 1523 110.19/110.37 o 1522 110.28/110.42 o 1521 110.28/110.47 o 1520 110.38/110.51 o 1519 110.38/110.56 o 1518 110.49/110.61 o 1517 110.49/110.65 o 1516 110.58/110.70 o 1515 110.58/110.75 o 1514 110.58/110.80 o 1513 110.69/110.84 o 1512 110.69/110.89 o 1511 110.78/110.94 o 1510 110.78/110.98 o 1509 110.89/111.03 o 1508 110.89/111.08 o 1507 110.98/111.12 o 1506 110.98/111.17 o 1505 111.08/111.21 o 1504 111.08/111.26 o 1503 111.19/111.31 o 1502 111.19/111.36 o 1501 111.28/111.40 o 1500 111.28/111.45 o 1499 111.28/111.49 o 1498 111.38/111.54 o 1497 111.38/111.59 o 1496 111.48/111.63 o 1495 111.48/111.68 o 1494 111.58/111.73 o 1493 111.58/111.77 o 1492 111.68/111.82 o 1491 111.68/111.87 o 1490 111.78/111.91 o 1489 111.78/111.96 o 1488 111.88/112.00 o 1487 111.88/112.05 o 1486 111.88/112.10 o 1485 111.98/112.14 o 1484 111.98/112.19 o 1483 112.09/112.23 o 1482 112.09/112.28 o 1481 112.18/112.38 o 1480 112.28/112.43 o 1479 112.28/112.48 o 1478 112.38/112.52 o 1477 112.38/112.57 o 1476 112.48/112.62 o 1475 112.48/112.67 o 1474 112.58/112.71 o 1473 112.58/112.76 o 1472 112.68/112.80 o 1471 112.68/112.85 o 1470 112.68/112.89 o 1469 112.78/112.94 o 1468 112.78/112.99 o 1467 112.88/113.03 o 1466 112.88/113.08 o 1465 112.98/113.12 o 1464 112.98/113.17 o 1463 113.08/113.21 o 1462 113.08/113.26 o 1461 113.19/113.31 o 1460 113.19/113.35 o 1459 113.19/113.40 o 1458 113.28/113.44 o 1457 113.28/113.49 o 1456 113.38/113.53 o 1455 113.38/113.58 o 1454 113.48/113.62 o 1453 113.48/113.67 o 1452 113.58/113.72 o 1451 113.58/113.76 o 1450 113.67/113.81 o 1449 113.67/113.85 o 1448 113.67/113.90 o 1447 113.77/113.94 o 1446 113.77/113.99 o 1445 113.88/114.03 o 1444 113.88/114.08 o 1443 113.98/114.12 o 1442 113.98/114.17 o 1441 114.08/114.22 o 1440 114.08/114.26 o 1439 114.18/114.31 o 1438 114.18/114.35 o 1437 114.28/114.40 o 1436 114.28/114.45 o 1435 114.28/114.49 o 1434 114.38/114.54 o 1433 114.38/114.58 o 1432 114.48/114.63 o 1431 114.48/114.68 o 1430 114.58/114.72 o 1429 114.58/114.77 o 1428 114.68/114.81 o 1427 114.68/114.86 o 1426 114.77/114.90 o 1425 114.77/114.95 o 1424 114.77/114.99 o 1423 114.88/115.04 o 1422 114.88/115.09 o 1421 114.97/115.13 o 1420 114.97/115.18 o 1419 115.08/115.22 o 1418 115.08/115.27 o 1417 115.18/115.31 o 1416 115.18/115.36 o 1415 115.28/115.40 o 1414 115.28/115.45 o 1413 115.28/115.49 o 1412 115.38/115.54 o 1411 115.38/115.58 o 1410 115.48/115.63 o 1409 115.57/115.72 o 1408 115.57/115.77 o 1407 115.67/115.82 o 1406 115.67/115.86 o 1405 115.78/115.91 o 1404 115.78/115.95 o 1403 115.78/115.99 o 1402 115.87/116.04 o 1401 115.87/116.09 o 1400 115.98/116.13 o 1399 115.98/116.18 o 1398 116.08/116.22 o 1397 116.08/116.27 o 1396 116.17/116.31 o 1395 116.17/116.36 o 1394 116.28/116.40 o 1393 116.28/116.45 o 1392 116.28/116.49 o 1391 116.38/116.54 o 1390 116.38/116.59 o 1389 116.48/116.63 o 1388 116.48/116.67 o 1387 116.57/116.72 o 1386 116.57/116.77 o 1385 116.67/116.81 o 1384 116.67/116.86 o 1383 116.77/116.90 o 1382 116.87/117.00 o 1381 116.87/117.05 o 1380 116.87/117.10 o 1379 116.97/117.14 o 1378 116.97/117.18 o 1377 117.07/117.23 o 1376 117.07/117.27 o 1375 117.18/117.31 o 1374 117.18/117.36 o 1373 117.27/117.40 o 1372 117.27/117.44 o 1371 117.27/117.49 o 1370 117.37/117.53 o 1369 117.37/117.58 o 1368 117.48/117.62 o 1367 117.48/117.66 o 1366 117.57/117.71 o 1365 117.57/117.75 o 1364 117.57/117.79 o 1363 117.67/117.84 o 1362 117.67/117.88 o 1361 117.77/117.93 o 1360 117.77/117.97 o 1359 117.87/118.02 o 1358 117.87/118.06 o 1357 117.97/118.11 o 1356 117.97/118.15 o 1355 117.97/118.20 o 1354 118.07/118.24 o 1353 118.07/118.28 o 1352 118.17/118.33 o 1351 118.17/118.37 o 1350 118.27/118.42 o 1349 118.37/118.51 o 1348 118.47/118.61 o 1347 118.47/118.66 o 1253 118.57/118.71 o 1252 118.57/118.75 o 1251 118.57/118.79 o 1239 118.67/118.83 o 1238 118.67/118.87 o 1237 118.77/118.92 o 1236 118.77/118.96 o 1235 118.77/119.00 o 1234 118.87/119.04 o 1233 118.87/119.08 o 1232 118.97/119.12 o 1231 118.97/119.16 o 1230 119.07/119.20 o 1229 119.07/119.25 o 1228 119.07/119.29 o 1227 119.17/119.33 o 1226 119.17/119.37 o 1225 119.27/119.41 o 1224 119.27/119.45 o 1223 119.27/119.49 o 1222 119.36/119.53 o 1221 119.36/119.57 o 1220 119.46/119.61 o 1219 119.46/119.69 o 1218 119.57/119.74 o 1217 119.57/119.78 o 1216 119.68/119.87 o 1215 119.77/119.92 o 1214 119.77/119.96 o 1213 119.87/120.00 o 1212 119.87/120.04 o 1211 119.87/120.08 o 1210 119.96/120.13 o 1209 119.96/120.17 o 1208 120.07/120.21 o 1207 120.07/120.25 o 1206 120.07/120.29 o 1205 120.17/120.33 o 1204 120.17/120.37 o 1203 120.27/120.41 o 1202 120.27/120.46 o 1201 120.27/120.50 o 1200 120.36/120.54 o 1199 120.36/120.58 o 1198 120.46/120.62 o 1197 120.46/120.66 o 1196 120.56/120.70 o 1195 120.56/120.74 o 1194 120.56/120.78 o 1193 120.66/120.87 o 1192 120.77/120.92 o 825 120.77/120.95 o 805 120.77/120.99 o 804 120.87/121.02 o 803 120.87/121.05 o 802 120.87/121.08 o 801 120.97/121.11 o 776 120.97/121.14 o 775 120.97/121.17 o 774 121.06/121.20 o 773 1800.09/1800.90 s SATISFIABLE 1800.09/1800.90 v -x1 -x10 x100 -x1000 x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.09/1800.90 v x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 x1026 x1027 -x1028 -x1029 -x103 -x1030 1800.09/1800.90 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 1800.09/1800.90 v -x1048 -x1049 -x105 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 x1056 x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.09/1800.90 v -x1064 x1065 x1066 -x1067 -x1068 -x1069 -x107 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 1800.09/1800.90 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 1800.09/1800.90 v -x1097 -x1098 x1099 x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x111 -x1110 -x1111 1800.09/1800.90 v -x1112 x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x112 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 1800.09/1800.90 v -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 x1139 -x114 -x1140 -x1141 -x1142 -x1143 x1144 1800.09/1800.90 v -x1145 -x1146 -x1147 -x1148 -x1149 -x115 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 -x1160 1800.09/1800.90 v -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.09/1800.90 v -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x119 -x1190 -x1191 -x1192 -x1193 1800.09/1800.90 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 1800.09/1800.90 v -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 x1222 -x1223 -x1224 -x1225 1800.09/1800.90 v -x1226 -x1227 -x1228 x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 x124 -x1240 -x1241 1800.09/1800.90 v -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 1800.09/1800.90 v -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 1800.09/1800.90 v -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 x1290 1800.09/1800.90 v x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 1800.09/1800.90 v x1307 -x1308 x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 x1322 1800.09/1800.90 v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 1800.09/1800.90 v -x134 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x135 x1350 -x1351 -x1352 -x1353 -x1354 x1355 1800.09/1800.90 v -x1356 -x1357 -x1358 -x1359 x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x137 -x1370 -x1371 1800.09/1800.90 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.09/1800.90 v -x1389 -x139 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 1800.09/1800.90 v -x1404 -x1405 x1406 x1407 -x1408 -x1409 x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x142 1800.09/1800.90 v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1800.09/1800.90 v -x1436 -x1437 -x1438 x1439 -x144 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x145 -x1450 -x1451 1800.09/1800.90 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 x1468 1800.09/1800.90 v -x1469 x147 -x1470 x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 x1481 -x1482 -x1483 -x1484 1800.09/1800.90 v -x1485 -x1486 x1487 -x1488 x1489 x149 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 1800.09/1800.90 v -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 1800.09/1800.90 v -x1518 x1519 -x152 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 1800.09/1800.90 v x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 1800.09/1800.90 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 1800.09/1800.90 v -x1567 -x1568 -x1569 x157 -x1570 x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x158 -x1580 x1581 -x1582 1800.09/1800.90 v -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 1800.09/1800.90 v -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x161 x1610 -x1611 -x1612 -x1613 -x1614 1800.09/1800.90 v x1615 -x1616 x1617 x1618 x1619 -x162 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 1800.09/1800.90 v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 x1642 x1643 -x1644 -x1645 x1646 -x1647 -x1648 1800.09/1800.90 v -x1649 -x165 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 x1657 x1658 x1659 -x166 -x1660 -x1661 -x1662 x1663 -x1664 1800.09/1800.90 v -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x168 x1680 1800.09/1800.90 v -x1681 -x1682 x1683 -x1684 -x1685 x1686 -x1687 -x1688 x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1800.09/1800.90 v -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x171 -x1710 -x1711 -x1712 1800.09/1800.90 v -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 1800.09/1800.90 v -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x174 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 1800.09/1800.90 v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x176 x1760 -x1761 1800.09/1800.90 v x1762 x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 1800.09/1800.90 v -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 x1793 -x1794 1800.09/1800.90 v -x1795 -x1796 -x1797 x1798 -x1799 -x18 x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 -x1809 -x181 1800.09/1800.90 v -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 1800.09/1800.90 v -x1827 -x1828 -x1829 -x183 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 x1839 -x184 -x1840 -x1841 -x1842 1800.09/1800.90 v -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 x1856 x1857 -x1858 -x1859 1800.09/1800.90 v -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.09/1800.90 v x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 1800.09/1800.90 v x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 x1906 -x1907 1800.09/1800.90 v -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 1800.09/1800.90 v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.09/1800.90 v -x194 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 x1954 x1955 1800.09/1800.90 v -x1956 x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 x1967 -x1968 -x1969 x197 -x1970 -x1971 1800.09/1800.90 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1800.09/1800.90 v -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003 1800.09/1800.90 v -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 x2018 -x2019 -x202 1800.09/1800.90 v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 1800.09/1800.90 v -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x205 -x2050 x2051 -x2052 1800.09/1800.90 v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x206 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 1800.09/1800.90 v x207 -x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 1800.09/1800.90 v -x2086 -x2087 -x2088 -x2089 x209 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x21 -x210 x2100 -x2101 1800.09/1800.90 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.09/1800.90 v -x2119 -x212 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 1800.09/1800.90 v -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 1800.09/1800.90 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1800.09/1800.90 v -x2167 -x2168 x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 1800.09/1800.90 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1800.09/1800.90 v x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 1800.09/1800.90 v -x2215 -x2216 -x2217 -x2218 -x2219 x222 x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 1800.09/1800.90 v x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1800.09/1800.90 v -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 1800.09/1800.90 v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 1800.09/1800.90 v -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 1800.09/1800.90 v -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x231 -x2310 1800.09/1800.90 v -x2311 x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 x2319 -x232 -x2320 -x2321 -x2322 x2323 x2324 -x2325 -x2326 -x2327 1800.09/1800.90 v -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 1800.09/1800.90 v -x2344 x2345 -x2346 -x2347 -x2348 -x2349 x235 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 1800.09/1800.90 v x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 x2376 1800.09/1800.90 v -x2377 -x2378 x2379 -x238 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 x2390 -x2391 x2392 1800.09/1800.90 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.09/1800.90 v -x2409 -x241 -x2410 -x2411 -x2412 -x2413 x2414 x2415 -x2416 -x2417 -x2418 x2419 -x242 x2420 -x2421 -x2422 -x2423 -x2424 1800.09/1800.90 v -x2425 -x2426 -x2427 x2428 -x2429 x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x244 -x2440 1800.09/1800.90 v -x2441 -x2442 -x2443 -x2444 -x2445 x2446 x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 1800.09/1800.90 v x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x247 -x2470 -x2471 -x2472 -x2473 1800.09/1800.90 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 x2487 -x2488 -x2489 -x249 1800.09/1800.90 v x2490 -x2491 x2492 x2493 -x2494 x2495 x2496 -x2497 x2498 x2499 -x25 -x250 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 1800.09/1800.90 v -x2507 -x2508 -x2509 x251 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 1800.09/1800.90 v x2523 -x2524 -x2525 -x2526 x2527 x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 x2538 x2539 1800.09/1800.90 v x254 -x2540 -x2541 -x2542 x2543 x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x255 x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 1800.09/1800.90 v -x2557 x2558 -x2559 -x256 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x257 x2570 -x2571 -x2572 1800.09/1800.90 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 1800.09/1800.90 v x259 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 1800.09/1800.90 v -x2606 -x2607 -x2608 -x2609 x261 -x2610 -x2611 x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x262 x2620 -x2621 1800.09/1800.90 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 x263 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 1800.09/1800.90 v x2639 -x264 -x2640 -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 x2650 -x2651 -x2652 -x2653 -x2654 1800.09/1800.90 v -x2655 -x2656 x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 x2663 x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x267 -x2670 1800.09/1800.90 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1800.09/1800.90 v -x2688 -x2689 -x269 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 x2698 x2699 -x27 -x270 -x2700 x2701 -x2702 -x2703 1800.09/1800.90 v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x272 1800.09/1800.90 v x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x273 -x2730 x2731 -x2732 -x2733 x2734 x2735 x2736 1800.09/1800.90 v x2737 -x2738 -x2739 -x274 -x2740 -x2741 x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 1800.09/1800.90 v -x2753 -x2754 -x2755 x2756 x2757 -x2758 x2759 -x276 x2760 -x2761 x2762 -x2763 -x2764 x2765 x2766 -x2767 -x2768 -x2769 -x277 1800.09/1800.90 v -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 x2780 -x2781 -x2782 x2783 -x2784 -x2785 x2786 1800.09/1800.90 v x2787 -x2788 x2789 -x279 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 1800.09/1800.90 v -x2803 x2804 -x2805 -x2806 -x2807 -x2808 x2809 x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 1800.09/1800.90 v x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 x2834 -x2835 1800.09/1800.90 v -x2836 -x2837 x2838 -x2839 -x284 -x2840 x2841 -x2842 x2843 x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x285 -x2850 -x2851 1800.09/1800.90 v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 1800.09/1800.90 v -x2868 x2869 -x287 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 x2877 x2878 -x2879 x288 -x2880 x2881 -x2882 -x2883 -x2884 1800.09/1800.90 v -x2885 -x2886 -x2887 -x2888 -x2889 x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 1800.09/1800.90 v -x2900 -x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 -x2908 x2909 -x291 x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1800.09/1800.90 v x2917 -x2918 -x2919 -x292 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 x2926 x2927 -x2928 -x2929 -x293 -x2930 x2931 -x2932 1800.09/1800.90 v -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 x2946 x2947 -x2948 -x2949 1800.09/1800.90 v -x295 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 x2961 -x2962 -x2963 -x2964 -x2965 1800.09/1800.90 v x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 x2979 -x298 -x2980 -x2981 1800.09/1800.90 v -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 x2996 -x2997 -x2998 1800.09/1800.90 v -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 1800.09/1800.90 v x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x302 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 1800.09/1800.90 v x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x304 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 1800.09/1800.90 v -x3047 -x3048 -x3049 x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 x3059 -x306 -x3060 -x3061 x3062 1800.09/1800.90 v -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 x3077 -x3078 -x3079 1800.09/1800.90 v -x308 x3080 -x3081 -x3082 x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 1800.09/1800.90 v -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 -x3103 x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 1800.09/1800.90 v x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 x3120 -x3121 x3122 -x3123 -x3124 -x3125 x3126 -x3127 1800.09/1800.90 v -x3128 -x3129 x313 -x3130 x3131 -x3132 x3133 x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x314 -x3140 -x3141 -x3142 -x3143 1800.09/1800.90 v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 1800.09/1800.90 v -x3160 -x3161 x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 1800.09/1800.90 v -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 x3190 -x3191 -x3192 1800.09/1800.90 v -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 1800.09/1800.90 v -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 1800.09/1800.90 v -x3225 -x3226 -x3227 -x3228 -x3229 -x323 x3230 -x3231 -x3232 x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 1800.09/1800.90 v -x3241 x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1800.09/1800.90 v -x3258 x3259 -x326 -x3260 -x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 x3271 -x3272 x3273 1800.09/1800.90 v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 1800.09/1800.90 v -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 x3301 -x3302 -x3303 -x3304 1800.09/1800.90 v -x3305 -x3306 -x3307 x3308 x3309 -x331 -x3310 -x3311 -x3312 x3313 x3314 -x3315 x3316 -x3317 -x3318 -x3319 -x332 x3320 -x3321 1800.09/1800.90 v -x3322 -x3323 -x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 x3333 x3334 x3335 x3336 -x3337 x3338 1800.09/1800.90 v x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 1800.09/1800.90 v -x3355 -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 x3362 x3363 x3364 x3365 x3366 -x3367 -x3368 -x3369 -x337 -x3370 1800.09/1800.90 v -x3371 -x3372 -x3373 -x3374 -x3375 x3376 -x3377 -x3378 x3379 -x338 -x3380 x3381 -x3382 -x3383 -x3384 x3385 -x3386 x3387 1800.09/1800.90 v -x3388 x3389 x339 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 x3396 x3397 x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 1800.09/1800.90 v -x3404 -x3405 -x3406 -x3407 -x3408 x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 -x342 1800.09/1800.90 v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 1800.09/1800.90 v -x3436 x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 x3450 -x3451 1800.09/1800.90 v -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 1800.09/1800.90 v -x3468 -x3469 -x347 -x3470 -x3471 x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 1800.09/1800.90 v -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 -x35 1800.09/1800.90 v -x350 -x3500 -x3501 -x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 1800.09/1800.90 v -x3516 -x3517 -x3518 -x3519 x352 -x3520 -x3521 -x3522 x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 1800.09/1800.90 v -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 -x3539 x354 -x3540 -x3541 -x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 1800.09/1800.90 v -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 x3557 -x3558 -x3559 -x356 -x3560 -x3561 x3562 -x3563 -x3564 1800.09/1800.90 v -x3565 -x3566 -x3567 -x3568 -x3569 -x357 x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 1800.09/1800.90 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 1800.09/1800.90 v -x3597 -x3598 -x3599 -x36 -x360 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 1800.09/1800.90 v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 1800.09/1800.90 v -x3629 x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 x3643 x3644 1800.09/1800.90 v -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 x3657 -x3658 -x3659 -x366 -x3660 1800.09/1800.90 v -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 x3668 -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 1800.09/1800.90 v -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 x369 -x3690 -x3691 -x3692 -x3693 1800.09/1800.90 v -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 x370 -x3700 x3701 -x3702 -x3703 -x3704 x3705 -x3706 x3707 -x3708 x3709 -x371 1800.09/1800.90 v -x3710 -x3711 -x3712 -x3713 -x3714 x3715 -x3716 -x3717 -x3718 x3719 -x372 x3720 x3721 -x3722 x3723 -x3724 -x3725 -x3726 1800.09/1800.90 v -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 x3734 x3735 -x3736 x3737 x3738 x3739 -x374 -x3740 -x3741 -x3742 1800.09/1800.90 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 1800.09/1800.90 v -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 1800.09/1800.90 v -x3775 -x3776 -x3777 -x3778 -x3779 x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 1800.09/1800.90 v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 1800.09/1800.90 v -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 1800.09/1800.90 v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 1800.09/1800.90 v -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 1800.09/1800.90 v -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 1800.09/1800.90 v -x3871 x3872 x3873 x3874 -x3875 -x3876 x3877 x3878 -x3879 -x388 -x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887 1800.09/1800.90 v -x3888 x3889 -x389 -x3890 -x3891 -x3892 -x3893 x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 x3900 -x3901 -x3902 1800.09/1800.90 v -x3903 -x3904 x3905 -x3906 -x3907 -x3908 -x3909 -x391 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 x3918 -x3919 1800.09/1800.90 v x392 x3920 -x3921 x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 -x393 -x3930 -x3931 x3932 -x3933 -x3934 -x3935 1800.09/1800.90 v -x3936 -x3937 -x3938 -x3939 x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 1800.09/1800.90 v -x3952 -x3953 -x3954 -x3955 x3956 -x3957 x3958 -x3959 -x396 -x3960 -x3961 -x3962 x3963 -x3964 x3965 -x3966 -x3967 -x3968 1800.09/1800.90 v -x3969 -x397 -x3970 -x3971 -x3972 x3973 -x3974 x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 1800.09/1800.90 v -x3985 -x3986 -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 x3995 -x3996 -x3997 x3998 -x3999 -x4 -x40 -x400 1800.09/1800.90 v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 x4014 -x4015 -x4016 1800.09/1800.90 v -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 1800.09/1800.90 v -x4033 -x4034 -x4035 -x4036 x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 x4048 -x4049 1800.09/1800.90 v -x405 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 x4058 x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 1800.09/1800.90 v x4066 -x4067 x4068 -x4069 -x407 -x4070 -x4071 -x4072 x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 x4081 1800.09/1800.90 v -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 1800.09/1800.90 v -x4099 -x41 -x410 -x4100 -x4101 x4102 -x4103 -x4104 -x4105 -x4106 x4107 x4108 -x4109 -x411 -x4110 x4111 x4112 -x4113 -x4114 1800.09/1800.90 v x4115 -x4116 -x4117 x4118 x4119 -x412 -x4120 -x4121 -x4122 -x4123 x4124 x4125 -x4126 -x4127 x4128 -x4129 -x413 x4130 -x4131 1800.09/1800.90 v -x4132 -x4133 x4134 -x4135 x4136 x4137 -x4138 -x4139 x414 -x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 1800.09/1800.90 v -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4157 x4158 -x4159 -x416 x4160 -x4161 -x4162 -x4163 -x4164 1800.09/1800.90 v -x4165 -x4166 x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x418 x4180 1800.09/1800.90 v -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197 1800.09/1800.90 v -x4198 x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 x4208 -x4209 -x421 -x4210 x4211 x4212 -x4213 1800.09/1800.90 v -x4214 -x4215 -x4216 -x4217 x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x423 1800.09/1800.90 v -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 -x424 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 1800.09/1800.90 v -x4247 -x4248 x4249 x425 x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x426 -x4260 -x4261 -x4262 1800.09/1800.90 v -x4263 x4264 -x4265 x4266 x4267 x4268 -x4269 -x427 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279 1800.09/1800.90 v -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x429 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 1800.09/1800.90 v x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x431 -x4310 1800.09/1800.90 v x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x432 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 1800.09/1800.90 v x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x434 -x4340 -x4341 -x4342 -x4343 1800.09/1800.90 v -x4344 x4345 x4346 -x4347 -x4348 -x4349 x435 -x4350 -x4351 -x4352 -x4353 -x4354 x4355 -x4356 -x4357 x4358 -x4359 -x436 1800.09/1800.90 v x4360 -x4361 -x4362 -x4363 -x4364 x4365 -x4366 x4367 -x4368 -x4369 -x437 x4370 x4371 -x4372 -x4373 x4374 -x4375 -x4376 1800.09/1800.90 v -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 -x4383 x4384 x4385 -x4386 -x4387 -x4388 -x4389 -x439 x4390 x4391 x4392 1800.09/1800.90 v x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x44 x440 x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 x4407 x4408 -x4409 1800.09/1800.90 v -x441 x4410 -x4411 -x4412 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 x4422 -x4423 -x4424 -x4425 1800.09/1800.90 v -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431 -x4432 -x4433 -x4434 x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 1800.09/1800.90 v -x4442 x4443 -x4444 -x4445 -x4446 x4447 x4448 x4449 -x445 -x4450 x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 1800.09/1800.90 v -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 1800.09/1800.90 v -x4475 -x4476 -x4477 -x4478 x4479 -x448 -x4480 -x4481 -x4482 -x4483 x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x449 -x4490 1800.09/1800.90 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 x45 -x450 x4500 -x4501 -x4502 -x4503 -x4504 -x4505 x4506 1800.09/1800.90 v -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 x4518 -x4519 -x452 -x4520 -x4521 -x4522 1800.09/1800.90 v -x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 1800.09/1800.90 v -x454 -x4540 x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 x4552 -x4553 -x4554 -x4555 1800.09/1800.90 v -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 x4571 1800.09/1800.90 v -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 -x4588 1800.09/1800.90 v -x4589 -x459 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600 -x4601 -x4602 -x4603 1800.09/1800.90 v -x4604 -x4605 -x4606 -x4607 -x4608 x4609 x461 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 1800.09/1800.90 v -x4620 -x4621 x4622 x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x463 -x4630 -x4631 -x4632 -x4633 x4634 -x4635 -x4636 1800.09/1800.90 v -x4637 -x4638 -x4639 -x464 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x465 -x4650 x4651 -x4652 1800.09/1800.90 v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1800.09/1800.90 v x467 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 -x4678 -x4679 x468 -x4680 x4681 -x4682 x4683 -x4684 -x4685 1800.09/1800.90 v -x4686 -x4687 x4688 -x4689 -x469 x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x47 x470 -x4700 -x4701 1800.09/1800.90 v -x4702 -x4703 -x4704 -x4705 -x4706 x4707 -x4708 x4709 x471 -x4710 -x4711 x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 1800.09/1800.90 v -x4719 -x472 -x4720 -x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 x4730 x4731 -x4732 -x4733 x4734 1800.09/1800.90 v x4735 x4736 x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 x475 -x4750 1800.09/1800.90 v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 x4765 -x4766 -x4767 1800.09/1800.90 v -x4768 -x4769 -x477 -x4770 -x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 x478 -x4780 -x4781 -x4782 -x4783 1800.09/1800.90 v x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 x4790 -x4791 -x4792 -x4793 x4794 -x4795 -x4796 -x4797 -x4798 x4799 -x48 1800.09/1800.90 v -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x481 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 1800.09/1800.90 v -x4816 x4817 -x4818 -x4819 x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x483 -x4830 -x4831 1800.09/1800.90 v -x4832 -x4833 x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 x4846 -x4847 -x4848 1800.09/1800.90 v -x4849 -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860 -x4861 -x4862 -x4863 -x4864 1800.09/1800.90 v -x4865 -x4866 -x4867 -x4868 -x4869 -x487 -x4870 -x4871 x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880 1800.09/1800.90 v -x4881 x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 x4889 x489 x4890 -x4891 x4892 -x4893 x4894 -x4895 -x4896 -x4897 -x4898 1800.09/1800.90 v -x4899 -x49 -x490 x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x491 -x4910 -x4911 -x4912 x4913 x4914 1800.09/1800.90 v -x4915 -x4916 x4917 x4918 -x4919 -x492 -x4920 -x4921 x4922 -x4923 -x4924 -x4925 x4926 -x4927 -x4928 x4929 -x493 -x4930 1800.09/1800.90 v -x4931 x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 x4939 -x494 x4940 -x4941 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 1800.09/1800.90 v -x4948 -x4949 -x495 x4950 -x4951 x4952 x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x496 -x4960 -x4961 x4962 -x4963 1800.09/1800.90 v -x4964 x4965 x4966 -x4967 x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 -x4978 -x4979 -x498 1800.09/1800.90 v -x4980 x4981 x4982 -x4983 -x4984 x4985 -x4986 -x4987 -x4988 x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 1800.09/1800.90 v -x4997 -x4998 -x4999 -x5 -x50 -x500 -x5000 x5001 -x5002 x5003 -x5004 x5005 -x5006 -x5007 -x5008 -x5009 -x501 x5010 -x5011 1800.09/1800.90 v -x5012 x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 x5021 -x5022 -x5023 -x5024 x5025 x5026 -x5027 -x5028 1800.09/1800.90 v -x5029 -x503 -x5030 -x5031 x5032 -x5033 x5034 -x5035 x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 -x5043 -x5044 1800.09/1800.90 v x5045 -x5046 x5047 -x5048 -x5049 -x505 x5050 -x5051 x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 x5059 x506 x5060 x5061 1800.09/1800.90 v -x5062 -x5063 -x5064 -x5065 x5066 -x5067 x5068 -x5069 x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 1800.09/1800.90 v -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 x5089 -x509 -x5090 -x5091 -x5092 -x5093 -x5094 1800.09/1800.90 v -x5095 -x5096 -x5097 -x5098 -x5099 -x51 -x510 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 x5107 x5108 x5109 -x511 1800.09/1800.90 v -x5110 x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 1800.09/1800.90 v -x5127 -x5128 -x5129 -x513 x5130 -x5131 x5132 -x5133 x5134 -x5135 x5136 -x5137 x5138 -x5139 -x514 -x5140 x5141 -x5142 -x5143 1800.09/1800.90 v -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x516 1800.09/1800.90 v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 x5168 x5169 -x517 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 1800.09/1800.90 v x5177 x5178 x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 x5186 -x5187 x5188 x5189 -x519 -x5190 x5191 -x5192 -x5193 1800.09/1800.90 v -x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202 -x5203 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1800.09/1800.90 v -x528 -x529 -x53 -x530 -x531 x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.09/1800.90 v -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 1800.09/1800.90 v -x566 -x567 -x568 x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 x582 -x583 -x584 1800.09/1800.90 v -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 1800.09/1800.90 v -x603 -x604 x605 -x606 -x607 x608 -x609 x61 x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 x622 1800.09/1800.90 v -x623 x624 -x625 -x626 x627 -x628 -x629 x63 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 x64 -x640 -x641 -x642 1800.09/1800.90 v -x643 -x644 -x645 x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x66 -x660 -x661 1800.09/1800.90 v -x662 -x663 -x664 x665 -x666 x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 x678 -x679 -x68 -x680 -x681 1800.09/1800.90 v -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x69 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 1800.09/1800.90 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 x709 -x71 -x710 -x711 -x712 -x713 x714 -x715 x716 -x717 -x718 -x719 -x72 -x720 1800.09/1800.90 v -x721 x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 x731 -x732 -x733 -x734 x735 -x736 -x737 x738 -x739 x74 x740 1800.09/1800.90 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 -x75 -x750 -x751 x752 x753 -x754 -x755 x756 -x757 -x758 -x759 -x76 x760 1800.09/1800.90 v -x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 x779 -x78 -x780 1800.09/1800.90 v -x781 -x782 x783 -x784 -x785 -x786 -x787 x788 -x789 -x79 -x790 -x791 -x792 -x793 x794 -x795 x796 -x797 -x798 -x799 -x8 -x80 1800.09/1800.90 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x81 -x810 -x811 -x812 -x813 x814 x815 -x816 -x817 -x818 x819 x82 1800.09/1800.90 v -x820 -x821 x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.09/1800.90 v -x84 -x840 -x841 x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 1800.09/1800.90 v -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1800.09/1800.90 v x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 x892 -x893 -x894 -x895 -x896 1800.09/1800.90 v -x897 -x898 x899 -x9 -x90 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 x914 -x915 1800.09/1800.90 v -x916 x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 x933 -x934 1800.09/1800.90 v -x935 -x936 -x937 x938 x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x95 -x950 -x951 -x952 -x953 -x954 1800.09/1800.90 v x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x97 -x970 x971 -x972 -x973 x974 1800.09/1800.90 v -x975 -x976 -x977 -x978 x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 x99 -x990 -x991 x992 -x993 -x994 1800.09/1800.90 v -x995 -x996 x997 -x998 -x999
OK 773
/tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-459118-1178649273 -o ROOT/results/node42/solver-459118-1178649273 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11856 /proc/meminfo: memFree=1480328/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=1960 CPUtime=0 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 301 0 0 0 0 0 0 0 18 0 1 0 312839289 2007040 283 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530001 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 490 283 84 219 0 267 0 [startup+0.045283 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11856 /proc/meminfo: memFree=1480328/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=2364 CPUtime=0.04 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 375 0 0 0 4 0 0 0 18 0 1 0 312839289 2420736 357 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 591 357 86 219 0 368 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2364 [startup+0.101293 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11856 /proc/meminfo: memFree=1480328/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=2364 CPUtime=0.1 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 396 0 0 0 10 0 0 0 18 0 1 0 312839289 2420736 378 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 591 378 86 219 0 368 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2364 [startup+0.301331 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11856 /proc/meminfo: memFree=1480328/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=2812 CPUtime=0.29 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 512 0 0 0 29 0 0 0 19 0 1 0 312839289 2879488 494 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 703 494 86 219 0 480 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2812 [startup+0.701408 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11856 /proc/meminfo: memFree=1480328/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=4544 CPUtime=0.69 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 789 0 0 0 69 0 0 0 22 0 1 0 312839289 4653056 771 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 1136 771 86 219 0 913 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4544 [startup+1.50156 s] /proc/loadavg: 0.92 0.98 0.99 2/78 11857 /proc/meminfo: memFree=1476224/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=6664 CPUtime=1.5 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 1331 0 0 0 149 1 0 0 25 0 1 0 312839289 6823936 1313 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 1666 1313 86 219 0 1443 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 6664 [startup+3.10186 s] /proc/loadavg: 0.93 0.98 0.99 2/78 11857 /proc/meminfo: memFree=1473536/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=10952 CPUtime=3.1 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 2418 0 0 0 308 2 0 0 25 0 1 0 312839289 11214848 2351 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 2738 2351 86 219 0 2515 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 10952 [startup+6.30147 s] /proc/loadavg: 0.93 0.98 0.99 2/78 11857 /proc/meminfo: memFree=1469184/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=19656 CPUtime=6.29 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 2981 0 0 0 619 10 0 0 25 0 1 0 312839289 20127744 2817 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 4914 2817 101 219 0 4691 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19656 [startup+12.7017 s] /proc/loadavg: 1.01 1.00 1.00 2/78 11857 /proc/meminfo: memFree=1469328/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=19656 CPUtime=12.69 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 2981 0 0 0 1241 28 0 0 25 0 1 0 312839289 20127744 2817 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 4914 2817 101 219 0 4691 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19656 [startup+25.5011 s] /proc/loadavg: 1.01 1.00 1.00 2/78 11857 /proc/meminfo: memFree=1469520/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=19656 CPUtime=25.48 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 2996 0 0 0 2486 62 0 0 25 0 1 0 312839289 20127744 2832 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 4914 2832 101 219 0 4691 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19656 [startup+51.102 s] /proc/loadavg: 1.26 1.06 1.02 2/78 11857 /proc/meminfo: memFree=1465936/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=23484 CPUtime=51.07 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 3928 0 0 0 4956 151 0 0 25 0 1 0 312839289 24047616 3764 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546117 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 5871 3764 101 219 0 5648 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23484 [startup+102.306 s] /proc/loadavg: 1.10 1.05 1.01 2/78 11857 /proc/meminfo: memFree=1460112/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=29112 CPUtime=102.21 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 5337 0 0 0 9843 378 0 0 25 0 1 0 312839289 29810688 5173 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 7278 5173 101 219 0 7055 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 29112 [startup+162.301 s] /proc/loadavg: 1.04 1.04 1.01 2/78 11857 /proc/meminfo: memFree=1452496/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=32488 CPUtime=162.15 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 7237 0 0 0 15745 470 0 0 25 0 1 0 312839289 33267712 7073 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 8122 7073 102 219 0 7899 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 32488 [startup+222.302 s] /proc/loadavg: 1.01 1.03 1.00 2/78 11857 /proc/meminfo: memFree=1444176/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=49032 CPUtime=222.13 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 9313 0 0 0 21742 471 0 0 25 0 1 0 312839289 50208768 9149 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 12258 9149 102 219 0 12035 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 49032 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 11857 /proc/meminfo: memFree=1435536/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=49032 CPUtime=282.11 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 11484 0 0 0 27738 473 0 0 25 0 1 0 312839289 50208768 11320 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 12258 11320 102 219 0 12035 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 49032 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 11857 /proc/meminfo: memFree=1426384/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=81800 CPUtime=342.09 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 13762 0 0 0 33734 475 0 0 25 0 1 0 312839289 83763200 13598 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 20450 13598 102 219 0 20227 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 81800 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 11857 /proc/meminfo: memFree=1423312/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=82072 CPUtime=402.07 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 14516 0 0 0 39728 479 0 0 25 0 1 0 312839289 84041728 14352 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 20518 14352 102 219 0 20295 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 82072 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11857 /proc/meminfo: memFree=1421584/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=82216 CPUtime=462.05 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 14947 0 0 0 45721 484 0 0 25 0 1 0 312839289 84189184 14783 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 20554 14783 102 219 0 20331 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 82216 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11857 /proc/meminfo: memFree=1420176/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=82216 CPUtime=522.02 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 15310 0 0 0 51718 484 0 0 25 0 1 0 312839289 84189184 15146 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 20554 15146 102 219 0 20331 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 82216 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1414864/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=83404 CPUtime=582.01 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 16647 0 0 0 57709 492 0 0 25 0 1 0 312839289 85405696 16483 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 20851 16483 102 219 0 20628 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 83404 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1412880/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=83404 CPUtime=641.98 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 17129 0 0 0 63700 498 0 0 25 0 1 0 312839289 85405696 16965 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 20851 16965 102 219 0 20628 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 83404 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1408272/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=84652 CPUtime=881.9 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18282 0 0 0 87679 511 0 0 25 0 1 0 312839289 86683648 18118 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21163 18118 102 219 0 20940 0 Current children cumulated CPU time (s) 881.9 Current children cumulated vsize (KiB) 84652 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1408208/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=84652 CPUtime=941.88 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18293 0 0 0 93671 517 0 0 25 0 1 0 312839289 86683648 18129 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21163 18129 102 219 0 20940 0 Current children cumulated CPU time (s) 941.88 Current children cumulated vsize (KiB) 84652 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1408144/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=84796 CPUtime=1001.86 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18316 0 0 0 99669 517 0 0 25 0 1 0 312839289 86831104 18152 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21199 18152 102 219 0 20976 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 84796 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 11859 /proc/meminfo: memFree=1408080/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=84796 CPUtime=1061.84 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18318 0 0 0 105667 517 0 0 25 0 1 0 312839289 86831104 18154 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21199 18154 102 219 0 20976 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 84796 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1408080/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=84796 CPUtime=1121.81 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18329 0 0 0 111662 519 0 0 25 0 1 0 312839289 86831104 18165 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21199 18165 102 219 0 20976 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 84796 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1407440/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=85492 CPUtime=1181.8 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18480 0 0 0 117652 528 0 0 25 0 1 0 312839289 87543808 18316 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21373 18316 102 219 0 21150 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 85492 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1406928/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=86232 CPUtime=1241.78 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18610 0 0 0 123646 532 0 0 25 0 1 0 312839289 88301568 18446 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21558 18446 102 219 0 21335 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 86232 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1406928/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=86232 CPUtime=1301.77 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18611 0 0 0 129644 533 0 0 25 0 1 0 312839289 88301568 18447 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21558 18447 102 219 0 21335 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 86232 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1406864/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=86232 CPUtime=1361.73 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18623 0 0 0 135640 533 0 0 25 0 1 0 312839289 88301568 18459 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21558 18459 102 219 0 21335 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 86232 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1406800/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=86232 CPUtime=1421.72 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18636 0 0 0 141632 540 0 0 25 0 1 0 312839289 88301568 18472 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21558 18472 102 219 0 21335 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 86232 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1406544/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=86496 CPUtime=1481.7 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18704 0 0 0 147622 548 0 0 25 0 1 0 312839289 88571904 18540 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21624 18540 102 219 0 21401 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 86496 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11859 /proc/meminfo: memFree=1406352/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=86800 CPUtime=1541.67 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18762 0 0 0 153619 548 0 0 25 0 1 0 312839289 88883200 18598 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21700 18598 102 219 0 21477 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 86800 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 11941 /proc/meminfo: memFree=1404952/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=86928 CPUtime=1601.6 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18778 0 0 0 159604 556 0 0 25 0 1 0 312839289 89014272 18614 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21732 18614 102 219 0 21509 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 86928 [startup+1662.3 s] /proc/loadavg: 1.20 1.06 1.02 2/78 12057 /proc/meminfo: memFree=1405840/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=87080 CPUtime=1661.54 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 18801 0 0 0 165596 558 0 0 25 0 1 0 312839289 89169920 18637 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 21770 18637 102 219 0 21547 0 Current children cumulated CPU time (s) 1661.54 Current children cumulated vsize (KiB) 87080 [startup+1722.3 s] /proc/loadavg: 1.13 1.06 1.02 2/78 12057 /proc/meminfo: memFree=1405136/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=88576 CPUtime=1721.51 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 19159 0 0 0 171588 563 0 0 25 0 1 0 312839289 90701824 18802 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 22144 18802 102 219 0 21921 0 Current children cumulated CPU time (s) 1721.51 Current children cumulated vsize (KiB) 88576 [startup+1782.3 s] /proc/loadavg: 1.04 1.05 1.01 2/78 12057 /proc/meminfo: memFree=1405136/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=88688 CPUtime=1781.49 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 19181 0 0 0 177579 570 0 0 25 0 1 0 312839289 90816512 18824 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 22172 18824 102 219 0 21949 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (KiB) 88688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.03 1.04 1.01 2/78 12057 /proc/meminfo: memFree=1405136/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=88688 CPUtime=1800.09 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 19182 0 0 0 179439 570 0 0 25 0 1 0 312839289 90816512 18825 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 22172 18825 102 219 0 21949 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 88688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.03 1.04 1.01 2/78 12057 /proc/meminfo: memFree=1405136/2055920 swapFree=4147588/4192956 [pid=11856] ppid=11854 vsize=88688 CPUtime=1800.09 /proc/11856/stat : 11856 (PBS4_SAT07v2) R 11854 11856 11132 0 -1 4194304 19182 0 0 0 179439 570 0 0 25 0 1 0 312839289 90816512 18825 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11856/statm: 22172 18825 102 219 0 21949 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 88688 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.12 CPU user time (s): 1794.4 CPU system time (s): 5.72213 CPU usage (%): 99.9553 Max. virtual memory (cumulated for all children) (KiB): 88688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.4 system time used= 5.72213 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19185 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= 9 involuntary context switches= 3601 runsolver used 1.54976 second user time and 3.77243 second system time The end
Begin job on node42 on Tue May 8 18:34:34 UTC 2007 IDJOB= 459118 IDBENCH= 2889 IDSOLVER= 200 FILE ID= node42/459118-1178649273 PBS_JOBID= 5218383 Free space on /tmp= 66553 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node42/convwatcher-459118-1178649273 -o ROOT/results/node42/conversion-459118-1178649273 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-459118-1178649273 -o ROOT/results/node42/solver-459118-1178649273 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459118-1178649273/instance-459118-1178649273.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED= 720513922 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.277 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.277 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1480736 kB Buffers: 41868 kB Cached: 404752 kB SwapCached: 14624 kB Active: 149508 kB Inactive: 321024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1480736 kB SwapTotal: 4192956 kB SwapFree: 4147588 kB Dirty: 12048 kB Writeback: 0 kB Mapped: 30924 kB Slab: 90036 kB Committed_AS: 7376264 kB PageTables: 1912 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66553 MiB End job on node42 on Tue May 8 19:04:37 UTC 2007