Trace number 45073

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 845.952 766.036

General information on the benchmark

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

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/node6/watcher-45073-1149641827 -o ROOT/results/node6/solver-45073-1149641827 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node6/45073-1149641827/instance-45073-1149641827.opb 487942442 ROOT/tmp/node6/45073-1149641827 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.80 0.91 0.93 3/64 11390
/proc/meminfo: memFree=1532888/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) R 11388 11390 11344 0 -1 4194304 185 0 0 0 0 0 0 0 19 0 1 0 229846251 5488640 154 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268583010386 0 0 4096 0 0 0 0 17 1 0 0
/proc/11390/statm: 1339 157 128 169 0 50 0

[startup+10.0033 s]
/proc/loadavg: 0.83 0.91 0.93 2/69 11395
/proc/meminfo: memFree=1516400/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=0
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11393] ppid=11392 vsize=12400 CPUtime=9.98
/proc/11393/stat : 11393 (pb2smodels) R 11392 11390 11344 0 -1 4194304 516 0 0 0 997 1 0 0 25 0 1 0 229846253 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268582720960 0 0 4224 0 0 0 0 17 1 0 0
/proc/11393/statm: 3100 474 340 3 0 200 0
[pid=11394] ppid=11392 vsize=17092 CPUtime=4.18
/proc/11394/stat : 11394 (smodels-2.31) S 11392 11390 11344 0 -1 4194304 3932 0 0 0 416 2 0 0 16 0 1 0 229846253 17502208 3896 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/11394/statm: 4273 3896 203 21 0 3709 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 417 0 0 0 0 0 0 0 22 0 1 0 229846253 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 14.16
Current children cumulated vsize (Kb) 52476

[startup+20.0112 s]
/proc/loadavg: 0.94 0.93 0.94 2/69 11395
/proc/meminfo: memFree=1502128/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=0
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11393] ppid=11392 vsize=12400 CPUtime=19.98
/proc/11393/stat : 11393 (pb2smodels) R 11392 11390 11344 0 -1 4194304 516 0 0 0 1996 2 0 0 25 0 1 0 229846253 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268601066580 0 0 4224 0 0 0 0 17 1 0 0
/proc/11393/statm: 3100 474 340 3 0 200 0
[pid=11394] ppid=11392 vsize=31480 CPUtime=8.38
/proc/11394/stat : 11394 (smodels-2.31) S 11392 11390 11344 0 -1 4194304 7547 0 0 0 833 5 0 0 16 0 1 0 229846253 32235520 7511 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/11394/statm: 7870 7511 203 21 0 7306 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 417 0 0 0 0 0 0 0 22 0 1 0 229846253 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 28.36
Current children cumulated vsize (Kb) 66864

[startup+30.0192 s]
/proc/loadavg: 1.02 0.95 0.94 2/69 11395
/proc/meminfo: memFree=1486640/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=0
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11393] ppid=11392 vsize=12400 CPUtime=29.97
/proc/11393/stat : 11393 (pb2smodels) R 11392 11390 11344 0 -1 4194304 516 0 0 0 2994 3 0 0 25 0 1 0 229846253 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268600644377 0 0 4224 0 0 0 0 17 0 0 0
/proc/11393/statm: 3100 474 340 3 0 200 0
[pid=11394] ppid=11392 vsize=46924 CPUtime=13.25
/proc/11394/stat : 11394 (smodels-2.31) S 11392 11390 11344 0 -1 4194304 11415 0 0 0 1318 7 0 0 16 0 1 0 229846253 48050176 11379 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/11394/statm: 11731 11379 203 21 0 11167 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 417 0 0 0 0 0 0 0 22 0 1 0 229846253 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 43.22
Current children cumulated vsize (Kb) 82308

