0.00/0.00	c NaPS 1.02b.
1800.00/1800.40	o 34060982
1800.00/1800.40	o 21279816
1800.00/1800.40	o 9810671
1800.00/1800.40	o 6450176
1800.00/1800.40	c 
1800.00/1800.40	c *** TERMINATED *** by signal 15
1800.00/1800.40	s SATISFIABLE
1800.00/1800.40	c _____________________________________________________________________________
1800.00/1800.40	c 
1800.00/1800.40	c std/band forms        : 173,26
1800.00/1800.40	c 2cl/3cl ITE-codings   : 54638,56538
1800.00/1800.40	c BDD/srt/adr Max costs : 2896,387654,0
1800.00/1800.40	c BDDraw/bin/mul/srt/adr: 26,0,169,4,0
1800.00/1800.40	c BDD nodes             : 138578
1800.00/1800.40	c Es1/CC detections     : 0,0
1800.00/1800.40	c SAT/UNSAT calls       : 4,0
1800.00/1800.40	c restarts              : 69913
1800.00/1800.40	c conflicts             : 8981100        (4991 /sec)
1800.00/1800.40	c decisions             : 60526978       (33637 /sec)
1800.00/1800.40	c propagations          : 5211079764     (2895998 /sec)
1800.00/1800.40	c inspects              : 0              (0 /sec)
1800.00/1800.40	c CPU time (solving tm) : 1799 s        (554.2 s)
1800.00/1800.40	c Time for Opt-base     : 60.21 s
1800.00/1800.40	c _____________________________________________________________________________
1800.00/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979
1800.00/1800.40	v -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 x4393 -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 x4961 x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179
1800.00/1800.40	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x5071 -x5072 -x5152 -x5163 -x5174 -x5185 -x5196 -x5207 x5218 -x5229 -x5073 -x5084 x5095 -x5106 x5117 -x5128 -x5139 -x5149 x5150 -x5151 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 x5159 -x5160 -x5161 -x5162 -x5164 x5165 -x5166 -x5167 -x5168 -x5169 x5170 -x5171 x5172 -x5173 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 x5182 x5183 -x5184 -x5186 -x5187 -x5188 x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5197 x5198 -x5199 -x5200 -x5201 -x5202 -x5203 x5204 -x5205 x5206 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 x5225 -x5226 -x5227 -x5228 -x5230 -x5231 x5232 x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 x5085 x5086 x5087 -x5088 -x5089 -x5090 -x5091 x5092 -x5093 -x5094 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x5102 -x5103 -x5104 -x5105 x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 x5125 -x5126 -x5127 -x5129 -x5130 x5131 -x5132 x5133 -x5134 -x5135 -x5136 x5137 x5138 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 x5147 -x5148

OK	6450176

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103203-1466246124/watcher-4103203-1466246124 -o /tmp/evaluation-result-4103203-1466246124/solver-4103203-1466246124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466229725-20954 --watchdog 1960 naps-1.02 HOME/instance-4103203-1466246124.opb 

pid=22714
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.06 2.01 4/176 22717
/proc/meminfo: memFree=31031084/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=7456 CPUtime=0 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 26659183 7634944 410 33554432000 4194304 5796924 140736878900208 140734491133320 4600717 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 1864 410 114 392 0 1463 0

[startup+0.100224 s]
/proc/loadavg: 2.03 2.06 2.01 4/176 22717
/proc/meminfo: memFree=31031084/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=9684 CPUtime=0.09 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 1102 0 0 0 9 0 0 0 20 0 1 0 26659183 9916416 977 33554432000 4194304 5796924 140736878900208 140734491133320 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 2421 978 128 392 0 2020 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9684

[startup+0.200261 s]
/proc/loadavg: 2.03 2.06 2.01 4/176 22717
/proc/meminfo: memFree=31031084/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=12332 CPUtime=0.19 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 1806 0 0 0 19 0 0 0 20 0 1 0 26659183 12627968 1640 33554432000 4194304 5796924 140736878900208 140734491133320 5087526 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 3083 1640 139 392 0 2682 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12332

[startup+0.300235 s]
/proc/loadavg: 2.03 2.06 2.01 4/176 22717
/proc/meminfo: memFree=31031084/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=12628 CPUtime=0.29 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 1924 0 0 0 29 0 0 0 20 0 1 0 26659183 12931072 1716 33554432000 4194304 5796924 140736878900208 140734491133320 4806802 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 3157 1716 139 392 0 2756 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12628

[startup+0.70023 s]
/proc/loadavg: 2.03 2.06 2.01 4/176 22717
/proc/meminfo: memFree=31031084/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=14880 CPUtime=0.69 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 2715 0 0 0 69 0 0 0 20 0 1 0 26659183 15237120 2259 33554432000 4194304 5796924 140736878900208 140734491133320 4451161 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 3720 2259 139 392 0 3319 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14880

