Trace number 45070

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

runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node88/watcher-45070-1149641805 -o ROOT/results/node88/solver-45070-1149641805 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node88/45070-1149641805/instance-45070-1149641805.opb 526900753 ROOT/tmp/node88/45070-1149641805 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.93 0.90 0.88 2/68 30484
/proc/meminfo: memFree=1360760/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5364 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) R 30482 30484 30438 0 -1 4194304 223 0 0 0 0 0 0 0 19 0 1 0 229821082 5492736 191 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235097140 0 0 4100 0 0 0 0 17 1 0 0
/proc/30484/statm: 1341 198 163 169 0 51 0

[startup+10.0031 s]
/proc/loadavg: 1.02 0.92 0.89 2/73 30489
/proc/meminfo: memFree=1342864/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=0
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30487] ppid=30486 vsize=12404 CPUtime=9.97
/proc/30487/stat : 30487 (pb2smodels) R 30486 30484 30438 0 -1 4194304 517 0 0 0 997 0 0 0 25 0 1 0 229821084 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 224253275896 0 0 4224 0 0 0 0 17 1 0 0
/proc/30487/statm: 3101 476 342 3 0 200 0
[pid=30488] ppid=30486 vsize=18548 CPUtime=4.57
/proc/30488/stat : 30488 (smodels-2.31) S 30486 30484 30438 0 -1 4194304 4295 0 0 0 454 3 0 0 16 0 1 0 229821084 18993152 4259 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/30488/statm: 4637 4259 200 21 0 4072 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229821084 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 14.54
Current children cumulated vsize (Kb) 53956

[startup+20.0101 s]
/proc/loadavg: 1.09 0.94 0.89 3/73 30489
/proc/meminfo: memFree=1327184/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=0
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30487] ppid=30486 vsize=12404 CPUtime=19.96
/proc/30487/stat : 30487 (pb2smodels) R 30486 30484 30438 0 -1 4194304 517 0 0 0 1995 1 0 0 25 0 1 0 229821084 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 224253278905 0 0 4224 0 0 0 0 17 1 0 0
/proc/30487/statm: 3101 476 342 3 0 200 0
[pid=30488] ppid=30486 vsize=34388 CPUtime=9.12
/proc/30488/stat : 30488 (smodels-2.31) S 30486 30484 30438 0 -1 4194304 8252 0 0 0 907 5 0 0 16 0 1 0 229821084 35213312 8216 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/30488/statm: 8597 8216 200 21 0 8032 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229821084 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 29.08
Current children cumulated vsize (Kb) 69796

[startup+30.0171 s]
/proc/loadavg: 1.08 0.94 0.89 3/73 30489
/proc/meminfo: memFree=1311376/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=0
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30487] ppid=30486 vsize=12404 CPUtime=29.96
/proc/30487/stat : 30487 (pb2smodels) R 30486 30484 30438 0 -1 4194304 517 0 0 0 2994 2 0 0 25 0 1 0 229821084 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 224253652398 0 0 4224 0 0 0 0 17 1 0 0
/proc/30487/statm: 3101 476 342 3 0 200 0
[pid=30488] ppid=30486 vsize=50228 CPUtime=13.82
/proc/30488/stat : 30488 (smodels-2.31) S 30486 30484 30438 0 -1 4194304 12228 0 0 0 1374 8 0 0 16 0 1 0 229821084 51433472 12192 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/30488/statm: 12557 12192 200 21 0 11992 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229821084 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 43.78
Current children cumulated vsize (Kb) 85636

[startup+40.0241 s]
/proc/loadavg: 1.15 0.96 0.90 2/73 30489
/proc/meminfo: memFree=1295568/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=0
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30487] ppid=30486 vsize=12404 CPUtime=39.95
/proc/30487/stat : 30487 (pb2smodels) R 30486 30484 30438 0 -1 4194304 517 0 0 0 3992 3 0 0 25 0 1 0 229821084 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 224253218943 0 0 4224 0 0 0 0 17 1 0 0
/proc/30487/statm: 3101 476 342 3 0 200 0
[pid=30488] ppid=30486 vsize=65936 CPUtime=18.52
/proc/30488/stat : 30488 (smodels-2.31) S 30486 30484 30438 0 -1 4194304 16164 0 0 0 1841 11 0 0 16 0 1 0 229821084 67518464 16128 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/30488/statm: 16484 16128 200 21 0 15919 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229821084 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 58.47
Current children cumulated vsize (Kb) 101344

