Trace number 2692486

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1801.56 1801.54

General information on the benchmark

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

Verifier Data 

OK	26113

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692486-1277931587/watcher-2692486-1277931587 -o /tmp/evaluation-result-2692486-1277931587/solver-2692486-1277931587 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692486-1277931587.wbo -t 1800 -m 3800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.65 2.77 2.58 3/196 7115
/proc/meminfo: memFree=31602916/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=9408 CPUtime=0
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 1649 0 0 0 0 0 0 0 25 0 1 0 134587030 9633792 1568 4089446400 4194304 8223781 140736845928480 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7115/statm: 2352 1568 369 984 0 1365 0

[startup+0.054117 s]
/proc/loadavg: 2.65 2.77 2.58 3/196 7115
/proc/meminfo: memFree=31602916/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=23548 CPUtime=0.04
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 5202 0 0 0 4 0 0 0 25 0 1 0 134587030 24113152 5121 4089446400 4194304 8223781 140736845928480 18446744073709551615 6207442 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7115/statm: 5887 5121 369 984 0 4900 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23548

[startup+0.101102 s]
/proc/loadavg: 2.65 2.77 2.58 3/196 7115
/proc/meminfo: memFree=31602916/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=37904 CPUtime=0.1
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 8812 0 0 0 9 1 0 0 25 0 1 0 134587030 38813696 8717 4089446400 4194304 8223781 140736845928480 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7115/statm: 9476 8717 369 984 0 8489 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 37904

[startup+0.30106 s]
/proc/loadavg: 2.65 2.77 2.58 3/196 7115
/proc/meminfo: memFree=31602916/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=83956 CPUtime=0.29
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 19931 0 0 0 27 2 0 0 25 0 1 0 134587030 85970944 19451 4089446400 4194304 8223781 140736845928480 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7115/statm: 20989 19451 437 984 0 20002 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83956

[startup+0.700975 s]
/proc/loadavg: 2.65 2.77 2.58 3/196 7115
/proc/meminfo: memFree=31602916/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=83956 CPUtime=0.69
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 19931 0 0 0 67 2 0 0 25 0 1 0 134587030 85970944 19451 4089446400 4194304 8223781 140736845928480 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7115/statm: 20989 19451 437 984 0 20002 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83956

[startup+1.50088 s]
/proc/loadavg: 2.65 2.77 2.58 3/197 7116
/proc/meminfo: memFree=31526896/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=104208 CPUtime=1.49
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 25995 0 0 0 145 4 0 0 25 0 1 0 134587030 106708992 23884 4089446400 4194304 8223781 140736845928480 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7115/statm: 26052 23884 580 984 0 25065 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104208

[startup+3.10059 s]
/proc/loadavg: 2.65 2.77 2.58 3/197 7116
/proc/meminfo: memFree=31507428/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=109152 CPUtime=3.09
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 45224 0 0 0 301 8 0 0 25 0 1 0 134587030 111771648 25200 4089446400 4194304 8223781 140736845928480 18446744073709551615 6448670 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7115/statm: 27288 25200 596 984 0 26301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109152

[startup+6.30099 s]
/proc/loadavg: 2.60 2.76 2.58 3/197 7116
/proc/meminfo: memFree=31504080/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=109184 CPUtime=6.28
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 125147 0 0 0 610 18 0 0 25 0 1 0 134587030 111804416 25218 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7115/statm: 27296 25218 593 984 0 26309 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 109184

[startup+12.7008 s]
/proc/loadavg: 2.55 2.75 2.58 3/197 7116
/proc/meminfo: memFree=31503728/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=110840 CPUtime=12.69
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 280397 0 0 0 1233 36 0 0 25 0 1 0 134587030 113500160 25683 4089446400 4194304 8223781 140736845928480 18446744073709551615 6520480 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7115/statm: 27710 25683 594 984 0 26723 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110840

