Trace number 45068

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 1471.06 1394.24

General information on the benchmark

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.93 0.93 0.94 2/64 6184
/proc/meminfo: memFree=1364816/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12132 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) D 6184 6184 6138 0 -1 4194304 273 0 0 0 0 0 0 0 21 0 1 0 229848688 12423168 238 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586374142 0 2147483391 4224 0 18446744072099781622 0 0 17 0 0 0
/proc/6185/statm: 3033 238 181 3 0 133 0

[startup+10.0013 s]
/proc/loadavg: 0.94 0.94 0.94 2/69 6189
/proc/meminfo: memFree=1347240/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=0
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6187] ppid=6186 vsize=12400 CPUtime=9.98
/proc/6187/stat : 6187 (pb2smodels) R 6186 6184 6138 0 -1 4194304 516 0 0 0 997 1 0 0 25 0 1 0 229848689 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 240586371170 0 0 4224 0 0 0 0 17 0 0 0
/proc/6187/statm: 3100 474 340 3 0 200 0
[pid=6188] ppid=6186 vsize=17884 CPUtime=4.79
/proc/6188/stat : 6188 (smodels-2.31) S 6186 6184 6138 0 -1 4194304 4152 0 0 0 477 2 0 0 16 0 1 0 229848689 18313216 4116 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6188/statm: 4471 4116 203 21 0 3907 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229848689 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 14.77
Current children cumulated vsize (Kb) 53268

[startup+20.0158 s]
/proc/loadavg: 1.03 0.95 0.94 2/69 6189
/proc/meminfo: memFree=1332072/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=0
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6187] ppid=6186 vsize=12400 CPUtime=19.99
/proc/6187/stat : 6187 (pb2smodels) R 6186 6184 6138 0 -1 4194304 516 0 0 0 1997 2 0 0 25 0 1 0 229848689 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 240597800368 0 0 4224 0 0 0 0 17 0 0 0
/proc/6187/statm: 3100 474 340 3 0 200 0
[pid=6188] ppid=6186 vsize=33196 CPUtime=9.56
/proc/6188/stat : 6188 (smodels-2.31) S 6186 6184 6138 0 -1 4194304 7963 0 0 0 952 4 0 0 16 0 1 0 229848689 33992704 7927 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6188/statm: 8299 7927 203 21 0 7735 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229848689 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 29.55
Current children cumulated vsize (Kb) 68580

[startup+30.0231 s]
/proc/loadavg: 1.10 0.97 0.95 2/69 6189
/proc/meminfo: memFree=1316904/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=0
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6187] ppid=6186 vsize=12400 CPUtime=29.99
/proc/6187/stat : 6187 (pb2smodels) R 6186 6184 6138 0 -1 4194304 516 0 0 0 2996 3 0 0 25 0 1 0 229848689 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 240586371026 0 0 4224 0 0 0 0 17 0 0 0
/proc/6187/statm: 3100 474 340 3 0 200 0
[pid=6188] ppid=6186 vsize=48376 CPUtime=14.4
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 11770 0 0 0 1434 6 0 0 16 0 1 0 229848689 49537024 11734 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 8353403 0 0 4096 0 0 0 0 17 0 0 0
/proc/6188/statm: 12094 11734 203 21 0 11530 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229848689 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 44.39
Current children cumulated vsize (Kb) 83760

[startup+40.031 s]
/proc/loadavg: 1.24 1.00 0.96 2/69 6189
/proc/meminfo: memFree=1302248/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=0
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6187] ppid=6186 vsize=12400 CPUtime=39.99
/proc/6187/stat : 6187 (pb2smodels) R 6186 6184 6138 0 -1 4194304 516 0 0 0 3995 4 0 0 25 0 1 0 229848689 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 240586371026 0 0 4224 0 0 0 0 17 0 0 0
/proc/6187/statm: 3100 474 340 3 0 200 0
[pid=6188] ppid=6186 vsize=63160 CPUtime=19.09
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 15467 0 0 0 1901 8 0 0 16 0 1 0 229848689 64675840 15431 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/6188/statm: 15790 15431 203 21 0 15226 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229848689 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 59.08
Current children cumulated vsize (Kb) 98544

