Trace number 2692446

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) 1800.64 1800.62

General information on the benchmark

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

Verifier Data 

OK	11139

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692446-1277915432/watcher-2692446-1277915432 -o /tmp/evaluation-result-2692446-1277915432/solver-2692446-1277915432 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692446-1277915432.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.02 2.01 2.06 3/178 11689
/proc/meminfo: memFree=30429652/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=9436 CPUtime=0
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 1652 0 0 0 0 0 0 0 25 0 1 0 132840572 9662464 1572 4089446400 4194304 8223781 140736029192704 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11689/statm: 2359 1572 369 984 0 1372 0

[startup+0.0310661 s]
/proc/loadavg: 2.02 2.01 2.06 3/178 11689
/proc/meminfo: memFree=30429652/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=15768 CPUtime=0.02
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3234 0 0 0 2 0 0 0 25 0 1 0 132840572 16146432 3154 4089446400 4194304 8223781 140736029192704 18446744073709551615 6207703 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/11689/statm: 3942 3154 369 984 0 2955 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15768

[startup+0.101054 s]
/proc/loadavg: 2.02 2.01 2.06 3/178 11689
/proc/meminfo: memFree=30429652/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=38168 CPUtime=0.09
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 9167 0 0 0 8 1 0 0 25 0 1 0 132840572 39084032 8723 4089446400 4194304 8223781 140736029192704 18446744073709551615 7257316 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 9783 8758 387 984 0 8796 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38168

[startup+0.301014 s]
/proc/loadavg: 2.02 2.01 2.06 3/178 11689
/proc/meminfo: memFree=30429652/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=55192 CPUtime=0.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 15886 0 0 0 27 3 0 0 25 0 1 0 132840572 56516608 12680 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 13798 12680 483 984 0 12811 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 55192

[startup+0.700954 s]
/proc/loadavg: 2.02 2.01 2.06 3/178 11689
/proc/meminfo: memFree=30429652/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=56328 CPUtime=0.7
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 16150 0 0 0 66 4 0 0 25 0 1 0 132840572 57679872 12944 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 14082 12944 483 984 0 13095 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 56328

[startup+1.50079 s]
/proc/loadavg: 2.02 2.01 2.06 3/179 11690
/proc/meminfo: memFree=30379796/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=70284 CPUtime=1.49
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 21821 0 0 0 144 5 0 0 25 0 1 0 132840572 71970816 16370 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 17571 16370 577 984 0 16584 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70284

[startup+3.1005 s]
/proc/loadavg: 2.02 2.01 2.06 3/179 11690
/proc/meminfo: memFree=30362064/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=76816 CPUtime=3.09
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 24395 0 0 0 302 7 0 0 25 0 1 0 132840572 78659584 17718 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 19204 17718 590 984 0 18217 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76816

[startup+6.30092 s]
/proc/loadavg: 2.02 2.01 2.06 3/179 11690
/proc/meminfo: memFree=30357604/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=81604 CPUtime=6.29
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 28779 0 0 0 619 10 0 0 25 0 1 0 132840572 83562496 18957 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 20401 18957 594 984 0 19414 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81604

[startup+12.7007 s]
/proc/loadavg: 2.02 2.01 2.06 3/179 11691
/proc/meminfo: memFree=30350196/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=87844 CPUtime=12.69
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 47808 0 0 0 1255 14 0 0 25 0 1 0 132840572 89952256 20535 4089446400 4194304 8223781 140736029192704 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 21961 20535 605 984 0 20974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87844

