Trace number 2705152

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.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1790.59 1790.54

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

Verifier Data 

OK	7268

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705152-1278574759/watcher-2705152-1278574759 -o /tmp/evaluation-result-2705152-1278574759/solver-2705152-1278574759 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705152-1278574759.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: 1.93 1.97 1.68 3/178 21169
/proc/meminfo: memFree=28035412/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=12348 CPUtime=0
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 1930 0 0 0 0 0 0 0 21 0 1 0 25690748 12644352 1849 4089446400 4194304 10345943 140734596243280 18446744073709551615 5755186 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21169/statm: 3087 1849 429 1502 0 1580 0

[startup+0.0468159 s]
/proc/loadavg: 1.93 1.97 1.68 3/178 21169
/proc/meminfo: memFree=28035412/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=22744 CPUtime=0.04
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 4536 0 0 0 4 0 0 0 21 0 1 0 25690748 23289856 4455 4089446400 4194304 10345943 140734596243280 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21169/statm: 5686 4455 430 1502 0 4179 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22744

[startup+0.100808 s]
/proc/loadavg: 1.93 1.97 1.68 3/178 21169
/proc/meminfo: memFree=28035412/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=43484 CPUtime=0.09
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 10136 0 0 0 9 0 0 0 21 0 1 0 25690748 44527616 9701 4089446400 4194304 10345943 140734596243280 18446744073709551615 4730225 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21169/statm: 10871 9701 478 1502 0 9364 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43484

[startup+0.30077 s]
/proc/loadavg: 1.93 1.97 1.68 3/178 21169
/proc/meminfo: memFree=28035412/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=57568 CPUtime=0.29
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 13397 0 0 0 28 1 0 0 21 0 1 0 25690748 58949632 12962 4089446400 4194304 10345943 140734596243280 18446744073709551615 4217115 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21169/statm: 14392 12962 578 1502 0 12885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57568

[startup+0.700694 s]
/proc/loadavg: 1.93 1.97 1.68 3/178 21169
/proc/meminfo: memFree=28035412/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=58176 CPUtime=0.69
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 13562 0 0 0 68 1 0 0 22 0 1 0 25690748 59572224 13127 4089446400 4194304 10345943 140734596243280 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21169/statm: 14544 13127 578 1502 0 13037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58176

[startup+1.50055 s]
/proc/loadavg: 1.94 1.97 1.68 3/179 21170
/proc/meminfo: memFree=27983944/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=74604 CPUtime=1.49
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 16998 0 0 0 148 1 0 0 25 0 1 0 25690748 76394496 16559 4089446400 4194304 10345943 140734596243280 18446744073709551615 5863243 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21169/statm: 18651 16559 731 1502 0 17144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 74604

[startup+3.10026 s]
/proc/loadavg: 1.94 1.97 1.68 3/179 21170
/proc/meminfo: memFree=27962864/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=80600 CPUtime=3.09
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 18659 0 0 0 307 2 0 0 25 0 1 0 25690748 82534400 18216 4089446400 4194304 10345943 140734596243280 18446744073709551615 4719881 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21169/statm: 20150 18216 755 1502 0 18643 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80600

[startup+6.30068 s]
/proc/loadavg: 1.94 1.97 1.68 3/179 21170
/proc/meminfo: memFree=27856112/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=84544 CPUtime=6.29
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 19791 0 0 0 627 2 0 0 25 0 1 0 25690748 86573056 19344 4089446400 4194304 10345943 140734596243280 18446744073709551615 6013922 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21169/statm: 21136 19344 793 1502 0 19629 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84544

[startup+12.7005 s]
/proc/loadavg: 2.02 1.99 1.69 3/179 21170
/proc/meminfo: memFree=27870376/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=97792 CPUtime=12.69
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 38235 0 0 0 1261 8 0 0 25 0 1 0 25690748 100139008 20126 4089446400 4194304 10345943 140734596243280 18446744073709551615 7568774 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21169/statm: 24448 20126 784 1502 0 22941 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97792