[startup+1.50024 s]
/proc/loadavg: 2.03 2.06 2.01 4/177 22718
/proc/meminfo: memFree=31022208/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=15768 CPUtime=1.49 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 2910 0 0 0 149 0 0 0 20 0 1 0 26659183 16146432 2454 33554432000 4194304 5796924 140736878900208 140736878896424 4295645 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 3942 2454 144 392 0 3541 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15768

[startup+3.10024 s]
/proc/loadavg: 2.02 2.06 2.01 4/177 22718
/proc/meminfo: memFree=31021836/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=15768 CPUtime=3.09 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 2937 0 0 0 309 0 0 0 20 0 1 0 26659183 16146432 2481 33554432000 4194304 5796924 140736878900208 140736878896424 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 3942 2481 144 392 0 3541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15768

[startup+6.30023 s]
/proc/loadavg: 2.02 2.06 2.01 3/177 22718
/proc/meminfo: memFree=31017684/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=17624 CPUtime=6.29 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 3137 0 0 0 629 0 0 0 20 0 1 0 26659183 18046976 2862 33554432000 4194304 5796924 140736878900208 140736878896424 5092550 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 4406 2862 144 392 0 4005 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17624

[startup+12.7003 s]
/proc/loadavg: 2.02 2.05 2.01 4/177 22718
/proc/meminfo: memFree=31015172/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=18024 CPUtime=12.69 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 3324 0 0 0 1269 0 0 0 20 0 1 0 26659183 18456576 3049 33554432000 4194304 5796924 140736878900208 140736878896424 5087771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 4506 3049 144 392 0 4105 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18024

[startup+25.5003 s]
/proc/loadavg: 2.02 2.05 2.01 4/177 22718
/proc/meminfo: memFree=30904792/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=132464 CPUtime=25.49 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 24249 0 0 0 2545 4 0 0 20 0 1 0 26659183 135643136 29580 33554432000 4194304 5796924 140736878900208 140736878897448 4606565 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 33116 29580 171 392 0 32715 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 132464

[startup+51.1004 s]
/proc/loadavg: 2.16 2.08 2.02 4/177 22718
/proc/meminfo: memFree=30861824/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=170748 CPUtime=51.07 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 25709 0 0 0 5102 5 0 0 20 0 1 0 26659183 174845952 38686 33554432000 4194304 5796924 140736878900208 140736878897448 4583121 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 42687 38686 171 392 0 42286 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 170748

[startup+102.3 s]
/proc/loadavg: 2.21 2.10 2.02 3/177 22719
/proc/meminfo: memFree=30878412/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=201392 CPUtime=102.27 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 26756 0 0 0 10219 8 0 0 20 0 1 0 26659183 206225408 43441 33554432000 4194304 5796924 140736878900208 140736878897496 4583065 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 50348 43441 171 392 0 49947 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 201392

[startup+162.3 s]
/proc/loadavg: 2.12 2.09 2.02 4/177 22720
/proc/meminfo: memFree=30631004/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=384264 CPUtime=162.25 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 53082 0 0 0 16209 16 0 0 20 0 1 0 26659183 393486336 85354 33554432000 4194304 5796924 140736878900208 140736878897320 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 96066 85354 181 392 0 95665 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 384264

[startup+222.308 s]
/proc/loadavg: 2.16 2.10 2.03 5/177 22722
/proc/meminfo: memFree=30520616/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=534148 CPUtime=222.25 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 71654 0 0 0 22202 23 0 0 20 0 1 0 26659183 546967552 122906 33554432000 4194304 5796924 140736878900208 140736878897192 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 133537 122906 182 392 0 133136 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 534148

[startup+282.3 s]
/proc/loadavg: 2.34 2.14 2.04 4/178 22726
/proc/meminfo: memFree=30550756/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=537980 CPUtime=282.23 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 73017 0 0 0 28198 25 0 0 20 0 1 0 26659183 550891520 122802 33554432000 4194304 5796924 140736878900208 140736878897320 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 134495 122802 182 392 0 134094 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 537980

[startup+342.3 s]
/proc/loadavg: 2.17 2.13 2.04 4/177 22727
/proc/meminfo: memFree=30385988/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=708892 CPUtime=342.22 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 89963 0 0 0 34192 30 0 0 20 0 1 0 26659183 725905408 159515 33554432000 4194304 5796924 140736878900208 140736878897192 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 177223 159515 182 392 0 176822 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 708892

[startup+402.3 s]
/proc/loadavg: 2.18 2.14 2.05 4/177 22728
/proc/meminfo: memFree=30388012/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=660136 CPUtime=402.21 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 90473 0 0 0 40189 32 0 0 20 0 1 0 26659183 675979264 154913 33554432000 4194304 5796924 140736878900208 140736878897192 4607277 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 165034 154913 182 392 0 164633 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 660136

