Trace number 37323

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.3SAT 499.3 499.438

General information on the benchmark

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.93 0.92 0.90 2/64 4602
/proc/meminfo: memFree=1186376/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=2540 CPUtime=0
/proc/4602/stat : 4602 (Pueblo13) D 4600 4602 4557 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 188280221 2600960 213 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4602/statm: 635 213 187 16 0 76 0

[startup+10.0023 s]
/proc/loadavg: 0.94 0.92 0.90 2/64 4602
/proc/meminfo: memFree=1074376/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=114336 CPUtime=9.98
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 28218 0 0 0 985 13 0 0 25 0 1 0 188280221 117080064 28189 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4230871 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 28584 28189 199 16 0 28025 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 114336

[startup+20.0092 s]
/proc/loadavg: 0.95 0.92 0.90 2/64 4602
/proc/meminfo: memFree=972232/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=216376 CPUtime=19.99
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 53713 0 0 0 1973 26 0 0 25 0 1 0 188280221 221569024 53684 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4230871 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 54094 53684 199 16 0 53535 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 216376

[startup+30.0152 s]
/proc/loadavg: 0.96 0.92 0.90 2/64 4602
/proc/meminfo: memFree=865032/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=323476 CPUtime=30
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 80502 0 0 0 2961 39 0 0 25 0 1 0 188280221 331239424 80473 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4230871 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 80869 80473 199 16 0 80310 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 323476

[startup+40.0221 s]
/proc/loadavg: 0.97 0.93 0.90 2/64 4602
/proc/meminfo: memFree=833608/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=356312 CPUtime=39.99
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 88345 0 0 0 3957 42 0 0 25 0 1 0 188280221 364863488 88316 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532412 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 89078 88316 204 16 0 88519 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 356312

[startup+50.028 s]
/proc/loadavg: 0.97 0.93 0.90 2/64 4602
/proc/meminfo: memFree=817992/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=371516 CPUtime=50
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 92263 0 0 0 4956 44 0 0 25 0 1 0 188280221 380432384 92234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 92879 92234 204 16 0 92320 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 371516

[startup+60.0339 s]
/proc/loadavg: 0.97 0.93 0.90 2/64 4602
/proc/meminfo: memFree=767112/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=60
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 5951 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 428048

[startup+70.0398 s]
/proc/loadavg: 0.98 0.93 0.91 2/64 4602
/proc/meminfo: memFree=767112/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=70
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 6951 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 428048

[startup+80.0457 s]
/proc/loadavg: 0.98 0.93 0.91 2/64 4602
/proc/meminfo: memFree=767112/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=80.01
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 7952 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 428048

[startup+90.0516 s]
/proc/loadavg: 0.98 0.94 0.91 2/64 4602
/proc/meminfo: memFree=767112/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=90.01
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 8952 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 428048

[startup+100.058 s]
/proc/loadavg: 0.98 0.94 0.91 2/64 4602
/proc/meminfo: memFree=767048/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=100.02
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 9953 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 428048

