Trace number 36180

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Pueblo 1.4SAT 569.898 570.095

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
MD5SUM79ed7fb7a57e7e2ac59cfc8508d281c9
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark13.5289
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 420
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node52/watcher-36180-1149226879 -o ROOT/results/node52/solver-36180-1149226879 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node52/36180-1149226879/instance-36180-1149226879.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.53 0.85 0.87 2/64 20200
/proc/meminfo: memFree=1326676/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=2540 CPUtime=0
/proc/20200/stat : 20200 (Pueblo) D 20198 20200 20155 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 188357868 2600960 213 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20200/statm: 643 219 192 16 0 84 0

[startup+10.0015 s]
/proc/loadavg: 0.60 0.85 0.87 2/64 20200
/proc/meminfo: memFree=1220948/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=107940 CPUtime=9.99
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 26614 0 0 0 985 14 0 0 25 0 1 0 188357868 110530560 26585 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 26985 26585 199 16 0 26426 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 107940

[startup+20.008 s]
/proc/loadavg: 0.66 0.86 0.87 2/64 20200
/proc/meminfo: memFree=1113812/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=215044 CPUtime=19.99
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 53403 0 0 0 1973 26 0 0 25 0 1 0 188357868 220205056 53374 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 53761 53374 199 16 0 53202 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 215044

[startup+30.0145 s]
/proc/loadavg: 0.71 0.86 0.87 2/64 20200
/proc/meminfo: memFree=1013588/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=315084 CPUtime=29.99
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 78406 0 0 0 2961 38 0 0 25 0 1 0 188357868 322646016 78377 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4775639 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 78771 78377 199 16 0 78212 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 315084

[startup+40.02 s]
/proc/loadavg: 0.76 0.87 0.87 2/64 20200
/proc/meminfo: memFree=974356/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=355908 CPUtime=40
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 88180 0 0 0 3956 44 0 0 25 0 1 0 188357868 364449792 88151 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532440 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 88977 88151 204 16 0 88418 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 355908

[startup+50.0255 s]
/proc/loadavg: 0.79 0.87 0.87 2/64 20200
/proc/meminfo: memFree=963860/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=366216 CPUtime=50
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 90806 0 0 0 4954 46 0 0 25 0 1 0 188357868 375005184 90777 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532444 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 91554 90777 204 16 0 90995 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 366216

[startup+60.032 s]
/proc/loadavg: 0.83 0.87 0.88 2/64 20200
/proc/meminfo: memFree=907220/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=60
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 5950 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 427944

[startup+70.0385 s]
/proc/loadavg: 0.85 0.88 0.88 2/64 20200
/proc/meminfo: memFree=907220/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=70.01
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 6951 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 427944

[startup+80.045 s]
/proc/loadavg: 0.87 0.88 0.88 2/64 20200
/proc/meminfo: memFree=907220/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=80.01
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 7951 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 427944

[startup+90.0505 s]
/proc/loadavg: 0.89 0.88 0.88 2/64 20200
/proc/meminfo: memFree=907220/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=90.01
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 8951 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557275 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 427944

[startup+100.056 s]
/proc/loadavg: 0.91 0.89 0.88 2/64 20200
/proc/meminfo: memFree=907220/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=100.01
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 9951 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 427944

[startup+110.063 s]
/proc/loadavg: 0.92 0.89 0.88 2/64 20200
/proc/meminfo: memFree=907220/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=110.02
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 10952 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 427944

[startup+120.068 s]
/proc/loadavg: 0.93 0.89 0.88 2/64 20200
/proc/meminfo: memFree=907220/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=120.02
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 11952 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 427944

[startup+130.074 s]
/proc/loadavg: 0.94 0.90 0.88 2/64 20200
/proc/meminfo: memFree=907220/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=130.02
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 12952 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 427944

[startup+140.08 s]
/proc/loadavg: 0.95 0.90 0.88 2/64 20200
/proc/meminfo: memFree=907156/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=140.02
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 13952 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 427944

[startup+150.086 s]
/proc/loadavg: 0.96 0.90 0.88 2/64 20200
/proc/meminfo: memFree=907156/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=150.02
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 14952 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 427944

[startup+160.091 s]
/proc/loadavg: 0.96 0.90 0.89 2/64 20200
/proc/meminfo: memFree=907156/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=160.03
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 15953 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 427944

[startup+170.098 s]
/proc/loadavg: 0.97 0.91 0.89 2/64 20200
/proc/meminfo: memFree=907156/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=170.03
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 16953 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 427944

[startup+180.103 s]
/proc/loadavg: 0.97 0.91 0.89 2/64 20200
/proc/meminfo: memFree=907156/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=180.03
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 17953 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 427944

[startup+190.109 s]
/proc/loadavg: 0.98 0.91 0.89 2/64 20200
/proc/meminfo: memFree=907156/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=190.03
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 18953 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 427944

