0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705300-1278578354.wbo>
0.09/0.10 c original problem has 21027 variables (12341 bin, 0 int, 8686 impl, 0 cont) and 17373 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.89/0.90 o 442261
0.89/0.90 c feasible solution found by trivial heuristic, objective value 4.422610e+05
0.89/0.90 c presolving:
0.89/0.92 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.94 c (round 2) 0 del vars, 1 del conss, 8686 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.09/1.10 c (1.0s) probing: 101/12341 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.10 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.09/1.10 c presolving (3 rounds):
1.09/1.10 c 0 deleted vars, 1 deleted constraints, 8686 tightened bounds, 0 added holes, 352 changed sides, 704 changed coefficients
1.09/1.10 c 16668 implications, 0 cliques
1.09/1.10 c presolved problem has 21027 variables (12341 bin, 0 int, 8686 impl, 0 cont) and 17372 constraints
1.09/1.10 c 1 constraints of type <varbound>
1.09/1.10 c 8685 constraints of type <linear>
1.09/1.10 c 8686 constraints of type <indicator>
1.09/1.10 c transformed objective value is always integral (scale: 1)
1.09/1.10 c Presolving Time: 0.95
1.09/1.10 c - non default parameters ----------------------------------------------------------------------
1.09/1.10 c # SCIP version 1.2.1.3
1.09/1.10 c
1.09/1.10 c # frequency for displaying node information lines
1.09/1.10 c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.10 c display/freq = 10000
1.09/1.10 c
1.09/1.10 c # maximal time in seconds to run
1.09/1.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.10 c limits/time = 1789.9
1.09/1.10 c
1.09/1.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.10 c limits/memory = 3420
1.09/1.10 c
1.09/1.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.09/1.10 c # [type: int, range: [1,2], default: 1]
1.09/1.10 c timing/clocktype = 2
1.09/1.10 c
1.09/1.10 c # should presolving try to simplify inequalities
1.09/1.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.10 c constraints/linear/simplifyinequalities = TRUE
1.09/1.10 c
1.09/1.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.09/1.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.10 c constraints/indicator/addCouplingCons = TRUE
1.09/1.10 c
1.09/1.10 c # should presolving try to simplify knapsacks
1.09/1.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.10 c constraints/knapsack/simplifyinequalities = TRUE
1.09/1.10 c
1.09/1.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.09/1.10 c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.10 c separating/rapidlearning/freq = 0
1.09/1.10 c
1.09/1.10 c -----------------------------------------------------------------------------------------------
1.09/1.10 c start solving
1.09/1.11 c
1.09/1.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.09/1.15 c t 1.1s| 1 | 0 | 0 | - | 67M| 0 | 0 | 21k| 17k| 21k| 0 | 0 | 0 | 0 | 0.000000e+00 | 4.422610e+05 | Inf
1.09/1.16 c 1.1s| 1 | 0 | 201 | - | 67M| 0 | 8 | 21k| 17k| 21k| 201 | 201 | 0 | 0 | 0.000000e+00 | 4.422610e+05 | Inf
1.19/1.21 c 1.1s| 1 | 0 | 344 | - | 68M| 0 | 3 | 21k| 17k| 21k| 409 | 409 | 0 | 0 | 0.000000e+00 | 4.422610e+05 | Inf
1.19/1.28 c 1.2s| 1 | 0 | 543 | - | 68M| 0 | 128 | 21k| 17k| 21k| 613 | 613 | 0 | 0 | 0.000000e+00 | 4.422610e+05 | Inf
1.39/1.46 c 1.4s| 1 | 0 | 777 | - | 68M| 0 | 228 | 21k| 17k| 21k| 830 | 830 | 0 | 0 | 0.000000e+00 | 4.422610e+05 | Inf
1.59/1.67 c 1.6s| 1 | 0 | 977 | - | 68M| 0 | 217 | 21k| 17k| 21k|1062 |1062 | 0 | 0 | 0.000000e+00 | 4.422610e+05 | Inf
1.99/2.10 c 2.0s| 1 | 0 | 1304 | - | 69M| 0 | 539 | 21k| 17k| 21k|1377 |1377 | 0 | 0 | 0.000000e+00 | 4.422610e+05 | Inf
2.39/2.42 c 2.3s| 1 | 0 | 1568 | - | 69M| 0 | 577 | 21k| 17k| 21k|1541 |1541 | 0 | 0 | 0.000000e+00 | 4.422610e+05 | Inf
2.69/2.76 c 2.7s| 1 | 2 | 1568 | - | 69M| 0 | 577 | 21k| 17k| 21k|1541 |1541 | 0 | 33 | 0.000000e+00 | 4.422610e+05 | Inf
290.14/290.30 c 290s| 10000 | 10001 |209071 | 20.8 | 129M| 179 | 227 | 21k| 17k| 21k|1482 |1541 | 0 |5287 | 0.000000e+00 | 4.422610e+05 | Inf
455.84/456.09 c 456s| 20000 | 20001 |308024 | 15.3 | 189M| 187 | 284 | 21k| 17k| 21k|1482 |1541 | 0 |6301 | 0.000000e+00 | 4.422610e+05 | Inf
608.54/608.70 c 609s| 30000 | 30001 |395819 | 13.1 | 249M| 223 | 186 | 21k| 17k| 21k|1482 |1541 | 0 |7462 | 0.000000e+00 | 4.422610e+05 | Inf
705.85/706.09 o 442173
705.85/706.09 c y 706s| 38616 | 38615 |427661 | 11.0 | 301M| 437 | - | 21k| 17k| 0 | 0 |2787 | 0 |8491 | 0.000000e+00 | 4.421730e+05 | Inf
722.25/722.46 c 722s| 40000 | 40001 |432949 | 10.8 | 310M| 455 | 76 | 21k| 17k| 21k|1482 |3943 | 0 |8795 | 0.000000e+00 | 4.421730e+05 | Inf
864.64/864.82 c 865s| 50000 | 50001 |453800 | 9.0 | 380M| 733 | 0 | 21k| 17k| 21k|1678 | 10k| 0 |9178 | 0.000000e+00 | 4.421730e+05 | Inf
1032.85/1033.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.85/1033.03 c 1033s| 60000 | 60001 |466968 | 7.8 | 447M| 733 | 0 | 21k| 17k| 21k|1655 | 14k| 0 |9297 | 0.000000e+00 | 4.421730e+05 | Inf
1203.85/1204.07 c 1204s| 70000 | 70001 |480161 | 6.8 | 515M| 733 | 0 | 21k| 17k| 21k|1663 | 19k| 0 |9356 | 0.000000e+00 | 4.421730e+05 | Inf
1376.85/1377.08 c 1377s| 80000 | 80001 |493518 | 6.1 | 580M| 733 | 13 | 21k| 17k| 21k|1566 | 24k| 0 |9390 | 0.000000e+00 | 4.421730e+05 | Inf
1555.05/1555.29 c 1555s| 90000 | 90001 |504288 | 5.6 | 641M| 735 | 0 | 21k| 17k| 21k|1652 | 29k| 0 |9423 | 0.000000e+00 | 4.421730e+05 | Inf
1735.76/1735.98 c 1736s|100000 |100001 |514688 | 5.1 | 702M| 735 | 0 | 21k| 17k| 21k|1654 | 34k| 0 |9438 | 0.000000e+00 | 4.421730e+05 | Inf
1789.86/1790.00 c
1789.86/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.86/1790.00 c Solving Time (sec) : 1789.90
1789.86/1790.00 c Solving Nodes : 103426
1789.86/1790.00 c Primal Bound : +4.42173000000000e+05 (103 solutions)
1789.86/1790.00 c Dual Bound : +0.00000000000000e+00
1789.86/1790.00 c Gap : infinite
1790.76/1790.98 s SATISFIABLE
1790.76/1790.98 v -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637
1790.76/1790.98 v x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 x3626 x3625 x3624 -x3623 -x3622 x3621 -x3620 -x3619
1790.76/1790.98 v -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 x3612 x3611 x3610 -x3609 -x3608 x3607 x3606 x3605 x3604 x3603 x3602 -x3601 x3600
1790.76/1790.98 v -x3599 x3598 x3597 x3596 x3595 x3594 x3593 -x3592 x3591 x3590 x3589 x3588 -x3587 x3586 x3585 -x3584 x3583 x3582 x3581 x3580 x3579
1790.76/1790.98 v -x3578 -x3577 -x3576 x3575 x3574 x3573 x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 x3565 x3564 -x3563 -x3562 -x3561
1790.76/1790.98 v x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 x3553 x3552 -x3551 -x3550 -x3549 -x3548 -x3547 x3546 -x3545 x3544 x3543 -x3542
1790.76/1790.98 v x3541 -x3540 x3539 x3538 x3537 x3536 x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 x3526 x3525 x3524 x3523
1790.76/1790.98 v -x3522 -x3521 -x3520 x3519 -x3518 x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 x3510 x3509 -x3508 -x3507 -x3506 -x3505 x3504
1790.76/1790.98 v -x3503 x3502 x3501 x3500 x3499 x3498 x3497 x3496 x3495 -x3494 -x3493 -x3492 -x3491 -x3490 x3489 x3488 x3487 -x3486 -x3485
1790.76/1790.98 v x3484 x3483 x3482 x3481 -x3480 -x3479 -x3478 -x3477 -x3476 x3475 x3474 -x3473 -x3472 -x3471 -x3470 x3469 -x3468 x3467 -x3466
1790.76/1790.98 v -x3465 x3464 x3463 x3462 x3461 x3460 -x3459 x3458 -x3457 x3456 x3455 x3454 x3453 -x3452 -x3451 x3450 x3449 x3448 x3447 x3446
1790.76/1790.98 v x3445 x3444 x3443 x3442 x3441 x3440 -x3439 x3438 x3437 x3436 x3435 x3434 -x3433 x3432 x3431 x3430 x3429 x3428 x3427 x3426 x3425
1790.76/1790.98 v x3424 x3423 x3422 x3421 x3420 x3419 x3418 -x3417 -x3416 -x3415 x3414 x3413 x3412 x3411 -x3410 -x3409 x3408 x3407 x3406 -x3405
1790.76/1790.98 v x3404 -x3403 x3402 x3401 x3400 x3399 x3398 x3397 -x3396 -x3395 -x3394 x3393 x3392 x3391 -x3390 -x3389 x3388 x3387 x3386 x3385
1790.76/1790.98 v x3384 x3383 -x3382 -x3381 -x3380 x3379 -x3378 x3377 x3376 x3375 x3374 x3373 -x3372 -x3371 x3370 -x3369 -x3368 -x3367 -x3366
1790.76/1790.98 v x3365 x3364 x3363 x3362 x3361 x3360 x3359 -x3358 x3357 x3356 -x3355 -x3354 -x3353 x3352 x3351 x3350 x3349 x3348 -x3347 -x3346
1790.76/1790.98 v -x3345 x3344 x3343 x3342 x3341 -x3340 -x3339 -x3338 -x3337 -x3336 x3335 x3334 x3333 x3332 x3331 x3330 x3329 x3328 x3327
1790.76/1790.98 v -x3326 -x3325 -x3324 -x3323 x3322 x3321 x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 x3313 -x3312 -x3311 -x3310 -x3309 -x3308
1790.76/1790.98 v x3307 x3306 -x3305 -x3304 -x3303 -x3302 -x3301 x3300 x3299 -x3298 -x3297 -x3296 x3295 x3294 x3293 x3292 -x3291 -x3290 x3289
1790.76/1790.98 v x3288 x3287 x3286 -x3285 x3284 x3283 x3282 x3281 x3280 -x3279 x3278 x3277 -x3276 x3275 x3274 -x3273 x3272 x3271 x3270 -x3269
1790.76/1790.98 v -x3268 -x3267 -x3266 x3265 x3264 -x3263 -x3262 -x3261 -x3260 -x3259 x3258 x3257 -x3256 x3255 x3254 x3253 x3252 x3251 x3250
1790.76/1790.98 v x3249 x3248 x3247 x3246 x3245 -x3244 x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231
1790.76/1790.98 v -x3230 -x3229 x3228 x3227 x3226 x3225 x3224 x3223 x3222 x3221 -x3220 -x3219 -x3218 x3217 x3216 -x3215 x3214 -x3213 x3212 x3211
1790.76/1790.98 v x3210 x3209 x3208 x3207 -x3206 -x3205 -x3204 -x3203 x3202 x3201 -x3200 -x3199 -x3198 x3197 -x3196 x3195 x3194 -x3193 -x3192
1790.76/1790.98 v -x3191 -x3190 -x3189 x3188 x3187 -x3186 x3185 -x3184 x3183 -x3182 -x3181 x3180 -x3179 -x3178 -x3177 -x3176 x3175 -x3174 x3173
1790.76/1790.98 v x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 x3159 -x3158 -x3157 -x3156 -x3155
1790.76/1790.98 v -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137
1790.76/1790.98 v -x3136 x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 x3128 -x3127 -x3126 -x3125 -x3124 -x3123 x3122 -x3121 -x3120 -x3119
1790.76/1790.98 v -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 x3104 -x3103 -x3102 -x3101
1790.76/1790.98 v x3100 x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 x3085 -x3084 -x3083
1790.76/1790.98 v -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 x3067 -x3066 -x3065
1790.76/1790.98 v -x3064 -x3063 x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 x3051 -x3050 -x3049 -x3048 -x3047
1790.76/1790.98 v -x3046 -x3045 -x3044 x3043 -x3042 -x3041 -x3040 -x3039 x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028
1790.76/1790.98 v x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010
1790.76/1790.98 v -x3009 -x3008 x3007 x3006 -x3005 -x3004 -x3003 x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 x2992
1790.76/1790.98 v -x2991 x2990 -x2989 -x2988 -x2987 -x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974
1790.76/1790.98 v -x2973 -x2972 x2971 -x2970 -x2969 -x2968 -x2967 -x2966 x2965 -x2964 -x2963 -x2962 -x2961 -x2960 x2959 -x2958 -x2957 -x2956
1790.76/1790.98 v -x2955 -x2954 x2953 -x2952 -x2951 -x2950 -x2949 -x2948 x2947 -x2946 -x2945 -x2944 x2943 -x2942 -x2941 -x2940 x2939 -x2938 -x2937
1790.76/1790.98 v x2936 x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 x2925 -x2924 -x2923 -x2922 x2921 -x2920 -x2919
1790.76/1790.98 v -x2918 x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 x2907 -x2906 -x2905 -x2904 -x2903 x2902 -x2901 -x2900
1790.76/1790.98 v -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 x2890 -x2889 -x2888 x2887 -x2886 -x2885 x2884 x2883 -x2882
1790.76/1790.98 v -x2881 -x2880 -x2879 -x2878 -x2877 x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864
1790.76/1790.98 v -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846
1790.76/1790.98 v -x2845 -x2844 x2843 -x2842 x2841 x2840 x2839 -x2838 -x2837 -x2836 -x2835 -x2834 x2833 -x2832 -x2831 -x2830 -x2829 x2828 -x2827
1790.76/1790.98 v -x2826 -x2825 x2824 -x2823 x2822 -x2821 -x2820 -x2819 -x2818 -x2817 x2816 -x2815 -x2814 -x2813 -x2812 -x2811 x2810 -x2809
1790.76/1790.98 v -x2808 -x2807 x2806 -x2805 x2804 -x2803 -x2802 x2801 -x2800 x2799 -x2798 -x2797 x2796 -x2795 x2794 -x2793 -x2792 x2791 -x2790
1790.76/1790.98 v x2789 -x2788 -x2787 x2786 -x2785 x2784 -x2783 -x2782 x2781 -x2780 x2779 -x2778 -x2777 -x2776 -x2775 x2774 -x2773 -x2772 -x2771
1790.76/1790.98 v -x2770 x2769 -x2768 -x2767 -x2766 -x2765 x2764 -x2763 -x2762 -x2761 -x2760 -x2759 x2758 -x2757 -x2756 -x2755 -x2754 x2753
1790.76/1790.98 v -x2752 x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 x2744 -x2743 -x2742 -x2741 -x2740 x2739 -x2738 -x2737 -x2736 -x2735
1790.76/1790.98 v -x2734 -x2733 -x2732 x2731 -x2730 -x2729 -x2728 -x2727 x2726 -x2725 -x2724 -x2723 -x2722 -x2721 x2720 -x2719 -x2718 -x2717 -x2716
1790.76/1790.98 v x2715 -x2714 -x2713 -x2712 x2711 x2710 -x2709 x2708 -x2707 -x2706 -x2705 -x2704 -x2703 x2702 -x2701 x2700 -x2699 -x2698
1790.76/1790.98 v x2697 -x2696 x2695 -x2694 -x2693 -x2692 -x2691 x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679
1790.76/1790.98 v -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661
1790.76/1790.98 v -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644
1790.76/1790.98 v -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626
1790.76/1790.98 v -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608
1790.76/1790.98 v -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590
1790.76/1790.98 v -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572
1790.76/1790.98 v -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554
1790.76/1790.98 v -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536
1790.76/1790.98 v -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519
1790.76/1790.98 v -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 x2509 -x2508 -x2507 -x2506 x2505 x2504 x2503 -x2502 -x2501 -x2500
1790.76/1790.98 v -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482
1790.76/1790.98 v -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 x2466 -x2465 -x2464
1790.76/1790.98 v -x2463 -x2462 x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446
1790.76/1790.98 v -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428
1790.76/1790.98 v -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410
1790.76/1790.98 v -x2409 x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392
1790.76/1790.98 v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375
1790.76/1790.98 v -x2374 -x2373 -x2372 x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357
1790.76/1790.98 v -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339
1790.76/1790.98 v -x2338 -x2337 -x2336 -x2335 x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321
1790.76/1790.98 v -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303
1790.76/1790.98 v -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 x2285
1790.76/1790.98 v -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 x2278 -x2277 -x2276 -x2275 -x2274 -x2273 x2272 -x2271 -x2270 -x2269 -x2268 -x2267
1790.76/1790.98 v -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249
1790.76/1790.98 v -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238 -x2237 x2236 -x2235 -x2234 -x2233 -x2232 -x2231
1790.76/1790.98 v -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213
1790.76/1790.98 v -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 x2197 -x2196 -x2195
1790.76/1790.98 v -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177
1790.76/1790.98 v -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159
1790.76/1790.98 v -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141
1790.76/1790.98 v -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 x2125 -x2124 -x2123
1790.76/1790.98 v -x2122 -x2121 -x2120 -x2119 x2118 x2117 x2116 -x2115 -x2114 -x2113 x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105
1790.76/1790.98 v -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087
1790.76/1790.98 v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069
1790.76/1790.98 v -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 x2054 -x2053 -x2052 -x2051
1790.76/1790.98 v -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033
1790.76/1790.98 v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 x2016 -x2015
1790.76/1790.98 v -x2014 -x2013 x2012 x2011 x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 x1998 x1997
1790.76/1790.98 v -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 x1983 x1982 -x1981 -x1980 -x1979 -x1978
1790.76/1790.98 v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 x1961 -x1960
1790.76/1790.98 v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943
1790.76/1790.98 v -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925
1790.76/1790.98 v x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 x1911 -x1910 -x1909 -x1908 -x1907
1790.76/1790.98 v -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889
1790.76/1790.98 v -x1888 -x1887 x1886 x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872 -x1871 -x1870
1790.76/1790.98 v -x1869 -x1868 x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852
1790.76/1790.98 v -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 x1844 -x1843 -x1842 -x1841 -x1840 -x1839 x1838 x1837 -x1836 -x1835 -x1834
1790.76/1790.98 v -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 x1818 -x1817 -x1816
1790.76/1790.98 v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 -x1799 -x1798
1790.76/1790.98 v x1797 x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780
1790.76/1790.98 v -x1779 -x1778 -x1777 -x1776 -x1775 x1774 -x1773 -x1772 -x1771 -x1770 -x1769 x1768 x1767 -x1766 -x1765 -x1764 -x1763 -x1762
1790.76/1790.98 v -x1761 x1760 x1759 x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 x1746 -x1745 -x1744 x1743
1790.76/1790.98 v -x1742 -x1741 -x1740 -x1739 x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725
1790.76/1790.98 v -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 x1714 -x1713 x1712 x1711 -x1710 -x1709 x1708 x1707 x1706
1790.76/1790.98 v -x1705 -x1704 -x1703 -x1702 x1701 x1700 x1699 x1698 x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688
1790.76/1790.98 v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670
1790.76/1790.98 v -x1669 -x1668 -x1667 x1666 -x1665 x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 x1653 -x1652 -x1651
1790.76/1790.98 v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634 -x1633
1790.76/1790.98 v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615
1790.76/1790.98 v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607 x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597
1790.76/1790.98 v -x1596 -x1595 -x1594 -x1593 -x1592 x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579
1790.76/1790.98 v -x1578 x1577 -x1576 -x1575 x1574 -x1573 -x1572 -x1571 -x1570 x1569 -x1568 -x1567 -x1566 x1565 x1564 -x1563 x1562 -x1561 -x1560
1790.76/1790.98 v -x1559 x1558 -x1557 -x1556 -x1555 x1554 x1553 x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542
1790.76/1790.98 v x1541 -x1540 x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524
1790.76/1790.98 v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 x1506
1790.76/1790.98 v x1505 -x1504 -x1503 -x1502 x1501 x1500 -x1499 x1498 -x1497 -x1496 x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487
1790.76/1790.98 v -x1486 -x1485 -x1484 -x1483 -x1482 x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 x1470 -x1469
1790.76/1790.98 v -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 x1461 -x1460 -x1459 -x1458 x1457 -x1456 -x1455 -x1454 -x1453 x1452 x1451 -x1450
1790.76/1790.98 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 x1443 -x1442 x1441 -x1440 -x1439 x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432
1790.76/1790.98 v x1431 x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 x1423 -x1422 -x1421 -x1420 x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413
1790.76/1790.98 v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 x1406 x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 -x1398 -x1397 x1396 -x1395
1790.76/1790.98 v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 x1382 -x1381 -x1380 -x1379 x1378 x1377
1790.76/1790.98 v -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 x1364 -x1363 -x1362 -x1361 -x1360 -x1359
1790.76/1790.98 v -x1358 x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341
1790.76/1790.98 v -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 x1332 -x1331 -x1330 -x1329 x1328 -x1327 -x1326 -x1325 -x1324 -x1323
1790.76/1790.98 v -x1322 -x1321 x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314 x1313 x1312 x1311 x1310 -x1309 -x1308 x1307 x1306 -x1305 -x1304
1790.76/1790.98 v -x1303 x1302 x1301 -x1300 -x1299 x1298 x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285
1790.76/1790.98 v x1284 x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267
1790.76/1790.98 v -x1266 x1265 -x1264 x1263 x1262 -x1261 -x1260 x1259 x1258 x1257 -x1256 -x1255 -x1254 x1253 x1252 x1251 x1250 -x1249 -x1248
1790.76/1790.98 v -x1247 -x1246 x1245 -x1244 x1243 -x1242 -x1241 -x1240 -x1239 -x1238 x1237 -x1236 -x1235 -x1234 x1233 -x1232 -x1231 -x1230 -x1229
1790.76/1790.98 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211
1790.76/1790.98 v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193
1790.76/1790.98 v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176
1790.76/1790.98 v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158
1790.76/1790.98 v -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140
1790.76/1790.98 v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122
1790.76/1790.98 v -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104
1790.76/1790.98 v -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 x1087 x1086
1790.76/1790.98 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068
1790.76/1790.98 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050
1790.76/1790.98 v -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032
1790.76/1790.98 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
1790.76/1790.98 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996
1790.76/1790.98 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975
1790.76/1790.98 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954
1790.76/1790.98 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 x935 -x934 -x933
1790.76/1790.98 v -x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912
1790.76/1790.98 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891
1790.76/1790.98 v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
1790.76/1790.98 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
1790.76/1790.98 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829
1790.76/1790.98 v -x828 -x827 -x826 -x825 x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 x814 x813 -x812 -x811 -x810 -x809 -x808 -x807
1790.76/1790.98 v -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786
1790.76/1790.98 v -x785 -x784 -x783 -x782 -x781 -x780 x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765
1790.76/1790.98 v -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744
1790.76/1790.98 v -x743 -x742 -x741 x740 -x739 -x738 -x737 x736 x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722
1790.76/1790.98 v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
1790.76/1790.98 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680
1790.76/1790.98 v -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
1790.76/1790.98 v -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638
1790.76/1790.98 v -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617
1790.76/1790.98 v -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596
1790.76/1790.98 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 -x578 -x577 -x576 -x575
1790.76/1790.98 v x574 x573 x572 x571 x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 x560 x559 -x558 -x557 x556 -x555 -x554 -x553
1790.76/1790.98 v -x552 -x551 x550 -x549 x548 x547 x546 x545 x544 -x543 -x542 -x541 -x540 x539 x538 x537 -x536 -x535 -x534 x533 x532 x531 -x530
1790.76/1790.98 v -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 x516 -x515 x514 -x513 -x512 -x511 x510 x509 -x508
1790.76/1790.98 v -x507 x506 -x505 x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 x495 x494 -x493 -x492 x491 x490 x489 x488 -x487 -x486
1790.76/1790.98 v x485 -x484 -x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 x474 x473 x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464
1790.76/1790.98 v -x463 -x462 -x461 -x460 -x459 x458 x457 -x456 -x455 x454 -x453 -x452 x451 -x450 -x449 -x448 x447 x446 -x445 -x444 x443 -x442
1790.76/1790.98 v x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 x429 x428 -x427 x426 x425 x424 -x423 x422 -x421 -x420
1790.76/1790.98 v -x419 x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 x400 x399 -x398
1790.76/1790.98 v -x397 x396 x395 x394 -x393 -x392 x391 x390 x389 x388 -x387 x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 x378 -x377 -x376 x375
1790.76/1790.98 v -x374 -x373 -x372 x371 x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 x357 -x356 -x355 -x354
1790.76/1790.98 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332
1790.76/1790.98 v -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 x313 -x312 x311
1790.76/1790.98 v x310 -x309 -x308 -x307 x306 x305 x304 x303 x302 x301 x300 -x299 x298 -x297 -x296 x295 x294 -x293 -x292 -x291 x290 x289 x288
1790.76/1790.98 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 x270 -x269 -x268 -x267 -x266
1790.76/1790.98 v x265 -x264 -x263 x262 -x261 -x260 x259 x258 x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244
1790.76/1790.98 v -x243 -x242 -x241 -x240 -x239 x238 x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223
1790.76/1790.98 v -x222 x221 -x220 x219 -x218 -x217 x216 x215 x214 -x213 x212 -x211 x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1790.76/1790.98 v x199 -x198 x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 x188 x187 x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178
1790.76/1790.98 v -x177 -x176 x175 -x174 x173 -x172 -x171 -x170 x169 x168 -x167 -x166 -x165 -x164 x163 -x162 x161 -x160 -x159 x158 -x157 -x156
1790.76/1790.98 v x155 -x154 -x153 x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 x137 x136 x135 x134
1790.76/1790.98 v -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113
1790.76/1790.98 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 x97 x96 x95 x94 -x93 -x92 -x91 x90 -x89
1790.76/1790.98 v -x88 x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63
1790.76/1790.98 v -x62 x61 x60 x59 -x58 -x57 -x56 x55 x54 x53 x52 -x51 x50 x49 x48 x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36
1790.76/1790.98 v -x35 -x34 -x33 x32 x31 x30 -x29 -x28 x27 -x26 x25 -x24 -x23 -x22 x21 x20 -x19 -x18 -x17 x16 x15 -x14 -x13 x12 x11 x10 -x9 -x8
1790.76/1790.98 v -x7 -x6 x5 -x4 -x3 -x2 -x1
1790.76/1790.98 c SCIP Status : solving was interrupted [time limit reached]
1790.76/1790.98 c Solving Time : 1789.90
1790.76/1790.98 c Original Problem :
1790.76/1790.98 c Problem name : HOME/instance-2705300-1278578354.wbo
1790.76/1790.98 c Variables : 21027 (12341 binary, 0 integer, 8686 implicit integer, 0 continuous)
1790.76/1790.98 c Constraints : 17373 initial, 17373 maximal
1790.76/1790.98 c Presolved Problem :
1790.76/1790.98 c Problem name : t_HOME/instance-2705300-1278578354.wbo
1790.76/1790.98 c Variables : 21027 (12341 binary, 0 integer, 8686 implicit integer, 0 continuous)
1790.76/1790.98 c Constraints : 17372 initial, 17372 maximal
1790.76/1790.98 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.76/1790.98 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.76/1790.99 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.76/1790.99 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.76/1790.99 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.76/1790.99 c implics : 0.00 0 0 0 0 0 0 0 0
1790.76/1790.99 c probing : 0.14 0 0 0 0 0 0 0 0
1790.76/1790.99 c varbound : 0.00 0 0 0 0 0 0 0 0
1790.76/1790.99 c linear : 0.05 0 0 0 8686 0 1 352 704
1790.76/1790.99 c indicator : 0.01 0 0 0 0 0 0 0 0
1790.76/1790.99 c root node : - 0 - - 0 - - - -
1790.76/1790.99 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.76/1790.99 c integral : 0 0 0 105195 0 0 0 0 0 112410
1790.76/1790.99 c varbound : 1 7 156877 28152 0 0 71 1 0 0
1790.76/1790.99 c linear : 8685 7 189727 48990 0 0 42998 35381 0 0
1790.76/1790.99 c indicator : 8686 0 189727 48990 0 0 34327 0 0 0
1790.76/1790.99 c countsols : 0 0 0 47221 0 0 0 0 0 0
1790.76/1790.99 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.76/1790.99 c integral : 62.80 0.00 0.00 62.80 0.00
1790.76/1790.99 c varbound : 0.19 0.00 0.16 0.03 0.00
1790.76/1790.99 c linear : 233.50 0.01 54.45 179.04 0.00
1790.76/1790.99 c indicator : 182.68 0.01 74.17 108.50 0.00
1790.76/1790.99 c countsols : 0.02 0.00 0.00 0.02 0.00
1790.76/1790.99 c Propagators : Time Calls Cutoffs DomReds
1790.76/1790.99 c vbounds : 3.52 20140 0 0
1790.76/1790.99 c rootredcost : 0.15 1 0 0
1790.76/1790.99 c pseudoobj : 86.11 189527 0 0
1790.76/1790.99 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.76/1790.99 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.76/1790.99 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.76/1790.99 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.76/1790.99 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.76/1790.99 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.76/1790.99 c applied globally : - - - 0 0.0 - - -
1790.76/1790.99 c applied locally : - - - 0 0.0 - - -
1790.76/1790.99 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.76/1790.99 c cut pool : 0.00 5 - - 74 - (maximal pool size: 632)
1790.76/1790.99 c redcost : 139.83 105131 0 0 0 0
1790.76/1790.99 c impliedbounds : 0.00 6 0 0 0 0
1790.76/1790.99 c intobj : 0.00 0 0 0 0 0
1790.76/1790.99 c cgmip : 0.00 0 0 0 0 0
1790.76/1790.99 c gomory : 0.08 6 0 0 749 0
1790.76/1790.99 c strongcg : 0.08 6 0 0 745 0
1790.76/1790.99 c cmir : 0.30 6 0 0 150 0
1790.76/1790.99 c flowcover : 0.63 6 0 0 487 0
1790.76/1790.99 c clique : 0.01 1 0 0 0 0
1790.76/1790.99 c zerohalf : 0.00 0 0 0 0 0
1790.76/1790.99 c mcf : 0.00 2 0 0 0 0
1790.76/1790.99 c rapidlearning : 0.00 0 0 0 0 0
1790.76/1790.99 c Pricers : Time Calls Vars
1790.76/1790.99 c problem variables: 0.00 0 0
1790.76/1790.99 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.76/1790.99 c relpscost : 62.58 56205 0 0 0 0 112410
1790.76/1790.99 c pscost : 0.00 0 0 0 0 0 0
1790.76/1790.99 c inference : 224.31 47221 0 0 0 0 94442
1790.76/1790.99 c mostinf : 0.00 0 0 0 0 0 0
1790.76/1790.99 c leastinf : 0.00 0 0 0 0 0 0
1790.76/1790.99 c fullstrong : 0.00 0 0 0 0 0 0
1790.76/1790.99 c allfullstrong : 0.00 0 0 0 0 0 0
1790.76/1790.99 c random : 0.00 0 0 0 0 0 0
1790.76/1790.99 c Primal Heuristics : Time Calls Found
1790.76/1790.99 c LP solutions : 0.00 - 0
1790.76/1790.99 c pseudo solutions : 0.00 - 0
1790.76/1790.99 c intshifting : 0.00 0 0
1790.76/1790.99 c feaspump : 0.00 0 0
1790.76/1790.99 c oneopt : 0.15 1 0
1790.76/1790.99 c objpscostdiving : 6.26 2 0
1790.76/1790.99 c rootsoldiving : 2.56 7 0
1790.76/1790.99 c crossover : 1.39 7 0
1790.76/1790.99 c veclendiving : 39.49 71 0
1790.76/1790.99 c linesearchdiving : 45.92 94 0
1790.76/1790.99 c pscostdiving : 62.63 160 0
1790.76/1790.99 c guideddiving : 2.86 178 0
1790.76/1790.99 c coefdiving : 62.54 188 0
1790.76/1790.99 c fracdiving : 69.13 188 0
1790.76/1790.99 c trivial : 0.74 2 2
1790.76/1790.99 c simplerounding : 0.36 52715 0
1790.76/1790.99 c zirounding : 0.21 1000 0
1790.76/1790.99 c rounding : 0.74 3212 0
1790.76/1790.99 c shifting : 2.52 1020 0
1790.76/1790.99 c twoopt : 0.00 0 0
1790.76/1790.99 c fixandinfer : 0.00 0 0
1790.76/1790.99 c intdiving : 0.00 0 0
1790.76/1790.99 c actconsdiving : 0.00 0 0
1790.76/1790.99 c octane : 0.00 0 0
1790.76/1790.99 c rens : 0.14 1 0
1790.76/1790.99 c rins : 0.00 0 0
1790.76/1790.99 c localbranching : 0.00 0 0
1790.76/1790.99 c mutation : 0.00 0 0
1790.76/1790.99 c dins : 0.00 0 0
1790.76/1790.99 c undercover : 0.00 0 0
1790.76/1790.99 c nlp : 0.05 0 0
1790.76/1790.99 c trysol : 1.43 179 101
1790.76/1790.99 c LP : Time Calls Iterations Iter/call Iter/sec
1790.76/1790.99 c primal LP : 0.00 0 0 0.00 -
1790.76/1790.99 c dual LP : 303.18 54660 382743 7.00 1262.44
1790.76/1790.99 c lex dual LP : 0.00 0 0 0.00 -
1790.76/1790.99 c barrier LP : 0.00 0 0 0.00 -
1790.76/1790.99 c diving/probing LP: 124.89 37920 135003 3.56 1080.97
1790.76/1790.99 c strong branching : 57.01 9438 137002 14.52 2403.24
1790.76/1790.99 c (at root node) : - 33 258 7.82 -
1790.76/1790.99 c conflict analysis: 0.00 0 0 0.00 -
1790.76/1790.99 c B&B Tree :
1790.76/1790.99 c number of runs : 1
1790.76/1790.99 c nodes : 103426
1790.76/1790.99 c nodes (total) : 103426
1790.76/1790.99 c nodes left : 103427
1790.76/1790.99 c max depth : 735
1790.76/1790.99 c max depth (total): 735
1790.76/1790.99 c backtracks : 603 (0.6%)
1790.76/1790.99 c delayed cutoffs : 0
1790.76/1790.99 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.76/1790.99 c avg switch length: 2.25
1790.76/1790.99 c switching time : 15.57
1790.76/1790.99 c Solution :
1790.76/1790.99 c Solutions found : 103 (2 improvements)
1790.76/1790.99 c First Solution : +4.42261000000000e+05 (in run 1, after 0 nodes, 0.08 seconds, depth 0, found by <trivial>)
1790.76/1790.99 c Primal Bound : +4.42173000000000e+05 (in run 1, after 38615 nodes, 705.94 seconds, depth 438, found by <trysol>)
1790.76/1790.99 c Dual Bound : +0.00000000000000e+00
1790.76/1790.99 c Gap : infinite
1790.76/1790.99 c Root Dual Bound : +0.00000000000000e+00
1790.76/1790.99 c Root Iterations : 1568
1791.06/1791.20 c Time complete: 1791.06.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705300-1278578354/watcher-2705300-1278578354 -o /tmp/evaluation-result-2705300-1278578354/solver-2705300-1278578354 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705300-1278578354.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: 1.98 2.00 1.95 4/176 21358
/proc/meminfo: memFree=29558664/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=12520 CPUtime=0
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1975 0 0 0 0 0 0 0 23 0 1 0 26049134 12820480 1893 4089446400 4194304 10345943 140737370592064 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21358/statm: 3130 1893 429 1502 0 1623 0
[startup+0.088349 s]
/proc/loadavg: 1.98 2.00 1.95 4/176 21358
/proc/meminfo: memFree=29558664/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=37868 CPUtime=0.07
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 8329 0 0 0 7 0 0 0 23 0 1 0 26049134 38776832 8247 4089446400 4194304 10345943 140737370592064 18446744073709551615 9122440 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21358/statm: 9467 8247 430 1502 0 7960 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37868
[startup+0.100347 s]
/proc/loadavg: 1.98 2.00 1.95 4/176 21358
/proc/meminfo: memFree=29558664/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=40152 CPUtime=0.09
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 8871 0 0 0 9 0 0 0 23 0 1 0 26049134 41115648 8789 4089446400 4194304 10345943 140737370592064 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21358/statm: 10038 8789 430 1502 0 8531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40152
[startup+0.300315 s]
/proc/loadavg: 1.98 2.00 1.95 4/176 21358
/proc/meminfo: memFree=29558664/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=86704 CPUtime=0.29
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 20260 0 0 0 28 1 0 0 23 0 1 0 26049134 88784896 19803 4089446400 4194304 10345943 140737370592064 18446744073709551615 9138388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21358/statm: 21676 19803 524 1502 0 20169 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86704
[startup+0.700245 s]
/proc/loadavg: 1.98 2.00 1.95 4/176 21358
/proc/meminfo: memFree=29558664/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=86704 CPUtime=0.69
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 20260 0 0 0 68 1 0 0 25 0 1 0 26049134 88784896 19803 4089446400 4194304 10345943 140737370592064 18446744073709551615 4246683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21358/statm: 21676 19803 524 1502 0 20169 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86704
[startup+1.50111 s]
/proc/loadavg: 1.98 2.00 1.95 3/177 21359
/proc/meminfo: memFree=29476196/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=114328 CPUtime=1.49
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 26653 0 0 0 147 2 0 0 25 0 1 0 26049134 117071872 26099 4089446400 4194304 10345943 140737370592064 18446744073709551615 4500349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21358/statm: 28582 26099 744 1502 0 27075 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114328
[startup+3.10082 s]
/proc/loadavg: 1.98 2.00 1.95 3/177 21359
/proc/meminfo: memFree=29455196/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=120408 CPUtime=3.09
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 56453 0 0 0 303 6 0 0 25 0 1 0 26049134 123297792 27324 4089446400 4194304 10345943 140737370592064 18446744073709551615 6363001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21358/statm: 30102 27324 770 1502 0 28595 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120408
[startup+6.30029 s]
/proc/loadavg: 2.14 2.03 1.96 3/177 21359
/proc/meminfo: memFree=29451368/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=120740 CPUtime=6.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 127141 0 0 0 600 15 0 0 25 0 1 0 26049134 123637760 27380 4089446400 4194304 10345943 140737370592064 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21358/statm: 30185 27380 770 1502 0 28678 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 120740
[startup+12.7002 s]
/proc/loadavg: 2.13 2.03 1.96 3/177 21360
/proc/meminfo: memFree=29445680/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=120536 CPUtime=12.55
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 219363 0 0 0 1229 26 0 0 25 0 1 0 26049134 123428864 27373 4089446400 4194304 10345943 140737370592064 18446744073709551615 6566392 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 30134 27373 770 1502 0 28627 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 120536
[startup+25.501 s]
/proc/loadavg: 2.10 2.03 1.96 3/177 21360
/proc/meminfo: memFree=29433048/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=119696 CPUtime=25.35
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 331923 0 0 0 2498 37 0 0 25 0 1 0 26049134 122568704 27745 4089446400 4194304 10345943 140737370592064 18446744073709551615 4701101 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 29924 27745 771 1502 0 28417 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 119696
[startup+51.1007 s]
/proc/loadavg: 2.07 2.03 1.96 3/177 21360
/proc/meminfo: memFree=29403404/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=121744 CPUtime=50.95
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 562429 0 0 0 5032 63 0 0 25 0 1 0 26049134 124665856 28301 4089446400 4194304 10345943 140737370592064 18446744073709551615 4612720 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 30436 28301 771 1502 0 28929 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 121744
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 1.96 3/177 21362
/proc/meminfo: memFree=29311720/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=124812 CPUtime=102.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 701549 0 0 0 10131 84 0 0 25 0 1 0 26049134 127807488 29081 4089446400 4194304 10345943 140737370592064 18446744073709551615 6803086 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 31203 29081 773 1502 0 29696 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 124812
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 21364
/proc/meminfo: memFree=29213112/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=136916 CPUtime=162.14
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 836686 0 0 0 16108 106 0 0 25 0 1 0 26049134 140201984 32037 4089446400 4194304 10345943 140737370592064 18446744073709551615 4610074 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 34229 32037 773 1502 0 32722 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 136916
[startup+222.301 s]
/proc/loadavg: 2.05 2.03 1.97 3/177 21365
/proc/meminfo: memFree=29185916/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=155620 CPUtime=222.13
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 892127 0 0 0 22097 116 0 0 25 0 1 0 26049134 159354880 36743 4089446400 4194304 10345943 140737370592064 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 38905 36743 773 1502 0 37398 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 155620
[startup+282.301 s]
/proc/loadavg: 2.02 2.02 1.97 3/177 21366
/proc/meminfo: memFree=29158724/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=175720 CPUtime=282.13
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1021263 0 0 0 28078 135 0 0 25 0 1 0 26049134 179937280 41791 4089446400 4194304 10345943 140737370592064 18446744073709551615 6119613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 43930 41791 773 1502 0 42423 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 175720
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 21368
/proc/meminfo: memFree=29134388/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=197400 CPUtime=342.13
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1100054 0 0 0 34064 149 0 0 25 0 1 0 26049134 202137600 47193 4089446400 4194304 10345943 140737370592064 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 49350 47193 773 1502 0 47843 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 197400
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 21370
/proc/meminfo: memFree=29107692/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=219036 CPUtime=402.13
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1155303 0 0 0 40051 162 0 0 25 0 1 0 26049134 224292864 52423 4089446400 4194304 10345943 140737370592064 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 54759 52423 773 1502 0 53252 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 219036
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21372
/proc/meminfo: memFree=29083980/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=238472 CPUtime=462.14
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1227328 0 0 0 46040 174 0 0 25 0 1 0 26049134 244195328 57418 4089446400 4194304 10345943 140737370592064 18446744073709551615 4698013 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 59618 57418 773 1502 0 58111 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 238472
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21373
/proc/meminfo: memFree=29059024/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=263196 CPUtime=522.14
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1243696 0 0 0 52031 183 0 0 25 0 1 0 26049134 269512704 63479 4089446400 4194304 10345943 140737370592064 18446744073709551615 6756383 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 65799 63479 773 1502 0 64292 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 263196
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21374
/proc/meminfo: memFree=29034688/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=284680 CPUtime=582.14
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1265405 0 0 0 58023 191 0 0 25 0 1 0 26049134 291512320 69094 4089446400 4194304 10345943 140737370592064 18446744073709551615 6777589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 71170 69094 773 1502 0 69663 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 284680
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21376
/proc/meminfo: memFree=29008996/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=310568 CPUtime=642.14
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1294100 0 0 0 64013 201 0 0 25 0 1 0 26049134 318021632 75585 4089446400 4194304 10345943 140737370592064 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 77642 75585 773 1502 0 76135 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 310568
[startup+702.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28836056/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=478352 CPUtime=1002.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1482278 0 0 0 99972 243 0 0 25 0 1 0 26049134 489832448 117727 4089446400 4194304 10345943 140737370592064 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 119588 117727 774 1502 0 118081 0
Current children cumulated CPU time (s) 1002.15
Current children cumulated vsize (KiB) 478352
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 21388
/proc/meminfo: memFree=28814572/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=501772 CPUtime=1062.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1489920 0 0 0 105969 246 0 0 25 0 1 0 26049134 513814528 123128 4089446400 4194304 10345943 140737370592064 18446744073709551615 6120333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 125443 123128 774 1502 0 123936 0
Current children cumulated CPU time (s) 1062.15
Current children cumulated vsize (KiB) 501772
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21389
/proc/meminfo: memFree=28788628/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=527716 CPUtime=1122.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1513016 0 0 0 111964 251 0 0 25 0 1 0 26049134 540381184 129639 4089446400 4194304 10345943 140737370592064 18446744073709551615 6777399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 131929 129639 774 1502 0 130422 0
Current children cumulated CPU time (s) 1122.15
Current children cumulated vsize (KiB) 527716
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21390
/proc/meminfo: memFree=28765292/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=552668 CPUtime=1182.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1518980 0 0 0 117961 254 0 0 25 0 1 0 26049134 565932032 135603 4089446400 4194304 10345943 140737370592064 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 138167 135603 774 1502 0 136660 0
Current children cumulated CPU time (s) 1182.15
Current children cumulated vsize (KiB) 552668
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21392
/proc/meminfo: memFree=28740328/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=576232 CPUtime=1242.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1525934 0 0 0 123958 257 0 0 25 0 1 0 26049134 590061568 141614 4089446400 4194304 10345943 140737370592064 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 144058 141614 774 1502 0 142551 0
Current children cumulated CPU time (s) 1242.15
Current children cumulated vsize (KiB) 576232
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21394
/proc/meminfo: memFree=28716476/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=598680 CPUtime=1302.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1531764 0 0 0 129956 260 0 0 25 0 1 0 26049134 613048320 147187 4089446400 4194304 10345943 140737370592064 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 149670 147187 774 1502 0 148163 0
Current children cumulated CPU time (s) 1302.16
Current children cumulated vsize (KiB) 598680
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21405
/proc/meminfo: memFree=28696324/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=620040 CPUtime=1362.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1536829 0 0 0 135953 262 0 0 25 0 1 0 26049134 634920960 152252 4089446400 4194304 10345943 140737370592064 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 155010 152252 774 1502 0 153503 0
Current children cumulated CPU time (s) 1362.15
Current children cumulated vsize (KiB) 620040
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 21406
/proc/meminfo: memFree=28674708/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=640160 CPUtime=1422.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1542795 0 0 0 141950 266 0 0 25 0 1 0 26049134 655523840 157666 4089446400 4194304 10345943 140737370592064 18446744073709551615 6802904 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 160040 157666 774 1502 0 158533 0
Current children cumulated CPU time (s) 1422.16
Current children cumulated vsize (KiB) 640160
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 21407
/proc/meminfo: memFree=28654584/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=661420 CPUtime=1482.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1547787 0 0 0 147948 268 0 0 25 0 1 0 26049134 677294080 162658 4089446400 4194304 10345943 140737370592064 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 165355 162658 774 1502 0 163848 0
Current children cumulated CPU time (s) 1482.16
Current children cumulated vsize (KiB) 661420
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21409
/proc/meminfo: memFree=28633960/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=680284 CPUtime=1542.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1564479 0 0 0 153944 272 0 0 25 0 1 0 26049134 696610816 167649 4089446400 4194304 10345943 140737370592064 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 170071 167649 774 1502 0 168564 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 680284
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21411
/proc/meminfo: memFree=28616064/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=699316 CPUtime=1602.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1569313 0 0 0 159940 275 0 0 25 0 1 0 26049134 716099584 172483 4089446400 4194304 10345943 140737370592064 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 174829 172483 774 1502 0 173322 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 699316
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21413
/proc/meminfo: memFree=28595572/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=718540 CPUtime=1662.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1575302 0 0 0 165937 279 0 0 25 0 1 0 26049134 735784960 177225 4089446400 4194304 10345943 140737370592064 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 179635 177225 774 1502 0 178128 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 718540
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21414
/proc/meminfo: memFree=28574840/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=740532 CPUtime=1722.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1580758 0 0 0 171935 281 0 0 25 0 1 0 26049134 758304768 182681 4089446400 4194304 10345943 140737370592064 18446744073709551615 6777399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 185133 182681 774 1502 0 183626 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 740532
[startup+1782.3 s]
/proc/loadavg: 2.16 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28850796/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=757920 CPUtime=1782.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1585228 0 0 0 177932 284 0 0 25 0 1 0 26049134 776110080 187151 4089446400 4194304 10345943 140737370592064 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21358/statm: 189480 187151 774 1502 0 187973 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 757920
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.15 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28842520/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=760992 CPUtime=1785.47
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1585993 0 0 0 178262 285 0 0 25 0 1 0 26049134 779255808 187916 4089446400 4194304 10345943 140737370592064 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21358/statm: 190248 187916 774 1502 0 188741 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (KiB) 760992
[startup+1788.8 s]
/proc/loadavg: 2.15 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28834424/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=762796 CPUtime=1788.66
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1586285 0 0 0 178581 285 0 0 25 0 1 0 26049134 781103104 188208 4089446400 4194304 10345943 140737370592064 18446744073709551615 4688027 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21358/statm: 190699 188208 774 1502 0 189192 0
Current children cumulated CPU time (s) 1788.66
Current children cumulated vsize (KiB) 762796
[startup+1790.4 s]
/proc/loadavg: 2.13 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28833928/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=763304 CPUtime=1790.26
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1586506 0 0 0 178741 285 0 0 25 0 1 0 26049134 781623296 188429 4089446400 4194304 10345943 140737370592064 18446744073709551615 4246696 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21358/statm: 190826 188429 774 1502 0 189319 0
Current children cumulated CPU time (s) 1790.26
Current children cumulated vsize (KiB) 763304
[startup+1790.8 s]
/proc/loadavg: 2.13 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28830328/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=763304 CPUtime=1790.66
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1586506 0 0 0 178781 285 0 0 25 0 1 0 26049134 781623296 188429 4089446400 4194304 10345943 140737370592064 18446744073709551615 4246693 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21358/statm: 190826 188429 774 1502 0 189319 0
Current children cumulated CPU time (s) 1790.66
Current children cumulated vsize (KiB) 763304
[startup+1791.2 s]
/proc/loadavg: 2.13 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28830328/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=320680 CPUtime=1791.06
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1586511 0 0 0 178818 288 0 0 25 0 1 0 26049134 328376320 41708 4089446400 4194304 10345943 140737370592064 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21358/statm: 80170 41533 778 1502 0 78663 0
Current children cumulated CPU time (s) 1791.06
Current children cumulated vsize (KiB) 320680
Child status: 0
Real time (s): 1791.21
CPU time (s): 1791.08
CPU user time (s): 1788.19
CPU system time (s): 2.88956
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 763304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.19
system time used= 2.88956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1586514
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= 1
involuntary context switches= 4688
runsolver used 2.6586 second user time and 5.59615 second system time
The end
Begin job on node129 at 2010-07-08 10:39:14
IDJOB=2705300
IDBENCH=79326
IDSOLVER=1214
FILE ID=node129/2705300-1278578354
PBS_JOBID= 11240196
Free space on /tmp= 73780 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-43s.smv--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705300-1278578354/watcher-2705300-1278578354 -o /tmp/evaluation-result-2705300-1278578354/solver-2705300-1278578354 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705300-1278578354.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ce035d98af56bba024c7eadbdc340830
RANDOM SEED=184596561
node129.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.836
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.67
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.836
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.83
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.836
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.836
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.836
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 : 5311.72
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.836
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.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
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.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 29559068 kB
Buffers: 155464 kB
Cached: 2942476 kB
SwapCached: 0 kB
Active: 1340844 kB
Inactive: 1897724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 29559068 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 26200 kB
Writeback: 0 kB
AnonPages: 141096 kB
Mapped: 17844 kB
Slab: 90616 kB
PageTables: 4948 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 284288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73764 MiB
End job on node129 at 2010-07-08 11:09:05