0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3479274-1307448587.opb>
0.39/0.46 c original problem has 3528 variables (3528 bin, 0 int, 0 impl, 0 cont) and 693 constraints
0.39/0.46 c problem read
0.39/0.46 c presolving settings loaded
0.59/0.61 c presolving:
0.69/0.79 c (round 1) 0 del vars, 504 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 21 clqs
0.79/0.80 c (round 2) 0 del vars, 504 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 23 upgd conss, 0 impls, 21 clqs
2.21/2.26 c (2.3s) probing: 101/3528 (2.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.21/2.26 c (2.3s) probing aborted: 100/100 successive totally useless probings
2.21/2.26 c presolving (3 rounds):
2.21/2.26 c 0 deleted vars, 504 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
2.21/2.26 c 0 implications, 21 cliques
2.21/2.26 c presolved problem has 3528 variables (3528 bin, 0 int, 0 impl, 0 cont) and 189 constraints
2.21/2.26 c 2 constraints of type <knapsack>
2.21/2.26 c 21 constraints of type <setppc>
2.21/2.26 c 166 constraints of type <linear>
2.21/2.26 c transformed objective value is always integral (scale: 1)
2.21/2.26 c Presolving Time: 1.77
2.21/2.26 c - non default parameters ----------------------------------------------------------------------
2.21/2.26 c # SCIP version 2.0.1.4
2.21/2.26 c
2.21/2.26 c # frequency for displaying node information lines
2.21/2.26 c # [type: int, range: [-1,2147483647], default: 100]
2.21/2.26 c display/freq = 10000
2.21/2.26 c
2.21/2.26 c # maximal time in seconds to run
2.21/2.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.21/2.26 c limits/time = 1800
2.21/2.26 c
2.21/2.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.21/2.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.21/2.26 c limits/memory = 13950
2.21/2.26 c
2.21/2.26 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.21/2.26 c # [type: int, range: [1,2], default: 1]
2.21/2.26 c timing/clocktype = 2
2.21/2.26 c
2.21/2.26 c # belongs reading time to solving time?
2.21/2.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.21/2.26 c timing/reading = TRUE
2.21/2.26 c
2.21/2.26 c # should presolving try to simplify inequalities
2.21/2.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.21/2.26 c constraints/linear/simplifyinequalities = TRUE
2.21/2.26 c
2.21/2.26 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.21/2.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.21/2.26 c constraints/indicator/addCouplingCons = TRUE
2.21/2.26 c
2.21/2.26 c # should presolving try to simplify knapsacks
2.21/2.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.21/2.26 c constraints/knapsack/simplifyinequalities = TRUE
2.21/2.26 c
2.21/2.26 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.21/2.26 c # [type: int, range: [-1,2147483647], default: -1]
2.21/2.26 c separating/rapidlearning/freq = 0
2.21/2.26 c
2.21/2.26 c -----------------------------------------------------------------------------------------------
2.21/2.26 c start solving
2.21/2.26 c
3.39/3.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.45 c 3.5s| 1 | 0 | 4138 | - | 48M| 0 | 83 |3528 | 189 |3528 | 189 | 0 | 0 | 0 | 1.248603e+01 | -- | Inf
5.29/5.37 o 16
5.29/5.37 c F 5.4s| 1 | 0 | 13725 | - | 48M| 0 | 0 |3528 | 189 |3528 | 189 | 0 | 0 | 0 | 1.248603e+01 | 1.600000e+01 | 28.14%
15.30/15.34 c 15.3s| 1 | 2 | 13725 | - | 50M| 0 | 83 |3528 | 194 |3528 | 189 | 0 | 0 | 9 | 1.248603e+01 | 1.600000e+01 | 28.14%
15.30/15.34 o 15
15.30/15.34 c b15.3s| 2 | 1 | 13725 | 0.0 | 50M| 1 | - |3528 | 194 |3528 | 189 | 0 | 0 | 9 | 1.248603e+01 | 1.500000e+01 | 20.13%
29.30/29.38 o 14
29.30/29.38 c v29.4s| 28 | 29 | 26851 | 486.1 | 50M| 9 | - |3528 | 194 |3528 | 189 | 0 | 0 | 280 | 1.248603e+01 | 1.400000e+01 | 12.13%
69.69/69.79 o 13
69.69/69.79 c *69.8s| 241 | 0 | 67982 | 226.1 | 50M| 26 | - |3528 | 198 |3528 | 189 | 0 | 4 |2976 | 1.300000e+01 | 1.300000e+01 | 0.00%
69.79/69.80 c
69.79/69.80 c SCIP Status : problem is solved [optimal solution found]
69.79/69.80 c Solving Time (sec) : 69.80
69.79/69.80 c Solving Nodes : 241
69.79/69.80 c Primal Bound : +1.30000000000000e+01 (5 solutions)
69.79/69.80 c Dual Bound : +1.30000000000000e+01
69.79/69.80 c Gap : 0.00 %
69.79/69.84 s OPTIMUM FOUND
69.79/69.84 v -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510
69.79/69.84 v -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493
69.79/69.84 v -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475
69.79/69.84 v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457
69.79/69.84 v -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439
69.79/69.84 v -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421
69.79/69.84 v -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403
69.79/69.84 v -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385
69.79/69.84 v -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368
69.79/69.84 v -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350
69.79/69.84 v -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332
69.79/69.84 v -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 x3315 -x3314
69.79/69.84 v -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296
69.79/69.84 v -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278
69.79/69.84 v -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260
69.79/69.84 v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242
69.79/69.84 v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225
69.79/69.84 v -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207
69.79/69.84 v -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 x3191 -x3190 -x3189
69.79/69.84 v -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171
69.79/69.84 v -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153
69.79/69.84 v -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135
69.79/69.84 v -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117
69.79/69.84 v -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099
69.79/69.84 v -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082
69.79/69.84 v -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064
69.79/69.84 v -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046
69.79/69.84 v -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028
69.79/69.84 v -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010
69.79/69.84 v -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992
69.79/69.84 v -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974
69.79/69.84 v -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957
69.79/69.84 v -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939
69.79/69.84 v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921
69.79/69.84 v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903
69.79/69.84 v -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885
69.79/69.84 v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867
69.79/69.84 v -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849
69.79/69.84 v -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832
69.79/69.84 v -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814
69.79/69.84 v -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796
69.79/69.84 v -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778
69.79/69.84 v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760
69.79/69.84 v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742
69.79/69.84 v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724
69.79/69.84 v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
69.79/69.84 v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
69.79/69.84 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671
69.79/69.84 v -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
69.79/69.84 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
69.79/69.84 v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617
69.79/69.84 v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
69.79/69.84 v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582
69.79/69.84 v -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564
69.79/69.84 v -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546
69.79/69.84 v -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528
69.79/69.84 v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510
69.79/69.84 v -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492
69.79/69.84 v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474
69.79/69.84 v -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456
69.79/69.84 v -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439
69.79/69.84 v -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421
69.79/69.84 v -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403
69.79/69.84 v -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385
69.79/69.84 v -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367
69.79/69.84 v -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349
69.79/69.84 v -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 x2334 -x2333 -x2332 -x2331
69.79/69.84 v -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313
69.79/69.84 v -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296
69.79/69.84 v -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278
69.79/69.84 v -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260
69.79/69.84 v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242
69.79/69.84 v -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224
69.79/69.84 v -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206
69.79/69.84 v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188
69.79/69.84 v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171
69.79/69.84 v -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153
69.79/69.84 v -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135
69.79/69.84 v -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117
69.79/69.84 v -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099
69.79/69.84 v -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081
69.79/69.84 v -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063
69.79/69.84 v -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045
69.79/69.84 v -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028
69.79/69.84 v -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010
69.79/69.84 v -x2009 x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992
69.79/69.84 v -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974
69.79/69.84 v -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956
69.79/69.84 v -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938
69.79/69.84 v -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920
69.79/69.84 v -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902
69.79/69.84 v -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885
69.79/69.84 v -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867
69.79/69.84 v -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849
69.79/69.84 v -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831
69.79/69.84 v -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813
69.79/69.84 v -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795
69.79/69.84 v -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777
69.79/69.84 v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760
69.79/69.84 v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742
69.79/69.84 v -x1741 -x1740 x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724
69.79/69.84 v -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706
69.79/69.84 v -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688
69.79/69.84 v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670
69.79/69.84 v -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652
69.79/69.84 v -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634
69.79/69.84 v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617
69.79/69.84 v -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599
69.79/69.84 v -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581
69.79/69.84 v -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563
69.79/69.84 v -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545
69.79/69.84 v -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527
69.79/69.84 v -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509
69.79/69.84 v -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492
69.79/69.84 v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474
69.79/69.84 v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456
69.79/69.84 v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438
69.79/69.84 v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420
69.79/69.84 v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402
69.79/69.84 v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384
69.79/69.84 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 -x1368 -x1367 -x1366
69.79/69.84 v -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349
69.79/69.84 v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331
69.79/69.84 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313
69.79/69.84 v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295
69.79/69.84 v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277
69.79/69.84 v -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259
69.79/69.84 v -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241
69.79/69.84 v -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224
69.79/69.84 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206
69.79/69.84 v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188
69.79/69.84 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170
69.79/69.84 v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152
69.79/69.84 v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
69.79/69.84 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116
69.79/69.84 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098
69.79/69.84 v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081
69.79/69.84 v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063
69.79/69.84 v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045
69.79/69.84 v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
69.79/69.84 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009
69.79/69.84 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990
69.79/69.84 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969
69.79/69.84 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948
69.79/69.84 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927
69.79/69.84 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907
69.79/69.84 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886
69.79/69.84 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865
69.79/69.84 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844
69.79/69.84 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823
69.79/69.84 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802
69.79/69.84 v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782
69.79/69.84 v -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761
69.79/69.84 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
69.79/69.84 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
69.79/69.84 v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
69.79/69.84 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677
69.79/69.84 v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
69.79/69.84 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
69.79/69.84 v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
69.79/69.84 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
69.79/69.84 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
69.79/69.84 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
69.79/69.84 v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531
69.79/69.84 v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511
69.79/69.84 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490
69.79/69.84 v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469
69.79/69.84 v -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448
69.79/69.84 v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427
69.79/69.84 v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
69.79/69.84 v -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385
69.79/69.84 v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
69.79/69.84 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
69.79/69.84 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
69.79/69.84 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
69.79/69.84 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
69.79/69.84 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
69.79/69.84 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
69.79/69.84 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
69.79/69.84 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
69.79/69.84 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
69.79/69.84 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
69.79/69.84 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
69.79/69.84 v -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
69.79/69.84 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
69.79/69.84 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
69.79/69.84 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42
69.79/69.84 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17
69.79/69.84 v -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
69.79/69.84 c SCIP Status : problem is solved [optimal solution found]
69.79/69.84 c Total Time : 69.80
69.79/69.84 c solving : 69.80
69.79/69.84 c presolving : 1.77 (included in solving)
69.79/69.84 c reading : 0.46 (included in solving)
69.79/69.84 c Original Problem :
69.79/69.84 c Problem name : HOME/instance-3479274-1307448587.opb
69.79/69.84 c Variables : 3528 (3528 binary, 0 integer, 0 implicit integer, 0 continuous)
69.79/69.84 c Constraints : 693 initial, 693 maximal
69.79/69.84 c Presolved Problem :
69.79/69.84 c Problem name : t_HOME/instance-3479274-1307448587.opb
69.79/69.84 c Variables : 3528 (3528 binary, 0 integer, 0 implicit integer, 0 continuous)
69.79/69.84 c Constraints : 189 initial, 198 maximal
69.79/69.84 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
69.79/69.84 c trivial : 0.00 0 0 0 0 0 0 0 0 0
69.79/69.84 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
69.79/69.84 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
69.79/69.84 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
69.79/69.84 c implics : 0.00 0 0 0 0 0 0 0 0 0
69.79/69.84 c probing : 1.45 0 0 0 0 0 0 0 0 0
69.79/69.84 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
69.79/69.84 c setppc : 0.00 0 0 0 0 0 0 0 0 0
69.79/69.84 c linear : 0.16 0 0 0 0 0 504 0 2 0
69.79/69.84 c logicor : 0.00 0 0 0 0 0 0 0 0 0
69.79/69.84 c root node : - 0 - - 0 - - - - -
69.79/69.84 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
69.79/69.84 c integral : 0 0 0 565 0 10 0 7 1764 0 0 324
69.79/69.84 c knapsack : 2 1 3939 1 0 7 0 0 0 0 0 0
69.79/69.84 c setppc : 21 1 3939 1 0 4 65 0 13654 0 0 0
69.79/69.84 c linear : 166+ 2 3939 1 0 4 0 0 0 0 0 0
69.79/69.84 c logicor : 0+ 0 1 0 0 0 0 0 0 0 0 0
69.79/69.84 c countsols : 0 0 0 1 0 6 0 0 0 0 0 0
69.79/69.84 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
69.79/69.84 c integral : 38.68 0.00 0.00 38.68 0.00 0.00 0.00
69.79/69.84 c knapsack : 0.05 0.03 0.03 0.00 0.00 0.00 0.00
69.79/69.84 c setppc : 0.07 0.00 0.07 0.00 0.00 0.00 0.00
69.79/69.84 c linear : 7.79 6.04 1.76 0.00 0.00 0.00 0.00
69.79/69.84 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
69.79/69.84 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
69.79/69.84 c Propagators : #Propagate #Resprop Cutoffs DomReds
69.79/69.84 c vbounds : 0 0 0 0
69.79/69.84 c rootredcost : 2 0 0 0
69.79/69.84 c pseudoobj : 3740 0 0 0
69.79/69.84 c Propagator Timings : TotalTime Propagate Resprop
69.79/69.84 c vbounds : 0.00 0.00 0.00
69.79/69.84 c rootredcost : 0.00 0.00 0.00
69.79/69.84 c pseudoobj : 0.11 0.11 0.00
69.79/69.84 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
69.79/69.84 c propagation : 0.00 0 0 0 0.0 0 0.0 -
69.79/69.84 c infeasible LP : 0.00 2 2 10 204.1 0 0.0 0
69.79/69.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
69.79/69.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
69.79/69.84 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
69.79/69.84 c applied globally : - - - 4 231.0 - - -
69.79/69.84 c applied locally : - - - 0 0.0 - - -
69.79/69.84 c Separators : Time Calls Cutoffs DomReds Cuts Conss
69.79/69.84 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
69.79/69.84 c redcost : 0.20 273 0 32481 0 0
69.79/69.84 c impliedbounds : 0.00 1 0 0 0 0
69.79/69.84 c intobj : 0.00 0 0 0 0 0
69.79/69.84 c gomory : 0.00 1 0 0 0 0
69.79/69.84 c cgmip : 0.00 0 0 0 0 0
69.79/69.84 c closecuts : 0.00 0 0 0 0 0
69.79/69.84 c strongcg : 0.00 1 0 0 0 0
69.79/69.84 c cmir : 0.00 1 0 0 0 0
69.79/69.84 c flowcover : 0.06 1 0 0 0 0
69.79/69.84 c clique : 0.00 1 0 0 0 0
69.79/69.84 c zerohalf : 0.00 0 0 0 0 0
69.79/69.84 c mcf : 0.00 1 0 0 0 0
69.79/69.84 c oddcycle : 0.00 0 0 0 0 0
69.79/69.84 c rapidlearning : 1.58 1 0 0 0 5
69.79/69.84 c Pricers : Time Calls Vars
69.79/69.84 c problem variables: 0.00 0 0
69.79/69.84 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
69.79/69.84 c relpscost : 38.68 564 7 1764 0 0 324
69.79/69.84 c pscost : 0.00 0 0 0 0 0 0
69.79/69.84 c inference : 0.00 0 0 0 0 0 0
69.79/69.84 c mostinf : 0.00 0 0 0 0 0 0
69.79/69.84 c leastinf : 0.00 0 0 0 0 0 0
69.79/69.84 c fullstrong : 0.00 0 0 0 0 0 0
69.79/69.84 c allfullstrong : 0.00 0 0 0 0 0 0
69.79/69.84 c random : 0.00 0 0 0 0 0 0
69.79/69.84 c Primal Heuristics : Time Calls Found
69.79/69.84 c LP solutions : 0.00 - 1
69.79/69.84 c pseudo solutions : 0.00 - 0
69.79/69.84 c linesearchdiving : 0.00 0 0
69.79/69.84 c guideddiving : 0.00 0 0
69.79/69.84 c oneopt : 0.01 3 1
69.79/69.84 c coefdiving : 0.97 1 0
69.79/69.84 c pscostdiving : 0.58 1 0
69.79/69.84 c fracdiving : 0.58 1 0
69.79/69.84 c veclendiving : 0.44 1 1
69.79/69.84 c feaspump : 1.90 1 1
69.79/69.84 c objpscostdiving : 0.15 1 0
69.79/69.84 c rootsoldiving : 0.32 1 1
69.79/69.84 c trivial : 0.01 2 0
69.79/69.84 c shiftandpropagate: 0.32 1 0
69.79/69.84 c simplerounding : 0.00 0 0
69.79/69.84 c zirounding : 0.01 169 0
69.79/69.84 c rounding : 0.20 211 0
69.79/69.84 c shifting : 0.11 16 0
69.79/69.84 c intshifting : 0.00 0 0
69.79/69.84 c twoopt : 0.00 0 0
69.79/69.84 c fixandinfer : 0.00 0 0
69.79/69.84 c clique : 0.00 0 0
69.79/69.84 c intdiving : 0.00 0 0
69.79/69.84 c actconsdiving : 0.00 0 0
69.79/69.84 c octane : 0.00 0 0
69.79/69.84 c rens : 1.25 1 0
69.79/69.84 c rins : 0.00 0 0
69.79/69.84 c localbranching : 0.00 0 0
69.79/69.84 c mutation : 0.00 0 0
69.79/69.84 c crossover : 0.07 1 0
69.79/69.84 c dins : 0.00 0 0
69.79/69.84 c vbounds : 0.00 0 0
69.79/69.84 c undercover : 0.00 0 0
69.79/69.84 c subnlp : 0.00 0 0
69.79/69.84 c trysol : 0.00 0 0
69.79/69.84 c LP : Time Calls Iterations Iter/call Iter/sec
69.79/69.84 c primal LP : 0.00 0 0 0.00 -
69.79/69.84 c dual LP : 13.31 636 50905 80.04 3825.37
69.79/69.84 c lex dual LP : 0.00 0 0 0.00 -
69.79/69.84 c barrier LP : 0.00 0 0 0.00 -
69.79/69.84 c diving/probing LP: 4.51 955 17077 17.88 3783.12
69.79/69.84 c strong branching : 38.60 2976 134647 45.24 3488.58
69.79/69.84 c (at root node) : - 9 3950 438.89 -
69.79/69.84 c conflict analysis: 0.00 0 0 0.00 -
69.79/69.84 c B&B Tree :
69.79/69.84 c number of runs : 1
69.79/69.84 c nodes : 241
69.79/69.84 c nodes (total) : 241
69.79/69.84 c nodes left : 0
69.79/69.84 c max depth : 26
69.79/69.84 c max depth (total): 26
69.79/69.84 c backtracks : 14 (5.8%)
69.79/69.84 c delayed cutoffs : 0
69.79/69.84 c repropagations : 0 (0 domain reductions, 0 cutoffs)
69.79/69.84 c avg switch length: 2.00
69.79/69.84 c switching time : 0.22
69.79/69.84 c Solution :
69.79/69.84 c Solutions found : 5 (4 improvements)
69.79/69.84 c First Solution : +1.60000000000000e+01 (in run 1, after 1 nodes, 5.37 seconds, depth 0, found by <feaspump>)
69.79/69.84 c Primal Bound : +1.30000000000000e+01 (in run 1, after 241 nodes, 69.79 seconds, depth 20, found by <relaxation>)
69.79/69.84 c Dual Bound : +1.30000000000000e+01
69.79/69.84 c Gap : 0.00 %
69.79/69.84 c Root Dual Bound : +1.24860332423316e+01
69.79/69.84 c Root Iterations : 13725
69.79/69.88 c Time complete: 69.88.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479274-1307448587/watcher-3479274-1307448587 -o /tmp/evaluation-result-3479274-1307448587/solver-3479274-1307448587 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3479274-1307448587.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.08 1.55 1.76 2/483 16392
/proc/meminfo: memFree=24568800/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=12512 CPUtime=0 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 2144 0 0 0 0 0 0 0 22 0 1 0 935089372 12812288 2096 33554432000 4194304 9128323 140735214064032 18446744073709551615 6193891 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16392/statm: 3128 2096 391 1205 0 1919 0
[startup+0.0884421 s]
/proc/loadavg: 1.08 1.55 1.76 2/483 16392
/proc/meminfo: memFree=24568800/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=15512 CPUtime=0.08 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 2750 0 0 0 8 0 0 0 22 0 1 0 935089372 15884288 2702 33554432000 4194304 9128323 140735214064032 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16392/statm: 3878 2702 400 1205 0 2669 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15512
[startup+0.100438 s]
/proc/loadavg: 1.08 1.55 1.76 2/483 16392
/proc/meminfo: memFree=24568800/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=15800 CPUtime=0.09 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 2816 0 0 0 9 0 0 0 22 0 1 0 935089372 16179200 2768 33554432000 4194304 9128323 140735214064032 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16392/statm: 3950 2768 400 1205 0 2741 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15800
[startup+0.300404 s]
/proc/loadavg: 1.08 1.55 1.76 2/483 16392
/proc/meminfo: memFree=24568800/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=23304 CPUtime=0.29 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 4341 0 0 0 29 0 0 0 23 0 1 0 935089372 23863296 4293 33554432000 4194304 9128323 140735214064032 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16392/statm: 5826 4293 400 1205 0 4617 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23304
[startup+0.700276 s]
/proc/loadavg: 1.08 1.55 1.76 2/483 16392
/proc/meminfo: memFree=24568800/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=122244 CPUtime=0.69 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 29453 0 0 0 64 5 0 0 25 0 1 0 935089372 125177856 28739 33554432000 4194304 9128323 140735214064032 18446744073709551615 4854270 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 30561 28739 495 1205 0 29352 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 122244
[startup+1.50013 s]
/proc/loadavg: 1.15 1.56 1.77 3/484 16393
/proc/meminfo: memFree=24450008/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=121760 CPUtime=1.49 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 29860 0 0 0 144 5 0 0 25 0 1 0 935089372 124682240 28691 33554432000 4194304 9128323 140735214064032 18446744073709551615 5237515 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 30440 28691 542 1205 0 29231 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121760
[startup+3.10089 s]
/proc/loadavg: 1.15 1.56 1.77 3/484 16393
/proc/meminfo: memFree=24448240/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=152932 CPUtime=3.09 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 37247 0 0 0 302 7 0 0 25 0 1 0 935089372 156602368 35202 33554432000 4194304 9128323 140735214064032 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 38233 35202 645 1205 0 37024 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152932
[startup+6.30032 s]
/proc/loadavg: 1.22 1.57 1.77 3/484 16393
/proc/meminfo: memFree=24412156/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=147964 CPUtime=6.29 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 38273 0 0 0 619 10 0 0 25 0 1 0 935089372 151515136 34991 33554432000 4194304 9128323 140735214064032 18446744073709551615 4333418 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 36991 34991 667 1205 0 35782 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 147964
[startup+12.7001 s]
/proc/loadavg: 1.28 1.57 1.77 3/484 16394
/proc/meminfo: memFree=24323932/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=192988 CPUtime=12.69 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 48953 0 0 0 1258 11 0 0 25 0 1 0 935089372 197619712 45671 33554432000 4194304 9128323 140735214064032 18446744073709551615 4335777 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 48247 45671 714 1205 0 47038 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 192988
[startup+25.5008 s]
/proc/loadavg: 1.39 1.59 1.77 3/484 16394
/proc/meminfo: memFree=24309864/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=193256 CPUtime=25.49 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 49820 0 0 0 2510 39 0 0 25 0 1 0 935089372 197894144 46538 33554432000 4194304 9128323 140735214064032 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 48314 46538 740 1205 0 47105 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 193256
[startup+51.1011 s]
/proc/loadavg: 1.63 1.62 1.78 3/484 16395
/proc/meminfo: memFree=24308876/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=193256 CPUtime=51.09 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 49822 0 0 0 5043 66 0 0 25 0 1 0 935089372 197894144 46540 33554432000 4194304 9128323 140735214064032 18446744073709551615 7267360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 48314 46540 740 1205 0 47105 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 193256
Solver just ended. Dumping a history of the last processes samples
[startup+57.5009 s]
/proc/loadavg: 1.66 1.63 1.78 3/484 16395
/proc/meminfo: memFree=24308688/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=193256 CPUtime=57.49 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 49825 0 0 0 5676 73 0 0 25 0 1 0 935089372 197894144 46543 33554432000 4194304 9128323 140735214064032 18446744073709551615 7286064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 48314 46543 740 1205 0 47105 0
Current children cumulated CPU time (s) 57.49
Current children cumulated vsize (KiB) 193256
[startup+63.9008 s]
/proc/loadavg: 1.69 1.64 1.78 3/484 16395
/proc/meminfo: memFree=24307696/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=193256 CPUtime=63.9 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 49825 0 0 0 6308 82 0 0 25 0 1 0 935089372 197894144 46543 33554432000 4194304 9128323 140735214064032 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 48314 46543 740 1205 0 47105 0
Current children cumulated CPU time (s) 63.9
Current children cumulated vsize (KiB) 193256
[startup+67.1181 s]
/proc/loadavg: 1.71 1.64 1.78 3/484 16395
/proc/meminfo: memFree=24308440/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=193256 CPUtime=67.11 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 49825 0 0 0 6624 87 0 0 25 0 1 0 935089372 197894144 46543 33554432000 4194304 9128323 140735214064032 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 48314 46543 740 1205 0 47105 0
Current children cumulated CPU time (s) 67.11
Current children cumulated vsize (KiB) 193256
[startup+68.7008 s]
/proc/loadavg: 1.71 1.64 1.78 3/484 16395
/proc/meminfo: memFree=24307572/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=193256 CPUtime=68.69 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 49825 0 0 0 6781 88 0 0 25 0 1 0 935089372 197894144 46543 33554432000 4194304 9128323 140735214064032 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 48314 46543 740 1205 0 47105 0
Current children cumulated CPU time (s) 68.69
Current children cumulated vsize (KiB) 193256
[startup+69.5007 s]
/proc/loadavg: 1.71 1.64 1.78 3/484 16395
/proc/meminfo: memFree=24307572/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=193256 CPUtime=69.5 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 49825 0 0 0 6861 89 0 0 25 0 1 0 935089372 197894144 46543 33554432000 4194304 9128323 140735214064032 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 48314 46543 740 1205 0 47105 0
Current children cumulated CPU time (s) 69.5
Current children cumulated vsize (KiB) 193256
[startup+69.7006 s]
/proc/loadavg: 1.71 1.64 1.78 3/484 16395
/proc/meminfo: memFree=24307572/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=193256 CPUtime=69.69 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 49825 0 0 0 6880 89 0 0 25 0 1 0 935089372 197894144 46543 33554432000 4194304 9128323 140735214064032 18446744073709551615 7286099 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 48314 46543 740 1205 0 47105 0
Current children cumulated CPU time (s) 69.69
Current children cumulated vsize (KiB) 193256
[startup+69.8006 s]
/proc/loadavg: 1.71 1.64 1.78 3/484 16395
/proc/meminfo: memFree=24307572/32950928 swapFree=61542368/67111528
[pid=16392] ppid=16390 vsize=193256 CPUtime=69.79 cores=1,3,5,7
/proc/16392/stat : 16392 (scip-2.0.1.4.li) R 16390 16392 16073 0 -1 4202496 49826 0 0 0 6890 89 0 0 25 0 1 0 935089372 197894144 46544 33554432000 4194304 9128323 140735214064032 18446744073709551615 5207323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16392/statm: 48314 46544 741 1205 0 47105 0
Current children cumulated CPU time (s) 69.79
Current children cumulated vsize (KiB) 193256
Child status: 0
Real time (s): 69.8905
CPU time (s): 69.8924
CPU user time (s): 68.9865
CPU system time (s): 0.905862
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 193256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.9865
system time used= 0.905862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49830
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= 5
involuntary context switches= 148
runsolver used 0.343947 second user time and 0.748886 second system time
The end
Begin job on node116 at 2011-06-07 14:09:47
IDJOB=3479274
IDBENCH=89872
IDSOLVER=1949
FILE ID=node116/3479274-1307448587
RUNJOBID= node116-1307448587-16373
PBS_JOBID= 13520317
Free space on /tmp= 73992 MiB
SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-547911.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479274-1307448587/watcher-3479274-1307448587 -o /tmp/evaluation-result-3479274-1307448587/solver-3479274-1307448587 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3479274-1307448587.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= b99304baf8f7edc2dec7db9e7f912244
RANDOM SEED=2074852535
node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 24568956 kB
Buffers: 307752 kB
Cached: 658688 kB
SwapCached: 12600 kB
Active: 7671408 kB
Inactive: 438520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24568956 kB
SwapTotal: 67111528 kB
SwapFree: 61542368 kB
Dirty: 29544 kB
Writeback: 52 kB
AnonPages: 7141160 kB
Mapped: 24904 kB
Slab: 142628 kB
PageTables: 62540 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 139633572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73980 MiB
End job on node116 at 2011-06-07 14:10:57