Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 8545583 | 1800.26 | 1800.86 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran13x13.opb |
MD5SUM | f6afca2947f6ff68bd855d0ea2ea59a9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3502080 |
Best CPU time to get the best result obtained on this benchmark | 1800.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3502080 |
Optimality of the best value was proved | NO |
Number of variables | 5239 |
Total number of constraints | 195 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 195 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 390 |
Number of terms in the objective function | 5239 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 968548072570 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 968548072570 |
Number of bits of the biggest sum of numbers | 40 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433144-1177955488/instance-433144-1177955488.opb 0.00/0.00 c File size is 266423 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Highest Coefficient sum: 9.68548e+11 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.043 s 0.00/0.05 c Var: 5239 Constr: 221 0/0/221 Lit: 25519 Watch. Lit: 15431 0.00/0.05 c Obj. Vars: 5239 (100 % of total variables) 0.09/0.11 c Pre-processing Time: 0.109 s 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 2421 221 25519 115 15466 51038 0 0 0.11 0.59/0.63 c 100 2421 321 39815 124 15889 56142 100 757 0.13 0.59/0.63 c 252 2421 473 78574 166 16953 61757 252 1298 0.19 0.59/0.63 c 477 2421 698 126079 180 17306 67933 477 1800 0.27 0.59/0.63 c 815 2421 1036 182568 176 18328 74727 815 2341 0.35 0.59/0.63 o 15773056 0.626 2.39/2.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.42 c 1155 2421 1377 270133 196 21722 55880 1156 1839 0.63 2.39/2.42 c 1255 2421 1477 282076 190 21533 61469 1256 1936 0.65 2.39/2.42 c 1513 2421 1735 314052 181 21652 67616 1514 2116 0.71 2.39/2.42 c 1988 2421 2210 548037 247 23214 74378 1989 1713 1.16 2.39/2.42 c 2803 2421 3025 745238 246 24144 81816 2804 1713 1.64 2.39/2.42 o 12055542 2.421 4.78/4.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.78/4.86 c 4116 2421 4339 1190260 274 29071 55880 4118 1698 2.42 4.78/4.86 c 4216 2421 4439 1205549 271 28563 61469 4218 1725 2.44 4.78/4.86 c 4467 2421 4690 1233308 262 29155 67616 4469 1759 2.54 4.78/4.86 c 4942 2421 5165 1455402 281 30542 74378 4944 1601 3.09 4.78/4.86 c 5755 2421 5978 1679985 281 31460 81816 5757 1671 3.44 4.78/4.86 c 7076 2421 7299 2255792 309 34698 89998 7078 1494 4.73 4.78/4.86 o 8549533 4.861 9.69/9.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.73 c 7228 2421 7452 2296923 308 36149 55880 7231 1486 4.86 9.69/9.73 c 7328 2421 7552 2337494 309 36720 61469 7331 1463 5.01 9.69/9.73 c 7578 2421 7802 2466488 316 36781 67616 7581 1388 5.46 9.69/9.73 c 8057 2421 8281 2557319 308 37229 74378 8060 1409 5.72 9.69/9.73 c 8875 2421 9099 3017098 331 39014 81816 8878 1242 7.14 9.69/9.73 c 10197 2421 10421 3772737 362 41258 89998 10200 1076 9.47 9.69/9.73 o 8545583 9.729 1800.01/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.61 c 10612 2421 10837 3853473 355 44404 55880 10616 1090 9.73 1800.01/1800.61 c 10712 2421 10937 3866800 353 43532 61469 10716 1097 9.76 1800.01/1800.61 c 10963 2421 11188 3898774 348 44024 67616 10967 1114 9.83 1800.01/1800.61 c 11438 2421 11663 3963384 339 44783 74378 11442 1151 9.93 1800.01/1800.61 c 12252 2421 12477 4100313 328 46254 81816 12256 1211 10.11 1800.01/1800.61 c 13574 2421 13799 4899668 355 49817 89998 13578 1091 12.44 1800.01/1800.61 c 15656 2421 15881 5531502 348 53068 98998 15660 1106 14.15 1800.01/1800.61 c 18879 2421 19104 6095687 319 59570 108898 18883 1179 16.01 1800.01/1800.61 c 23815 2421 24040 8722421 362 69847 119788 23819 826 28.81 1800.01/1800.61 c 31321 2421 31546 14202555 450 84986 131767 31325 504 62.09 1800.01/1800.61 c 42682 2421 42907 20171709 470 107369 144944 42686 457 93.38 1800.01/1800.61 c 59826 2421 60051 31087324 517 141547 159439 59830 326 183.18 1800.01/1800.61 c 85645 2421 85870 43087068 501 192578 175383 85649 330 258.80 1800.01/1800.61 c 124478 2421 124703 57783866 463 270398 192922 124482 292 426.19 1800.01/1800.61 c 182831 2421 183056 91720522 501 387641 212215 182835 220 828.48 1800.01/1800.61 c 270464 2421 66932 55344748 826 152577 233437 66711 182 1479.62 1800.01/1800.61 c Caught signal: 15 1800.01/1800.61 v -x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10 x11 -x12 x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.01/1800.61 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1800.01/1800.61 v -x56 -x57 -x58 -x59 -x60 -x2431 -x2432 -x2433 x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 1800.01/1800.61 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2761 1800.01/1800.61 v x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1800.01/1800.61 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x3091 -x3092 -x3093 -x3094 -x3095 1800.01/1800.61 v x3096 -x3097 x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 1800.01/1800.61 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 1800.01/1800.61 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 1800.01/1800.61 v -x3448 -x3449 -x3450 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 1800.01/1800.61 v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x4081 1800.01/1800.61 v -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 1800.01/1800.61 v -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4411 -x4412 -x4413 -x4414 -x4415 1800.01/1800.61 v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 1800.01/1800.61 v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 1800.01/1800.61 v -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 1800.01/1800.61 v -x4767 -x4768 -x4769 -x4770 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.01/1800.61 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1800.01/1800.61 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 1800.01/1800.61 v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 1800.01/1800.61 v -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1800.01/1800.61 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1800.01/1800.61 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.01/1800.61 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1711 x1712 x1713 x1714 x1715 1800.01/1800.61 v x1716 x1717 x1718 x1719 x1720 x1721 x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 1800.01/1800.61 v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x2041 x2042 x2043 -x2044 x2045 x2046 x2047 x2048 x2049 x2050 x2051 -x2052 x2053 1800.01/1800.61 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1800.01/1800.61 v -x2341 -x2342 -x2343 -x2344 -x2345 x2346 x2347 -x2348 -x2349 x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 1800.01/1800.61 v -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 1800.01/1800.61 v -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 1800.01/1800.61 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 x2402 -x2403 x2404 x2405 -x2406 x2407 -x2408 x2409 x2410 1800.01/1800.61 v x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 1800.01/1800.61 v -x2429 -x2430 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1800.01/1800.61 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1800.01/1800.61 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1800.01/1800.61 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.01/1800.61 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.01/1800.61 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1800.01/1800.61 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.01/1800.61 v -x2578 -x2579 -x2580 x2581 x2582 x2583 x2584 x2585 x2586 x2587 x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 1800.01/1800.61 v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1800.01/1800.61 v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 1800.01/1800.61 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1800.01/1800.61 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1800.01/1800.61 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 1800.01/1800.61 v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 1800.01/1800.61 v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 1800.01/1800.61 v -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 1800.01/1800.61 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 1800.01/1800.61 v -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 1800.01/1800.61 v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 1800.01/1800.61 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1800.01/1800.61 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 1800.01/1800.61 v -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 1800.01/1800.61 v -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 1800.01/1800.61 v x2882 x2883 x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1800.01/1800.61 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 1800.01/1800.61 v x2917 x2918 x2919 x2920 -x2921 x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1800.01/1800.61 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1800.01/1800.61 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1800.01/1800.61 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1800.01/1800.61 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1800.01/1800.61 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1800.01/1800.61 v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1800.01/1800.61 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1800.01/1800.61 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1800.01/1800.61 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1800.01/1800.61 v -x3088 -x3089 -x3090 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 1800.01/1800.61 v -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 1800.01/1800.61 v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 1800.01/1800.61 v -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 1800.01/1800.61 v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 1800.01/1800.61 v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 1800.01/1800.61 v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 1800.01/1800.61 v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 x3250 -x3251 -x3252 -x3253 1800.01/1800.61 v -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 1800.01/1800.61 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 1800.01/1800.61 v -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 1800.01/1800.61 v -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 1800.01/1800.61 v -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 1800.01/1800.61 v -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 1800.01/1800.61 v -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 x3371 -x3372 1800.01/1800.61 v -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 1800.01/1800.61 v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 1800.01/1800.61 v -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3451 -x3452 -x3453 1800.01/1800.61 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 -x3461 -x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 1800.01/1800.61 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 1800.01/1800.61 v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 1800.01/1800.61 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 1800.01/1800.61 v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 1800.01/1800.61 v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 1800.01/1800.61 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1800.01/1800.61 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1800.01/1800.61 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 1800.01/1800.61 v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 1800.01/1800.61 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 1800.01/1800.61 v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 1800.01/1800.61 v -x3659 -x3660 x3661 x3662 -x3663 x3664 -x3665 x3666 -x3667 x3668 x3669 x3670 x3671 x3672 -x3673 x3674 -x3675 -x3676 -x3677 1800.01/1800.61 v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 1800.01/1800.61 v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 1800.01/1800.61 v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 1800.01/1800.61 v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 1800.01/1800.61 v -x3746 -x3747 -x3748 -x3749 -x3750 x3781 -x3782 x3783 -x3784 x3785 -x3786 x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1800.01/1800.61 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1800.01/1800.61 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1800.01/1800.61 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1800.01/1800.61 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1800.01/1800.61 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 1800.01/1800.61 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1800.01/1800.61 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 x3911 -x3912 1800.01/1800.61 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1800.01/1800.61 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 x3940 x3941 x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1800.01/1800.61 v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1800.01/1800.61 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 1800.01/1800.61 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 x3994 x3995 -x3996 x3997 -x3998 x3999 1800.01/1800.61 v -x4000 x4001 x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 1800.01/1800.61 v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 1800.01/1800.61 v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 1800.01/1800.61 v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 1800.01/1800.61 v -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4111 -x4112 -x4113 -x4114 -x4115 1800.01/1800.61 v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 1800.01/1800.61 v -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 -x4142 x4143 -x4144 -x4145 x4146 -x4147 x4148 -x4149 -x4150 1800.01/1800.61 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 1800.01/1800.61 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1800.01/1800.61 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 1800.01/1800.61 v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 1800.01/1800.61 v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 1800.01/1800.61 v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 1800.01/1800.61 v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 1800.01/1800.61 v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 1800.01/1800.61 v -x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 1800.01/1800.61 v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 1800.01/1800.61 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 1800.01/1800.61 v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 1800.01/1800.61 v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 1800.01/1800.61 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1800.01/1800.61 v -x4389 -x4390 x4391 -x4392 -x4393 -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 1800.01/1800.61 v -x4407 -x4408 -x4409 -x4410 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 1800.01/1800.61 v -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 1800.01/1800.61 v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 1800.01/1800.61 v -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 1800.01/1800.61 v -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 1800.01/1800.61 v -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 1800.01/1800.61 v -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 1800.01/1800.61 v -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 1800.01/1800.61 v -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 1800.01/1800.61 v -x4590 -x4591 -x4592 -x4593 -x4594 x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 1800.01/1800.61 v -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 1800.01/1800.61 v x4625 -x4626 x4627 x4628 x4629 x4630 x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 1800.01/1800.61 v -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 1800.01/1800.61 v -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 1800.01/1800.61 v -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 1800.01/1800.61 v -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 1800.01/1800.61 v -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 1800.01/1800.61 v -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4771 -x4772 -x4773 -x4774 1800.01/1800.61 v -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 1800.01/1800.61 v -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 1800.01/1800.61 v -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 1800.01/1800.61 v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 1800.01/1800.61 v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 1800.01/1800.61 v -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 1800.01/1800.61 v -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 1800.01/1800.61 v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 1800.01/1800.61 v -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 1800.01/1800.61 v -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 1800.01/1800.61 v -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 x4960 x4961 -x4962 x4963 1800.01/1800.61 v -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 1800.01/1800.61 v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 1800.01/1800.61 v -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 1800.01/1800.61 v -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 1800.01/1800.61 v -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1800.01/1800.61 v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 1800.01/1800.61 v -x5066 -x5067 -x5068 -x5069 -x5070 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1800.01/1800.61 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.01/1800.61 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.01/1800.61 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.01/1800.61 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.01/1800.61 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.01/1800.61 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.01/1800.61 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1800.01/1800.61 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1800.01/1800.61 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1800.01/1800.61 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1800.01/1800.61 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.01/1800.61 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1800.01/1800.61 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 1800.01/1800.61 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 1800.01/1800.61 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 1800.01/1800.61 v -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 1800.01/1800.61 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 1800.01/1800.61 v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 1800.01/1800.61 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 1800.01/1800.61 v -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 1800.01/1800.61 v -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 1800.01/1800.61 v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 1800.01/1800.61 v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 1800.01/1800.61 v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 1800.01/1800.61 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 1800.01/1800.61 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 1800.01/1800.61 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 1800.01/1800.61 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 1800.01/1800.61 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 1800.01/1800.61 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1800.01/1800.61 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 1800.01/1800.61 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1800.01/1800.61 v -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 1800.01/1800.61 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 x875 x876 -x877 x878 x879 x880 -x881 1800.01/1800.61 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.01/1800.61 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.01/1800.61 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.01/1800.61 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.01/1800.61 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.01/1800.61 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.01/1800.61 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.01/1800.61 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.01/1800.61 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 1800.01/1800.61 v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1800.01/1800.61 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1800.01/1800.61 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 1800.01/1800.61 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 1800.01/1800.61 v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 1800.01/1800.61 v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 1800.01/1800.61 v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 1800.01/1800.61 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 1800.01/1800.61 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 1800.01/1800.61 v -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 1800.01/1800.61 v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 1800.01/1800.61 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1800.01/1800.61 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1800.01/1800.61 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 1800.01/1800.61 v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1800.01/1800.61 v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 1800.01/1800.61 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 1800.01/1800.61 v -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 1800.01/1800.61 v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1800.01/1800.61 v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 1800.01/1800.61 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1800.01/1800.61 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1800.01/1800.61 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.01/1800.61 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 1800.01/1800.61 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1800.01/1800.61 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1800.01/1800.61 v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1800.01/1800.61 v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 1800.01/1800.61 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 1800.01/1800.61 v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 1800.01/1800.61 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1800.01/1800.61 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1800.01/1800.61 v -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1800.01/1800.61 v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 1800.01/1800.61 v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 1800.01/1800.61 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1800.01/1800.61 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.01/1800.61 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.01/1800.61 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.01/1800.61 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.01/1800.61 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1800.01/1800.61 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1800.01/1800.61 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1800.01/1800.61 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1800.01/1800.61 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1800.01/1800.61 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 x1923 x1924 x1925 x1926 -x1927 x1928 x1929 1800.01/1800.61 v x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 1800.01/1800.61 v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1800.01/1800.61 v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 1800.01/1800.61 v x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 1800.01/1800.61 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 1800.01/1800.61 v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 1800.01/1800.61 v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1800.01/1800.61 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1800.01/1800.61 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1800.01/1800.61 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1800.01/1800.61 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1800.01/1800.61 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1800.01/1800.61 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1800.01/1800.61 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 -x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 -x2202 1800.01/1800.61 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.01/1800.61 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 x2232 x2233 x2234 -x2235 -x2236 -x2237 1800.01/1800.61 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.01/1800.61 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.01/1800.61 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.01/1800.61 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.01/1800.61 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.01/1800.61 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.01/1800.61 v -x2340 x5071 -x5072 x5152 x5163 x5174 x5185 -x5196 -x5207 -x5218 -x5229 -x5073 -x5084 -x5095 -x5106 -x5117 x5128 x5139 1800.01/1800.61 v x5149 x5150 x5151 -x5153 -x5154 -x5155 -x5156 x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5164 -x5165 -x5166 x5167 x5168 1800.01/1800.61 v -x5169 -x5170 -x5171 -x5172 -x5173 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 -x5182 x5183 x5184 x5186 -x5187 -x5188 1800.01/1800.61 v -x5189 -x5190 -x5191 -x5192 x5193 -x5194 -x5195 x5197 -x5198 -x5199 -x5200 x5201 x5202 -x5203 x5204 -x5205 -x5206 x5208 1800.01/1800.61 v x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 x5217 -x5219 -x5220 -x5221 -x5222 -x5223 x5224 x5225 -x5226 -x5227 1800.01/1800.61 v -x5228 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 1800.01/1800.61 v -x5081 -x5082 x5083 -x5085 -x5086 x5087 -x5088 -x5089 -x5090 -x5091 -x5092 x5093 x5094 -x5096 -x5097 -x5098 -x5099 x5100 1800.01/1800.61 v -x5101 -x5102 -x5103 -x5104 -x5105 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 x5115 -x5116 -x5118 -x5119 1800.01/1800.61 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 x5135 -x5136 x5137 x5138 1800.01/1800.61 v -x5140 -x5141 -x5142 -x5143 x5144 x5145 -x5146 -x5147 -x5148 1800.01/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.61 c 37 309981 35966 471385 106449 81517465 106228 172 1800.02 1800.01/1800.61 c Objective: 8545583 1800.01/1800.61 s SATISFIABLE 1800.01/1800.61 c Total time: 1800.02 s
OK 8545583
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-433144-1177955488 -o ROOT/results/node15/solver-433144-1177955488 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433144-1177955488/instance-433144-1177955488.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.78 0.94 0.92 3/77 29763 /proc/meminfo: memFree=1752096/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=12000 CPUtime=0 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243466463 12288000 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 3000 334 279 324 0 2004 0 [startup+0.0535331 s] /proc/loadavg: 0.78 0.94 0.92 3/77 29763 /proc/meminfo: memFree=1752096/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=5504 CPUtime=0.04 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 825 0 0 0 4 0 0 0 18 0 1 0 243466463 5636096 729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 1376 729 303 324 0 446 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5504 [startup+0.101538 s] /proc/loadavg: 0.78 0.94 0.92 3/77 29763 /proc/meminfo: memFree=1752096/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=5676 CPUtime=0.09 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 243466463 5812224 772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 1419 772 305 324 0 489 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5676 [startup+0.301556 s] /proc/loadavg: 0.78 0.94 0.92 3/77 29763 /proc/meminfo: memFree=1752096/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=7092 CPUtime=0.29 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 1260 0 0 0 28 1 0 0 19 0 1 0 243466463 7262208 1128 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 1773 1128 310 324 0 843 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7092 [startup+0.701594 s] /proc/loadavg: 0.78 0.94 0.92 3/77 29763 /proc/meminfo: memFree=1752096/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=9276 CPUtime=0.69 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 1810 0 0 0 68 1 0 0 22 0 1 0 243466463 9498624 1678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 2319 1678 311 324 0 1389 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9276 [startup+1.50167 s] /proc/loadavg: 0.78 0.94 0.92 2/78 29764 /proc/meminfo: memFree=1744408/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=14256 CPUtime=1.49 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 3061 0 0 0 147 2 0 0 25 0 1 0 243466463 14598144 2929 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 3564 2929 311 324 0 2634 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14256 [startup+3.10181 s] /proc/loadavg: 0.78 0.94 0.92 2/78 29764 /proc/meminfo: memFree=1737304/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=24380 CPUtime=3.09 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 5591 0 0 0 305 4 0 0 25 0 1 0 243466463 24965120 5459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 6095 5459 311 324 0 5165 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24380 [startup+6.30211 s] /proc/loadavg: 0.80 0.94 0.92 2/78 29764 /proc/meminfo: memFree=1718104/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=41208 CPUtime=6.29 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 9797 0 0 0 624 5 0 0 25 0 1 0 243466463 42196992 9665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 10302 9665 311 324 0 9372 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41208 [startup+12.7017 s] /proc/loadavg: 0.81 0.94 0.92 2/78 29764 /proc/meminfo: memFree=1688152/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=69980 CPUtime=12.68 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 17004 0 0 0 1260 8 0 0 25 0 1 0 243466463 71659520 16872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 17495 16872 311 324 0 16565 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 69980 [startup+25.5019 s] /proc/loadavg: 0.85 0.95 0.92 2/78 29764 /proc/meminfo: memFree=1645208/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=110772 CPUtime=25.48 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 27194 0 0 0 2535 13 0 0 25 0 1 0 243466463 113430528 27062 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 27693 27062 311 324 0 26763 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 110772 [startup+51.1012 s] /proc/loadavg: 0.90 0.95 0.92 2/78 29764 /proc/meminfo: memFree=1587160/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=169204 CPUtime=51.08 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 41796 0 0 0 5087 21 0 0 25 0 1 0 243466463 173264896 41664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7954149 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 42301 41664 311 324 0 41371 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 169204 [startup+102.306 s] /proc/loadavg: 0.96 0.95 0.92 2/78 29764 /proc/meminfo: memFree=1458392/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=296904 CPUtime=102.27 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 73738 0 0 0 10188 39 0 0 25 0 1 0 243466463 304029696 73606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 74226 73606 311 324 0 73296 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 296904 [startup+162.301 s] /proc/loadavg: 0.98 0.96 0.92 2/78 29764 /proc/meminfo: memFree=1372440/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=383036 CPUtime=162.25 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 95254 0 0 0 16171 54 0 0 25 0 1 0 243466463 392228864 95122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 95759 95122 311 324 0 94829 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 383036 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.92 2/78 29764 /proc/meminfo: memFree=1257880/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=497016 CPUtime=222.23 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 123762 0 0 0 22152 71 0 0 25 0 1 0 243466463 508944384 123630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 124254 123630 311 324 0 123324 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 497016 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29764 /proc/meminfo: memFree=1145368/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=610156 CPUtime=282.21 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 152032 0 0 0 28134 87 0 0 25 0 1 0 243466463 624799744 151900 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 152539 151900 311 324 0 151609 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 610156 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29764 /proc/meminfo: memFree=1076184/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=678412 CPUtime=342.2 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 169092 0 0 0 34120 100 0 0 25 0 1 0 243466463 694693888 168960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 169603 168960 311 324 0 168673 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 678412 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29764 /proc/meminfo: memFree=1023000/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=731848 CPUtime=402.18 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 182472 0 0 0 40107 111 0 0 25 0 1 0 243466463 749412352 182340 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 182962 182340 311 324 0 182032 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 731848 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29764 /proc/meminfo: memFree=967128/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=787452 CPUtime=462.16 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 196354 0 0 0 46095 121 0 0 25 0 1 0 243466463 806350848 196222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 196863 196222 311 324 0 195933 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 787452 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29764 /proc/meminfo: memFree=881176/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=874244 CPUtime=522.15 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 218076 0 0 0 52080 135 0 0 25 0 1 0 243466463 895225856 217944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 218561 217944 311 324 0 217631 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 874244 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.92 2/84 29838 /proc/meminfo: memFree=793192/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=959852 CPUtime=582.09 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 239464 0 0 0 58059 150 0 0 25 0 1 0 243466463 982888448 239332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 239963 239332 311 324 0 239033 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 959852 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29962 /proc/meminfo: memFree=724952/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1028416 CPUtime=642.02 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 256622 0 0 0 64039 163 0 0 25 0 1 0 243466463 1053097984 256490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 257104 256490 311 324 0 256174 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 1028416 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29962 /proc/meminfo: memFree=453208/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1299904 CPUtime=881.94 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 324489 0 0 0 87988 206 0 0 25 0 1 0 243466463 1331101696 324357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 324976 324357 311 324 0 324046 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 1299904 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29962 /proc/meminfo: memFree=351256/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1402548 CPUtime=941.93 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 350153 0 0 0 93970 223 0 0 25 0 1 0 243466463 1436209152 350021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 350637 350021 311 324 0 349707 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 1402548 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29962 /proc/meminfo: memFree=264280/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1488948 CPUtime=1001.91 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 371735 0 0 0 99956 235 0 0 25 0 1 0 243466463 1524682752 371603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 372237 371603 311 324 0 371307 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 1488948 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29962 /proc/meminfo: memFree=189720/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1061.9 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 105944 246 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1562496 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29962 /proc/meminfo: memFree=189720/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1121.88 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 111942 246 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7942296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1562496 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29962 /proc/meminfo: memFree=189784/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1181.87 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 117940 247 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1562496 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 29962 /proc/meminfo: memFree=189848/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1241.85 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 123938 247 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1562496 [startup+1302.3 s] /proc/loadavg: 1.07 1.00 0.93 2/78 29962 /proc/meminfo: memFree=189848/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1301.84 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 129936 248 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7954149 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1562496 [startup+1362.3 s] /proc/loadavg: 1.03 1.00 0.93 2/78 29962 /proc/meminfo: memFree=189912/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1361.82 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 135934 248 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1562496 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 0.93 2/78 29962 /proc/meminfo: memFree=189912/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1421.8 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 141932 248 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1562496 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29962 /proc/meminfo: memFree=189912/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1481.79 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 147930 249 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1562496 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29962 /proc/meminfo: memFree=189976/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1541.77 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 153928 249 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1562496 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29962 /proc/meminfo: memFree=189976/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1601.76 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 159926 250 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1562496 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29962 /proc/meminfo: memFree=190040/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1661.74 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 165924 250 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1562496 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29962 /proc/meminfo: memFree=190040/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1721.72 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 171921 251 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1562496 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29962 /proc/meminfo: memFree=189976/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1781.7 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 177919 251 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1562496 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29962 /proc/meminfo: memFree=189976/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=1562496 CPUtime=1800.01 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194304 390345 0 0 0 179749 252 0 0 25 0 1 0 243466463 1599995904 390001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 390624 390001 311 324 0 389694 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1562496 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.93 2/78 29962 /proc/meminfo: memFree=189976/2055920 swapFree=4169108/4192956 [pid=29763] ppid=29761 vsize=0 CPUtime=1800.2 /proc/29763/stat : 29763 (bsolo3.0.17) R 29761 29763 29700 0 -1 4194308 390349 0 0 0 179750 270 0 0 25 0 1 0 243466463 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/29763/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.86 CPU time (s): 1800.26 CPU user time (s): 1797.5 CPU system time (s): 2.76058 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 1563344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.5 system time used= 2.76058 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 390349 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= 13 involuntary context switches= 3215 runsolver used 1.35679 second user time and 3.90341 second system time The end
Begin job on node15 on Mon Apr 30 17:51:28 UTC 2007 IDJOB= 433144 IDBENCH= 2296 IDSOLVER= 199 FILE ID= node15/433144-1177955488 PBS_JOBID= 4727712 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433144-1177955488/instance-433144-1177955488.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-433144-1177955488 -o ROOT/results/node15/solver-433144-1177955488 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433144-1177955488/instance-433144-1177955488.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= f6afca2947f6ff68bd855d0ea2ea59a9 RANDOM SEED= 464462931 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1752504 kB Buffers: 36076 kB Cached: 178648 kB SwapCached: 2264 kB Active: 81836 kB Inactive: 155308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1752504 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 6972 kB Writeback: 0 kB Mapped: 29968 kB Slab: 51708 kB Committed_AS: 7199592 kB PageTables: 1868 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= 66558 MiB End job on node15 on Mon Apr 30 18:21:31 UTC 2007