[startup+110.063 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 4602
/proc/meminfo: memFree=767048/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=110.02
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 10953 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 428048

[startup+120.069 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 4602
/proc/meminfo: memFree=767048/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=120.02
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 11953 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517899 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 428048

[startup+130.075 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 4602
/proc/meminfo: memFree=767048/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=130.02
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 12953 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 428048

[startup+140.081 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 4602
/proc/meminfo: memFree=767048/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=140.03
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 13954 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 428048

[startup+150.088 s]
/proc/loadavg: 0.99 0.94 0.91 2/64 4602
/proc/meminfo: memFree=767048/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=150.03
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 14954 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 428048

[startup+160.093 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 4602
/proc/meminfo: memFree=766984/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=160.03
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 15954 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 428048

[startup+170.099 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 4602
/proc/meminfo: memFree=766984/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=170.04
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 16955 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 428048

[startup+180.105 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 4602
/proc/meminfo: memFree=766984/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=180.04
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 17955 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 428048

[startup+190.111 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 4602
/proc/meminfo: memFree=766984/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=190.04
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 18955 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 428048

[startup+200.117 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 4602
/proc/meminfo: memFree=766984/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=428048 CPUtime=200.05
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 104950 0 0 0 19956 49 0 0 25 0 1 0 188280221 438321152 104921 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 107012 104921 206 16 0 106453 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 428048

[startup+210.123 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 4602
/proc/meminfo: memFree=766984/2055920 swapFree=4181460/4192956

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

/proc/4602/statm: 141291 139153 206 16 0 140732 0
Current children cumulated CPU time (s) 280.07
Current children cumulated vsize (Kb) 565164

[startup+290.169 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4602
/proc/meminfo: memFree=597704/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=597280 CPUtime=290.08
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 147175 0 0 0 28935 73 0 0 25 0 1 0 188280221 611614720 147146 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 149320 147146 206 16 0 148761 0
Current children cumulated CPU time (s) 290.08
Current children cumulated vsize (Kb) 597280

[startup+300.175 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4603
/proc/meminfo: memFree=564432/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=630556 CPUtime=300.08
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 155484 0 0 0 29931 77 0 0 25 0 1 0 188280221 645689344 155455 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4203469 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 157639 155455 206 16 0 157080 0
Current children cumulated CPU time (s) 300.08
Current children cumulated vsize (Kb) 630556

[startup+310.181 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4604
/proc/meminfo: memFree=526800/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=668352 CPUtime=310.08
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 164881 0 0 0 30926 82 0 0 25 0 1 0 188280221 684392448 164852 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4203469 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 167088 164852 206 16 0 166529 0
Current children cumulated CPU time (s) 310.08
Current children cumulated vsize (Kb) 668352

[startup+320.187 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4604
/proc/meminfo: memFree=496720/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=698296 CPUtime=320.09
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 172389 0 0 0 31922 87 0 0 25 0 1 0 188280221 715055104 172360 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557381 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 174574 172360 206 16 0 174015 0
Current children cumulated CPU time (s) 320.09
Current children cumulated vsize (Kb) 698296

[startup+330.194 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4604
/proc/meminfo: memFree=469840/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=725284 CPUtime=330.09
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 179087 0 0 0 32918 91 0 0 25 0 1 0 188280221 742690816 179058 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 181321 179058 206 16 0 180762 0
Current children cumulated CPU time (s) 330.09
Current children cumulated vsize (Kb) 725284

[startup+340.199 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4604
/proc/meminfo: memFree=443856/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=751304 CPUtime=340.1
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 185586 0 0 0 33915 95 0 0 25 0 1 0 188280221 769335296 185557 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4203469 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 187826 185557 206 16 0 187267 0
Current children cumulated CPU time (s) 340.1
Current children cumulated vsize (Kb) 751304

[startup+350.204 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4604
/proc/meminfo: memFree=418256/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=776792 CPUtime=350.1
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 191965 0 0 0 34912 98 0 0 25 0 1 0 188280221 795435008 191936 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559483 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 194198 191936 206 16 0 193639 0
Current children cumulated CPU time (s) 350.1
Current children cumulated vsize (Kb) 776792

[startup+360.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=394256/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=800876 CPUtime=360.1
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 197948 0 0 0 35909 101 0 0 25 0 1 0 188280221 820097024 197919 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4203469 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 200219 197919 206 16 0 199660 0
Current children cumulated CPU time (s) 360.1
Current children cumulated vsize (Kb) 800876

[startup+370.216 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=370256/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=824924 CPUtime=370.11
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 203948 0 0 0 36906 105 0 0 25 0 1 0 188280221 844722176 203919 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 206231 203919 206 16 0 205672 0
Current children cumulated CPU time (s) 370.11
Current children cumulated vsize (Kb) 824924

[startup+380.222 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=354960/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=840244 CPUtime=380.1
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 207763 0 0 0 37904 106 0 0 25 0 1 0 188280221 860409856 207734 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 210061 207734 206 16 0 209502 0
Current children cumulated CPU time (s) 380.1
Current children cumulated vsize (Kb) 840244

[startup+390.228 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=340240/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=854972 CPUtime=390.12
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 211426 0 0 0 38903 109 0 0 25 0 1 0 188280221 875491328 211397 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 213743 211397 206 16 0 213184 0
Current children cumulated CPU time (s) 390.12
Current children cumulated vsize (Kb) 854972

[startup+400.236 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=328464/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=866740 CPUtime=400.11
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 214369 0 0 0 39901 110 0 0 25 0 1 0 188280221 887541760 214340 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 216685 214340 206 16 0 216126 0
Current children cumulated CPU time (s) 400.11
Current children cumulated vsize (Kb) 866740

[startup+410.242 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=318544/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=876672 CPUtime=410.12
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 216838 0 0 0 40899 113 0 0 25 0 1 0 188280221 897712128 216809 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 219168 216809 206 16 0 218609 0
Current children cumulated CPU time (s) 410.12
Current children cumulated vsize (Kb) 876672

[startup+420.248 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=305936/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=889276 CPUtime=420.13
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 219984 0 0 0 41897 116 0 0 25 0 1 0 188280221 910618624 219955 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 222319 219955 206 16 0 221760 0
Current children cumulated CPU time (s) 420.13
Current children cumulated vsize (Kb) 889276

[startup+430.254 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=298960/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=896312 CPUtime=430.13
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 221720 0 0 0 42896 117 0 0 25 0 1 0 188280221 917823488 221691 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 224078 221691 206 16 0 223519 0
Current children cumulated CPU time (s) 430.13
Current children cumulated vsize (Kb) 896312

[startup+440.26 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=291664/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=903556 CPUtime=440.13
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 223541 0 0 0 43895 118 0 0 25 0 1 0 188280221 925241344 223512 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 225889 223512 206 16 0 225330 0
Current children cumulated CPU time (s) 440.13
Current children cumulated vsize (Kb) 903556

[startup+450.266 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=281296/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=913964 CPUtime=450.14
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 226128 0 0 0 44893 121 0 0 25 0 1 0 188280221 935899136 226099 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 228491 226099 206 16 0 227932 0
Current children cumulated CPU time (s) 450.14
Current children cumulated vsize (Kb) 913964

[startup+460.27 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=272528/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=922768 CPUtime=460.13
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 228318 0 0 0 45891 122 0 0 25 0 1 0 188280221 944914432 228289 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 230692 228289 206 16 0 230133 0
Current children cumulated CPU time (s) 460.13
Current children cumulated vsize (Kb) 922768

[startup+470.276 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=266192/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=929128 CPUtime=470.14
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 229902 0 0 0 46891 123 0 0 25 0 1 0 188280221 951427072 229873 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 232282 229873 206 16 0 231723 0
Current children cumulated CPU time (s) 470.14
Current children cumulated vsize (Kb) 929128

[startup+480.282 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=257232/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=938104 CPUtime=480.14
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 232127 0 0 0 47889 125 0 0 25 0 1 0 188280221 960618496 232098 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 234526 232098 206 16 0 233967 0
Current children cumulated CPU time (s) 480.14
Current children cumulated vsize (Kb) 938104

[startup+490.288 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4604
/proc/meminfo: memFree=248656/2055920 swapFree=4181460/4192956
[pid=4602] ppid=4600 vsize=946588 CPUtime=490.15
/proc/4602/stat : 4602 (Pueblo13) R 4600 4602 4557 0 -1 4194304 234275 0 0 0 48888 127 0 0 25 0 1 0 188280221 969306112 234246 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4602/statm: 236647 234246 206 16 0 236088 0
Current children cumulated CPU time (s) 490.15
Current children cumulated vsize (Kb) 946588

Child status: 10
Real time (s): 499.438
CPU time (s): 499.3
CPU user time (s): 497.864
CPU system time (s): 1.43578
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (Kb): 946588

Launcher Data (download as text)

Begin job on node25 on Fri Jun  2 05:29:28 UTC 2006


FILE ID= 37323-1149226166

PBS_JOBID= 295853

BENCH NAME= ROOT/tmp/node25/37323-1149226166/instance-37323-1149226166.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node25/37323-1149226166/instance-37323-1149226166.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-37323-1149226166 -o ROOT/results/node25/solver-37323-1149226166 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node25/37323-1149226166/instance-37323-1149226166.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  ab4957c8b8761f975030868126e78f02

RANDOM SEED= 382743493


/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.236
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.236
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:       1186520 kB
Buffers:         38048 kB
Cached:         758796 kB
SwapCached:       3244 kB
Active:         357236 kB
Inactive:       448372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1186520 kB
SwapTotal:     4192956 kB
SwapFree:      4181460 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            49784 kB
Committed_AS:   217012 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node25 on Fri Jun  2 05:37:48 UTC 2006