[startup+25.5002 s]
/proc/loadavg: 2.02 1.99 1.69 3/179 21171
/proc/meminfo: memFree=27867820/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=91852 CPUtime=25.49
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 58833 0 0 0 2534 15 0 0 25 0 1 0 25690748 94056448 20315 4089446400 4194304 10345943 140734596243280 18446744073709551615 6566402 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21169/statm: 22963 20315 786 1502 0 21456 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91852

[startup+51.1005 s]
/proc/loadavg: 2.01 1.99 1.70 3/179 21171
/proc/meminfo: memFree=27866996/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=92940 CPUtime=51.09
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 81723 0 0 0 5083 26 0 0 25 0 1 0 25690748 95170560 20795 4089446400 4194304 10345943 140734596243280 18446744073709551615 7569451 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21169/statm: 23235 20795 787 1502 0 21728 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92940

[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.72 3/179 21173
/proc/meminfo: memFree=27865716/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=92072 CPUtime=102.3
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 104486 0 0 0 10186 44 0 0 25 0 1 0 25690748 94281728 21030 4089446400 4194304 10345943 140734596243280 18446744073709551615 6865864 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/21169/statm: 23018 21030 801 1502 0 21511 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 92072

[startup+162.3 s]
/proc/loadavg: 2.04 2.00 1.74 3/179 21174
/proc/meminfo: memFree=27834164/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=124024 CPUtime=162.29
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 204925 0 0 0 16156 73 0 0 25 0 1 0 25690748 127000576 28930 4089446400 4194304 10345943 140734596243280 18446744073709551615 6307447 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 31006 28930 804 1502 0 29499 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 124024

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.75 3/179 21176
/proc/meminfo: memFree=27794556/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=164236 CPUtime=222.29
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 284303 0 0 0 22129 100 0 0 25 0 1 0 25690748 168177664 38655 4089446400 4194304 10345943 140734596243280 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 41059 38655 804 1502 0 39552 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 164236

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/179 21177
/proc/meminfo: memFree=27757924/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=197952 CPUtime=282.28
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 334119 0 0 0 28106 122 0 0 25 0 1 0 25690748 202702848 47053 4089446400 4194304 10345943 140734596243280 18446744073709551615 6757741 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 49488 47053 804 1502 0 47981 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 197952

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 21179
/proc/meminfo: memFree=27690428/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=232132 CPUtime=342.29
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 360355 0 0 0 34092 137 0 0 25 0 1 0 25690748 237703168 55819 4089446400 4194304 10345943 140734596243280 18446744073709551615 4694318 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 58033 55819 804 1502 0 56526 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 232132

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 21181
/proc/meminfo: memFree=27618332/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=269208 CPUtime=402.29
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 408441 0 0 0 40075 154 0 0 25 0 1 0 25690748 275668992 64831 4089446400 4194304 10345943 140734596243280 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 67302 64831 804 1502 0 65795 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 269208

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/179 21182
/proc/meminfo: memFree=27547964/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=300560 CPUtime=462.3
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 443821 0 0 0 46060 170 0 0 25 0 1 0 25690748 307773440 73355 4089446400 4194304 10345943 140734596243280 18446744073709551615 6307455 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 75140 73355 804 1502 0 73633 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 300560

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/179 21184
/proc/meminfo: memFree=27473636/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=344520 CPUtime=522.29
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 463488 0 0 0 52045 184 0 0 25 0 1 0 25690748 352788480 83506 4089446400 4194304 10345943 140734596243280 18446744073709551615 5214130 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 86130 83506 804 1502 0 84623 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 344520

[startup+582.3 s]
/proc/loadavg: 2.06 2.02 1.82 3/179 21185
/proc/meminfo: memFree=27404748/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=376224 CPUtime=582.29
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 496244 0 0 0 58030 199 0 0 25 0 1 0 25690748 385253376 92119 4089446400 4194304 10345943 140734596243280 18446744073709551615 6865876 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 94056 92119 804 1502 0 92549 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 376224

[startup+642.3 s]
/proc/loadavg: 2.02 2.01 1.83 3/179 21187
/proc/meminfo: memFree=27331908/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=416760 CPUtime=642.31
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 531686 0 0 0 64017 214 0 0 25 0 1 0 25690748 426762240 101348 4089446400 4194304 10345943 140734596243280 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 104190 101348 804 1502 0 102683 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 416760

[startup+702.301 s]

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

/proc/meminfo: memFree=26924028/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=648884 CPUtime=1002.31
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 657925 0 0 0 99950 281 0 0 25 0 1 0 25690748 664457216 158586 4089446400 4194304 10345943 140734596243280 18446744073709551615 4469793 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 162221 158586 804 1502 0 160714 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 648884

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 21198
/proc/meminfo: memFree=26867544/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=679932 CPUtime=1062.32
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 670264 0 0 0 105939 293 0 0 25 0 1 0 25690748 696250368 167451 4089446400 4194304 10345943 140734596243280 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 169983 167451 804 1502 0 168476 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 679932

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 21200
/proc/meminfo: memFree=26805124/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=715768 CPUtime=1122.32
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 690881 0 0 0 111929 303 0 0 25 0 1 0 25690748 732946432 176257 4089446400 4194304 10345943 140734596243280 18446744073709551615 4687814 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 178942 176257 804 1502 0 177435 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 715768

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 21201
/proc/meminfo: memFree=26736384/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=758448 CPUtime=1182.31
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 713484 0 0 0 117920 311 0 0 25 0 1 0 25690748 776650752 186586 4089446400 4194304 10345943 140734596243280 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 189612 186586 804 1502 0 188105 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 758448

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 21203
/proc/meminfo: memFree=26671344/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=797764 CPUtime=1242.31
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 730225 0 0 0 123911 320 0 0 25 0 1 0 25690748 816910336 195964 4089446400 4194304 10345943 140734596243280 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 199441 195964 804 1502 0 197934 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 797764

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 21214
/proc/meminfo: memFree=26605452/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=831228 CPUtime=1302.32
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 750938 0 0 0 129901 331 0 0 25 0 1 0 25690748 851177472 204925 4089446400 4194304 10345943 140734596243280 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 207807 204925 804 1502 0 206300 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 831228

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 21215
/proc/meminfo: memFree=26547432/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=869260 CPUtime=1362.33
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 769092 0 0 0 135890 343 0 0 25 0 1 0 25690748 890122240 214487 4089446400 4194304 10345943 140734596243280 18446744073709551615 6307551 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 217315 214487 804 1502 0 215808 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 869260

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 21217
/proc/meminfo: memFree=26483268/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=907588 CPUtime=1422.33
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 787010 0 0 0 141878 355 0 0 25 0 1 0 25690748 929370112 224151 4089446400 4194304 10345943 140734596243280 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 226897 224151 804 1502 0 225390 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 907588

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21218
/proc/meminfo: memFree=26425292/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=945804 CPUtime=1482.33
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 810276 0 0 0 147868 365 0 0 25 0 1 0 25690748 968503296 233043 4089446400 4194304 10345943 140734596243280 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 236451 233043 804 1502 0 234944 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 945804

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21220
/proc/meminfo: memFree=26356640/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=985112 CPUtime=1542.33
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 827096 0 0 0 153860 373 0 0 25 0 1 0 25690748 1008754688 243245 4089446400 4194304 10345943 140734596243280 18446744073709551615 6307447 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 246278 243245 804 1502 0 244771 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 985112

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21222
/proc/meminfo: memFree=26291488/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=1029440 CPUtime=1602.33
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 841798 0 0 0 159854 379 0 0 25 0 1 0 25690748 1054146560 253561 4089446400 4194304 10345943 140734596243280 18446744073709551615 6307434 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 257360 253561 804 1502 0 255853 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1029440

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21223
/proc/meminfo: memFree=26227584/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=1071284 CPUtime=1662.34
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 856872 0 0 0 165849 385 0 0 25 0 1 0 25690748 1096994816 263307 4089446400 4194304 10345943 140734596243280 18446744073709551615 5926682 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 267821 263307 804 1502 0 266314 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1071284

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21225
/proc/meminfo: memFree=26167044/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=1104040 CPUtime=1722.34
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 878797 0 0 0 171837 397 0 0 25 0 1 0 25690748 1130536960 272488 4089446400 4194304 10345943 140734596243280 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 276010 272488 804 1502 0 274503 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1104040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21226
/proc/meminfo: memFree=26104368/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=1144904 CPUtime=1782.33
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 890498 0 0 0 177824 409 0 0 25 0 1 0 25690748 1172381696 282294 4089446400 4194304 10345943 140734596243280 18446744073709551615 4900821 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 286226 282294 804 1502 0 284719 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1144904

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21226
/proc/meminfo: memFree=26101000/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=1146608 CPUtime=1785.54
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 890793 0 0 0 178144 410 0 0 25 0 1 0 25690748 1174126592 282589 4089446400 4194304 10345943 140734596243280 18446744073709551615 4729198 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 286652 282589 804 1502 0 285145 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1146608

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21226
/proc/meminfo: memFree=26098132/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=1149340 CPUtime=1788.74
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 891524 0 0 0 178463 411 0 0 25 0 1 0 25690748 1176924160 283320 4089446400 4194304 10345943 140734596243280 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 287335 283320 804 1502 0 285828 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 1149340

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21226
/proc/meminfo: memFree=26098132/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=1149340 CPUtime=1789.54
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 891730 0 0 0 178543 411 0 0 25 0 1 0 25690748 1176924160 283526 4089446400 4194304 10345943 140734596243280 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21169/statm: 287335 283526 804 1502 0 285828 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 1149340

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21226
/proc/meminfo: memFree=26097140/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=1149672 CPUtime=1790.34
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 891768 0 0 0 178623 411 0 0 25 0 1 0 25690748 1177264128 283564 4089446400 4194304 10345943 140734596243280 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21169/statm: 287418 283564 805 1502 0 285911 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 1149672

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21226
/proc/meminfo: memFree=26097140/32951124 swapFree=67111528/67111528
[pid=21169] ppid=21167 vsize=1108112 CPUtime=1790.53
/proc/21169/stat : 21169 (pbscip.linux.x8) R 21167 21169 20874 0 -1 4202496 891768 0 0 0 178642 411 0 0 25 0 1 0 25690748 1134706688 242063 4089446400 4194304 10345943 140734596243280 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21169/statm: 277028 241551 805 1502 0 275521 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (KiB) 1108112

Child status: 0
Real time (s): 1790.54
CPU time (s): 1790.59
CPU user time (s): 1786.44
CPU system time (s): 4.15037
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1149672

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

runsolver used 2.81457 second user time and 6.90695 second system time

The end

Launcher Data 

Begin job on node110 at 2010-07-08 09:39:19
IDJOB=2705152
IDBENCH=79053
IDSOLVER=1214
FILE ID=node110/2705152-1278574759
PBS_JOBID= 11240233
Free space on /tmp= 73492 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 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-66-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-2705152-1278574759/watcher-2705152-1278574759 -o /tmp/evaluation-result-2705152-1278574759/solver-2705152-1278574759 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705152-1278574759.wbo -t 1800 -m 3800

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

MD5SUM BENCH= fbaddd9625623c5e0a4f0ddddf2cf090
RANDOM SEED=820752671

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
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.82
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.801
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
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.75
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.801
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	: 5347.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28035940 kB
Buffers:        151972 kB
Cached:        4330244 kB
SwapCached:          0 kB
Active:        2304388 kB
Inactive:      2449992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28035940 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26564 kB
Writeback:           0 kB
AnonPages:      272072 kB
Mapped:          17572 kB
Slab:            95620 kB
PageTables:       5208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   424568 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= 73480 MiB
End job on node110 at 2010-07-08 10:09:10