[startup+25.5004 s]
/proc/loadavg: 2.43 2.71 2.57 3/197 7116
/proc/meminfo: memFree=31497828/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=117396 CPUtime=25.49
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 600019 0 0 0 2475 74 0 0 25 0 1 0 134587030 120213504 27307 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7115/statm: 29349 27307 596 984 0 28362 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 117396

[startup+51.1006 s]
/proc/loadavg: 2.28 2.65 2.55 3/197 7117
/proc/meminfo: memFree=31475912/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=138620 CPUtime=51.09
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 1140612 0 0 0 4977 132 0 0 25 0 1 0 134587030 141946880 32603 4089446400 4194304 8223781 140736845928480 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/7115/statm: 34655 32603 599 984 0 33668 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 138620

[startup+102.306 s]
/proc/loadavg: 2.17 2.56 2.53 3/197 7127
/proc/meminfo: memFree=31456684/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=157244 CPUtime=102.29
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 1898718 0 0 0 10006 223 0 0 25 0 1 0 134587030 161017856 37266 4089446400 4194304 8223781 140736845928480 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7115/statm: 39311 37266 599 984 0 38324 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 157244

[startup+162.301 s]
/proc/loadavg: 2.06 2.46 2.49 3/197 7129
/proc/meminfo: memFree=31425008/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=188268 CPUtime=162.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 2664594 0 0 0 15910 317 0 0 25 0 1 0 134587030 192786432 45055 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7115/statm: 47067 45055 599 984 0 46080 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 188268

[startup+222.301 s]
/proc/loadavg: 1.93 2.34 2.45 3/179 7353
/proc/meminfo: memFree=31473908/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=220640 CPUtime=222.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 3277903 0 0 0 21788 439 0 0 25 0 1 0 134587030 225935360 53156 4089446400 4194304 8223781 140736845928480 18446744073709551615 6505963 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 55160 53156 599 984 0 54173 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 220640

[startup+282.301 s]
/proc/loadavg: 1.97 2.28 2.42 3/179 7382
/proc/meminfo: memFree=31473444/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=251288 CPUtime=282.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 3851538 0 0 0 27668 559 0 0 25 0 1 0 134587030 257318912 60839 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 62822 60839 599 984 0 61835 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 251288

[startup+342.301 s]
/proc/loadavg: 2.03 2.24 2.39 3/179 7541
/proc/meminfo: memFree=31370904/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=277844 CPUtime=342.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 4403948 0 0 0 33554 673 0 0 25 0 1 0 134587030 284512256 67503 4089446400 4194304 8223781 140736845928480 18446744073709551615 5893827 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 69461 67503 599 984 0 68474 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 277844

[startup+402.3 s]
/proc/loadavg: 2.01 2.19 2.36 3/179 7542
/proc/meminfo: memFree=31270680/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=306684 CPUtime=402.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 4973905 0 0 0 39439 788 0 0 25 0 1 0 134587030 314044416 74739 4089446400 4194304 8223781 140736845928480 18446744073709551615 6328693 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 76671 74739 599 984 0 75684 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 306684

[startup+462.301 s]
/proc/loadavg: 2.00 2.16 2.34 3/179 7544
/proc/meminfo: memFree=31106680/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=332960 CPUtime=462.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 5563033 0 0 0 45319 908 0 0 25 0 1 0 134587030 340951040 81312 4089446400 4194304 8223781 140736845928480 18446744073709551615 6162525 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 83240 81312 599 984 0 82253 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 332960

[startup+522.301 s]
/proc/loadavg: 2.00 2.12 2.32 3/179 7545
/proc/meminfo: memFree=30945316/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=360088 CPUtime=522.27
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 6241291 0 0 0 51192 1035 0 0 25 0 1 0 134587030 368730112 88123 4089446400 4194304 8223781 140736845928480 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 90022 88123 599 984 0 89035 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 360088

[startup+582.301 s]
/proc/loadavg: 2.00 2.10 2.29 3/179 7547
/proc/meminfo: memFree=30790008/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=393476 CPUtime=582.28
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 6915533 0 0 0 57064 1164 0 0 25 0 1 0 134587030 402919424 96400 4089446400 4194304 8223781 140736845928480 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 98369 96400 599 984 0 97382 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 393476