[startup+40.0262 s]
/proc/loadavg: 1.09 0.97 0.95 2/69 11395
/proc/meminfo: memFree=1471088/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=0
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11393] ppid=11392 vsize=12400 CPUtime=39.97
/proc/11393/stat : 11393 (pb2smodels) R 11392 11390 11344 0 -1 4194304 516 0 0 0 3993 4 0 0 25 0 1 0 229846253 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268600933433 0 0 4224 0 0 0 0 17 1 0 0
/proc/11393/statm: 3100 474 340 3 0 200 0
[pid=11394] ppid=11392 vsize=62500 CPUtime=18.38
/proc/11394/stat : 11394 (smodels-2.31) S 11392 11390 11344 0 -1 4194304 15304 0 0 0 1828 10 0 0 16 0 1 0 229846253 64000000 15268 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/11394/statm: 15625 15268 203 21 0 15061 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 417 0 0 0 0 0 0 0 22 0 1 0 229846253 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 58.35
Current children cumulated vsize (Kb) 97884

[startup+50.0332 s]
/proc/loadavg: 1.15 0.98 0.95 3/69 11395
/proc/meminfo: memFree=1455600/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=0
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11393] ppid=11392 vsize=12400 CPUtime=49.96
/proc/11393/stat : 11393 (pb2smodels) R 11392 11390 11344 0 -1 4194304 516 0 0 0 4991 5 0 0 25 0 1 0 229846253 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268600763387 0 0 4224 0 0 0 0 17 1 0 0
/proc/11393/statm: 3100 474 340 3 0 200 0
[pid=11394] ppid=11392 vsize=77944 CPUtime=23.37
/proc/11394/stat : 11394 (smodels-2.31) S 11392 11390 11344 0 -1 4194304 19162 0 0 0 2325 12 0 0 16 0 1 0 229846253 79814656 19126 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/11394/statm: 19486 19126 203 21 0 18922 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 417 0 0 0 0 0 0 0 22 0 1 0 229846253 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 73.33
Current children cumulated vsize (Kb) 113328

[startup+60.0402 s]
/proc/loadavg: 1.28 1.02 0.96 2/69 11395
/proc/meminfo: memFree=1440048/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=0
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11393] ppid=11392 vsize=12400 CPUtime=59.95
/proc/11393/stat : 11393 (pb2smodels) R 11392 11390 11344 0 -1 4194304 516 0 0 0 5989 6 0 0 25 0 1 0 229846253 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268600755899 0 0 4224 0 0 0 0 17 1 0 0
/proc/11393/statm: 3100 474 340 3 0 200 0
[pid=11394] ppid=11392 vsize=93520 CPUtime=28.47
/proc/11394/stat : 11394 (smodels-2.31) S 11392 11390 11344 0 -1 4194304 23042 0 0 0 2833 14 0 0 16 0 1 0 229846253 95764480 23006 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/11394/statm: 23380 23006 203 21 0 22816 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 417 0 0 0 0 0 0 0 22 0 1 0 229846253 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 88.42
Current children cumulated vsize (Kb) 128904

[startup+70.0471 s]
/proc/loadavg: 1.39 1.05 0.97 3/69 11395
/proc/meminfo: memFree=1424560/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=0
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11393] ppid=11392 vsize=12400 CPUtime=69.95
/proc/11393/stat : 11393 (pb2smodels) R 11392 11390 11344 0 -1 4194304 516 0 0 0 6988 7 0 0 25 0 1 0 229846253 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268600747072 0 0 4224 0 0 0 0 17 1 0 0
/proc/11393/statm: 3100 474 340 3 0 200 0
[pid=11394] ppid=11392 vsize=108964 CPUtime=33.48
/proc/11394/stat : 11394 (smodels-2.31) S 11392 11390 11344 0 -1 4194304 26898 0 0 0 3332 16 0 0 16 0 1 0 229846253 111579136 26862 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/11394/statm: 27241 26862 203 21 0 26677 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 417 0 0 0 0 0 0 0 22 0 1 0 229846253 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 103.43
Current children cumulated vsize (Kb) 144348