[startup+50.0388 s]
/proc/loadavg: 1.20 1.00 0.96 2/69 6189
/proc/meminfo: memFree=1288104/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=0
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6187] ppid=6186 vsize=12400 CPUtime=49.99
/proc/6187/stat : 6187 (pb2smodels) R 6186 6184 6138 0 -1 4194304 516 0 0 0 4994 5 0 0 25 0 1 0 229848689 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 240597547204 0 0 4224 0 0 0 0 17 0 0 0
/proc/6187/statm: 3100 474 340 3 0 200 0
[pid=6188] ppid=6186 vsize=77416 CPUtime=23.4
/proc/6188/stat : 6188 (smodels-2.31) S 6186 6184 6138 0 -1 4194304 19011 0 0 0 2329 11 0 0 16 0 1 0 229848689 79273984 18975 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/6188/statm: 19354 18975 203 21 0 18790 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229848689 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 73.39
Current children cumulated vsize (Kb) 112800

[startup+60.0475 s]
/proc/loadavg: 1.25 1.02 0.96 2/69 6189
/proc/meminfo: memFree=1273000/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=0
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6187] ppid=6186 vsize=12400 CPUtime=59.99
/proc/6187/stat : 6187 (pb2smodels) R 6186 6184 6138 0 -1 4194304 516 0 0 0 5993 6 0 0 25 0 1 0 229848689 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 240597794266 0 0 4224 0 0 0 0 17 0 0 0
/proc/6187/statm: 3100 474 340 3 0 200 0
[pid=6188] ppid=6186 vsize=92464 CPUtime=28.3
/proc/6188/stat : 6188 (smodels-2.31) S 6186 6184 6138 0 -1 4194304 22791 0 0 0 2817 13 0 0 16 0 1 0 229848689 94683136 22755 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6188/statm: 23116 22755 203 21 0 22552 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229848689 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 88.29
Current children cumulated vsize (Kb) 127848

[startup+70.0546 s]
/proc/loadavg: 1.28 1.03 0.97 2/69 6189
/proc/meminfo: memFree=1258792/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=0
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6187] ppid=6186 vsize=12400 CPUtime=69.98
/proc/6187/stat : 6187 (pb2smodels) R 6186 6184 6138 0 -1 4194304 516 0 0 0 6992 6 0 0 25 0 1 0 229848689 12697600 474 18446744073709551615 4194304 4206940 548682069072 18446744073709551615 240586371026 0 0 4224 0 0 0 0 17 0 0 0
/proc/6187/statm: 3100 474 340 3 0 200 0
[pid=6188] ppid=6186 vsize=106720 CPUtime=32.62
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 26336 0 0 0 3247 15 0 0 16 0 1 0 229848689 109281280 26300 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 8353403 0 0 4096 0 0 0 0 17 0 0 0
/proc/6188/statm: 26680 26300 203 21 0 26116 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 417 0 0 0 0 0 0 0 21 0 1 0 229848689 12562432 377 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 377 289 3 0 167 0
Current children cumulated CPU time (s) 102.6
Current children cumulated vsize (Kb) 142104

[startup+80.0618 s]
/proc/loadavg: 1.39 1.07 0.98 2/69 6189
/proc/meminfo: memFree=1244392/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=0
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 0 0 0 0 0 0 0 18 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1377.65
Current children cumulated vsize (Kb) 369792

[startup+1310.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6384
/proc/meminfo: memFree=1030512/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=169.16
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 651 0 0 0 0 16902 14 16 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6188] ppid=6186 vsize=334540 CPUtime=1218.49
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 83316 0 0 0 121799 50 0 0 25 0 1 0 229848689 342568960 83280 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/6188/statm: 83635 83280 211 21 0 83071 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229848689 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 1387.65
Current children cumulated vsize (Kb) 369792

[startup+1320.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6384
/proc/meminfo: memFree=1030512/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=169.16
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 651 0 0 0 0 16902 14 16 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6188] ppid=6186 vsize=334540 CPUtime=1228.5
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 83316 0 0 0 122800 50 0 0 25 0 1 0 229848689 342568960 83280 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/6188/statm: 83635 83280 211 21 0 83071 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229848689 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 1397.66
Current children cumulated vsize (Kb) 369792

[startup+1330.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6384
/proc/meminfo: memFree=1030512/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=169.16
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 651 0 0 0 0 16902 14 16 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6188] ppid=6186 vsize=334540 CPUtime=1238.5
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 83316 0 0 0 123800 50 0 0 25 0 1 0 229848689 342568960 83280 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/6188/statm: 83635 83280 211 21 0 83071 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229848689 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 1407.66
Current children cumulated vsize (Kb) 369792

[startup+1340.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6384
/proc/meminfo: memFree=1030512/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=169.16
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 651 0 0 0 0 16902 14 16 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6188] ppid=6186 vsize=334540 CPUtime=1248.5
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 83319 0 0 0 124800 50 0 0 25 0 1 0 229848689 342568960 83283 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/6188/statm: 83635 83283 211 21 0 83071 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229848689 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 1417.66
Current children cumulated vsize (Kb) 369792

