0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2692486-1277931587.wbo>
0.10/0.10 c original problem has 21215 variables (12232 bin, 0 int, 0 impl, 8983 cont) and 17967 constraints
0.10/0.10 c problem read
0.10/0.10 c presolving settings loaded
1.09/1.11 o 454954
1.09/1.11 c feasible solution found by trivial heuristic, objective value 4.549540e+05
1.09/1.11 c presolving:
1.09/1.14 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 8983 impls, 0 clqs
1.09/1.17 c (round 2) 0 del vars, 1 del conss, 8983 chg bounds, 192 chg sides, 384 chg coeffs, 0 upgd conss, 8983 impls, 0 clqs
1.29/1.38 c (1.2s) probing: 101/12232 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.38 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.29/1.38 c presolving (3 rounds):
1.29/1.38 c 0 deleted vars, 1 deleted constraints, 8983 tightened bounds, 0 added holes, 192 changed sides, 384 changed coefficients
1.29/1.38 c 8983 implications, 0 cliques
1.29/1.38 c presolved problem has 21215 variables (12232 bin, 0 int, 0 impl, 8983 cont) and 17966 constraints
1.29/1.38 c 8983 constraints of type <indicator>
1.29/1.38 c 1 constraints of type <varbound>
1.29/1.38 c 8982 constraints of type <linear>
1.29/1.38 c transformed objective value is always integral (scale: 1)
1.29/1.38 c Presolving Time: 1.20
1.29/1.38 c - non default parameters ----------------------------------------------------------------------
1.29/1.38 c # SCIP version 1.2.1.2
1.29/1.38 c
1.29/1.38 c # frequency for displaying node information lines
1.29/1.38 c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.38 c display/freq = 10000
1.29/1.38 c
1.29/1.38 c # maximal time in seconds to run
1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.38 c limits/time = 1799.9
1.29/1.38 c
1.29/1.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.38 c limits/memory = 3420
1.29/1.38 c
1.29/1.38 c # should presolving try to simplify inequalities
1.29/1.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.38 c constraints/linear/simplifyinequalities = TRUE
1.29/1.38 c
1.29/1.38 c # should presolving try to simplify knapsacks
1.29/1.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.38 c constraints/knapsack/simplifyinequalities = TRUE
1.29/1.38 c
1.29/1.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.29/1.38 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.38 c separating/rapidlearning/freq = 0
1.29/1.38 c
1.29/1.38 c -----------------------------------------------------------------------------------------------
1.29/1.38 c start solving
1.29/1.38 c
1.39/1.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.44 c t 1.3s| 1 | 0 | 0 | - | 66M| 0 | 0 | 21k| 17k| 21k| 0 | 0 | 0 | 0 | 0.000000e+00 | 4.549540e+05 | Inf
1.39/1.47 c 1.3s| 1 | 0 | 201 | - | 66M| 0 | 30 | 21k| 17k| 21k| 201 | 201 | 0 | 0 | 0.000000e+00 | 4.549540e+05 | Inf
1.39/1.48 o 454928
1.39/1.48 c y 1.4s| 1 | 0 | 201 | - | 67M| 0 | 30 | 21k| 17k| 21k| 201 | 201 | 0 | 0 | 0.000000e+00 | 4.549280e+05 | Inf
1.49/1.59 c 1.4s| 1 | 0 | 383 | - | 67M| 0 | 32 | 21k| 17k| 21k| 412 | 412 | 0 | 0 | 0.000000e+00 | 4.549280e+05 | Inf
1.69/1.77 c 1.6s| 1 | 0 | 809 | - | 67M| 0 | 49 | 21k| 17k| 21k| 636 | 636 | 0 | 0 | 0.000000e+00 | 4.549280e+05 | Inf
1.89/1.98 c 1.8s| 1 | 0 | 1035 | - | 68M| 0 | 52 | 21k| 17k| 21k| 871 | 871 | 0 | 0 | 0.000000e+00 | 4.549280e+05 | Inf
2.19/2.23 c 2.1s| 1 | 0 | 1254 | - | 68M| 0 | 135 | 21k| 17k| 21k|1098 |1098 | 0 | 0 | 0.000000e+00 | 4.549280e+05 | Inf
2.59/2.61 c 2.5s| 1 | 0 | 1516 | - | 69M| 0 | 213 | 21k| 17k| 21k|1334 |1334 | 0 | 0 | 0.000000e+00 | 4.549280e+05 | Inf
3.09/3.19 c 3.0s| 1 | 2 | 1837 | - | 69M| 0 | 213 | 21k| 17k| 21k|1334 |1334 | 0 | 33 | 0.000000e+00 | 4.549280e+05 | Inf
169.78/169.88 c 166s| 10000 | 10001 |109465 | 10.8 | 154M| 125 | 210 | 21k| 17k| 21k|1486 | 38k| 0 |7769 | 0.000000e+00 | 4.549280e+05 | Inf
290.67/290.78 c 285s| 20000 | 20001 |203116 | 10.1 | 215M| 135 | 114 | 21k| 17k| 21k|1479 | 71k| 0 |8522 | 0.000000e+00 | 4.549280e+05 | Inf
420.87/420.92 c 413s| 30000 | 30001 |299391 | 9.9 | 276M| 141 | 8 | 21k| 17k| 21k|1485 | 105k| 0 |9072 | 0.000000e+00 | 4.549280e+05 | Inf
545.78/545.86 c 535s| 40000 | 40001 |390836 | 9.7 | 336M| 141 | 160 | 21k| 17k| 21k|1486 | 139k| 0 | 10k| 0.000000e+00 | 4.549280e+05 | Inf
667.98/668.04 c 654s| 50000 | 50001 |476324 | 9.5 | 397M| 141 | 32 | 21k| 17k| 21k|1485 | 171k| 0 | 11k| 0.000000e+00 | 4.549280e+05 | Inf
788.88/788.91 c 773s| 60000 | 60001 |554223 | 9.2 | 457M| 145 | 14 | 21k| 17k| 21k|1485 | 200k| 0 | 12k| 0.000000e+00 | 4.549280e+05 | Inf
924.99/925.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
924.99/925.01 c 906s| 70000 | 70001 |650053 | 9.3 | 518M| 145 | 44 | 21k| 17k| 21k|1488 | 239k| 0 | 14k| 0.000000e+00 | 4.549280e+05 | Inf
1065.20/1065.25 c 1043s| 80000 | 80001 |757737 | 9.5 | 579M| 145 | 128 | 21k| 17k| 21k|1488 | 280k| 0 | 16k| 0.000000e+00 | 4.549280e+05 | Inf
1184.09/1184.17 c 1160s| 90000 | 90001 |839234 | 9.3 | 639M| 145 | 8 | 21k| 17k| 21k|1270 | 311k| 0 | 17k| 0.000000e+00 | 4.549280e+05 | Inf
1313.10/1313.14 c 1286s|100000 |100001 |931737 | 9.3 | 700M| 145 | 39 | 21k| 17k| 21k|1488 | 349k| 0 | 19k| 0.000000e+00 | 4.549280e+05 | Inf
1474.41/1474.46 c 1444s|110000 |110001 | 1019k| 9.3 | 761M| 285 | 16 | 21k| 17k| 21k|1957 | 387k| 0 | 24k| 0.000000e+00 | 4.549280e+05 | Inf
1648.02/1648.01 c 1613s|120000 |120001 | 1106k| 9.2 | 825M| 285 | 36 | 21k| 17k| 21k|1648 | 432k| 0 | 30k| 0.000000e+00 | 4.549280e+05 | Inf
1796.32/1796.36 c 1759s|130000 |130001 | 1196k| 9.2 | 887M| 285 | 1 | 21k| 17k| 21k|2044 | 478k| 0 | 32k| 0.000000e+00 | 4.549280e+05 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1762.55
1800.02/1800.00 c Solving Nodes : 130251
1800.02/1800.00 c Primal Bound : +4.54928000000000e+05 (102 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1801.22/1801.25 s SATISFIABLE
1801.22/1801.25 v -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231
1801.22/1801.25 v -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214
1801.22/1801.25 v -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196
1801.22/1801.25 v -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178
1801.22/1801.25 v -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160
1801.22/1801.25 v -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142
1801.22/1801.25 v -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124
1801.22/1801.25 v -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106
1801.22/1801.25 v -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088
1801.22/1801.25 v -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071
1801.22/1801.25 v -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053
1801.22/1801.25 v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035
1801.22/1801.25 v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017
1801.22/1801.25 v -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999
1801.22/1801.25 v -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981
1801.22/1801.25 v -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963
1801.22/1801.25 v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946
1801.22/1801.25 v -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928
1801.22/1801.25 v -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910
1801.22/1801.25 v -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892
1801.22/1801.25 v -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874
1801.22/1801.25 v -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856
1801.22/1801.25 v -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838
1801.22/1801.25 v -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821
1801.22/1801.25 v -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803
1801.22/1801.25 v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785
1801.22/1801.25 v -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767
1801.22/1801.25 v -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749
1801.22/1801.25 v -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731
1801.22/1801.25 v -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713
1801.22/1801.25 v -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696
1801.22/1801.25 v -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678
1801.22/1801.25 v -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660
1801.22/1801.25 v -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642
1801.22/1801.25 v -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624
1801.22/1801.25 v -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606
1801.22/1801.25 v -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588
1801.22/1801.25 v -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571
1801.22/1801.25 v -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553
1801.22/1801.25 v -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 x2540 -x2539 -x2538 -x2537 -x2536 -x2535
1801.22/1801.25 v -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517
1801.22/1801.25 v -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499
1801.22/1801.25 v -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481
1801.22/1801.25 v -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463
1801.22/1801.25 v -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445
1801.22/1801.25 v -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428
1801.22/1801.25 v -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410
1801.22/1801.25 v -x2409 -x2408 -x2407 -x2406 -x2405 x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392
1801.22/1801.25 v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374
1801.22/1801.25 v x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356
1801.22/1801.25 v -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338
1801.22/1801.25 v -x2337 -x2336 -x2335 x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320
1801.22/1801.25 v -x2319 -x2318 -x2317 -x2316 -x2315 x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 x2305 -x2304 -x2303 -x2302
1801.22/1801.25 v -x2301 -x2300 x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 x2292 -x2291 -x2290 -x2289 -x2288 -x2287 x2286 -x2285 -x2284 -x2283
1801.22/1801.25 v x2282 -x2281 -x2280 -x2279 -x2278 -x2277 x2276 -x2275 -x2274 -x2273 x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265
1801.22/1801.25 v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247
1801.22/1801.25 v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229
1801.22/1801.25 v -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211
1801.22/1801.25 v -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 x2196 -x2195 -x2194 -x2193
1801.22/1801.25 v -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 x2177 -x2176 -x2175
1801.22/1801.25 v -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 x2165 -x2164 -x2163 -x2162 x2161 -x2160 -x2159 -x2158 -x2157
1801.22/1801.25 v -x2156 x2155 -x2154 -x2153 -x2152 x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139
1801.22/1801.25 v -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 x2125 -x2124 -x2123 -x2122 -x2121
1801.22/1801.25 v -x2120 -x2119 -x2118 -x2117 -x2116 x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 x2108 -x2107 -x2106 x2105 -x2104 -x2103
1801.22/1801.25 v -x2102 -x2101 -x2100 x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085
1801.22/1801.25 v -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 x2068 -x2067
1801.22/1801.25 v -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049
1801.22/1801.25 v -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031
1801.22/1801.25 v -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013
1801.22/1801.25 v -x2012 -x2011 -x2010 -x2009 -x2008 x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995
1801.22/1801.25 v -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 x1981 -x1980 -x1979 -x1978 -x1977
1801.22/1801.25 v -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959
1801.22/1801.25 v -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941
1801.22/1801.25 v -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924
1801.22/1801.25 v -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906
1801.22/1801.25 v x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888
1801.22/1801.25 v -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870
1801.22/1801.25 v -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852
1801.22/1801.25 v -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834
1801.22/1801.25 v -x1833 x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 -x1822 -x1821 -x1820 x1819 -x1818 -x1817 -x1816
1801.22/1801.25 v x1815 -x1814 -x1813 -x1812 -x1811 -x1810 x1809 -x1808 -x1807 -x1806 x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798
1801.22/1801.25 v -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780
1801.22/1801.25 v -x1779 -x1778 x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762
1801.22/1801.25 v -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 x1747 -x1746 -x1745 -x1744 -x1743
1801.22/1801.25 v -x1742 -x1741 x1740 -x1739 -x1738 x1737 -x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725
1801.22/1801.25 v -x1724 x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707
1801.22/1801.25 v -x1706 -x1705 -x1704 -x1703 -x1702 x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 x1689
1801.22/1801.25 v -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 x1675 -x1674 -x1673 x1672 -x1671
1801.22/1801.25 v -x1670 -x1669 -x1668 -x1667 x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 x1658 -x1657 -x1656 -x1655 -x1654 -x1653
1801.22/1801.25 v -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 x1641 -x1640 -x1639 -x1638 x1637 -x1636 -x1635 -x1634
1801.22/1801.25 v -x1633 -x1632 x1631 -x1630 -x1629 -x1628 x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616
1801.22/1801.25 v -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 x1601 -x1600 -x1599 -x1598
1801.22/1801.25 v -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 x1584 -x1583 -x1582 x1581 -x1580
1801.22/1801.25 v -x1579 -x1578 -x1577 -x1576 x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562
1801.22/1801.25 v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 x1544
1801.22/1801.25 v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526
1801.22/1801.25 v -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508
1801.22/1801.25 v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490
1801.22/1801.25 v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473
1801.22/1801.25 v -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 x1459 -x1458 -x1457 -x1456 -x1455
1801.22/1801.25 v -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437
1801.22/1801.25 v -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 x1421 -x1420 -x1419
1801.22/1801.25 v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401
1801.22/1801.25 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383
1801.22/1801.25 v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365
1801.22/1801.25 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347
1801.22/1801.25 v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329
1801.22/1801.25 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312
1801.22/1801.25 v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294
1801.22/1801.25 v -x1293 -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276
1801.22/1801.25 v -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258
1801.22/1801.25 v -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240
1801.22/1801.25 v -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
1801.22/1801.25 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204
1801.22/1801.25 v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186
1801.22/1801.25 v -x1185 -x1184 -x1183 -x1182 -x1181 x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171 -x1170 -x1169 -x1168
1801.22/1801.25 v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150
1801.22/1801.25 v -x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132
1801.22/1801.25 v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114
1801.22/1801.25 v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 x1098 -x1097 x1096
1801.22/1801.25 v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078
1801.22/1801.25 v -x1077 -x1076 -x1075 -x1074 x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060
1801.22/1801.25 v -x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042
1801.22/1801.25 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024
1801.22/1801.25 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
1801.22/1801.25 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986
1801.22/1801.25 v -x985 -x984 -x983 -x982 -x981 -x980 x979 -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965
1801.22/1801.25 v -x964 -x963 -x962 -x961 -x960 -x959 x958 -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943
1801.22/1801.25 v -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922
1801.22/1801.25 v -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901
1801.22/1801.25 v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
1801.22/1801.25 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 -x862 -x861 -x860
1801.22/1801.25 v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839
1801.22/1801.25 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818
1801.22/1801.25 v -x817 -x816 x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796
1801.22/1801.25 v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775
1801.22/1801.25 v -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 -x764 x763 -x762 -x761 -x760 -x759 -x758 x757 -x756 -x755 -x754
1801.22/1801.25 v -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 x737 -x736 -x735 -x734 -x733
1801.22/1801.25 v -x732 -x731 x730 -x729 -x728 x727 -x726 -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711
1801.22/1801.25 v -x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690
1801.22/1801.25 v -x689 -x688 -x687 -x686 x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669
1801.22/1801.25 v -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648
1801.22/1801.25 v -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627
1801.22/1801.25 v -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606
1801.22/1801.25 v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585
1801.22/1801.25 v -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565
1801.22/1801.25 v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544
1801.22/1801.25 v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523
1801.22/1801.25 v -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502
1801.22/1801.25 v -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 x481
1801.22/1801.25 v -x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459
1801.22/1801.25 v -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438
1801.22/1801.25 v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418
1801.22/1801.25 v x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396
1801.22/1801.25 v -x395 -x394 x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
1801.22/1801.25 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354
1801.22/1801.25 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
1801.22/1801.25 v x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312
1801.22/1801.25 v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291
1801.22/1801.25 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269
1801.22/1801.25 v -x268 -x267 -x266 -x265 x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
1801.22/1801.25 v -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227
1801.22/1801.25 v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
1801.22/1801.25 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185
1801.22/1801.25 v -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
1801.22/1801.25 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143
1801.22/1801.25 v -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
1801.22/1801.25 v -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100
1801.22/1801.25 v -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 x85 x84 x83 -x82 x81 -x80 -x79 x78 -x77 -x76 x75 -x74
1801.22/1801.25 v -x73 x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 -x51 x50 -x49 -x48
1801.22/1801.25 v -x47 -x46 x45 -x44 x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 x35 -x34 x33 -x32 -x31 x30 -x29 x28 -x27 -x26 x25 -x24 x23 -x22 -x21
1801.22/1801.25 v x20 -x19 x18 -x17 -x16 x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x1
1801.22/1801.25 c SCIP Status : solving was interrupted [user interrupt]
1801.22/1801.25 c Solving Time : 1762.55
1801.22/1801.25 c Original Problem :
1801.22/1801.25 c Problem name : HOME/instance-2692486-1277931587.wbo
1801.22/1801.25 c Variables : 21215 (12232 binary, 0 integer, 0 implicit integer, 8983 continuous)
1801.22/1801.25 c Constraints : 17967 initial, 17967 maximal
1801.22/1801.25 c Presolved Problem :
1801.22/1801.25 c Problem name : t_HOME/instance-2692486-1277931587.wbo
1801.22/1801.25 c Variables : 21215 (12232 binary, 0 integer, 0 implicit integer, 8983 continuous)
1801.22/1801.25 c Constraints : 17966 initial, 17966 maximal
1801.22/1801.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.22/1801.25 c trivial : 0.00 0 0 0 0 0 0 0 0
1801.22/1801.25 c dualfix : 0.02 0 0 0 0 0 0 0 0
1801.22/1801.25 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.22/1801.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.22/1801.25 c implics : 0.01 0 0 0 0 0 0 0 0
1801.22/1801.25 c probing : 0.17 0 0 0 0 0 0 0 0
1801.22/1801.25 c indicator : 0.00 0 0 0 0 0 0 0 0
1801.22/1801.25 c varbound : 0.00 0 0 0 0 0 0 0 0
1801.22/1801.25 c linear : 0.06 0 0 0 8983 0 1 192 384
1801.22/1801.25 c root node : - 0 - - 0 - - - -
1801.22/1801.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.22/1801.25 c integral : 0 0 0 135652 0 0 0 0 0 254396
1801.22/1801.25 c indicator : 8983 0 233607 8454 0 0 51271 0 0 0
1801.22/1801.25 c varbound : 1 6 233607 8454 0 0 0 1 0 0
1801.22/1801.25 c linear : 8982 6 233607 8454 0 0 56798 479581 0 0
1801.22/1801.25 c countsols : 0 0 0 3053 0 0 0 0 0 0
1801.22/1801.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.22/1801.25 c integral : 212.67 0.00 0.00 212.67 0.00
1801.22/1801.25 c indicator : 86.14 0.00 68.29 17.85 0.00
1801.22/1801.25 c varbound : 0.09 0.00 0.09 0.00 0.00
1801.22/1801.25 c linear : 95.01 0.01 64.37 30.63 0.00
1801.22/1801.25 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.22/1801.25 c Propagators : Time Calls Cutoffs DomReds
1801.22/1801.25 c vbounds : 0.04 2 0 0
1801.22/1801.25 c rootredcost : 0.03 1 0 0
1801.22/1801.25 c pseudoobj : 89.64 233407 0 0
1801.22/1801.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.22/1801.25 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.22/1801.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.22/1801.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.22/1801.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.22/1801.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.22/1801.25 c applied globally : - - - 0 0.0 - - -
1801.22/1801.25 c applied locally : - - - 0 0.0 - - -
1801.22/1801.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.22/1801.25 c cut pool : 0.00 4 - - 167 - (maximal pool size: 458)
1801.22/1801.25 c redcost : 133.19 135467 0 0 0 0
1801.22/1801.25 c impliedbounds : 0.00 5 0 0 0 0
1801.22/1801.25 c intobj : 0.00 0 0 0 0 0
1801.22/1801.25 c cgmip : 0.00 0 0 0 0 0
1801.22/1801.25 c gomory : 0.04 5 0 0 89 0
1801.22/1801.25 c strongcg : 0.00 5 0 0 0 0
1801.22/1801.25 c cmir : 0.19 5 0 0 173 0
1801.22/1801.25 c flowcover : 0.63 5 0 0 345 0
1801.22/1801.25 c clique : 0.01 1 0 0 0 0
1801.22/1801.25 c zerohalf : 0.00 0 0 0 0 0
1801.22/1801.25 c mcf : 0.00 1 0 0 0 0
1801.22/1801.25 c rapidlearning : 0.00 0 0 0 0 0
1801.22/1801.25 c Pricers : Time Calls Vars
1801.22/1801.25 c problem variables: 0.00 0 0
1801.22/1801.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.22/1801.25 c relpscost : 212.51 127198 0 0 0 0 254396
1801.22/1801.25 c pscost : 0.00 0 0 0 0 0 0
1801.22/1801.25 c inference : 7.06 3053 0 0 0 0 6106
1801.22/1801.25 c mostinf : 0.00 0 0 0 0 0 0
1801.22/1801.25 c leastinf : 0.00 0 0 0 0 0 0
1801.22/1801.25 c fullstrong : 0.00 0 0 0 0 0 0
1801.22/1801.25 c allfullstrong : 0.00 0 0 0 0 0 0
1801.22/1801.25 c random : 0.00 0 0 0 0 0 0
1801.22/1801.25 c Primal Heuristics : Time Calls Found
1801.22/1801.25 c LP solutions : 0.00 - 0
1801.22/1801.25 c pseudo solutions : 0.00 - 0
1801.22/1801.25 c feaspump : 0.00 0 0
1801.22/1801.25 c oneopt : 0.22 1 0
1801.22/1801.25 c crossover : 1.08 9 0
1801.22/1801.25 c intshifting : 1.87 50 0
1801.22/1801.25 c guideddiving : 47.83 337 0
1801.22/1801.25 c coefdiving : 51.19 338 0
1801.22/1801.25 c pscostdiving : 48.28 338 0
1801.22/1801.25 c fracdiving : 48.57 338 0
1801.22/1801.25 c veclendiving : 42.27 338 0
1801.22/1801.25 c linesearchdiving : 44.18 338 0
1801.22/1801.25 c objpscostdiving : 17.16 223 0
1801.22/1801.25 c rootsoldiving : 4.85 223 0
1801.22/1801.25 c trivial : 0.96 2 2
1801.22/1801.25 c simplerounding : 0.22 111145 0
1801.22/1801.25 c zirounding : 0.59 1000 0
1801.22/1801.25 c rounding : 0.75 4656 0
1801.22/1801.25 c shifting : 14.95 1574 0
1801.22/1801.25 c twoopt : 0.00 0 0
1801.22/1801.25 c fixandinfer : 0.00 0 0
1801.22/1801.25 c intdiving : 0.00 0 0
1801.22/1801.25 c actconsdiving : 0.00 0 0
1801.22/1801.25 c octane : 0.00 0 0
1801.22/1801.25 c rens : 0.13 1 0
1801.22/1801.25 c rins : 0.00 0 0
1801.22/1801.25 c localbranching : 0.00 0 0
1801.22/1801.25 c mutation : 0.00 0 0
1801.22/1801.25 c dins : 0.00 0 0
1801.22/1801.25 c undercover : 0.00 0 0
1801.22/1801.25 c nlp : 0.01 0 0
1801.22/1801.25 c trysol : 1.10 3355 100
1801.22/1801.25 c LP : Time Calls Iterations Iter/call Iter/sec
1801.22/1801.25 c primal LP : 0.00 0 0 0.00 -
1801.22/1801.25 c dual LP : 458.97 117133 1107039 9.45 2412.01
1801.22/1801.25 c lex dual LP : 0.00 0 0 0.00 -
1801.22/1801.25 c barrier LP : 0.00 0 0 0.00 -
1801.22/1801.25 c diving/probing LP: 116.24 35237 90961 2.58 782.53
1801.22/1801.25 c strong branching : 207.72 32611 170731 5.24 821.93
1801.22/1801.25 c (at root node) : - 33 660 20.00 -
1801.22/1801.25 c conflict analysis: 0.00 0 0 0.00 -
1801.22/1801.25 c B&B Tree :
1801.22/1801.25 c number of runs : 1
1801.22/1801.25 c nodes : 130251
1801.22/1801.25 c nodes (total) : 130251
1801.22/1801.25 c nodes left : 130252
1801.22/1801.25 c max depth : 285
1801.22/1801.25 c max depth (total): 285
1801.22/1801.25 c backtracks : 1691 (1.3%)
1801.22/1801.25 c delayed cutoffs : 0
1801.22/1801.25 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.22/1801.25 c avg switch length: 2.13
1801.22/1801.25 c switching time : 31.63
1801.22/1801.25 c Solution :
1801.22/1801.25 c Solutions found : 102 (2 improvements)
1801.22/1801.25 c First Solution : +4.54954000000000e+05 (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1801.22/1801.25 c Primal Bound : +4.54928000000000e+05 (in run 1, after 1 nodes, 1.33 seconds, depth 0, found by <trysol>)
1801.22/1801.25 c Dual Bound : +0.00000000000000e+00
1801.22/1801.25 c Gap : infinite
1801.22/1801.25 c Root Dual Bound : +0.00000000000000e+00
1801.22/1801.25 c Root Iterations : 1516
1801.51/1801.53 c Time complete: 1801.55.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692486-1277931587/watcher-2692486-1277931587 -o /tmp/evaluation-result-2692486-1277931587/solver-2692486-1277931587 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692486-1277931587.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.65 2.77 2.58 3/196 7115
/proc/meminfo: memFree=31602916/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=9408 CPUtime=0
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 1649 0 0 0 0 0 0 0 25 0 1 0 134587030 9633792 1568 4089446400 4194304 8223781 140736845928480 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7115/statm: 2352 1568 369 984 0 1365 0
[startup+0.054117 s]
/proc/loadavg: 2.65 2.77 2.58 3/196 7115
/proc/meminfo: memFree=31602916/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=23548 CPUtime=0.04
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 5202 0 0 0 4 0 0 0 25 0 1 0 134587030 24113152 5121 4089446400 4194304 8223781 140736845928480 18446744073709551615 6207442 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7115/statm: 5887 5121 369 984 0 4900 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23548
[startup+0.101102 s]
/proc/loadavg: 2.65 2.77 2.58 3/196 7115
/proc/meminfo: memFree=31602916/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=37904 CPUtime=0.1
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 8812 0 0 0 9 1 0 0 25 0 1 0 134587030 38813696 8717 4089446400 4194304 8223781 140736845928480 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7115/statm: 9476 8717 369 984 0 8489 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 37904
[startup+0.30106 s]
/proc/loadavg: 2.65 2.77 2.58 3/196 7115
/proc/meminfo: memFree=31602916/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=83956 CPUtime=0.29
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 19931 0 0 0 27 2 0 0 25 0 1 0 134587030 85970944 19451 4089446400 4194304 8223781 140736845928480 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7115/statm: 20989 19451 437 984 0 20002 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83956
[startup+0.700975 s]
/proc/loadavg: 2.65 2.77 2.58 3/196 7115
/proc/meminfo: memFree=31602916/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=83956 CPUtime=0.69
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 19931 0 0 0 67 2 0 0 25 0 1 0 134587030 85970944 19451 4089446400 4194304 8223781 140736845928480 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7115/statm: 20989 19451 437 984 0 20002 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83956
[startup+1.50088 s]
/proc/loadavg: 2.65 2.77 2.58 3/197 7116
/proc/meminfo: memFree=31526896/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=104208 CPUtime=1.49
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 25995 0 0 0 145 4 0 0 25 0 1 0 134587030 106708992 23884 4089446400 4194304 8223781 140736845928480 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7115/statm: 26052 23884 580 984 0 25065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104208
[startup+3.10059 s]
/proc/loadavg: 2.65 2.77 2.58 3/197 7116
/proc/meminfo: memFree=31507428/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=109152 CPUtime=3.09
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 45224 0 0 0 301 8 0 0 25 0 1 0 134587030 111771648 25200 4089446400 4194304 8223781 140736845928480 18446744073709551615 6448670 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7115/statm: 27288 25200 596 984 0 26301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109152
[startup+6.30099 s]
/proc/loadavg: 2.60 2.76 2.58 3/197 7116
/proc/meminfo: memFree=31504080/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=109184 CPUtime=6.28
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 125147 0 0 0 610 18 0 0 25 0 1 0 134587030 111804416 25218 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7115/statm: 27296 25218 593 984 0 26309 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 109184
[startup+12.7008 s]
/proc/loadavg: 2.55 2.75 2.58 3/197 7116
/proc/meminfo: memFree=31503728/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=110840 CPUtime=12.69
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 280397 0 0 0 1233 36 0 0 25 0 1 0 134587030 113500160 25683 4089446400 4194304 8223781 140736845928480 18446744073709551615 6520480 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7115/statm: 27710 25683 594 984 0 26723 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110840
[startup+25.5004 s]
/proc/loadavg: 2.43 2.71 2.57 3/197 7116
/proc/meminfo: memFree=31497828/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=117396 CPUtime=25.49
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 600019 0 0 0 2475 74 0 0 25 0 1 0 134587030 120213504 27307 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7115/statm: 29349 27307 596 984 0 28362 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 117396
[startup+51.1006 s]
/proc/loadavg: 2.28 2.65 2.55 3/197 7117
/proc/meminfo: memFree=31475912/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=138620 CPUtime=51.09
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 1140612 0 0 0 4977 132 0 0 25 0 1 0 134587030 141946880 32603 4089446400 4194304 8223781 140736845928480 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7115/statm: 34655 32603 599 984 0 33668 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 138620
[startup+102.306 s]
/proc/loadavg: 2.17 2.56 2.53 3/197 7127
/proc/meminfo: memFree=31456684/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=157244 CPUtime=102.29
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 1898718 0 0 0 10006 223 0 0 25 0 1 0 134587030 161017856 37266 4089446400 4194304 8223781 140736845928480 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7115/statm: 39311 37266 599 984 0 38324 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 157244
[startup+162.301 s]
/proc/loadavg: 2.06 2.46 2.49 3/197 7129
/proc/meminfo: memFree=31425008/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=188268 CPUtime=162.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 2664594 0 0 0 15910 317 0 0 25 0 1 0 134587030 192786432 45055 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7115/statm: 47067 45055 599 984 0 46080 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 188268
[startup+222.301 s]
/proc/loadavg: 1.93 2.34 2.45 3/179 7353
/proc/meminfo: memFree=31473908/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=220640 CPUtime=222.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 3277903 0 0 0 21788 439 0 0 25 0 1 0 134587030 225935360 53156 4089446400 4194304 8223781 140736845928480 18446744073709551615 6505963 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 55160 53156 599 984 0 54173 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 220640
[startup+282.301 s]
/proc/loadavg: 1.97 2.28 2.42 3/179 7382
/proc/meminfo: memFree=31473444/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=251288 CPUtime=282.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 3851538 0 0 0 27668 559 0 0 25 0 1 0 134587030 257318912 60839 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 62822 60839 599 984 0 61835 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 251288
[startup+342.301 s]
/proc/loadavg: 2.03 2.24 2.39 3/179 7541
/proc/meminfo: memFree=31370904/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=277844 CPUtime=342.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 4403948 0 0 0 33554 673 0 0 25 0 1 0 134587030 284512256 67503 4089446400 4194304 8223781 140736845928480 18446744073709551615 5893827 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 69461 67503 599 984 0 68474 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 277844
[startup+402.3 s]
/proc/loadavg: 2.01 2.19 2.36 3/179 7542
/proc/meminfo: memFree=31270680/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=306684 CPUtime=402.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 4973905 0 0 0 39439 788 0 0 25 0 1 0 134587030 314044416 74739 4089446400 4194304 8223781 140736845928480 18446744073709551615 6328693 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 76671 74739 599 984 0 75684 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 306684
[startup+462.301 s]
/proc/loadavg: 2.00 2.16 2.34 3/179 7544
/proc/meminfo: memFree=31106680/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=332960 CPUtime=462.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 5563033 0 0 0 45319 908 0 0 25 0 1 0 134587030 340951040 81312 4089446400 4194304 8223781 140736845928480 18446744073709551615 6162525 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 83240 81312 599 984 0 82253 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 332960
[startup+522.301 s]
/proc/loadavg: 2.00 2.12 2.32 3/179 7545
/proc/meminfo: memFree=30945316/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=360088 CPUtime=522.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 6241291 0 0 0 51192 1035 0 0 25 0 1 0 134587030 368730112 88123 4089446400 4194304 8223781 140736845928480 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 90022 88123 599 984 0 89035 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 360088
[startup+582.301 s]
/proc/loadavg: 2.00 2.10 2.29 3/179 7547
/proc/meminfo: memFree=30790008/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=393476 CPUtime=582.28
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 6915533 0 0 0 57064 1164 0 0 25 0 1 0 134587030 402919424 96400 4089446400 4194304 8223781 140736845928480 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 98369 96400 599 984 0 97382 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 393476
[startup+642.301 s]
/proc/loadavg: 2.00 2.08 2.27 3/179 7552
/proc/meminfo: memFree=30653448/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=422644 CPUtime=642.28
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 7614926 0 0 0 62930 1298 0 0 25 0 1 0 134587030 432787456 103693 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 105661 103693 599 984 0 104674 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 422644
[startup+702.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/179 7563
/proc/meminfo: memFree=29581712/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=612032 CPUtime=1062.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 12369548 0 0 0 104037 2193 0 0 25 0 1 0 134587030 626720768 150678 4089446400 4194304 8223781 140736845928480 18446744073709551615 6003380 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 153008 150678 599 984 0 152021 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 612032
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 7564
/proc/meminfo: memFree=29420204/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=645184 CPUtime=1122.29
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 13029056 0 0 0 109907 2322 0 0 25 0 1 0 134587030 660668416 158955 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 161296 158955 599 984 0 160309 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 645184
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 7566
/proc/meminfo: memFree=29252640/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=673328 CPUtime=1182.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 13671704 0 0 0 115788 2442 0 0 25 0 1 0 134587030 689487872 166017 4089446400 4194304 8223781 140736845928480 18446744073709551615 6505971 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 168332 166017 599 984 0 167345 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 673328
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 7568
/proc/meminfo: memFree=29097832/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=702332 CPUtime=1242.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 14397236 0 0 0 121657 2573 0 0 25 0 1 0 134587030 719187968 173300 4089446400 4194304 8223781 140736845928480 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 175583 173300 599 984 0 174596 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 702332
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.12 3/179 7569
/proc/meminfo: memFree=28936096/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=729056 CPUtime=1302.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 15034490 0 0 0 127537 2693 0 0 25 0 1 0 134587030 746553344 179967 4089446400 4194304 8223781 140736845928480 18446744073709551615 7236399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 182264 179972 599 984 0 181277 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 729056
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.10 3/179 7571
/proc/meminfo: memFree=28769368/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=758684 CPUtime=1362.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 15698934 0 0 0 133409 2821 0 0 25 0 1 0 134587030 776892416 187413 4089446400 4194304 8223781 140736845928480 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 189671 187427 599 984 0 188684 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 758684
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 7572
/proc/meminfo: memFree=28611460/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=781508 CPUtime=1422.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 16318671 0 0 0 139292 2939 0 0 25 0 1 0 134587030 800264192 193153 4089446400 4194304 8223781 140736845928480 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 195377 193153 599 984 0 194390 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 781508
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 7574
/proc/meminfo: memFree=28462724/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=798948 CPUtime=1482.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 17497782 0 0 0 145130 3101 0 0 25 0 1 0 134587030 818122752 197464 4089446400 4194304 8223781 140736845928480 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 199737 197464 599 984 0 198750 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 798948
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.09 3/179 7576
/proc/meminfo: memFree=28303948/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=819584 CPUtime=1542.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 18365155 0 0 0 150992 3238 0 0 25 0 1 0 134587030 839254016 202660 4089446400 4194304 8223781 140736845928480 18446744073709551615 6456014 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 204896 202660 599 984 0 203909 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 819584
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.08 3/179 7577
/proc/meminfo: memFree=28152000/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=841140 CPUtime=1602.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 19135717 0 0 0 156869 3362 0 0 25 0 1 0 134587030 861327360 208028 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 210327 208035 599 984 0 209340 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 841140
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.07 3/179 7579
/proc/meminfo: memFree=27987636/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=866424 CPUtime=1662.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 19841684 0 0 0 162752 3479 0 0 25 0 1 0 134587030 887218176 214385 4089446400 4194304 8223781 140736845928480 18446744073709551615 6439880 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 216606 214385 599 984 0 215619 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 866424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 7580
/proc/meminfo: memFree=27837664/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=890612 CPUtime=1722.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 20552206 0 0 0 168631 3600 0 0 25 0 1 0 134587030 911986688 220414 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 222653 220414 599 984 0 221666 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 890612
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 7582
/proc/meminfo: memFree=27871348/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=918948 CPUtime=1782.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21127080 0 0 0 174522 3709 0 0 25 0 1 0 134587030 941002752 227517 4089446400 4194304 8223781 140736845928480 18446744073709551615 5813304 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 229737 227517 599 984 0 228750 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 918948
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 7583
/proc/meminfo: memFree=27862656/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=925968 CPUtime=1800.02
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21285251 0 0 0 176263 3739 0 0 25 0 1 0 134587030 948191232 229278 4089446400 4194304 8223781 140736845928480 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 231492 229278 599 984 0 230505 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 925968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.06 3/180 7584
/proc/meminfo: memFree=27862400/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=925968 CPUtime=1800.62
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21285251 0 0 0 176323 3739 0 0 25 0 1 0 134587030 948191232 229278 4089446400 4194304 8223781 140736845928480 18446744073709551615 7256940 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7115/statm: 231492 229278 599 984 0 230505 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 925968
[startup+1801 s]
/proc/loadavg: 2.00 2.00 2.06 3/180 7584
/proc/meminfo: memFree=27862400/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=925968 CPUtime=1801.02
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21285251 0 0 0 176363 3739 0 0 25 0 1 0 134587030 948191232 229278 4089446400 4194304 8223781 140736845928480 18446744073709551615 7257248 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7115/statm: 231492 229278 599 984 0 230505 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 925968
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.06 3/180 7584
/proc/meminfo: memFree=27862400/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=432228 CPUtime=1801.41
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21285253 0 0 0 176400 3741 0 0 18 0 1 0 134587030 442601472 105886 4089446400 4194304 8223781 140736845928480 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7115/statm: 108057 105886 601 984 0 107070 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 432228
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.06 3/180 7584
/proc/meminfo: memFree=27862400/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=156004 CPUtime=1801.51
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21285253 0 0 0 176409 3742 0 0 18 0 1 0 134587030 159748096 36833 4089446400 4194304 8223781 140736845928480 18446744073709551615 6207138 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7115/statm: 39001 36833 601 984 0 38014 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 156004
Child status: 0
Real time (s): 1801.54
CPU time (s): 1801.56
CPU user time (s): 1764.13
CPU system time (s): 37.4363
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 926136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.13
system time used= 37.4363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21285257
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= 2
involuntary context switches= 1360
runsolver used 2.6146 second user time and 5.59015 second system time
The end
Begin job on node111 at 2010-06-30 22:59:47
IDJOB=2692486
IDBENCH=79318
IDSOLVER=1204
FILE ID=node111/2692486-1277931587
PBS_JOBID= 11197400
Free space on /tmp= 74212 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692486-1277931587/watcher-2692486-1277931587 -o /tmp/evaluation-result-2692486-1277931587/solver-2692486-1277931587 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692486-1277931587.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 796705696da137fb7128d801ba46f418
RANDOM SEED=1708935582
node111.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.850
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.70
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.850
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.82
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.850
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.850
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.85
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.850
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.74
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.850
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.82
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.850
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.74
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.850
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31603320 kB
Buffers: 216468 kB
Cached: 795488 kB
SwapCached: 0 kB
Active: 601136 kB
Inactive: 603452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31603320 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 5136 kB
Writeback: 0 kB
AnonPages: 192428 kB
Mapped: 20344 kB
Slab: 78812 kB
PageTables: 5088 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1650900 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= 74204 MiB
End job on node111 at 2010-06-30 23:29:49