[startup+50.0311 s]
/proc/loadavg: 1.20 0.98 0.91 3/73 30489
/proc/meminfo: memFree=1279760/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=0
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30487] ppid=30486 vsize=12404 CPUtime=49.95
/proc/30487/stat : 30487 (pb2smodels) R 30486 30484 30438 0 -1 4194304 517 0 0 0 4991 4 0 0 25 0 1 0 229821084 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 224253274881 0 0 4224 0 0 0 0 17 1 0 0
/proc/30487/statm: 3101 476 342 3 0 200 0
[pid=30488] ppid=30486 vsize=81776 CPUtime=23.28
/proc/30488/stat : 30488 (smodels-2.31) S 30486 30484 30438 0 -1 4194304 20125 0 0 0 2315 13 0 0 16 0 1 0 229821084 83738624 20089 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/30488/statm: 20444 20089 200 21 0 19879 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229821084 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 73.23
Current children cumulated vsize (Kb) 117184

[startup+60.0381 s]
/proc/loadavg: 1.25 1.00 0.91 3/73 30489
/proc/meminfo: memFree=1263952/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=0
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30487] ppid=30486 vsize=12404 CPUtime=59.95
/proc/30487/stat : 30487 (pb2smodels) R 30486 30484 30438 0 -1 4194304 517 0 0 0 5990 5 0 0 25 0 1 0 229821084 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 224253645490 0 0 4224 0 0 0 0 17 1 0 0
/proc/30487/statm: 3101 476 342 3 0 200 0
[pid=30488] ppid=30486 vsize=97616 CPUtime=28.01
/proc/30488/stat : 30488 (smodels-2.31) S 30486 30484 30438 0 -1 4194304 24061 0 0 0 2786 15 0 0 16 0 1 0 229821084 99958784 24025 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/30488/statm: 24404 24025 200 21 0 23839 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229821084 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 87.96
Current children cumulated vsize (Kb) 133024

[startup+70.0451 s]
/proc/loadavg: 1.21 1.00 0.91 2/73 30489
/proc/meminfo: memFree=1248080/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=0
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30487] ppid=30486 vsize=12404 CPUtime=69.94
/proc/30487/stat : 30487 (pb2smodels) R 30486 30484 30438 0 -1 4194304 517 0 0 0 6988 6 0 0 25 0 1 0 229821084 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 224253331696 0 0 4224 0 0 0 0 17 1 0 0
/proc/30487/statm: 3101 476 342 3 0 200 0
[pid=30488] ppid=30486 vsize=113456 CPUtime=32.81
/proc/30488/stat : 30488 (smodels-2.31) S 30486 30484 30438 0 -1 4194304 28016 0 0 0 3263 18 0 0 16 0 1 0 229821084 116178944 27980 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563651996 0 0 17 1 0 0
/proc/30488/statm: 28364 27980 200 21 0 27799 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 418 0 0 0 0 0 0 0 21 0 1 0 229821084 12566528 379 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 379 291 3 0 167 0
Current children cumulated CPU time (s) 102.75
Current children cumulated vsize (Kb) 148864

[startup+80.0521 s]
/proc/loadavg: 1.33 1.03 0.92 3/73 30489
/proc/meminfo: memFree=1232336/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=0
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 0 0 0 0 0 0 0 18 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30487] ppid=30486 vsize=12404 CPUtime=79.93
/proc/30487/stat : 30487 (pb2smodels) R 30486 30484 30438 0 -1 4194304 517 0 0 0 7986 7 0 0 25 0 1 0 229821084 12701696 476 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 224253654755 0 0 4224 0 0 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 774.66
Current children cumulated vsize (Kb) 369928

[startup+710.466 s]
/proc/loadavg: 1.00 1.01 0.95 2/72 30684
/proc/meminfo: memFree=1026968/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=155.36
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 651 0 0 0 0 15521 15 16 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30488] ppid=30486 vsize=334652 CPUtime=629.3
/proc/30488/stat : 30488 (smodels-2.31) R 30486 30484 30438 0 -1 4194304 83319 0 0 0 62883 47 0 0 25 0 1 0 229821084 342683648 83283 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539260 0 0 4096 0 0 0 0 17 1 0 0
/proc/30488/statm: 83663 83283 208 21 0 83098 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229821084 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 784.66
Current children cumulated vsize (Kb) 369928

