Trace number 3479273

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4OPT 70.2523 70.25

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-547911.opb
MD5SUMb99304baf8f7edc2dec7db9e7f912244
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark69.8924
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3528
Total number of constraints693
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)693
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint168
Maximum length of a constraint1288
Number of terms in the objective function 3528
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3528
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 3528
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3479273-1307447662.opb>
0.39/0.45	c original problem has 3528 variables (3528 bin, 0 int, 0 impl, 0 cont) and 693 constraints
0.39/0.45	c problem read
0.39/0.45	c presolving settings loaded
0.49/0.57	c presolving:
0.69/0.74	c (round 1) 0 del vars, 504 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 21 clqs
0.69/0.76	c (round 2) 0 del vars, 504 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 23 upgd conss, 0 impls, 21 clqs
2.20/2.23	c    (2.2s) probing: 101/3528 (2.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.20/2.23	c    (2.2s) probing aborted: 100/100 successive totally useless probings
2.20/2.23	c presolving (3 rounds):
2.20/2.23	c  0 deleted vars, 504 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
2.20/2.23	c  0 implications, 21 cliques
2.20/2.23	c presolved problem has 3528 variables (3528 bin, 0 int, 0 impl, 0 cont) and 189 constraints
2.20/2.23	c       2 constraints of type <knapsack>
2.20/2.23	c      21 constraints of type <setppc>
2.20/2.23	c     166 constraints of type <linear>
2.20/2.23	c transformed objective value is always integral (scale: 1)
2.20/2.23	c Presolving Time: 1.68
2.20/2.23	c - non default parameters ----------------------------------------------------------------------
2.20/2.23	c # SCIP version 2.0.1.5
2.20/2.23	c 
2.20/2.23	c # frequency for displaying node information lines
2.20/2.23	c # [type: int, range: [-1,2147483647], default: 100]
2.20/2.23	c display/freq = 10000
2.20/2.23	c 
2.20/2.23	c # maximal time in seconds to run
2.20/2.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.20/2.23	c limits/time = 1800
2.20/2.23	c 
2.20/2.23	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.20/2.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.20/2.23	c limits/memory = 13950
2.20/2.23	c 
2.20/2.23	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.20/2.23	c # [type: int, range: [1,2], default: 1]
2.20/2.23	c timing/clocktype = 2
2.20/2.23	c 
2.20/2.23	c # belongs reading time to solving time?
2.20/2.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23	c timing/reading = TRUE
2.20/2.23	c 
2.20/2.23	c # should presolving try to simplify inequalities
2.20/2.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23	c constraints/linear/simplifyinequalities = TRUE
2.20/2.23	c 
2.20/2.23	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.20/2.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23	c constraints/indicator/addCouplingCons = TRUE
2.20/2.23	c 
2.20/2.23	c # should presolving try to simplify knapsacks
2.20/2.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.20/2.23	c constraints/knapsack/simplifyinequalities = TRUE
2.20/2.23	c 
2.20/2.23	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.20/2.23	c # [type: int, range: [-1,2147483647], default: -1]
2.20/2.23	c separating/rapidlearning/freq = 0
2.20/2.23	c 
2.20/2.23	c -----------------------------------------------------------------------------------------------
2.20/2.23	c start solving
2.20/2.24	c 
3.39/3.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.39/3.43	c   3.4s|     1 |     0 |  4138 |     - |  48M|   0 |  83 |3528 | 189 |3528 | 189 |   0 |   0 |   0 | 1.248603e+01 |      --      |    Inf 
5.29/5.33	o 16
5.29/5.33	c F 5.3s|     1 |     0 | 13725 |     - |  48M|   0 |   0 |3528 | 189 |3528 | 189 |   0 |   0 |   0 | 1.248603e+01 | 1.600000e+01 |  28.14%
14.49/14.59	o 15
14.49/14.59	c E14.6s|     1 |     0 | 13725 |     - |  50M|   0 |  83 |3528 | 194 |3528 | 189 |   0 |   0 |   0 | 1.248603e+01 | 1.500000e+01 |  20.13%
14.59/14.60	c  14.6s|     1 |     0 | 13725 |     - |  50M|   0 |  83 |3528 | 194 |3528 | 189 |   0 |   0 |   0 | 1.248603e+01 | 1.500000e+01 |  20.13%
15.60/15.69	c  15.7s|     1 |     2 | 13725 |     - |  50M|   0 |  83 |3528 | 194 |3528 | 189 |   0 |   0 |   9 | 1.248603e+01 | 1.500000e+01 |  20.13%
29.71/29.76	o 14
29.71/29.76	c v29.8s|    28 |    29 | 26851 | 486.1 |  50M|   9 |   - |3528 | 194 |3528 | 189 |   0 |   0 | 280 | 1.248603e+01 | 1.400000e+01 |  12.13%
70.09/70.15	o 13
70.09/70.15	c *70.1s|   241 |     0 | 67982 | 226.1 |  50M|  26 |   - |3528 | 198 |3528 | 189 |   0 |   4 |2976 | 1.300000e+01 | 1.300000e+01 |   0.00%
70.09/70.16	c 
70.09/70.16	c SCIP Status        : problem is solved [optimal solution found]
70.09/70.16	c Solving Time (sec) : 70.16
70.09/70.16	c Solving Nodes      : 241
70.09/70.16	c Primal Bound       : +1.30000000000000e+01 (5 solutions)
70.09/70.16	c Dual Bound         : +1.30000000000000e+01
70.09/70.16	c Gap                : 0.00 %
70.19/70.20	s OPTIMUM FOUND
70.19/70.20	v -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 
70.19/70.20	v -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 
70.19/70.20	v -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 
70.19/70.20	v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 
70.19/70.20	v -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 
70.19/70.20	v -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 
70.19/70.20	v -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 
70.19/70.20	v -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 
70.19/70.20	v -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 
70.19/70.20	v -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 
70.19/70.20	v -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 
70.19/70.20	v -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 x3315 -x3314 
70.19/70.20	v -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 
70.19/70.20	v -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 
70.19/70.20	v -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 
70.19/70.20	v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 
70.19/70.20	v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 
70.19/70.20	v -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 
70.19/70.20	v -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 x3191 -x3190 -x3189 
70.19/70.20	v -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 
70.19/70.20	v -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 
70.19/70.20	v -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 
70.19/70.20	v -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 
70.19/70.20	v -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 
70.19/70.20	v -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 
70.19/70.20	v -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 
70.19/70.20	v -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 
70.19/70.20	v -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 
70.19/70.20	v -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 
70.19/70.20	v -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 
70.19/70.20	v -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 
70.19/70.20	v -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 
70.19/70.20	v -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 
70.19/70.20	v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 
70.19/70.20	v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 
70.19/70.20	v -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 
70.19/70.20	v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 
70.19/70.20	v -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 
70.19/70.20	v -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 
70.19/70.20	v -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 
70.19/70.20	v -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 
70.19/70.20	v -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 
70.19/70.20	v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 
70.19/70.20	v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 
70.19/70.20	v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 
70.19/70.20	v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 
70.19/70.20	v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 
70.19/70.20	v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 
70.19/70.20	v -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 
70.19/70.20	v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 
70.19/70.20	v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 
70.19/70.20	v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 
70.19/70.20	v -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 
70.19/70.20	v -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 
70.19/70.20	v -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 
70.19/70.20	v -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 
70.19/70.20	v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 
70.19/70.20	v -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 
70.19/70.20	v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 
70.19/70.20	v -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 
70.19/70.20	v -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 
70.19/70.20	v -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 
70.19/70.20	v -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 
70.19/70.20	v -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 
70.19/70.20	v -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 
70.19/70.20	v -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 
70.19/70.20	v -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 x2334 -x2333 -x2332 -x2331 
70.19/70.20	v -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 
70.19/70.20	v -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 
70.19/70.20	v -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 
70.19/70.20	v -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 
70.19/70.20	v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 
70.19/70.20	v -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 
70.19/70.20	v -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 
70.19/70.20	v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 
70.19/70.20	v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 
70.19/70.20	v -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 
70.19/70.20	v -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 
70.19/70.20	v -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 
70.19/70.20	v -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 
70.19/70.20	v -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 
70.19/70.20	v -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 
70.19/70.20	v -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 
70.19/70.20	v -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 
70.19/70.20	v -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 
70.19/70.20	v -x2009 x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 
70.19/70.20	v -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 
70.19/70.20	v -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 
70.19/70.20	v -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 
70.19/70.20	v -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 
70.19/70.20	v -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 
70.19/70.20	v -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 
70.19/70.20	v -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 
70.19/70.20	v -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 
70.19/70.20	v -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 
70.19/70.20	v -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 
70.19/70.20	v -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 
70.19/70.20	v -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 
70.19/70.20	v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 
70.19/70.20	v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 
70.19/70.20	v -x1741 -x1740 x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 
70.19/70.20	v -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 
70.19/70.20	v -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 
70.19/70.20	v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 
70.19/70.20	v -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 
70.19/70.20	v -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 
70.19/70.20	v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 
70.19/70.20	v -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 
70.19/70.20	v -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 
70.19/70.20	v -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 
70.19/70.20	v -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 
70.19/70.20	v -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 
70.19/70.20	v -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 
70.19/70.20	v -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 
70.19/70.20	v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 
70.19/70.20	v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 
70.19/70.20	v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 
70.19/70.20	v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 
70.19/70.20	v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 
70.19/70.20	v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 
70.19/70.20	v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 -x1368 -x1367 -x1366 
70.19/70.20	v -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 
70.19/70.20	v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 
70.19/70.20	v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 
70.19/70.20	v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 
70.19/70.20	v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 
70.19/70.20	v -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 
70.19/70.20	v -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 
70.19/70.20	v -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 
70.19/70.20	v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 
70.19/70.20	v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 
70.19/70.20	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 
70.19/70.20	v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 
70.19/70.20	v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 
70.19/70.20	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 
70.19/70.20	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 
70.19/70.20	v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 
70.19/70.20	v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 
70.19/70.20	v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 
70.19/70.20	v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 
70.19/70.20	v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 
70.19/70.20	v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 
70.19/70.20	v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 
70.19/70.20	v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 
70.19/70.20	v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 
70.19/70.20	v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 
70.19/70.20	v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 
70.19/70.20	v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 
70.19/70.20	v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 
70.19/70.20	v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 
70.19/70.20	v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 
70.19/70.20	v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 
70.19/70.20	v -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 
70.19/70.20	v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 
70.19/70.20	v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 
70.19/70.20	v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 
70.19/70.20	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 
70.19/70.20	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 
70.19/70.20	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 
70.19/70.20	v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 
70.19/70.20	v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 
70.19/70.20	v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 
70.19/70.20	v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 
70.19/70.20	v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 
70.19/70.20	v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 
70.19/70.20	v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 
70.19/70.20	v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 
70.19/70.20	v -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 
70.19/70.20	v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 
70.19/70.20	v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 
70.19/70.20	v -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 
70.19/70.20	v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 
70.19/70.20	v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 
70.19/70.20	v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 
70.19/70.20	v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 
70.19/70.20	v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 
70.19/70.20	v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 
70.19/70.20	v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 
70.19/70.20	v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 
70.19/70.20	v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 
70.19/70.20	v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 
70.19/70.20	v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 
70.19/70.20	v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 
70.19/70.20	v -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
70.19/70.20	v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
70.19/70.20	v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 
70.19/70.20	v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 
70.19/70.20	v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 
70.19/70.20	v -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
70.19/70.20	c SCIP Status        : problem is solved [optimal solution found]
70.19/70.20	c Total Time         :      70.16
70.19/70.20	c   solving          :      70.16
70.19/70.20	c   presolving       :       1.68 (included in solving)
70.19/70.20	c   reading          :       0.45 (included in solving)
70.19/70.20	c Original Problem   :
70.19/70.20	c   Problem name     : HOME/instance-3479273-1307447662.opb
70.19/70.20	c   Variables        : 3528 (3528 binary, 0 integer, 0 implicit integer, 0 continuous)
70.19/70.20	c   Constraints      : 693 initial, 693 maximal
70.19/70.20	c Presolved Problem  :
70.19/70.20	c   Problem name     : t_HOME/instance-3479273-1307447662.opb
70.19/70.20	c   Variables        : 3528 (3528 binary, 0 integer, 0 implicit integer, 0 continuous)
70.19/70.20	c   Constraints      : 189 initial, 198 maximal
70.19/70.20	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
70.19/70.20	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
70.19/70.20	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
70.19/70.20	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
70.19/70.20	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
70.19/70.20	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
70.19/70.20	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
70.19/70.20	c   probing          :       1.46          0          0          0          0          0          0          0          0          0
70.19/70.20	c   knapsack         :       0.01          0          0          0          0          0          0          0          0          0
70.19/70.20	c   setppc           :       0.00          0          0          0          0          0          0          0          0          0
70.19/70.20	c   linear           :       0.16          0          0          0          0          0        504          0          2          0
70.19/70.20	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
70.19/70.20	c   root node        :          -          0          -          -          0          -          -          -          -          -
70.19/70.20	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
70.19/70.20	c   integral         :          0          0          0        565          0         10          0          7       1764          0          0        324
70.19/70.20	c   knapsack         :          2          1       3939          1          0          7          0          0          0          0          0          0
70.19/70.20	c   setppc           :         21          1       3939          1          0          4         65          0      13654          0          0          0
70.19/70.20	c   linear           :        166+         2       3940          1          0          4          0          0          0          0          0          0
70.19/70.20	c   logicor          :          0+         0          1          0          0          0          0          0          0          0          0          0
70.19/70.20	c   countsols        :          0          0          0          1          0          6          0          0          0          0          0          0
70.19/70.20	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
70.19/70.20	c   integral         :      38.63       0.00       0.00      38.63       0.00       0.00       0.00
70.19/70.20	c   knapsack         :       0.05       0.03       0.03       0.00       0.00       0.00       0.00
70.19/70.20	c   setppc           :       0.07       0.00       0.07       0.00       0.00       0.00       0.00
70.19/70.20	c   linear           :       7.66       5.89       1.76       0.00       0.00       0.00       0.00
70.19/70.20	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
70.19/70.20	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
70.19/70.20	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
70.19/70.20	c   vbounds          :          0          0          0          0
70.19/70.20	c   rootredcost      :          1          0          0          0
70.19/70.20	c   pseudoobj        :       3741          0          0          0
70.19/70.20	c Propagator Timings :  TotalTime  Propagate    Resprop
70.19/70.20	c   vbounds          :       0.00       0.00       0.00
70.19/70.20	c   rootredcost      :       0.00       0.00       0.00
70.19/70.20	c   pseudoobj        :       0.12       0.12       0.00
70.19/70.20	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
70.19/70.20	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
70.19/70.20	c   infeasible LP    :       0.00          2          2         10      204.1          0        0.0          0
70.19/70.20	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
70.19/70.20	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
70.19/70.20	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
70.19/70.20	c   applied globally :          -          -          -          4      231.0          -          -          -
70.19/70.20	c   applied locally  :          -          -          -          0        0.0          -          -          -
70.19/70.20	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
70.19/70.20	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
70.19/70.20	c   redcost          :       0.20        274          0      32481          0          0
70.19/70.20	c   impliedbounds    :       0.00          2          0          0          0          0
70.19/70.20	c   intobj           :       0.00          0          0          0          0          0
70.19/70.20	c   gomory           :       0.00          2          0          0          0          0
70.19/70.20	c   cgmip            :       0.00          0          0          0          0          0
70.19/70.20	c   closecuts        :       0.00          0          0          0          0          0
70.19/70.20	c   strongcg         :       0.00          2          0          0          0          0
70.19/70.20	c   cmir             :       0.00          2          0          0          0          0
70.19/70.20	c   flowcover        :       0.13          2          0          0          0          0
70.19/70.20	c   clique           :       0.00          2          0          0          0          0
70.19/70.20	c   zerohalf         :       0.00          0          0          0          0          0
70.19/70.20	c   mcf              :       0.00          1          0          0          0          0
70.19/70.20	c   oddcycle         :       0.00          0          0          0          0          0
70.19/70.20	c   rapidlearning    :       1.61          1          0          0          0          5
70.19/70.20	c Pricers            :       Time      Calls       Vars
70.19/70.20	c   problem variables:       0.00          0          0
70.19/70.20	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
70.19/70.20	c   relpscost        :      38.63        564          7       1764          0          0        324
70.19/70.20	c   pscost           :       0.00          0          0          0          0          0          0
70.19/70.20	c   inference        :       0.00          0          0          0          0          0          0
70.19/70.20	c   mostinf          :       0.00          0          0          0          0          0          0
70.19/70.20	c   leastinf         :       0.00          0          0          0          0          0          0
70.19/70.20	c   fullstrong       :       0.00          0          0          0          0          0          0
70.19/70.20	c   allfullstrong    :       0.00          0          0          0          0          0          0
70.19/70.20	c   random           :       0.00          0          0          0          0          0          0
70.19/70.20	c Primal Heuristics  :       Time      Calls      Found
70.19/70.20	c   LP solutions     :       0.00          -          1
70.19/70.20	c   pseudo solutions :       0.00          -          0
70.19/70.20	c   linesearchdiving :       0.00          0          0
70.19/70.20	c   guideddiving     :       0.00          0          0
70.19/70.20	c   oneopt           :       0.01          2          0
70.19/70.20	c   coefdiving       :       0.98          1          0
70.19/70.20	c   pscostdiving     :       0.58          1          0
70.19/70.20	c   fracdiving       :       0.58          1          0
70.19/70.20	c   veclendiving     :       0.44          1          1
70.19/70.20	c   feaspump         :       1.90          1          1
70.19/70.20	c   objpscostdiving  :       0.15          1          0
70.19/70.20	c   rootsoldiving    :       0.32          1          1
70.19/70.20	c   trivial          :       0.01          2          0
70.19/70.20	c   shiftandpropagate:       0.32          1          0
70.19/70.20	c   simplerounding   :       0.00          0          0
70.19/70.20	c   zirounding       :       0.01        169          0
70.19/70.20	c   rounding         :       0.21        211          0
70.19/70.20	c   shifting         :       0.12         17          0
70.19/70.20	c   intshifting      :       0.00          0          0
70.19/70.20	c   twoopt           :       0.00          0          0
70.19/70.20	c   fixandinfer      :       0.00          0          0
70.19/70.20	c   clique           :       0.00          0          0
70.19/70.20	c   intdiving        :       0.00          0          0
70.19/70.20	c   actconsdiving    :       0.00          0          0
70.19/70.20	c   octane           :       0.00          0          0
70.19/70.20	c   rens             :       1.66          1          1
70.19/70.20	c   rins             :       0.00          0          0
70.19/70.20	c   localbranching   :       0.00          0          0
70.19/70.20	c   mutation         :       0.00          0          0
70.19/70.20	c   crossover        :       0.10          1          0
70.19/70.20	c   dins             :       0.00          0          0
70.19/70.20	c   vbounds          :       0.00          0          0
70.19/70.20	c   undercover       :       0.00          0          0
70.19/70.20	c   subnlp           :       0.00          0          0
70.19/70.20	c   trysol           :       0.00          0          0
70.19/70.20	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
70.19/70.20	c   primal LP        :       0.00          0          0       0.00          -
70.19/70.20	c   dual LP          :      13.33        636      50905      80.04    3819.91
70.19/70.20	c   lex dual LP      :       0.00          0          0       0.00          -
70.19/70.20	c   barrier LP       :       0.00          0          0       0.00          -
70.19/70.20	c   diving/probing LP:       4.52        955      17077      17.88    3781.01
70.19/70.20	c   strong branching :      38.55       2976     134647      45.24    3492.82
70.19/70.20	c     (at root node) :          -          9       3950     438.89          -
70.19/70.20	c   conflict analysis:       0.00          0          0       0.00          -
70.19/70.20	c B&B Tree           :
70.19/70.20	c   number of runs   :          1
70.19/70.20	c   nodes            :        241
70.19/70.20	c   nodes (total)    :        241
70.19/70.20	c   nodes left       :          0
70.19/70.20	c   max depth        :         26
70.19/70.20	c   max depth (total):         26
70.19/70.20	c   backtracks       :         14 (5.8%)
70.19/70.20	c   delayed cutoffs  :          0
70.19/70.20	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
70.19/70.20	c   avg switch length:       2.00
70.19/70.20	c   switching time   :       0.22
70.19/70.20	c Solution           :
70.19/70.20	c   Solutions found  :          5 (4 improvements)
70.19/70.20	c   First Solution   : +1.60000000000000e+01   (in run 1, after 1 nodes, 5.33 seconds, depth 0, found by <feaspump>)
70.19/70.20	c   Primal Bound     : +1.30000000000000e+01   (in run 1, after 241 nodes, 70.15 seconds, depth 20, found by <relaxation>)
70.19/70.20	c   Dual Bound       : +1.30000000000000e+01
70.19/70.20	c   Gap              :       0.00 %
70.19/70.20	c   Root Dual Bound  : +1.24860332423316e+01
70.19/70.20	c   Root Iterations  :      13725
70.19/70.24	c Time complete: 70.24.

Verifier Data 

OK	13

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479273-1307447662/watcher-3479273-1307447662 -o /tmp/evaluation-result-3479273-1307447662/solver-3479273-1307447662 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479273-1307447662.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.89 2/443 19615
/proc/meminfo: memFree=29490444/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=15372 CPUtime=0 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 2848 0 0 0 0 0 0 0 25 0 1 0 934996900 15740928 2800 33554432000 4194304 9163163 140735521761968 18446744073709551615 6167874 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19615/statm: 3843 2800 389 1214 0 2625 0

[startup+0.0467649 s]
/proc/loadavg: 2.00 2.00 1.89 2/443 19615
/proc/meminfo: memFree=29490444/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=16916 CPUtime=0.04 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 3142 0 0 0 4 0 0 0 25 0 1 0 934996900 17321984 3094 33554432000 4194304 9163163 140735521761968 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19615/statm: 4229 3094 395 1214 0 3011 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16916

[startup+0.100748 s]
/proc/loadavg: 2.00 2.00 1.89 2/443 19615
/proc/meminfo: memFree=29490444/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=18676 CPUtime=0.1 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 3534 0 0 0 10 0 0 0 25 0 1 0 934996900 19124224 3486 33554432000 4194304 9163163 140735521761968 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19615/statm: 4669 3486 395 1214 0 3451 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18676

[startup+0.300715 s]
/proc/loadavg: 2.00 2.00 1.89 2/443 19615
/proc/meminfo: memFree=29490444/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=26420 CPUtime=0.29 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 5111 0 0 0 29 0 0 0 25 0 1 0 934996900 27054080 5063 33554432000 4194304 9163163 140735521761968 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19615/statm: 6605 5063 395 1214 0 5387 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26420

[startup+0.700648 s]
/proc/loadavg: 2.00 2.00 1.89 2/443 19615
/proc/meminfo: memFree=29490444/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=122672 CPUtime=0.69 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 28768 0 0 0 67 2 0 0 25 0 1 0 934996900 125616128 28054 33554432000 4194304 9163163 140735521761968 18446744073709551615 4816126 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 30668 28054 496 1214 0 29450 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 122672

[startup+1.50049 s]
/proc/loadavg: 2.00 2.00 1.89 3/444 19616
/proc/meminfo: memFree=29379452/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=120984 CPUtime=1.49 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 28849 0 0 0 147 2 0 0 25 0 1 0 934996900 123887616 27713 33554432000 4194304 9163163 140735521761968 18446744073709551615 5176888 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 30246 27713 540 1214 0 29028 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120984

[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 1.89 3/444 19616
/proc/meminfo: memFree=29379204/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=152624 CPUtime=3.09 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 36337 0 0 0 306 3 0 0 25 0 1 0 934996900 156286976 34363 33554432000 4194304 9163163 140735521761968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 38156 34363 643 1214 0 36938 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152624

[startup+6.30059 s]
/proc/loadavg: 2.00 2.00 1.89 3/444 19616
/proc/meminfo: memFree=29354904/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=147656 CPUtime=6.29 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 37363 0 0 0 625 4 0 0 25 0 1 0 934996900 151199744 34152 33554432000 4194304 9163163 140735521761968 18446744073709551615 6495604 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 36914 34152 665 1214 0 35696 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 147656

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.89 3/444 19616
/proc/meminfo: memFree=29310256/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=194248 CPUtime=12.69 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 48425 0 0 0 1263 6 0 0 25 0 1 0 934996900 198909952 45213 33554432000 4194304 9163163 140735521761968 18446744073709551615 5177321 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 48562 45213 708 1214 0 47344 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 194248

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.90 3/444 19617
/proc/meminfo: memFree=29306040/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=194380 CPUtime=25.49 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 49262 0 0 0 2534 15 0 0 25 0 1 0 934996900 199045120 46050 33554432000 4194304 9163163 140735521761968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 48595 46050 731 1214 0 47377 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 194380

[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 1.90 3/444 19617
/proc/meminfo: memFree=29305164/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=194380 CPUtime=51.09 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 49264 0 0 0 5084 25 0 0 25 0 1 0 934996900 199045120 46052 33554432000 4194304 9163163 140735521761968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 48595 46052 731 1214 0 47377 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 194380

Solver just ended. Dumping a history of the last processes samples

[startup+63.9008 s]
/proc/loadavg: 2.08 2.02 1.90 3/444 19618
/proc/meminfo: memFree=29304584/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=194380 CPUtime=63.89 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 49268 0 0 0 6359 30 0 0 25 0 1 0 934996900 199045120 46056 33554432000 4194304 9163163 140735521761968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 48595 46056 732 1214 0 47377 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 194380

[startup+67.1171 s]
/proc/loadavg: 2.07 2.02 1.91 3/444 19618
/proc/meminfo: memFree=29303716/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=194380 CPUtime=67.11 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 49268 0 0 0 6680 31 0 0 25 0 1 0 934996900 199045120 46056 33554432000 4194304 9163163 140735521761968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 48595 46056 732 1214 0 47377 0
Current children cumulated CPU time (s) 67.11
Current children cumulated vsize (KiB) 194380

[startup+68.7009 s]
/proc/loadavg: 2.07 2.02 1.91 3/444 19618
/proc/meminfo: memFree=29304460/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=194380 CPUtime=68.7 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 49268 0 0 0 6838 32 0 0 25 0 1 0 934996900 199045120 46056 33554432000 4194304 9163163 140735521761968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 48595 46056 732 1214 0 47377 0
Current children cumulated CPU time (s) 68.7
Current children cumulated vsize (KiB) 194380

[startup+69.5007 s]
/proc/loadavg: 2.07 2.02 1.91 3/444 19618
/proc/meminfo: memFree=29303840/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=194380 CPUtime=69.49 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 49268 0 0 0 6917 32 0 0 25 0 1 0 934996900 199045120 46056 33554432000 4194304 9163163 140735521761968 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 48595 46056 732 1214 0 47377 0
Current children cumulated CPU time (s) 69.49
Current children cumulated vsize (KiB) 194380

[startup+69.9006 s]
/proc/loadavg: 2.07 2.02 1.91 3/444 19618
/proc/meminfo: memFree=29303840/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=194380 CPUtime=69.89 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 49268 0 0 0 6957 32 0 0 25 0 1 0 934996900 199045120 46056 33554432000 4194304 9163163 140735521761968 18446744073709551615 5149579 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 48595 46056 732 1214 0 47377 0
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (KiB) 194380

[startup+70.1006 s]
/proc/loadavg: 2.07 2.02 1.91 3/444 19618
/proc/meminfo: memFree=29303840/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=194380 CPUtime=70.09 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 49268 0 0 0 6977 32 0 0 25 0 1 0 934996900 199045120 46056 33554432000 4194304 9163163 140735521761968 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/19615/statm: 48595 46056 732 1214 0 47377 0
Current children cumulated CPU time (s) 70.09
Current children cumulated vsize (KiB) 194380

[startup+70.2006 s]
/proc/loadavg: 2.07 2.02 1.91 3/444 19618
/proc/meminfo: memFree=29303840/32950928 swapFree=52246700/67111528
[pid=19615] ppid=19613 vsize=194380 CPUtime=70.19 cores=0,2,4,6
/proc/19615/stat : 19615 (scip-2.0.1.4b.l) R 19613 19615 19386 0 -1 4202496 49269 0 0 0 6987 32 0 0 25 0 1 0 934996900 199045120 46057 33554432000 4194304 9163163 140735521761968 18446744073709551615 4693712 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19615/statm: 48595 46057 733 1214 0 47377 0
Current children cumulated CPU time (s) 70.19
Current children cumulated vsize (KiB) 194380

Child status: 0
Real time (s): 70.25
CPU time (s): 70.2523
CPU user time (s): 69.9134
CPU system time (s): 0.338948
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 194380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.9134
system time used= 0.338948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 98

runsolver used 0.315951 second user time and 0.670898 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-07 13:54:22
IDJOB=3479273
IDBENCH=89872
IDSOLVER=1948
FILE ID=node114/3479273-1307447662
RUNJOBID= node114-1307444787-19404
PBS_JOBID= 13520321
Free space on /tmp= 73980 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-547911.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479273-1307447662/watcher-3479273-1307447662 -o /tmp/evaluation-result-3479273-1307447662/solver-3479273-1307447662 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479273-1307447662.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b99304baf8f7edc2dec7db9e7f912244
RANDOM SEED=1694403320

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29490608 kB
Buffers:        361012 kB
Cached:         713948 kB
SwapCached:      10744 kB
Active:        2586332 kB
Inactive:       599144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29490608 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:           17488 kB
Writeback:           0 kB
AnonPages:     2107160 kB
Mapped:          24176 kB
Slab:           144840 kB
PageTables:      62652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108258332 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73968 MiB
End job on node114 at 2011-06-07 13:55:33