[startup+80.0541 s]
/proc/loadavg: 1.40 1.06 0.98 3/69 11395
/proc/meminfo: memFree=1409008/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=0
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11393] ppid=11392 vsize=12400 CPUtime=79.95
/proc/11393/stat : 11393 (pb2smodels) R 11392 11390 11344 0 -1 4194304 516 0 0 0 7987 8 0 0 25 0 1 0 229846253 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 268600746705 0 0 4224 0 0 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 750.37
Current children cumulated vsize (Kb) 369772

[startup+680.453 s]
/proc/loadavg: 1.00 1.02 1.00 2/68 11590
/proc/meminfo: memFree=1198912/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=160.1
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 651 0 0 0 0 15994 16 16 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11394] ppid=11392 vsize=334520 CPUtime=600.28
/proc/11394/stat : 11394 (smodels-2.31) R 11392 11390 11344 0 -1 4194304 83303 0 0 0 59977 51 0 0 25 0 1 0 229846253 342548480 83267 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/11394/statm: 83630 83267 211 21 0 83066 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846253 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 760.38
Current children cumulated vsize (Kb) 369772

[startup+690.46 s]
/proc/loadavg: 1.00 1.02 1.00 2/68 11590
/proc/meminfo: memFree=1198912/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=160.1
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 651 0 0 0 0 15994 16 16 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11394] ppid=11392 vsize=334520 CPUtime=610.28
/proc/11394/stat : 11394 (smodels-2.31) R 11392 11390 11344 0 -1 4194304 83303 0 0 0 60977 51 0 0 25 0 1 0 229846253 342548480 83267 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539728 0 0 4096 0 0 0 0 17 1 0 0
/proc/11394/statm: 83630 83267 211 21 0 83066 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846253 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 770.38
Current children cumulated vsize (Kb) 369772

[startup+700.467 s]
/proc/loadavg: 1.00 1.01 1.00 2/68 11590
/proc/meminfo: memFree=1198912/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=160.1
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 651 0 0 0 0 15994 16 16 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11394] ppid=11392 vsize=334520 CPUtime=620.28
/proc/11394/stat : 11394 (smodels-2.31) R 11392 11390 11344 0 -1 4194304 83303 0 0 0 61977 51 0 0 25 0 1 0 229846253 342548480 83267 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538393 0 0 4096 0 0 0 0 17 1 0 0
/proc/11394/statm: 83630 83267 211 21 0 83066 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846253 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 780.38
Current children cumulated vsize (Kb) 369772

[startup+710.474 s]
/proc/loadavg: 1.00 1.01 1.00 2/68 11590
/proc/meminfo: memFree=1198848/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=160.1
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 651 0 0 0 0 15994 16 16 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11394] ppid=11392 vsize=334520 CPUtime=630.29
/proc/11394/stat : 11394 (smodels-2.31) R 11392 11390 11344 0 -1 4194304 83303 0 0 0 62978 51 0 0 25 0 1 0 229846253 342548480 83267 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/11394/statm: 83630 83267 211 21 0 83066 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846253 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 790.39
Current children cumulated vsize (Kb) 369772

[startup+720.481 s]
/proc/loadavg: 1.00 1.01 1.00 2/68 11590
/proc/meminfo: memFree=1198848/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=160.1
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 651 0 0 0 0 15994 16 16 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11394] ppid=11392 vsize=334520 CPUtime=640.29
/proc/11394/stat : 11394 (smodels-2.31) R 11392 11390 11344 0 -1 4194304 83303 0 0 0 63978 51 0 0 25 0 1 0 229846253 342548480 83267 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539747 0 0 4096 0 0 0 0 17 1 0 0
/proc/11394/statm: 83630 83267 211 21 0 83066 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846253 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 800.39
Current children cumulated vsize (Kb) 369772

[startup+730.488 s]
/proc/loadavg: 1.00 1.01 1.00 2/68 11590
/proc/meminfo: memFree=1198912/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=160.1
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 651 0 0 0 0 15994 16 16 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11394] ppid=11392 vsize=334520 CPUtime=650.29
/proc/11394/stat : 11394 (smodels-2.31) R 11392 11390 11344 0 -1 4194304 83303 0 0 0 64978 51 0 0 25 0 1 0 229846253 342548480 83267 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533111 0 0 4096 0 0 0 0 17 1 0 0
/proc/11394/statm: 83630 83267 211 21 0 83066 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846253 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 810.39
Current children cumulated vsize (Kb) 369772