[startup+642.301 s]
/proc/loadavg: 2.00 2.08 2.27 3/179 7552
/proc/meminfo: memFree=30653448/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=422644 CPUtime=642.28
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 7614926 0 0 0 62930 1298 0 0 25 0 1 0 134587030 432787456 103693 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 105661 103693 599 984 0 104674 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 422644

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/179 7563
/proc/meminfo: memFree=29581712/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=612032 CPUtime=1062.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 12369548 0 0 0 104037 2193 0 0 25 0 1 0 134587030 626720768 150678 4089446400 4194304 8223781 140736845928480 18446744073709551615 6003380 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 153008 150678 599 984 0 152021 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 612032

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 7564
/proc/meminfo: memFree=29420204/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=645184 CPUtime=1122.29
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 13029056 0 0 0 109907 2322 0 0 25 0 1 0 134587030 660668416 158955 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 161296 158955 599 984 0 160309 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 645184

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 7566
/proc/meminfo: memFree=29252640/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=673328 CPUtime=1182.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 13671704 0 0 0 115788 2442 0 0 25 0 1 0 134587030 689487872 166017 4089446400 4194304 8223781 140736845928480 18446744073709551615 6505971 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 168332 166017 599 984 0 167345 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 673328

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 7568
/proc/meminfo: memFree=29097832/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=702332 CPUtime=1242.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 14397236 0 0 0 121657 2573 0 0 25 0 1 0 134587030 719187968 173300 4089446400 4194304 8223781 140736845928480 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 175583 173300 599 984 0 174596 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 702332