[startup+1350.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6384
/proc/meminfo: memFree=1030448/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=169.16
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 651 0 0 0 0 16902 14 16 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6188] ppid=6186 vsize=334540 CPUtime=1258.51
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 83323 0 0 0 125801 50 0 0 25 0 1 0 229848689 342568960 83287 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/6188/statm: 83635 83287 211 21 0 83071 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229848689 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 1427.67
Current children cumulated vsize (Kb) 369792

[startup+1360.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6384
/proc/meminfo: memFree=1030448/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=169.16
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 651 0 0 0 0 16902 14 16 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6188] ppid=6186 vsize=334540 CPUtime=1268.51
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 83326 0 0 0 126801 50 0 0 25 0 1 0 229848689 342568960 83290 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/6188/statm: 83635 83290 211 21 0 83071 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229848689 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 1437.67
Current children cumulated vsize (Kb) 369792

[startup+1370.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6384
/proc/meminfo: memFree=1030448/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=169.16
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 651 0 0 0 0 16902 14 16 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6188] ppid=6186 vsize=334672 CPUtime=1278.52
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 83327 0 0 0 127802 50 0 0 25 0 1 0 229848689 342704128 83291 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538389 0 0 4096 0 0 0 0 17 1 0 0
/proc/6188/statm: 83668 83291 211 21 0 83104 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229848689 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 1447.68
Current children cumulated vsize (Kb) 369924

[startup+1380.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6384
/proc/meminfo: memFree=1030448/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=169.16
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 651 0 0 0 0 16902 14 16 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6188] ppid=6186 vsize=334672 CPUtime=1288.52
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 83327 0 0 0 128802 50 0 0 25 0 1 0 229848689 342704128 83291 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532897 0 0 4096 0 0 0 0 17 1 0 0
/proc/6188/statm: 83668 83291 211 21 0 83104 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229848689 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 1457.68
Current children cumulated vsize (Kb) 369924

[startup+1390.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 6384
/proc/meminfo: memFree=1030448/2055920 swapFree=4181360/4192956
[pid=6184] ppid=6182 vsize=5360 CPUtime=0
/proc/6184/stat : 6184 (runpbsmodels) S 6182 6184 6138 0 -1 4194304 286 0 0 0 0 0 0 0 20 0 1 0 229848688 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6184/statm: 1340 234 195 169 0 51 0
[pid=6185] ppid=6184 vsize=12268 CPUtime=0
/proc/6185/stat : 6185 (pbsmodels-v1.31) S 6184 6184 6138 0 -1 4194304 425 0 0 0 0 0 0 0 21 0 1 0 229848688 12562432 383 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 240586375060 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/6185/statm: 3067 383 293 3 0 167 0
[pid=6186] ppid=6185 vsize=5356 CPUtime=169.16
/proc/6186/stat : 6186 (sh) S 6185 6184 6138 0 -1 4194304 309 651 0 0 0 0 16902 14 16 0 1 0 229848689 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6186/statm: 1339 227 188 169 0 50 0
[pid=6188] ppid=6186 vsize=334672 CPUtime=1298.52
/proc/6188/stat : 6188 (smodels-2.31) R 6186 6184 6138 0 -1 4194304 83329 0 0 0 129802 50 0 0 25 0 1 0 229848689 342704128 83293 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/6188/statm: 83668 83293 211 21 0 83104 0
[pid=6189] ppid=6186 vsize=12268 CPUtime=0
/proc/6189/stat : 6189 (pbout.new.pl) S 6186 6184 6138 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 229848689 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 240586371170 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/6189/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 1467.68
Current children cumulated vsize (Kb) 369924

Child status: 0
Real time (s): 1394.24
CPU time (s): 1471.06
CPU user time (s): 1470.34
CPU system time (s): 0.71889
CPU usage (%): 105.509
Max. virtual memory (cumulated for all children) (Kb): 369924
The end

Launcher Data (download as text)

Begin job on node50 on Wed Jun  7 00:56:51 UTC 2006


FILE ID= 45068-1149641798

PBS_JOBID= 323567

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

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  81a731c23b82a1147f726d3bcf60f6bf

RANDOM SEED= 61289595


/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.238
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.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1364960 kB
Buffers:         34324 kB
Cached:         583364 kB
SwapCached:       3356 kB
Active:         172012 kB
Inactive:       454660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1364960 kB
SwapTotal:     4192956 kB
SwapFree:      4181360 kB
Dirty:             256 kB
Writeback:           0 kB
Mapped:          14964 kB
Slab:            50300 kB
Committed_AS:   437148 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 node50 on Wed Jun  7 01:20:10 UTC 2006