[startup+740.495 s]
/proc/loadavg: 1.00 1.01 1.00 2/68 11590
/proc/meminfo: memFree=1198912/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=160.1
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 651 0 0 0 0 15994 16 16 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11394] ppid=11392 vsize=334520 CPUtime=660.3
/proc/11394/stat : 11394 (smodels-2.31) R 11392 11390 11344 0 -1 4194304 83303 0 0 0 65979 51 0 0 25 0 1 0 229846253 342548480 83267 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/11394/statm: 83630 83267 211 21 0 83066 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846253 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 820.4
Current children cumulated vsize (Kb) 369772

[startup+750.502 s]
/proc/loadavg: 1.00 1.01 1.00 2/68 11590
/proc/meminfo: memFree=1198912/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=160.1
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 651 0 0 0 0 15994 16 16 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11394] ppid=11392 vsize=334520 CPUtime=670.3
/proc/11394/stat : 11394 (smodels-2.31) R 11392 11390 11344 0 -1 4194304 83303 0 0 0 66979 51 0 0 25 0 1 0 229846253 342548480 83267 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/11394/statm: 83630 83267 211 21 0 83066 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846253 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 830.4
Current children cumulated vsize (Kb) 369772

[startup+760.509 s]
/proc/loadavg: 1.00 1.01 1.00 2/68 11590
/proc/meminfo: memFree=1198912/2055924 swapFree=4181416/4192956
[pid=11390] ppid=11388 vsize=5360 CPUtime=0
/proc/11390/stat : 11390 (runpbsmodels) S 11388 11390 11344 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 229846251 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11390/statm: 1340 234 195 169 0 51 0
[pid=11391] ppid=11390 vsize=12268 CPUtime=0
/proc/11391/stat : 11391 (pbsmodels-v1.31) S 11390 11390 11344 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 229846252 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 3067 383 293 3 0 167 0
[pid=11392] ppid=11391 vsize=5356 CPUtime=160.1
/proc/11392/stat : 11392 (sh) S 11391 11390 11344 0 -1 4194304 309 651 0 0 0 0 15994 16 16 0 1 0 229846253 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11392/statm: 1339 227 188 169 0 50 0
[pid=11394] ppid=11392 vsize=334520 CPUtime=680.3
/proc/11394/stat : 11394 (smodels-2.31) R 11392 11390 11344 0 -1 4194304 83304 0 0 0 67979 51 0 0 25 0 1 0 229846253 342548480 83268 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539764 0 0 4096 0 0 0 0 17 1 0 0
/proc/11394/statm: 83630 83268 211 21 0 83066 0
[pid=11395] ppid=11392 vsize=12268 CPUtime=0
/proc/11395/stat : 11395 (pbout.new.pl) S 11392 11390 11344 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229846253 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/11395/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 840.4
Current children cumulated vsize (Kb) 369772

Child status: 0
Real time (s): 766.036
CPU time (s): 845.952
CPU user time (s): 845.207
CPU system time (s): 0.744886
CPU usage (%): 110.432
Max. virtual memory (cumulated for all children) (Kb): 369772
The end

Launcher Data (download as text)

Begin job on node6 on Wed Jun  7 00:57:20 UTC 2006


FILE ID= 45073-1149641827

PBS_JOBID= 323572

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

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  8bb4ff591e2fd696de21761de4abecdf

RANDOM SEED= 487942442


/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.268
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.268
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:      2055924 kB
MemFree:       1533096 kB
Buffers:         30744 kB
Cached:         422288 kB
SwapCached:       3384 kB
Active:         113412 kB
Inactive:       348500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1533096 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             256 kB
Writeback:           0 kB
Mapped:          14948 kB
Slab:            46980 kB
Committed_AS:   396492 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node6 on Wed Jun  7 01:10:07 UTC 2006