[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.12 3/179 7569
/proc/meminfo: memFree=28936096/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=729056 CPUtime=1302.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 15034490 0 0 0 127537 2693 0 0 25 0 1 0 134587030 746553344 179967 4089446400 4194304 8223781 140736845928480 18446744073709551615 7236399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 182264 179972 599 984 0 181277 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 729056

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.10 3/179 7571
/proc/meminfo: memFree=28769368/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=758684 CPUtime=1362.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 15698934 0 0 0 133409 2821 0 0 25 0 1 0 134587030 776892416 187413 4089446400 4194304 8223781 140736845928480 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 189671 187427 599 984 0 188684 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 758684

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 7572
/proc/meminfo: memFree=28611460/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=781508 CPUtime=1422.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 16318671 0 0 0 139292 2939 0 0 25 0 1 0 134587030 800264192 193153 4089446400 4194304 8223781 140736845928480 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 195377 193153 599 984 0 194390 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 781508

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 7574
/proc/meminfo: memFree=28462724/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=798948 CPUtime=1482.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 17497782 0 0 0 145130 3101 0 0 25 0 1 0 134587030 818122752 197464 4089446400 4194304 8223781 140736845928480 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 199737 197464 599 984 0 198750 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 798948

[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.09 3/179 7576
/proc/meminfo: memFree=28303948/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=819584 CPUtime=1542.3
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 18365155 0 0 0 150992 3238 0 0 25 0 1 0 134587030 839254016 202660 4089446400 4194304 8223781 140736845928480 18446744073709551615 6456014 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 204896 202660 599 984 0 203909 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 819584

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.08 3/179 7577
/proc/meminfo: memFree=28152000/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=841140 CPUtime=1602.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 19135717 0 0 0 156869 3362 0 0 25 0 1 0 134587030 861327360 208028 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 210327 208035 599 984 0 209340 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 841140

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.07 3/179 7579
/proc/meminfo: memFree=27987636/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=866424 CPUtime=1662.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 19841684 0 0 0 162752 3479 0 0 25 0 1 0 134587030 887218176 214385 4089446400 4194304 8223781 140736845928480 18446744073709551615 6439880 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 216606 214385 599 984 0 215619 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 866424

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 7580
/proc/meminfo: memFree=27837664/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=890612 CPUtime=1722.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 20552206 0 0 0 168631 3600 0 0 25 0 1 0 134587030 911986688 220414 4089446400 4194304 8223781 140736845928480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 222653 220414 599 984 0 221666 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 890612

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 7582
/proc/meminfo: memFree=27871348/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=918948 CPUtime=1782.31
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21127080 0 0 0 174522 3709 0 0 25 0 1 0 134587030 941002752 227517 4089446400 4194304 8223781 140736845928480 18446744073709551615 5813304 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 229737 227517 599 984 0 228750 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 918948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 7583
/proc/meminfo: memFree=27862656/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=925968 CPUtime=1800.02
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21285251 0 0 0 176263 3739 0 0 25 0 1 0 134587030 948191232 229278 4089446400 4194304 8223781 140736845928480 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/7115/statm: 231492 229278 599 984 0 230505 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 925968

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.06 3/180 7584
/proc/meminfo: memFree=27862400/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=925968 CPUtime=1800.62
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21285251 0 0 0 176323 3739 0 0 25 0 1 0 134587030 948191232 229278 4089446400 4194304 8223781 140736845928480 18446744073709551615 7256940 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7115/statm: 231492 229278 599 984 0 230505 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 925968

[startup+1801 s]
/proc/loadavg: 2.00 2.00 2.06 3/180 7584
/proc/meminfo: memFree=27862400/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=925968 CPUtime=1801.02
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21285251 0 0 0 176363 3739 0 0 25 0 1 0 134587030 948191232 229278 4089446400 4194304 8223781 140736845928480 18446744073709551615 7257248 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7115/statm: 231492 229278 599 984 0 230505 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 925968

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.06 3/180 7584
/proc/meminfo: memFree=27862400/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=432228 CPUtime=1801.41
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21285253 0 0 0 176400 3741 0 0 18 0 1 0 134587030 442601472 105886 4089446400 4194304 8223781 140736845928480 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7115/statm: 108057 105886 601 984 0 107070 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 432228

[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.06 3/180 7584
/proc/meminfo: memFree=27862400/32951124 swapFree=67111528/67111528
[pid=7115] ppid=7113 vsize=156004 CPUtime=1801.51
/proc/7115/stat : 7115 (pbscip.linux.x8) R 7113 7115 6486 0 -1 4202496 21285253 0 0 0 176409 3742 0 0 18 0 1 0 134587030 159748096 36833 4089446400 4194304 8223781 140736845928480 18446744073709551615 6207138 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7115/statm: 39001 36833 601 984 0 38014 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 156004

Child status: 0
Real time (s): 1801.54
CPU time (s): 1801.56
CPU user time (s): 1764.13
CPU system time (s): 37.4363
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 926136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.13
system time used= 37.4363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21285257
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= 2
involuntary context switches= 1360

runsolver used 2.6146 second user time and 5.59015 second system time

The end

Launcher Data 

Begin job on node111 at 2010-06-30 22:59:47
IDJOB=2692486
IDBENCH=79318
IDSOLVER=1204
FILE ID=node111/2692486-1277931587
PBS_JOBID= 11197400
Free space on /tmp= 74212 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692486-1277931587/watcher-2692486-1277931587 -o /tmp/evaluation-result-2692486-1277931587/solver-2692486-1277931587 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692486-1277931587.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 796705696da137fb7128d801ba46f418
RANDOM SEED=1708935582

node111.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.850
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.70
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.850
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	: 5332.82
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.850
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.75
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.850
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.85
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.850
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.74
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.850
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.82
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.850
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.850
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31603320 kB
Buffers:        216468 kB
Cached:         795488 kB
SwapCached:          0 kB
Active:         601136 kB
Inactive:       603452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31603320 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5136 kB
Writeback:           0 kB
AnonPages:      192428 kB
Mapped:          20344 kB
Slab:            78812 kB
PageTables:       5088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1650900 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= 74204 MiB
End job on node111 at 2010-06-30 23:29:49