[startup+200.114 s]
/proc/loadavg: 0.98 0.91 0.89 2/64 20200
/proc/meminfo: memFree=907156/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=427944 CPUtime=200.03
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 104930 0 0 0 19953 50 0 0 25 0 1 0 188357868 438214656 104901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 106986 104901 206 16 0 106427 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 427944

[startup+210.12 s]
/proc/loadavg: 0.98 0.92 0.89 2/64 20200
/proc/meminfo: memFree=907156/2055920 swapFree=4181360/4192956

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

/proc/20200/statm: 116048 113968 206 16 0 115489 0
Current children cumulated CPU time (s) 350.07
Current children cumulated vsize (Kb) 464192

[startup+360.207 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 20200
/proc/meminfo: memFree=858772/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=476252 CPUtime=360.08
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 116988 0 0 0 35949 59 0 0 25 0 1 0 188357868 487682048 116959 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528713 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 119063 116959 206 16 0 118504 0
Current children cumulated CPU time (s) 360.08
Current children cumulated vsize (Kb) 476252

[startup+370.213 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 20200
/proc/meminfo: memFree=846868/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=488132 CPUtime=370.08
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 119956 0 0 0 36947 61 0 0 25 0 1 0 188357868 499847168 119927 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 122033 119927 206 16 0 121474 0
Current children cumulated CPU time (s) 370.08
Current children cumulated vsize (Kb) 488132

[startup+380.219 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 20200
/proc/meminfo: memFree=834580/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=500328 CPUtime=380.08
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 123020 0 0 0 37945 63 0 0 25 0 1 0 188357868 512335872 122991 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 125082 122991 206 16 0 124523 0
Current children cumulated CPU time (s) 380.08
Current children cumulated vsize (Kb) 500328

[startup+390.226 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 20200
/proc/meminfo: memFree=822740/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=512100 CPUtime=390.09
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 125975 0 0 0 38943 66 0 0 25 0 1 0 188357868 524390400 125946 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 128025 125946 206 16 0 127466 0
Current children cumulated CPU time (s) 390.09
Current children cumulated vsize (Kb) 512100

[startup+400.231 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 20200
/proc/meminfo: memFree=811412/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=523500 CPUtime=400.09
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 128810 0 0 0 39942 67 0 0 25 0 1 0 188357868 536064000 128781 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4748237 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 130875 128781 206 16 0 130316 0
Current children cumulated CPU time (s) 400.09
Current children cumulated vsize (Kb) 523500

[startup+410.238 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 20200
/proc/meminfo: memFree=800532/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=534300 CPUtime=410.09
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 131513 0 0 0 40940 69 0 0 25 0 1 0 188357868 547123200 131484 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559559 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 133575 131484 206 16 0 133016 0
Current children cumulated CPU time (s) 410.09
Current children cumulated vsize (Kb) 534300

[startup+420.243 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 20200
/proc/meminfo: memFree=790164/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=544724 CPUtime=420.09
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 134118 0 0 0 41938 71 0 0 25 0 1 0 188357868 557797376 134089 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 136181 134089 206 16 0 135622 0
Current children cumulated CPU time (s) 420.09
Current children cumulated vsize (Kb) 544724

[startup+430.249 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 20200
/proc/meminfo: memFree=780244/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=554676 CPUtime=430.09
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 136598 0 0 0 42936 73 0 0 25 0 1 0 188357868 567988224 136569 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 138669 136569 206 16 0 138110 0
Current children cumulated CPU time (s) 430.09
Current children cumulated vsize (Kb) 554676

[startup+440.255 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 20200
/proc/meminfo: memFree=770324/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=564576 CPUtime=440.1
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 139062 0 0 0 43935 75 0 0 25 0 1 0 188357868 578125824 139033 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4748237 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 141144 139033 206 16 0 140585 0
Current children cumulated CPU time (s) 440.1
Current children cumulated vsize (Kb) 564576

[startup+450.261 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 20200
/proc/meminfo: memFree=760852/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=574024 CPUtime=450.1
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 141425 0 0 0 44933 77 0 0 25 0 1 0 188357868 587800576 141396 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 143506 141396 206 16 0 142947 0
Current children cumulated CPU time (s) 450.1
Current children cumulated vsize (Kb) 574024

[startup+460.266 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 20200
/proc/meminfo: memFree=750996/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=583836 CPUtime=460.11
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 143880 0 0 0 45932 79 0 0 25 0 1 0 188357868 597848064 143851 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 145959 143851 206 16 0 145400 0
Current children cumulated CPU time (s) 460.11
Current children cumulated vsize (Kb) 583836

[startup+470.273 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 20200
/proc/meminfo: memFree=741396/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=593440 CPUtime=470.1
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 146277 0 0 0 46929 81 0 0 25 0 1 0 188357868 607682560 146248 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 148360 146248 206 16 0 147801 0
Current children cumulated CPU time (s) 470.1
Current children cumulated vsize (Kb) 593440

[startup+480.278 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20200
/proc/meminfo: memFree=732180/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=602608 CPUtime=480.11
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 148567 0 0 0 47928 83 0 0 25 0 1 0 188357868 617070592 148538 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 150652 148538 206 16 0 150093 0
Current children cumulated CPU time (s) 480.11
Current children cumulated vsize (Kb) 602608

[startup+490.284 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20200
/proc/meminfo: memFree=723348/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=611528 CPUtime=490.11
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 150781 0 0 0 48926 85 0 0 25 0 1 0 188357868 626204672 150752 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 152882 150752 206 16 0 152323 0
Current children cumulated CPU time (s) 490.11
Current children cumulated vsize (Kb) 611528

[startup+500.289 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20200
/proc/meminfo: memFree=715732/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=619020 CPUtime=500.11
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 152669 0 0 0 49925 86 0 0 25 0 1 0 188357868 633876480 152640 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 154755 152640 206 16 0 154196 0
Current children cumulated CPU time (s) 500.11
Current children cumulated vsize (Kb) 619020

[startup+510.295 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20200
/proc/meminfo: memFree=710100/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=624740 CPUtime=510.11
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 154086 0 0 0 50924 87 0 0 25 0 1 0 188357868 639733760 154057 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4748237 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 156185 154057 206 16 0 155626 0
Current children cumulated CPU time (s) 510.11
Current children cumulated vsize (Kb) 624740

[startup+520.3 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20200
/proc/meminfo: memFree=704468/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=630428 CPUtime=520.11
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 155492 0 0 0 51923 88 0 0 25 0 1 0 188357868 645558272 155463 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 157607 155463 206 16 0 157048 0
Current children cumulated CPU time (s) 520.11
Current children cumulated vsize (Kb) 630428

[startup+530.306 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20200
/proc/meminfo: memFree=696916/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=637920 CPUtime=530.12
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 157368 0 0 0 52922 90 0 0 25 0 1 0 188357868 653230080 157339 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 159480 157339 206 16 0 158921 0
Current children cumulated CPU time (s) 530.12
Current children cumulated vsize (Kb) 637920

[startup+540.311 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20200
/proc/meminfo: memFree=690068/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=644788 CPUtime=540.12
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 159086 0 0 0 53921 91 0 0 25 0 1 0 188357868 660262912 159057 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4748237 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 161197 159057 206 16 0 160638 0
Current children cumulated CPU time (s) 540.12
Current children cumulated vsize (Kb) 644788

[startup+550.317 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20200
/proc/meminfo: memFree=682452/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=652356 CPUtime=550.12
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 160970 0 0 0 54919 93 0 0 25 0 1 0 188357868 668012544 160941 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 163089 160941 206 16 0 162530 0
Current children cumulated CPU time (s) 550.12
Current children cumulated vsize (Kb) 652356

[startup+560.322 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 20200
/proc/meminfo: memFree=678932/2055920 swapFree=4181360/4192956
[pid=20200] ppid=20198 vsize=656176 CPUtime=560.12
/proc/20200/stat : 20200 (Pueblo) R 20198 20200 20155 0 -1 4194304 161861 0 0 0 55919 93 0 0 25 0 1 0 188357868 671924224 161832 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/20200/statm: 164044 161832 206 16 0 163485 0
Current children cumulated CPU time (s) 560.12
Current children cumulated vsize (Kb) 656176

Child status: 10
Real time (s): 570.095
CPU time (s): 569.898
CPU user time (s): 568.856
CPU system time (s): 1.04284
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (Kb): 656176

Launcher Data (download as text)

Begin job on node52 on Fri Jun  2 05:41:28 UTC 2006


FILE ID= 36180-1149226879

PBS_JOBID= 295942

BENCH NAME= ROOT/tmp/node52/36180-1149226879/instance-36180-1149226879.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node52/36180-1149226879/instance-36180-1149226879.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-36180-1149226879 -o ROOT/results/node52/solver-36180-1149226879 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node52/36180-1149226879/instance-36180-1149226879.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  79ed7fb7a57e7e2ac59cfc8508d281c9

RANDOM SEED= 216132089


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1326436 kB
Buffers:         23344 kB
Cached:         637576 kB
SwapCached:       3508 kB
Active:         334548 kB
Inactive:       335272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1326436 kB
SwapTotal:     4192956 kB
SwapFree:      4181360 kB
Dirty:             244 kB
Writeback:           0 kB
Mapped:          14904 kB
Slab:            45620 kB
Committed_AS:   266600 kB
PageTables:       1504 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node52 on Fri Jun  2 05:51:11 UTC 2006