[startup+462.3 s]
/proc/loadavg: 2.20 2.15 2.06 4/177 22729
/proc/meminfo: memFree=30402700/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=712080 CPUtime=462.2 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 91814 0 0 0 46186 34 0 0 20 0 1 0 26659183 729169920 159803 33554432000 4194304 5796924 140736878900208 140736878897192 4568998 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 178020 159803 182 392 0 177619 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 712080

[startup+522.3 s]
/proc/loadavg: 2.13 2.14 2.06 3/176 22775
/proc/meminfo: memFree=30583640/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=668144 CPUtime=522.19 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 92498 0 0 0 52183 36 0 0 20 0 1 0 26659183 684179456 156397 33554432000 4194304 5796924 140736878900208 140736878897672 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 167036 156397 182 392 0 166635 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 668144

[startup+582.3 s]
/proc/loadavg: 2.18 2.14 2.06 4/177 22777
/proc/meminfo: memFree=30526160/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=718232 CPUtime=582.19 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 93361 0 0 0 58181 38 0 0 20 0 1 0 26659183 735469568 160817 33554432000 4194304 5796924 140736878900208 140736878897848 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 179558 160817 182 392 0 179157 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 718232


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.28 2.15 2.08 3/178 22786
/proc/meminfo: memFree=30347528/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=864440 CPUtime=882.09 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 110200 0 0 0 88162 47 0 0 20 0 1 0 26659183 885186560 197690 33554432000 4194304 5796924 140736878900208 140736878897320 4591892 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 216110 197690 183 392 0 215709 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 864440

[startup+942.3 s]
/proc/loadavg: 2.21 2.16 2.08 4/177 22787
/proc/meminfo: memFree=30308276/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=947172 CPUtime=942.08 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 110747 0 0 0 94159 49 0 0 20 0 1 0 26659183 969904128 201360 33554432000 4194304 5796924 140736878900208 140736878897192 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 236793 201360 183 392 0 236392 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 947172

[startup+1002.3 s]
/proc/loadavg: 2.16 2.15 2.09 3/177 22788
/proc/meminfo: memFree=30298508/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=953424 CPUtime=1002.06 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 111405 0 0 0 100157 49 0 0 20 0 1 0 26659183 976306176 205326 33554432000 4194304 5796924 140736878900208 140736878897256 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 238356 205326 183 392 0 237955 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 953424

