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