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