Trace number 2693063

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.96 1800.92

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag8.ucl--soft-33-100-0.wbo
MD5SUM2e5305672cd925feb8447ea4f265e9b4
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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.35779
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 constraints6015
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 304920
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 304919
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

Solver Data 

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

Verifier Data 

OK	14019

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693063-1277915158/watcher-2693063-1277915158 -o /tmp/evaluation-result-2693063-1277915158/solver-2693063-1277915158 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693063-1277915158.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.00 2.00 2.00 3/178 11966
/proc/meminfo: memFree=31058936/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=10868 CPUtime=0
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 1667 0 0 0 0 0 0 0 22 0 1 0 132813371 11128832 1587 4089446400 4194304 9819077 140734924297248 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11966/statm: 2717 1589 392 1374 0 1338 0

[startup+0.0462199 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11966
/proc/meminfo: memFree=31058936/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=21724 CPUtime=0.03
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 4353 0 0 0 3 0 0 0 22 0 1 0 132813371 22245376 4273 4089446400 4194304 9819077 140734924297248 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11966/statm: 5431 4288 392 1374 0 4052 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21724

[startup+0.101208 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11966
/proc/meminfo: memFree=31058936/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=35720 CPUtime=0.09
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 8278 0 0 0 8 1 0 0 22 0 1 0 132813371 36577280 7835 4089446400 4194304 9819077 140734924297248 18446744073709551615 8640161 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 8930 7836 459 1374 0 7551 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35720

[startup+0.300186 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11966
/proc/meminfo: memFree=31058936/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=71596 CPUtime=0.29
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 19396 0 0 0 22 7 0 0 22 0 1 0 132813371 73314304 16382 4089446400 4194304 9819077 140734924297248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 17899 16382 554 1374 0 16520 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71596

[startup+0.701095 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11966
/proc/meminfo: memFree=31058936/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=90720 CPUtime=0.69
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 27330 0 0 0 59 10 0 0 24 0 1 0 132813371 92897280 20215 4089446400 4194304 9819077 140734924297248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 22680 20215 707 1374 0 21301 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90720

[startup+1.50096 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11967
/proc/meminfo: memFree=30980312/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=93500 CPUtime=1.49
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 29929 0 0 0 136 13 0 0 25 0 1 0 132813371 95744000 20680 4089446400 4194304 9819077 140734924297248 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 23375 20680 713 1374 0 21996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93500

[startup+3.10068 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11967
/proc/meminfo: memFree=30977584/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=95776 CPUtime=3.09
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 32578 0 0 0 293 16 0 0 25 0 1 0 132813371 98074624 21164 4089446400 4194304 9819077 140734924297248 18446744073709551615 6045854 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 23944 21164 713 1374 0 22565 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95776

[startup+6.30113 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11967
/proc/meminfo: memFree=30975360/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=102504 CPUtime=6.29
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 118687 0 0 0 599 30 0 0 25 0 1 0 132813371 104964096 21631 4089446400 4194304 9819077 140734924297248 18446744073709551615 6367317 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 25626 21631 740 1374 0 24247 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102504

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11967
/proc/meminfo: memFree=30973540/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=102468 CPUtime=12.69
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 260215 0 0 0 1218 51 0 0 25 0 1 0 132813371 104927232 22242 4089446400 4194304 9819077 140734924297248 18446744073709551615 7291639 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 25617 22242 740 1374 0 24238 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 102468

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11968
/proc/meminfo: memFree=30970952/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=103784 CPUtime=25.49
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 511723 0 0 0 2456 93 0 0 25 0 1 0 132813371 106274816 22779 4089446400 4194304 9819077 140734924297248 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 25946 22781 743 1374 0 24567 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103784

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11969
/proc/meminfo: memFree=30944564/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=122208 CPUtime=51.09
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 1132357 0 0 0 4909 200 0 0 25 0 1 0 132813371 125140992 28066 4089446400 4194304 9819077 140734924297248 18446744073709551615 7233739 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 30552 28066 745 1374 0 29173 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 122208

[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 11970
/proc/meminfo: memFree=30913660/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=150192 CPUtime=102.3
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 2187305 0 0 0 9835 395 0 0 25 0 1 0 132813371 153796608 34782 4089446400 4194304 9819077 140734924297248 18446744073709551615 6003593 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 37548 34782 745 1374 0 36169 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 150192

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11971
/proc/meminfo: memFree=30882128/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=179164 CPUtime=162.29
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 3682692 0 0 0 15581 648 0 0 25 0 1 0 132813371 183463936 42108 4089446400 4194304 9819077 140734924297248 18446744073709551615 6003322 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 44791 42108 745 1374 0 43412 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 179164

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11973
/proc/meminfo: memFree=30845136/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=211304 CPUtime=222.29
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 4617666 0 0 0 21392 837 0 0 25 0 1 0 132813371 216375296 50108 4089446400 4194304 9819077 140734924297248 18446744073709551615 6590471 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 52826 50121 745 1374 0 51447 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 211304

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11975
/proc/meminfo: memFree=30808624/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=246840 CPUtime=282.3
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 5592981 0 0 0 27202 1028 0 0 25 0 1 0 132813371 252764160 58274 4089446400 4194304 9819077 140734924297248 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 61710 58274 745 1374 0 60331 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 246840

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11980
/proc/meminfo: memFree=30771740/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=273472 CPUtime=342.3
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 6510736 0 0 0 33017 1213 0 0 25 0 1 0 132813371 280035328 65670 4089446400 4194304 9819077 140734924297248 18446744073709551615 4407911 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 68368 65670 745 1374 0 66989 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 273472

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11981
/proc/meminfo: memFree=30735188/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=303452 CPUtime=402.3
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 7223878 0 0 0 38855 1375 0 0 25 0 1 0 132813371 310734848 73446 4089446400 4194304 9819077 140734924297248 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 75863 73446 745 1374 0 74484 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 303452

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11982
/proc/meminfo: memFree=30696968/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=336144 CPUtime=462.3
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 7900571 0 0 0 44704 1526 0 0 25 0 1 0 132813371 344211456 81360 4089446400 4194304 9819077 140734924297248 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 84036 81360 745 1374 0 82657 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 336144

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11984
/proc/meminfo: memFree=30658872/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=368804 CPUtime=522.31
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 8657436 0 0 0 50533 1698 0 0 25 0 1 0 132813371 377655296 89600 4089446400 4194304 9819077 140734924297248 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 92201 89600 745 1374 0 90822 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 368804

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11986
/proc/meminfo: memFree=30624128/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=397260 CPUtime=582.3
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 9334736 0 0 0 56370 1860 0 0 25 0 1 0 132813371 406794240 96808 4089446400 4194304 9819077 140734924297248 18446744073709551615 4697639 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 99315 96808 745 1374 0 97936 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 397260

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11988
/proc/meminfo: memFree=30590112/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=428624 CPUtime=642.31
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 10111950 0 0 0 62199 2032 0 0 25 0 1 0 132813371 438910976 104541 4089446400 4194304 9819077 140734924297248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 107156 104541 745 1374 0 105777 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 428624

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11997
/proc/meminfo: memFree=30375268/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=616660 CPUtime=1002.31
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 14451689 0 0 0 97210 3021 0 0 25 0 1 0 132813371 631459840 151299 4089446400 4194304 9819077 140734924297248 18446744073709551615 4697635 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 154165 151299 745 1374 0 152786 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 616660

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11998
/proc/meminfo: memFree=30343360/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=646232 CPUtime=1062.31
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 15219528 0 0 0 103048 3183 0 0 25 0 1 0 132813371 661741568 158611 4089446400 4194304 9819077 140734924297248 18446744073709551615 7487724 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 161558 158611 745 1374 0 160179 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 646232

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 12018
/proc/meminfo: memFree=30606600/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=679392 CPUtime=1122.31
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 16055352 0 0 0 108875 3356 0 0 25 0 1 0 132813371 695697408 166919 4089446400 4194304 9819077 140734924297248 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 169848 166919 745 1374 0 168469 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 679392

[startup+1182.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 12084
/proc/meminfo: memFree=30451112/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=713148 CPUtime=1182.32
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 16680789 0 0 0 114739 3493 0 0 25 0 1 0 132813371 730263552 175392 4089446400 4194304 9819077 140734924297248 18446744073709551615 6003825 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 178287 175392 745 1374 0 176908 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 713148

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12086
/proc/meminfo: memFree=30415876/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=741916 CPUtime=1242.32
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 17516657 0 0 0 120578 3654 0 0 25 0 1 0 132813371 759721984 182913 4089446400 4194304 9819077 140734924297248 18446744073709551615 7263154 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 185479 182913 745 1374 0 184100 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 741916

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12087
/proc/meminfo: memFree=30382252/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=772536 CPUtime=1302.33
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 18198209 0 0 0 126439 3794 0 0 25 0 1 0 132813371 791076864 190217 4089446400 4194304 9819077 140734924297248 18446744073709551615 6386692 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 193134 190217 745 1374 0 191755 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 772536

[startup+1362.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/179 12088
/proc/meminfo: memFree=30356280/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=798380 CPUtime=1362.32
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 19095083 0 0 0 132274 3958 0 0 25 0 1 0 132813371 817541120 196742 4089446400 4194304 9819077 140734924297248 18446744073709551615 6513014 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 199595 196742 745 1374 0 198216 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 798380

[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 12090
/proc/meminfo: memFree=30323876/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=830412 CPUtime=1422.33
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 19889404 0 0 0 138121 4112 0 0 25 0 1 0 132813371 850341888 204812 4089446400 4194304 9819077 140734924297248 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 207603 204812 745 1374 0 206224 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 830412

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12092
/proc/meminfo: memFree=30292712/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=861608 CPUtime=1482.33
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 20692029 0 0 0 143958 4275 0 0 25 0 1 0 132813371 882286592 212603 4089446400 4194304 9819077 140734924297248 18446744073709551615 6003412 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 215402 212603 745 1374 0 214023 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 861608

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12094
/proc/meminfo: memFree=30240712/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=895232 CPUtime=1542.33
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 21536916 0 0 0 149794 4439 0 0 25 0 1 0 132813371 916717568 221026 4089446400 4194304 9819077 140734924297248 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 223808 221026 745 1374 0 222429 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 895232

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12095
/proc/meminfo: memFree=30180664/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=927448 CPUtime=1602.33
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 22194963 0 0 0 155655 4578 0 0 25 0 1 0 132813371 949706752 229098 4089446400 4194304 9819077 140734924297248 18446744073709551615 5507212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 231862 229098 745 1374 0 230483 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 927448

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12096
/proc/meminfo: memFree=30125456/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=958288 CPUtime=1662.33
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 22825729 0 0 0 161525 4708 0 0 25 0 1 0 132813371 981286912 236842 4089446400 4194304 9819077 140734924297248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 239572 236842 745 1374 0 238193 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 958288

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12098
/proc/meminfo: memFree=30074080/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=991216 CPUtime=1722.34
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 23472221 0 0 0 167389 4845 0 0 25 0 1 0 132813371 1015005184 245150 4089446400 4194304 9819077 140734924297248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 247804 245150 745 1374 0 246425 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 991216

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12100
/proc/meminfo: memFree=30014004/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=1025664 CPUtime=1782.34
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 24333396 0 0 0 173218 5016 0 0 25 0 1 0 132813371 1050279936 253734 4089446400 4194304 9819077 140734924297248 18446744073709551615 6589145 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 256416 253698 745 1374 0 255037 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1025664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12100
/proc/meminfo: memFree=30001952/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=1035008 CPUtime=1800.04
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 24580655 0 0 0 174941 5063 0 0 25 0 1 0 132813371 1059848192 256076 4089446400 4194304 9819077 140734924297248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11966/statm: 258752 256076 745 1374 0 257373 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1035008

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.02 2.01 2.00 3/180 12101
/proc/meminfo: memFree=30001572/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=1034744 CPUtime=1800.64
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 24580848 0 0 0 175001 5063 0 0 25 0 1 0 132813371 1059577856 256012 4089446400 4194304 9819077 140734924297248 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11966/statm: 258686 256012 736 1374 0 257307 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 1034744

[startup+1800.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 12101
/proc/meminfo: memFree=30001572/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=483052 CPUtime=1800.83
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 24580848 0 0 0 175018 5065 0 0 25 0 1 0 132813371 494645248 118089 4089446400 4194304 9819077 140734924297248 18446744073709551615 6180700 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11966/statm: 120763 117833 736 1374 0 119384 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 483052

[startup+1800.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 12101
/proc/meminfo: memFree=30001572/32951124 swapFree=67111528/67111528
[pid=11966] ppid=11964 vsize=134900 CPUtime=1800.94
/proc/11966/stat : 11966 (pbscip.linux.x8) R 11964 11966 11701 0 -1 4202496 24580848 0 0 0 175027 5067 0 0 25 0 1 0 132813371 138137600 31977 4089446400 4194304 9819077 140734924297248 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11966/statm: 33240 31749 736 1374 0 31861 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 134900

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.96
CPU user time (s): 1750.28
CPU system time (s): 50.6763
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1035008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.28
system time used= 50.6763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24580852
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= 1
involuntary context switches= 1381

runsolver used 3.08453 second user time and 6.00309 second system time

The end

Launcher Data 

Begin job on node107 at 2010-06-30 18:25:59
IDJOB=2693063
IDBENCH=79047
IDSOLVER=1205
FILE ID=node107/2693063-1277915158
PBS_JOBID= 11197316
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693063-1277915158/watcher-2693063-1277915158 -o /tmp/evaluation-result-2693063-1277915158/solver-2693063-1277915158 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693063-1277915158.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 2e5305672cd925feb8447ea4f265e9b4
RANDOM SEED=1237010847

node107.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.849
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.849
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.75
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.849
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.82
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.849
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.75
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.849
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.81
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.849
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.849
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.82
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.849
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31059216 kB
Buffers:        198184 kB
Cached:        1276796 kB
SwapCached:          0 kB
Active:         639732 kB
Inactive:      1108376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31059216 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6648 kB
Writeback:           0 kB
AnonPages:      273176 kB
Mapped:          16124 kB
Slab:            78996 kB
PageTables:       5236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   421000 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= 74200 MiB
End job on node107 at 2010-06-30 18:56:01