[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.06 3/179 11691
/proc/meminfo: memFree=30351092/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=87820 CPUtime=25.49
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 47808 0 0 0 2532 17 0 0 25 0 1 0 132840572 89927680 20529 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 21955 20529 605 984 0 20968 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87820

[startup+51.1006 s]
/proc/loadavg: 2.01 2.00 2.06 3/179 11694
/proc/meminfo: memFree=30347832/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=87820 CPUtime=51.09
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 47808 0 0 0 5086 23 0 0 25 0 1 0 132840572 89927680 20529 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 21955 20529 605 984 0 20968 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87820

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 11696
/proc/meminfo: memFree=30341068/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=91772 CPUtime=102.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 101866 0 0 0 10182 48 0 0 25 0 1 0 132840572 93974528 21359 4089446400 4194304 8223781 140736029192704 18446744073709551615 6559804 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 22943 21359 609 984 0 21956 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 91772

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 11698
/proc/meminfo: memFree=30319080/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=109456 CPUtime=162.29
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 426140 0 0 0 16121 108 0 0 25 0 1 0 132840572 112082944 25790 4089446400 4194304 8223781 140736029192704 18446744073709551615 6003800 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 27364 25790 610 984 0 26377 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 109456

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 11699
/proc/meminfo: memFree=30297232/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=126056 CPUtime=222.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 818582 0 0 0 22052 178 0 0 25 0 1 0 132840572 129081344 29973 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 31514 29973 610 984 0 30527 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 126056

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 11701
/proc/meminfo: memFree=30267176/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=150324 CPUtime=282.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 1248238 0 0 0 27980 250 0 0 25 0 1 0 132840572 153931776 35947 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 37581 35947 610 984 0 36594 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 150324

[startup+342.301 s]
/proc/loadavg: 2.04 2.01 2.03 3/179 11702
/proc/meminfo: memFree=30230556/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=180452 CPUtime=342.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 1437682 0 0 0 33923 307 0 0 25 0 1 0 132840572 184782848 43552 4089446400 4194304 8223781 140736029192704 18446744073709551615 6520480 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 45113 43552 610 984 0 44126 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 180452

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 11704
/proc/meminfo: memFree=30189836/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=216408 CPUtime=402.31
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 1593214 0 0 0 39875 356 0 0 25 0 1 0 132840572 221601792 52546 4089446400 4194304 8223781 140736029192704 18446744073709551615 6446805 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11689/statm: 54147 52553 610 984 0 53160 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 216408

[startup+462.301 s]
/proc/loadavg: 1.97 1.99 2.02 3/197 11752
/proc/meminfo: memFree=30244056/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=250868 CPUtime=462.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 1755250 0 0 0 45822 408 0 0 25 0 1 0 132840572 256888832 61167 4089446400 4194304 8223781 140736029192704 18446744073709551615 7236399 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11689/statm: 62717 61174 610 984 0 61730 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 250868

[startup+522.301 s]
/proc/loadavg: 1.99 1.99 2.01 3/197 11753
/proc/meminfo: memFree=30172336/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=289424 CPUtime=522.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 1871875 0 0 0 51779 451 0 0 25 0 1 0 132840572 296370176 70866 4089446400 4194304 8223781 140736029192704 18446744073709551615 6445101 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11689/statm: 72356 70866 610 984 0 71369 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 289424

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/197 11755
/proc/meminfo: memFree=30111456/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=327512 CPUtime=582.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 2032669 0 0 0 57730 500 0 0 25 0 1 0 132840572 335372288 80418 4089446400 4194304 8223781 140736029192704 18446744073709551615 5893841 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11689/statm: 81878 80418 610 984 0 80891 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 327512

[startup+642.3 s]
/proc/loadavg: 1.99 1.99 2.00 3/197 11756
/proc/meminfo: memFree=30060460/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=364508 CPUtime=642.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 2136640 0 0 0 63686 544 0 0 25 0 1 0 132840572 373256192 89684 4089446400 4194304 8223781 140736029192704 18446744073709551615 6162446 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11689/statm: 91127 89684 610 984 0 90140 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 364508

[startup+702.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/197 11764
/proc/meminfo: memFree=29840884/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=544044 CPUtime=942.29
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 2651969 0 0 0 93471 758 0 0 25 0 1 0 132840572 557101056 134207 4089446400 4194304 8223781 140736029192704 18446744073709551615 4965291 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 136011 134207 610 984 0 135024 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 544044

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11766
/proc/meminfo: memFree=29802040/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=577304 CPUtime=1002.28
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 2763738 0 0 0 99435 793 0 0 25 0 1 0 132840572 591159296 142554 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 144326 142554 610 984 0 143339 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 577304

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11768
/proc/meminfo: memFree=29761836/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=607860 CPUtime=1062.29
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 2894379 0 0 0 105390 839 0 0 25 0 1 0 132840572 622448640 150143 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 151965 150143 610 984 0 150978 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 607860

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11769
/proc/meminfo: memFree=29723352/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=639308 CPUtime=1122.29
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3000769 0 0 0 111344 885 0 0 25 0 1 0 132840572 654651392 158124 4089446400 4194304 8223781 140736029192704 18446744073709551615 6482765 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 159827 158124 610 984 0 158840 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 639308

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11771
/proc/meminfo: memFree=29677688/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=677356 CPUtime=1182.29
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3056882 0 0 0 117308 921 0 0 25 0 1 0 132840572 693612544 167660 4089446400 4194304 8223781 140736029192704 18446744073709551615 6328594 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 169339 167660 610 984 0 168352 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 677356

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 11772
/proc/meminfo: memFree=29643060/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=704288 CPUtime=1242.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3257563 0 0 0 123256 974 0 0 25 0 1 0 132840572 721190912 174404 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 176072 174404 610 984 0 175085 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 704288

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 11774
/proc/meminfo: memFree=29606436/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=734272 CPUtime=1302.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3450988 0 0 0 129200 1030 0 0 25 0 1 0 132840572 751894528 181918 4089446400 4194304 8223781 140736029192704 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 183568 181918 610 984 0 182581 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 734272

[startup+1362.3 s]
/proc/loadavg: 2.27 2.09 2.03 3/197 11776
/proc/meminfo: memFree=29568704/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=765232 CPUtime=1362.3
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3533252 0 0 0 135162 1068 0 0 25 0 1 0 132840572 783597568 189697 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 191308 189697 610 984 0 190321 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 765232

[startup+1422.31 s]
/proc/loadavg: 2.10 2.07 2.02 3/197 11777
/proc/meminfo: memFree=29524392/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=803656 CPUtime=1422.31
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3594110 0 0 0 141135 1096 0 0 25 0 1 0 132840572 822943744 199345 4089446400 4194304 8223781 140736029192704 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 200914 199345 610 984 0 199927 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 803656

[startup+1482.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/197 11779
/proc/meminfo: memFree=29482820/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=840476 CPUtime=1482.31
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3625355 0 0 0 147108 1123 0 0 25 0 1 0 132840572 860647424 208568 4089446400 4194304 8223781 140736029192704 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 210119 208568 610 984 0 209132 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 840476

[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 11780
/proc/meminfo: memFree=29435800/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=880184 CPUtime=1542.31
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3650243 0 0 0 153085 1146 0 0 25 0 1 0 132840572 901308416 218543 4089446400 4194304 8223781 140736029192704 18446744073709551615 5813734 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 220046 218543 610 984 0 219059 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 880184

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/197 11782
/proc/meminfo: memFree=29399920/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=912864 CPUtime=1602.31
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3698700 0 0 0 159057 1174 0 0 25 0 1 0 132840572 934772736 226746 4089446400 4194304 8223781 140736029192704 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 228216 226746 610 984 0 227229 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 912864

[startup+1662.3 s]
/proc/loadavg: 2.56 2.14 2.04 3/197 11784
/proc/meminfo: memFree=29358216/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=947264 CPUtime=1662.31
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3736624 0 0 0 165029 1202 0 0 25 0 1 0 132840572 969998336 235366 4089446400 4194304 8223781 140736029192704 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 236816 235366 610 984 0 235829 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 947264

[startup+1722.3 s]
/proc/loadavg: 2.20 2.11 2.03 3/197 11785
/proc/meminfo: memFree=29315652/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=981612 CPUtime=1722.31
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3776993 0 0 0 171000 1231 0 0 25 0 1 0 132840572 1005170688 243994 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 245403 243994 610 984 0 244416 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 981612

[startup+1782.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/197 11787
/proc/meminfo: memFree=29271692/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=1022192 CPUtime=1782.31
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3802315 0 0 0 176978 1253 0 0 25 0 1 0 132840572 1046724608 253152 4089446400 4194304 8223781 140736029192704 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 255548 253152 610 984 0 254561 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 1022192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.08 2.02 3/197 11787
/proc/meminfo: memFree=29259532/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=1033100 CPUtime=1800.01
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3816921 0 0 0 178740 1261 0 0 25 0 1 0 132840572 1057894400 255850 4089446400 4194304 8223781 140736029192704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11689/statm: 258275 255850 610 984 0 257288 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1033100

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

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

[startup+1800.2 s]
/proc/loadavg: 2.05 2.08 2.02 3/197 11787
/proc/meminfo: memFree=29259532/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=1033100 CPUtime=1800.21
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3816921 0 0 0 178760 1261 0 0 18 0 1 0 132840572 1057894400 255850 4089446400 4194304 8223781 140736029192704 18446744073709551615 4240875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11689/statm: 258275 255850 610 984 0 257288 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 1033100

[startup+1800.6 s]
/proc/loadavg: 2.05 2.08 2.02 3/198 11788
/proc/meminfo: memFree=30111652/32951124 swapFree=67111528/67111528
[pid=11689] ppid=11687 vsize=70588 CPUtime=1800.61
/proc/11689/stat : 11689 (pbscip.linux.x8) R 11687 11689 11359 0 -1 4202496 3816923 0 0 0 178795 1266 0 0 18 0 1 0 132840572 72282112 16727 4089446400 4194304 8223781 140736029192704 18446744073709551615 7453498 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11689/statm: 17647 16110 612 984 0 16660 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 70588

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.64
CPU user time (s): 1787.97
CPU system time (s): 12.6681
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1033172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.97
system time used= 12.6681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3816927
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= 3552

runsolver used 3.12352 second user time and 5.95309 second system time

The end

Launcher Data 

Begin job on node105 at 2010-06-30 18:30:32
IDJOB=2692446
IDBENCH=79053
IDSOLVER=1204
FILE ID=node105/2692446-1277915432
PBS_JOBID= 11197293
Free space on /tmp= 74208 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/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl--soft-66-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-2692446-1277915432/watcher-2692446-1277915432 -o /tmp/evaluation-result-2692446-1277915432/solver-2692446-1277915432 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692446-1277915432.wbo -t 1800 -m 3800

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

MD5SUM BENCH= fbaddd9625623c5e0a4f0ddddf2cf090
RANDOM SEED=1736145278

node105.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.840
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.68
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.840
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.840
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.840
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.840
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.94
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.840
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.70
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.840
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.840
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:      30430180 kB
Buffers:        200484 kB
Cached:        1820240 kB
SwapCached:          0 kB
Active:         833164 kB
Inactive:      1541380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30430180 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5156 kB
Writeback:           0 kB
AnonPages:      354540 kB
Mapped:          16088 kB
Slab:            80812 kB
PageTables:       5396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   501884 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 node105 at 2010-06-30 19:00:34