[startup+720.472 s]
/proc/loadavg: 1.00 1.00 0.95 2/72 30684
/proc/meminfo: memFree=1026904/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=155.36
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 651 0 0 0 0 15521 15 16 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30488] ppid=30486 vsize=334652 CPUtime=639.3
/proc/30488/stat : 30488 (smodels-2.31) R 30486 30484 30438 0 -1 4194304 83319 0 0 0 63883 47 0 0 25 0 1 0 229821084 342683648 83283 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538389 0 0 4096 0 0 0 0 17 1 0 0
/proc/30488/statm: 83663 83283 208 21 0 83098 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229821084 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 794.66
Current children cumulated vsize (Kb) 369928

[startup+730.479 s]
/proc/loadavg: 1.00 1.00 0.95 2/72 30684
/proc/meminfo: memFree=1026904/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=155.36
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 651 0 0 0 0 15521 15 16 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30488] ppid=30486 vsize=334652 CPUtime=649.31
/proc/30488/stat : 30488 (smodels-2.31) R 30486 30484 30438 0 -1 4194304 83319 0 0 0 64884 47 0 0 25 0 1 0 229821084 342683648 83283 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0
/proc/30488/statm: 83663 83283 208 21 0 83098 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229821084 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 804.67
Current children cumulated vsize (Kb) 369928

[startup+740.485 s]
/proc/loadavg: 1.00 1.00 0.95 2/72 30684
/proc/meminfo: memFree=1026904/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=155.36
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 651 0 0 0 0 15521 15 16 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30488] ppid=30486 vsize=334652 CPUtime=659.31
/proc/30488/stat : 30488 (smodels-2.31) R 30486 30484 30438 0 -1 4194304 83319 0 0 0 65884 47 0 0 25 0 1 0 229821084 342683648 83283 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532759 0 0 4096 0 0 0 0 17 1 0 0
/proc/30488/statm: 83663 83283 208 21 0 83098 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229821084 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 814.67
Current children cumulated vsize (Kb) 369928

[startup+750.491 s]
/proc/loadavg: 1.00 1.00 0.95 2/72 30684
/proc/meminfo: memFree=1026904/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=155.36
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 651 0 0 0 0 15521 15 16 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30488] ppid=30486 vsize=334652 CPUtime=669.31
/proc/30488/stat : 30488 (smodels-2.31) R 30486 30484 30438 0 -1 4194304 83319 0 0 0 66884 47 0 0 25 0 1 0 229821084 342683648 83283 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/30488/statm: 83663 83283 208 21 0 83098 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229821084 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 824.67
Current children cumulated vsize (Kb) 369928

[startup+760.497 s]
/proc/loadavg: 1.00 1.00 0.95 2/72 30684
/proc/meminfo: memFree=1026904/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=155.36
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 651 0 0 0 0 15521 15 16 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30488] ppid=30486 vsize=334652 CPUtime=679.32
/proc/30488/stat : 30488 (smodels-2.31) R 30486 30484 30438 0 -1 4194304 83319 0 0 0 67884 48 0 0 25 0 1 0 229821084 342683648 83283 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538389 0 0 4096 0 0 0 0 17 1 0 0
/proc/30488/statm: 83663 83283 208 21 0 83098 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229821084 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 834.68
Current children cumulated vsize (Kb) 369928

[startup+770.504 s]
/proc/loadavg: 1.00 1.00 0.95 2/72 30684
/proc/meminfo: memFree=1026904/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=155.36
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 651 0 0 0 0 15521 15 16 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30488] ppid=30486 vsize=334652 CPUtime=689.33
/proc/30488/stat : 30488 (smodels-2.31) R 30486 30484 30438 0 -1 4194304 83319 0 0 0 68885 48 0 0 25 0 1 0 229821084 342683648 83283 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/30488/statm: 83663 83283 208 21 0 83098 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229821084 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 844.69
Current children cumulated vsize (Kb) 369928