[startup+1062.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/177 22789
/proc/meminfo: memFree=30329784/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=872036 CPUtime=1062.06 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 112292 0 0 0 106154 52 0 0 20 0 1 0 26659183 892964864 191335 33554432000 4194304 5796924 140736878900208 140736878897848 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 218009 191335 183 392 0 217608 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 872036

[startup+1122.3 s]
/proc/loadavg: 2.19 2.15 2.09 4/177 22790
/proc/meminfo: memFree=30294500/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=872036 CPUtime=1122.04 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 112417 0 0 0 112152 52 0 0 20 0 1 0 26659183 892964864 195037 33554432000 4194304 5796924 140736878900208 140736878897848 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 218009 195037 183 392 0 217608 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 872036

[startup+1182.3 s]
/proc/loadavg: 2.22 2.16 2.10 3/177 22792
/proc/meminfo: memFree=30288940/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=872036 CPUtime=1182.03 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 112424 0 0 0 118151 52 0 0 20 0 1 0 26659183 892964864 198621 33554432000 4194304 5796924 140736878900208 140736878897848 4606503 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 218009 198621 183 392 0 217608 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 872036

[startup+1242.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/177 22793
/proc/meminfo: memFree=30257600/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=953424 CPUtime=1242.03 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 112598 0 0 0 124150 53 0 0 20 0 1 0 26659183 976306176 201861 33554432000 4194304 5796924 140736878900208 140736878897848 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 238356 201861 183 392 0 237955 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 953424

[startup+1302.3 s]
/proc/loadavg: 2.09 2.13 2.09 3/177 22794
/proc/meminfo: memFree=30229612/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=953424 CPUtime=1302.02 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 112604 0 0 0 130149 53 0 0 20 0 1 0 26659183 976306176 204933 33554432000 4194304 5796924 140736878900208 140736878897848 4606516 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 238356 204933 183 392 0 237955 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 953424

[startup+1362.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/177 22795
/proc/meminfo: memFree=30200072/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=953424 CPUtime=1362.01 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 112610 0 0 0 136148 53 0 0 20 0 1 0 26659183 976306176 208005 33554432000 4194304 5796924 140736878900208 140736878897848 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 238356 208005 183 392 0 237955 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 953424

[startup+1422.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/177 22796
/proc/meminfo: memFree=30251952/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=876752 CPUtime=1422.01 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 113350 0 0 0 142145 56 0 0 20 0 1 0 26659183 897794048 192883 33554432000 4194304 5796924 140736878900208 140736878897256 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 219188 192883 183 392 0 218787 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 876752

[startup+1482.3 s]
/proc/loadavg: 2.24 2.14 2.10 4/178 22801
/proc/meminfo: memFree=30229860/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=876752 CPUtime=1481.99 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 113357 0 0 0 148143 56 0 0 20 0 1 0 26659183 897794048 196467 33554432000 4194304 5796924 140736878900208 140736878897256 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 219188 196467 183 392 0 218787 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 876752

[startup+1542.31 s]
/proc/loadavg: 2.11 2.13 2.09 3/178 22825
/proc/meminfo: memFree=30207264/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=876752 CPUtime=1541.99 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 113364 0 0 0 154143 56 0 0 20 0 1 0 26659183 897794048 200051 33554432000 4194304 5796924 140736878900208 140736878897256 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 219188 200051 183 392 0 218787 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 876752

[startup+1602.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/177 22826
/proc/meminfo: memFree=30191120/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=958140 CPUtime=1601.98 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 113902 0 0 0 160140 58 0 0 20 0 1 0 26659183 981135360 203135 33554432000 4194304 5796924 140736878900208 140736878897848 4607776 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 239535 203135 183 392 0 239134 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 958140

[startup+1662.3 s]
/proc/loadavg: 2.11 2.11 2.09 4/177 22827
/proc/meminfo: memFree=30200956/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=958140 CPUtime=1661.95 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 113919 0 0 0 166137 58 0 0 20 0 1 0 26659183 981135360 206679 33554432000 4194304 5796924 140736878900208 140736878897848 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 239535 206679 183 392 0 239134 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 958140

[startup+1722.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/177 22828
/proc/meminfo: memFree=29810600/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=958140 CPUtime=1721.91 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 113966 0 0 0 172133 58 0 0 20 0 1 0 26659183 981135360 209751 33554432000 4194304 5796924 140736878900208 140736878897848 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 239535 209751 183 392 0 239134 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 958140

[startup+1782.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/177 22830
/proc/meminfo: memFree=29861548/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=876752 CPUtime=1781.91 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 114159 0 0 0 178131 60 0 0 20 0 1 0 26659183 897794048 190795 33554432000 4194304 5796924 140736878900208 140736878897672 4583342 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 219188 190795 183 392 0 218787 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 876752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.17 2.12 2.09 3/177 22831
/proc/meminfo: memFree=29851544/32872528 swapFree=338416/354768
[pid=22717] ppid=22714 vsize=876752 CPUtime=1800 cores=1,3,5,7
/proc/22717/stat : 22717 (naps-1.02) R 22714 22717 20937 0 -1 4202496 114161 0 0 0 179940 60 0 0 20 0 1 0 26659183 897794048 191819 33554432000 4194304 5796924 140736878900208 140736878897672 4607261 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22717/statm: 219188 191819 183 392 0 218787 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 876752

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22717 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.02
CPU user time (s): 1799.41
CPU system time (s): 0.611906
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 1088368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.611906
maximum resident set size= 931668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114173
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= 204
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82427 second user time and 7.52686 second system time

The end

Begin job on node126 at 2016-06-18 12:35:25
IDJOB=4103203
IDBENCH=2296
IDSOLVER=2544
FILE ID=node126/4103203-1466246124
RUNJOBID= node126-1466229725-20954
PBS_JOBID= 19918178
Free space on /tmp= 71736 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103203-1466246124/watcher-4103203-1466246124 -o /tmp/evaluation-result-4103203-1466246124/solver-4103203-1466246124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466229725-20954 --watchdog 1960  naps-1.02 HOME/instance-4103203-1466246124.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f6afca2947f6ff68bd855d0ea2ea59a9
RANDOM SEED=273893511

node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.121
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.121
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.121
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.121
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.121
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.121
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.121
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.121
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31031644 kB
Buffers:          120020 kB
Cached:           216572 kB
SwapCached:         1076 kB
Active:           488248 kB
Inactive:         256324 kB
Active(anon):     409440 kB
Inactive(anon):     1004 kB
Active(file):      78808 kB
Inactive(file):   255320 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67100100 kB
Dirty:              4260 kB
Writeback:             0 kB
AnonPages:        768092 kB
Mapped:             7896 kB
Shmem:                 0 kB
Slab:             604256 kB
SReclaimable:      48352 kB
SUnreclaim:       555904 kB
KernelStack:        1448 kB
PageTables:         5780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     923532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    358400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node126 at 2016-06-18 13:05:25