[startup+780.51 s]
/proc/loadavg: 1.00 1.00 0.95 2/72 30684
/proc/meminfo: memFree=1026904/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=155.36
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 651 0 0 0 0 15521 15 16 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30488] ppid=30486 vsize=334652 CPUtime=699.33
/proc/30488/stat : 30488 (smodels-2.31) R 30486 30484 30438 0 -1 4194304 83319 0 0 0 69885 48 0 0 25 0 1 0 229821084 342683648 83283 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/30488/statm: 83663 83283 208 21 0 83098 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229821084 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 854.69
Current children cumulated vsize (Kb) 369928

[startup+790.516 s]
/proc/loadavg: 1.00 1.00 0.95 2/72 30684
/proc/meminfo: memFree=1026904/2055888 swapFree=4085332/4096564
[pid=30484] ppid=30482 vsize=5368 CPUtime=0
/proc/30484/stat : 30484 (runpbsmodels) S 30482 30484 30438 0 -1 4194304 285 0 0 0 0 0 0 0 19 0 1 0 229821082 5496832 233 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 1 0 0
/proc/30484/statm: 1342 233 194 169 0 52 0
[pid=30485] ppid=30484 vsize=12272 CPUtime=0
/proc/30485/stat : 30485 (pbsmodels-v1.31) S 30484 30484 30438 0 -1 4194304 424 0 0 0 0 0 0 0 18 0 1 0 229821083 12566528 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 224244318148 0 0 4230 16384 18446744071563358023 0 0 17 1 0 0
/proc/30485/statm: 3068 383 293 3 0 167 0
[pid=30486] ppid=30485 vsize=5364 CPUtime=155.36
/proc/30486/stat : 30486 (sh) S 30485 30484 30438 0 -1 4194304 308 651 0 0 0 0 15521 15 16 0 1 0 229821084 5492736 225 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 224235416132 0 65536 4100 65538 18446744071563358023 0 0 17 0 0 0
/proc/30486/statm: 1341 225 186 169 0 51 0
[pid=30488] ppid=30486 vsize=334652 CPUtime=709.33
/proc/30488/stat : 30488 (smodels-2.31) R 30486 30484 30438 0 -1 4194304 83319 0 0 0 70885 48 0 0 25 0 1 0 229821084 342683648 83283 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/30488/statm: 83663 83283 208 21 0 83098 0
[pid=30489] ppid=30486 vsize=12272 CPUtime=0
/proc/30489/stat : 30489 (pbout.new.pl) S 30486 30484 30438 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229821084 12566528 390 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 224244314258 0 0 4224 0 18446744071563651996 0 0 17 0 0 0
/proc/30489/statm: 3068 390 302 3 0 167 0
Current children cumulated CPU time (s) 864.69
Current children cumulated vsize (Kb) 369928

Child status: 0
Real time (s): 793.095
CPU time (s): 867.287
CPU user time (s): 866.588
CPU system time (s): 0.698893
CPU usage (%): 109.355
Max. virtual memory (cumulated for all children) (Kb): 369928
The end

Launcher Data (download as text)

Begin job on node88 on Wed Jun  7 00:56:57 UTC 2006


FILE ID= 45070-1149641805

PBS_JOBID= 323569

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node88/45070-1149641805/instance-45070-1149641805.opb 526900753  ROOT/tmp/node88/45070-1149641805
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node88/watcher-45070-1149641805 -o ROOT/results/node88/solver-45070-1149641805 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node88/45070-1149641805/instance-45070-1149641805.opb 526900753  ROOT/tmp/node88/45070-1149641805

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  79ed7fb7a57e7e2ac59cfc8508d281c9

RANDOM SEED= 526900753


/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.261
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	: 6006.16
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.261
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	: 5999.38
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1361160 kB
Buffers:         31392 kB
Cached:         590040 kB
SwapCached:       2468 kB
Active:         124816 kB
Inactive:       505344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1361160 kB
SwapTotal:     4096564 kB
SwapFree:      4085332 kB
Dirty:             228 kB
Writeback:           0 kB
Mapped:          16768 kB
Slab:            51156 kB
Committed_AS:   415856 kB
PageTables:       1280 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node88 on Wed Jun  7 01:10:13 UTC 2006