Trace number 2683442

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 NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT6259 6.05808 6.05903

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randd92c9f.cudf.paranoid.opb
MD5SUMa9ecc28516d3a3a7225c9fe76fccfe7f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6259
Best CPU time to get the best result obtained on this benchmark2.30065
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5458
Total number of constraints24252
Number of constraints which are clauses23991
Number of constraints which are cardinality constraints (but not clauses)261
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2059
Biggest coefficient in the objective function 1510
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 833518
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1510
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 833518
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2683442-1277509745.opb>
0.39/0.45	c original problem has 5458 variables (5458 bin, 0 int, 0 impl, 0 cont) and 24252 constraints
0.39/0.45	c problem read
0.39/0.45	c presolving settings loaded
0.49/0.58	c presolving:
0.69/0.74	c (round 1) 636 del vars, 1282 del conss, 17 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 52682 impls, 258 clqs
0.69/0.79	c (round 2) 799 del vars, 1625 del conss, 127 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 59953 impls, 251 clqs
0.79/0.84	c (round 3) 1090 del vars, 6490 del conss, 319 chg bounds, 4 chg sides, 13 chg coeffs, 0 upgd conss, 62629 impls, 239 clqs
0.79/0.89	c (round 4) 1728 del vars, 10638 del conss, 344 chg bounds, 19 chg sides, 51 chg coeffs, 0 upgd conss, 63484 impls, 237 clqs
0.89/0.91	c (round 5) 1771 del vars, 10938 del conss, 350 chg bounds, 19 chg sides, 52 chg coeffs, 0 upgd conss, 63706 impls, 237 clqs
0.89/0.93	c (round 6) 1787 del vars, 10995 del conss, 350 chg bounds, 19 chg sides, 52 chg coeffs, 0 upgd conss, 63706 impls, 237 clqs
0.89/0.95	c (round 7) 1789 del vars, 11000 del conss, 350 chg bounds, 19 chg sides, 52 chg coeffs, 0 upgd conss, 63706 impls, 237 clqs
0.89/0.96	c (round 8) 1791 del vars, 11006 del conss, 350 chg bounds, 19 chg sides, 52 chg coeffs, 0 upgd conss, 63706 impls, 237 clqs
1.10/1.15	c (round 9) 1791 del vars, 11983 del conss, 350 chg bounds, 19 chg sides, 52 chg coeffs, 12222 upgd conss, 63706 impls, 237 clqs
1.19/1.23	c (round 10) 1797 del vars, 11992 del conss, 350 chg bounds, 19 chg sides, 52 chg coeffs, 12222 upgd conss, 63706 impls, 237 clqs
1.19/1.27	c (round 11) 1797 del vars, 11994 del conss, 350 chg bounds, 21 chg sides, 52 chg coeffs, 12222 upgd conss, 63706 impls, 237 clqs
1.19/1.29	c (round 12) 1798 del vars, 11995 del conss, 350 chg bounds, 21 chg sides, 52 chg coeffs, 12261 upgd conss, 63706 impls, 237 clqs
1.29/1.38	c (round 13) 1798 del vars, 12008 del conss, 350 chg bounds, 21 chg sides, 52 chg coeffs, 12262 upgd conss, 63706 impls, 237 clqs
1.49/1.51	c (round 14) 1848 del vars, 12008 del conss, 350 chg bounds, 21 chg sides, 52 chg coeffs, 12262 upgd conss, 73458 impls, 234 clqs
1.49/1.53	c (round 15) 1855 del vars, 12375 del conss, 353 chg bounds, 21 chg sides, 52 chg coeffs, 12262 upgd conss, 73700 impls, 234 clqs
1.49/1.55	c (round 16) 1860 del vars, 12382 del conss, 353 chg bounds, 21 chg sides, 52 chg coeffs, 12262 upgd conss, 73700 impls, 234 clqs
1.59/1.69	c (round 17) 1860 del vars, 12414 del conss, 353 chg bounds, 21 chg sides, 52 chg coeffs, 12262 upgd conss, 73700 impls, 234 clqs
1.89/1.91	c (round 18) 1912 del vars, 12414 del conss, 353 chg bounds, 21 chg sides, 52 chg coeffs, 12262 upgd conss, 79084 impls, 229 clqs
1.89/1.93	c (round 19) 1912 del vars, 12466 del conss, 353 chg bounds, 21 chg sides, 52 chg coeffs, 12262 upgd conss, 79084 impls, 229 clqs
1.89/1.97	c (round 20) 1912 del vars, 12468 del conss, 353 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 79084 impls, 229 clqs
2.20/2.22	c (round 21) 1962 del vars, 12468 del conss, 353 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 80174 impls, 229 clqs
2.20/2.24	c (round 22) 1962 del vars, 12497 del conss, 353 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 80174 impls, 229 clqs
2.20/2.29	c (round 23) 1962 del vars, 12499 del conss, 353 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 80174 impls, 229 clqs
2.49/2.50	c (round 24) 2012 del vars, 12499 del conss, 353 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 82430 impls, 229 clqs
2.49/2.52	c (round 25) 2014 del vars, 12519 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 82459 impls, 229 clqs
2.49/2.54	c (round 26) 2015 del vars, 12521 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 82459 impls, 229 clqs
2.59/2.63	c    (1.9s) probing: 1000/3660 (27.3%) - 55 fixings, 161 aggregations, 3346 implications, 0 bound changes
2.69/2.74	c (round 27) 2065 del vars, 12522 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 84698 impls, 228 clqs
2.69/2.76	c (round 28) 2066 del vars, 12531 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 84700 impls, 228 clqs
2.79/2.81	c (round 29) 2066 del vars, 12534 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 84700 impls, 228 clqs
2.89/2.98	c (round 30) 2117 del vars, 12534 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 85657 impls, 227 clqs
2.99/3.00	c (round 31) 2119 del vars, 12564 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 85797 impls, 227 clqs
3.09/3.18	c (round 32) 2169 del vars, 12565 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 86529 impls, 227 clqs
3.20/3.20	c (round 33) 2169 del vars, 12570 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 86529 impls, 227 clqs
3.20/3.29	c (round 34) 2169 del vars, 12586 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 86529 impls, 227 clqs
3.29/3.37	c (round 35) 2169 del vars, 12592 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 86529 impls, 227 clqs
3.39/3.48	c    (2.7s) probing: 2000/3660 (54.6%) - 72 fixings, 320 aggregations, 4981 implications, 0 bound changes
3.49/3.50	c (round 36) 2219 del vars, 12592 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 87126 impls, 227 clqs
3.49/3.52	c (round 37) 2219 del vars, 12599 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 87126 impls, 227 clqs
3.69/3.70	c (round 38) 2219 del vars, 12691 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 87126 impls, 227 clqs
3.69/3.76	c (round 39) 2220 del vars, 12700 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 87126 impls, 227 clqs
3.89/3.91	c (round 40) 2270 del vars, 12700 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 87721 impls, 227 clqs
3.89/3.92	c (round 41) 2270 del vars, 12711 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 87721 impls, 227 clqs
4.09/4.10	c (round 42) 2320 del vars, 12711 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 88791 impls, 227 clqs
4.09/4.12	c (round 43) 2321 del vars, 12739 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 88793 impls, 227 clqs
4.09/4.18	c (round 44) 2321 del vars, 12752 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 88793 impls, 227 clqs
4.30/4.39	c    (3.5s) probing: 3000/3660 (82.0%) - 106 fixings, 445 aggregations, 7297 implications, 0 bound changes
4.40/4.40	c (round 45) 2371 del vars, 12752 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 91317 impls, 227 clqs
4.40/4.42	c (round 46) 2373 del vars, 12826 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 91323 impls, 227 clqs
4.40/4.49	c (round 47) 2373 del vars, 12829 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 91323 impls, 227 clqs
4.79/4.80	c (round 48) 2421 del vars, 12829 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 98153 impls, 227 clqs
4.79/4.82	c (round 49) 2460 del vars, 12931 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 98457 impls, 227 clqs
4.79/4.87	c (round 50) 2460 del vars, 12933 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 98457 impls, 227 clqs
4.99/5.00	c (round 51) 2460 del vars, 12955 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 98457 impls, 227 clqs
4.99/5.05	c (round 52) 2460 del vars, 12957 del conss, 354 chg bounds, 22 chg sides, 52 chg coeffs, 12262 upgd conss, 98457 impls, 227 clqs
4.99/5.09	c presolving (53 rounds):
4.99/5.09	c  2460 deleted vars, 12957 deleted constraints, 354 tightened bounds, 0 added holes, 22 changed sides, 52 changed coefficients
4.99/5.09	c  98457 implications, 227 cliques
4.99/5.09	c presolved problem has 2998 variables (2998 bin, 0 int, 0 impl, 0 cont) and 11298 constraints
4.99/5.09	c     227 constraints of type <setppc>
4.99/5.09	c   11071 constraints of type <logicor>
4.99/5.09	c transformed objective value is always integral (scale: 1)
4.99/5.09	c Presolving Time: 4.06
4.99/5.09	c - non default parameters ----------------------------------------------------------------------
4.99/5.09	c # SCIP version 1.2.1.2
4.99/5.09	c 
4.99/5.09	c # frequency for displaying node information lines
4.99/5.09	c # [type: int, range: [-1,2147483647], default: 100]
4.99/5.09	c display/freq = 10000
4.99/5.09	c 
4.99/5.09	c # maximal time in seconds to run
4.99/5.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.09	c limits/time = 1799.55
4.99/5.09	c 
4.99/5.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.99/5.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.99/5.09	c limits/memory = 1620
4.99/5.09	c 
4.99/5.09	c # should presolving try to simplify inequalities
4.99/5.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.09	c constraints/linear/simplifyinequalities = TRUE
4.99/5.09	c 
4.99/5.09	c # should presolving try to simplify knapsacks
4.99/5.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.99/5.09	c constraints/knapsack/simplifyinequalities = TRUE
4.99/5.09	c 
4.99/5.09	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.99/5.09	c # [type: int, range: [-1,2147483647], default: -1]
4.99/5.09	c separating/rapidlearning/freq = 0
4.99/5.09	c 
4.99/5.09	c -----------------------------------------------------------------------------------------------
4.99/5.09	c start solving
4.99/5.09	c 
5.19/5.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.19/5.22	c   4.2s|     1 |     0 |   244 |     - |  33M|   0 | 123 |2998 |  11k|2998 |9260 |   0 |   0 |   0 | 5.255111e+03 |      --      |    Inf 
5.19/5.23	o 38038
5.19/5.23	c s 4.2s|     1 |     0 |   244 |     - |  33M|   0 | 123 |2998 |  11k|2998 |9260 |   0 |   0 |   0 | 5.255111e+03 | 3.803800e+04 | 623.83%
5.89/5.90	c   4.9s|     1 |     0 |   278 |     - |  33M|   0 |   0 |2998 |  11k|2998 |9580 | 320 |   0 |   0 | 6.259000e+03 | 3.803800e+04 | 507.73%
5.89/5.91	o 38036
5.89/5.91	c b 4.9s|     1 |     0 |   278 |     - |  33M|   0 |   0 |2998 |  11k|2998 |9580 | 320 |   0 |   0 | 6.259000e+03 | 3.803600e+04 | 507.70%
5.89/5.92	o 6259
5.89/5.92	c * 4.9s|     1 |     0 |   278 |     - |  33M|   0 |   - |2998 |  11k|2998 |9580 | 320 |   0 |   0 | 6.259000e+03 | 6.259000e+03 |   0.00%
5.89/5.92	c 
5.89/5.92	c SCIP Status        : problem is solved [optimal solution found]
5.89/5.92	c Solving Time (sec) : 4.92
5.89/5.92	c Solving Nodes      : 1
5.89/5.92	c Primal Bound       : +6.25900000000000e+03 (3 solutions)
5.89/5.92	c Dual Bound         : +6.25900000000000e+03
5.89/5.92	c Gap                : 0.00 %
5.89/5.96	s OPTIMUM FOUND
5.89/5.96	v -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 
5.89/5.96	v -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 x3366 -x3365 -x3364 -x3363 
5.89/5.96	v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 
5.89/5.96	v -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 
5.89/5.96	v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 
5.89/5.96	v -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 
5.89/5.96	v -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 
5.89/5.96	v -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 x3260 -x3259 -x3258 -x3257 -x3256 
5.89/5.96	v -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 
5.89/5.96	v -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 
5.89/5.96	v -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 
5.89/5.96	v -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 
5.89/5.96	v -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 
5.89/5.96	v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 
5.89/5.96	v -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 
5.89/5.96	v -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 
5.89/5.96	v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 
5.89/5.96	v -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 
5.89/5.96	v -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 
5.89/5.96	v -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 
5.89/5.96	v -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 
5.89/5.96	v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 
5.89/5.96	v -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 
5.89/5.96	v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 
5.89/5.96	v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 
5.89/5.96	v -x2951 x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 
5.89/5.96	v -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 
5.89/5.96	v -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 
5.89/5.96	v -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 
5.89/5.96	v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 
5.89/5.96	v -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 x2847 x2846 -x2845 
5.89/5.96	v x2844 -x2843 -x2842 x2841 -x2840 -x2839 -x2838 x2837 -x2836 x2835 -x2834 -x2833 x2832 x2831 -x2830 x2829 -x2828 x2827 -x2826 
5.89/5.96	v -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 x2809 -x2808 
5.89/5.96	v x2807 -x2806 -x2805 x2804 -x2803 -x2802 -x2801 -x2800 x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 x2789 
5.89/5.96	v x2788 x2787 x2786 x2785 -x2784 -x2783 x2782 -x2781 -x2780 -x2779 x2778 -x2777 -x2776 -x2775 -x2774 x2773 -x2772 x2771 -x2770 
5.89/5.96	v -x2769 x2768 x2767 -x2766 -x2765 -x2764 -x2763 x2762 -x2761 x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 
5.89/5.96	v -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 
5.89/5.96	v -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 x2721 x2720 -x2719 x2718 -x2717 x2716 
5.89/5.96	v -x2715 x2714 -x2713 x2712 -x2711 -x2710 x2709 x2708 x2707 -x2706 x2705 -x2704 x2703 -x2702 x2701 -x2700 -x2699 -x2698 -x2697 
5.89/5.96	v -x2696 -x2695 -x2694 x2693 x2692 x2691 x2690 x2689 x2688 x2687 x2686 -x2685 x2684 -x2683 -x2682 x2681 -x2680 -x2679 -x2678 x2677 
5.89/5.96	v -x2676 -x2675 -x2674 x2673 x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 x2664 x2663 -x2662 -x2661 -x2660 x2659 
5.89/5.96	v -x2658 -x2657 -x2656 x2655 -x2654 -x2653 x2652 -x2651 x2650 -x2649 x2648 -x2647 -x2646 -x2645 x2644 -x2643 -x2642 x2641 -x2640 
5.89/5.96	v -x2639 -x2638 -x2637 -x2636 -x2635 x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 x2626 -x2625 x2624 -x2623 -x2622 
5.89/5.96	v -x2621 -x2620 x2619 -x2618 x2617 -x2616 -x2615 -x2614 -x2613 x2612 -x2611 -x2610 -x2609 -x2608 x2607 -x2606 -x2605 -x2604 -x2603 
5.89/5.96	v -x2602 x2601 -x2600 x2599 -x2598 -x2597 x2596 -x2595 x2594 -x2593 -x2592 -x2591 x2590 -x2589 -x2588 -x2587 x2586 -x2585 -x2584 
5.89/5.96	v -x2583 -x2582 -x2581 x2580 -x2579 -x2578 -x2577 x2576 -x2575 -x2574 -x2573 x2572 -x2571 x2570 x2569 -x2568 x2567 x2566 
5.89/5.96	v -x2565 -x2564 -x2563 x2562 x2561 -x2560 x2559 -x2558 -x2557 x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 
5.89/5.96	v x2546 -x2545 -x2544 -x2543 -x2542 -x2541 x2540 -x2539 -x2538 -x2537 x2536 x2535 -x2534 -x2533 x2532 -x2531 x2530 -x2529 -x2528 
5.89/5.96	v x2527 x2526 x2525 x2524 -x2523 -x2522 -x2521 x2520 x2519 -x2518 -x2517 -x2516 -x2515 x2514 -x2513 -x2512 x2511 x2510 -x2509 
5.89/5.96	v -x2508 x2507 -x2506 -x2505 -x2504 -x2503 -x2502 x2501 -x2500 -x2499 x2498 -x2497 -x2496 -x2495 -x2494 x2493 -x2492 -x2491 
5.89/5.96	v x2490 -x2489 x2488 -x2487 -x2486 -x2485 -x2484 x2483 x2482 -x2481 -x2480 -x2479 x2478 -x2477 -x2476 -x2475 x2474 -x2473 -x2472 
5.89/5.96	v -x2471 -x2470 -x2469 -x2468 -x2467 x2466 x2465 -x2464 -x2463 -x2462 -x2461 x2460 x2459 -x2458 x2457 -x2456 -x2455 -x2454 
5.89/5.96	v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 
5.89/5.96	v -x2435 -x2434 -x2433 x2432 -x2431 -x2430 -x2429 x2428 x2427 -x2426 -x2425 x2424 x2423 -x2422 x2421 -x2420 x2419 -x2418 -x2417 
5.89/5.96	v -x2416 -x2415 -x2414 -x2413 x2412 -x2411 x2410 -x2409 x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 x2400 x2399 x2398 
5.89/5.96	v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 
5.89/5.96	v x2379 x2378 -x2377 x2376 -x2375 x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 
5.89/5.96	v -x2361 -x2360 -x2359 x2358 -x2357 x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 x2349 x2348 x2347 x2346 -x2345 -x2344 x2343 
5.89/5.96	v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 x2332 -x2331 x2330 -x2329 -x2328 -x2327 -x2326 -x2325 
5.89/5.96	v -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 x2316 x2315 -x2314 -x2313 -x2312 -x2311 x2310 -x2309 -x2308 -x2307 
5.89/5.96	v -x2306 -x2305 x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 x2293 -x2292 x2291 -x2290 -x2289 -x2288 
5.89/5.96	v -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 x2279 -x2278 -x2277 -x2276 x2275 -x2274 -x2273 -x2272 x2271 x2270 
5.89/5.96	v x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 x2262 -x2261 x2260 -x2259 x2258 -x2257 -x2256 x2255 -x2254 -x2253 -x2252 -x2251 
5.89/5.96	v -x2250 -x2249 -x2248 -x2247 x2246 -x2245 x2244 -x2243 -x2242 -x2241 -x2240 x2239 -x2238 x2237 -x2236 -x2235 -x2234 -x2233 
5.89/5.96	v -x2232 -x2231 -x2230 x2229 -x2228 x2227 -x2226 -x2225 x2224 -x2223 -x2222 x2221 -x2220 x2219 -x2218 -x2217 -x2216 -x2215 x2214 
5.89/5.96	v x2213 -x2212 -x2211 -x2210 -x2209 x2208 -x2207 -x2206 -x2205 -x2204 x2203 -x2202 x2201 -x2200 -x2199 -x2198 -x2197 -x2196 
5.89/5.96	v -x2195 -x2194 -x2193 -x2192 -x2191 x2190 x2189 -x2188 -x2187 x2186 -x2185 -x2184 x2183 -x2182 -x2181 x2180 -x2179 -x2178 x2177 
5.89/5.96	v x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 x2169 x2168 -x2167 x2166 -x2165 x2164 -x2163 -x2162 -x2161 x2160 -x2159 -x2158 
5.89/5.96	v x2157 x2156 -x2155 -x2154 -x2153 -x2152 x2151 -x2150 x2149 -x2148 -x2147 -x2146 x2145 -x2144 -x2143 -x2142 x2141 x2140 -x2139 
5.89/5.96	v x2138 -x2137 -x2136 -x2135 x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 
5.89/5.96	v -x2120 x2119 x2118 -x2117 x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 
5.89/5.96	v x2102 -x2101 -x2100 -x2099 x2098 -x2097 -x2096 x2095 -x2094 x2093 -x2092 -x2091 x2090 x2089 -x2088 x2087 x2086 -x2085 x2084 
5.89/5.96	v -x2083 x2082 -x2081 -x2080 -x2079 x2078 -x2077 x2076 -x2075 x2074 -x2073 x2072 -x2071 -x2070 -x2069 -x2068 -x2067 x2066 x2065 
5.89/5.96	v -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 x2049 x2048 x2047 
5.89/5.96	v x2046 x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 
5.89/5.96	v -x2028 -x2027 -x2026 -x2025 -x2024 x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 x2012 -x2011 -x2010 
5.89/5.96	v x2009 x2008 -x2007 -x2006 -x2005 x2004 x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 x1995 -x1994 x1993 x1992 
5.89/5.96	v x1991 x1990 -x1989 x1988 -x1987 -x1986 -x1985 x1984 x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 x1976 -x1975 x1974 -x1973 
5.89/5.96	v -x1972 x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 x1963 x1962 -x1961 -x1960 -x1959 x1958 x1957 -x1956 -x1955 x1954 
5.89/5.96	v -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 x1946 -x1945 -x1944 x1943 -x1942 -x1941 x1940 -x1939 x1938 -x1937 -x1936 x1935 
5.89/5.96	v -x1934 -x1933 -x1932 x1931 -x1930 -x1929 x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 x1921 -x1920 x1919 -x1918 x1917 
5.89/5.96	v -x1916 -x1915 x1914 -x1913 x1912 -x1911 x1910 -x1909 -x1908 x1907 x1906 -x1905 x1904 -x1903 -x1902 -x1901 -x1900 x1899 -x1898 
5.89/5.96	v -x1897 x1896 -x1895 x1894 -x1893 -x1892 -x1891 -x1890 -x1889 x1888 -x1887 -x1886 -x1885 -x1884 -x1883 x1882 -x1881 x1880 x1879 
5.89/5.96	v -x1878 x1877 x1876 -x1875 -x1874 -x1873 -x1872 x1871 -x1870 -x1869 -x1868 -x1867 x1866 -x1865 -x1864 -x1863 -x1862 -x1861 
5.89/5.96	v -x1860 x1859 -x1858 x1857 -x1856 x1855 -x1854 -x1853 -x1852 -x1851 x1850 x1849 -x1848 x1847 -x1846 -x1845 -x1844 -x1843 x1842 
5.89/5.96	v x1841 -x1840 x1839 -x1838 x1837 -x1836 x1835 -x1834 x1833 -x1832 x1831 -x1830 -x1829 x1828 -x1827 -x1826 x1825 -x1824 x1823 
5.89/5.96	v x1822 x1821 x1820 x1819 -x1818 -x1817 x1816 x1815 x1814 -x1813 -x1812 -x1811 -x1810 -x1809 x1808 -x1807 x1806 -x1805 x1804 -x1803 
5.89/5.96	v x1802 -x1801 x1800 x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 x1791 x1790 -x1789 -x1788 x1787 -x1786 x1785 
5.89/5.96	v -x1784 x1783 x1782 -x1781 x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 x1767 -x1766 
5.89/5.96	v -x1765 x1764 -x1763 -x1762 -x1761 -x1760 x1759 -x1758 x1757 -x1756 x1755 x1754 -x1753 -x1752 -x1751 x1750 -x1749 x1748 -x1747 
5.89/5.96	v -x1746 x1745 -x1744 -x1743 x1742 x1741 -x1740 x1739 -x1738 -x1737 x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 
5.89/5.96	v -x1728 -x1727 x1726 -x1725 -x1724 x1723 x1722 -x1721 x1720 -x1719 x1718 -x1717 -x1716 x1715 -x1714 x1713 x1712 -x1711 x1710 -x1709 
5.89/5.96	v x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 x1691 
5.89/5.96	v -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 x1673 
5.89/5.96	v -x1672 x1671 -x1670 -x1669 x1668 x1667 -x1666 x1665 -x1664 -x1663 -x1662 -x1661 x1660 -x1659 -x1658 -x1657 -x1656 -x1655 
5.89/5.96	v x1654 -x1653 -x1652 -x1651 -x1650 x1649 -x1648 x1647 -x1646 x1645 -x1644 x1643 x1642 -x1641 x1640 -x1639 x1638 -x1637 x1636 -x1635 
5.89/5.96	v -x1634 x1633 -x1632 -x1631 x1630 x1629 -x1628 -x1627 -x1626 x1625 -x1624 -x1623 x1622 -x1621 x1620 -x1619 x1618 x1617 -x1616 
5.89/5.96	v x1615 -x1614 x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607 x1606 x1605 -x1604 x1603 -x1602 -x1601 x1600 -x1599 x1598 -x1597 
5.89/5.96	v -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 x1584 -x1583 -x1582 -x1581 -x1580 -x1579 
5.89/5.96	v x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 
5.89/5.96	v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 
5.89/5.96	v -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 
5.89/5.96	v -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 x1515 -x1514 -x1513 -x1512 x1511 -x1510 -x1509 -x1508 -x1507 
5.89/5.96	v -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 
5.89/5.96	v -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 x1482 x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 
5.89/5.96	v x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 
5.89/5.96	v -x1452 -x1451 -x1450 x1449 -x1448 -x1447 -x1446 x1445 -x1444 -x1443 x1442 -x1441 x1440 -x1439 -x1438 -x1437 -x1436 -x1435 
5.89/5.96	v -x1434 -x1433 -x1432 x1431 x1430 -x1429 -x1428 -x1427 x1426 -x1425 x1424 x1423 -x1422 -x1421 x1420 -x1419 -x1418 -x1417 -x1416 
5.89/5.96	v -x1415 -x1414 -x1413 x1412 -x1411 x1410 x1409 -x1408 x1407 -x1406 x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 -x1398 -x1397 
5.89/5.96	v -x1396 -x1395 x1394 x1393 -x1392 -x1391 x1390 x1389 -x1388 x1387 x1386 x1385 x1384 x1383 x1382 x1381 -x1380 -x1379 x1378 
5.89/5.96	v -x1377 -x1376 -x1375 -x1374 -x1373 x1372 x1371 -x1370 x1369 -x1368 -x1367 -x1366 x1365 -x1364 x1363 x1362 -x1361 -x1360 x1359 
5.89/5.96	v -x1358 -x1357 x1356 -x1355 -x1354 x1353 -x1352 x1351 -x1350 x1349 -x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 x1341 -x1340 
5.89/5.96	v -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 x1325 x1324 -x1323 -x1322 
5.89/5.96	v -x1321 -x1320 -x1319 x1318 -x1317 -x1316 -x1315 -x1314 x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 
5.89/5.96	v -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 x1293 -x1292 x1291 -x1290 -x1289 x1288 -x1287 x1286 -x1285 
5.89/5.96	v -x1284 -x1283 x1282 -x1281 -x1280 x1279 x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 x1271 -x1270 x1269 -x1268 -x1267 
5.89/5.96	v -x1266 -x1265 x1264 x1263 -x1262 -x1261 x1260 -x1259 x1258 -x1257 x1256 -x1255 x1254 -x1253 x1252 -x1251 -x1250 x1249 -x1248 
5.89/5.96	v x1247 -x1246 -x1245 x1244 -x1243 -x1242 x1241 x1240 x1239 -x1238 x1237 -x1236 x1235 -x1234 -x1233 x1232 x1231 -x1230 -x1229 
5.89/5.96	v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 
5.89/5.96	v -x1210 -x1209 -x1208 x1207 -x1206 -x1205 x1204 x1203 -x1202 -x1201 x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 
5.89/5.96	v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 x1182 x1181 -x1180 -x1179 x1178 -x1177 -x1176 x1175 -x1174 
5.89/5.96	v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 
5.89/5.96	v -x1155 -x1154 -x1153 -x1152 -x1151 x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 x1142 x1141 -x1140 -x1139 -x1138 
5.89/5.96	v -x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 
5.89/5.96	v -x1118 -x1117 -x1116 -x1115 x1114 x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 
5.89/5.96	v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 x1093 -x1092 x1091 x1090 x1089 -x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 
5.89/5.96	v -x1081 x1080 -x1079 -x1078 -x1077 -x1076 -x1075 x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 
5.89/5.96	v -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 
5.89/5.96	v -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 
5.89/5.96	v -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 
5.89/5.96	v -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 
5.89/5.96	v -x990 -x989 -x988 -x987 -x986 -x985 x984 -x983 -x982 x981 x980 -x979 -x978 -x977 -x976 x975 -x974 x973 x972 -x971 -x970 x969 
5.89/5.96	v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 -x948 
5.89/5.96	v -x947 -x946 x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 x927 x926 
5.89/5.96	v -x925 -x924 x923 -x922 x921 -x920 x919 -x918 x917 x916 -x915 -x914 x913 -x912 -x911 -x910 x909 -x908 x907 -x906 -x905 x904 -x903 
5.89/5.96	v -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 
5.89/5.96	v x881 -x880 -x879 x878 x877 -x876 -x875 -x874 x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 x862 x861 -x860 
5.89/5.96	v x859 -x858 x857 -x856 x855 x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 
5.89/5.96	v x838 -x837 -x836 x835 -x834 -x833 x832 x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 x818 x817 -x816 
5.89/5.96	v x815 -x814 x813 x812 -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 x799 -x798 x797 -x796 -x795 -x794 
5.89/5.96	v -x793 x792 x791 -x790 x789 -x788 -x787 -x786 -x785 x784 -x783 x782 -x781 -x780 x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 
5.89/5.96	v -x771 x770 x769 -x768 -x767 -x766 x765 x764 x763 -x762 -x761 x760 -x759 x758 -x757 x756 -x755 -x754 x753 -x752 -x751 -x750 
5.89/5.96	v -x749 -x748 -x747 -x746 x745 x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 x730 x729 -x728 
5.89/5.96	v -x727 x726 x725 -x724 x723 -x722 x721 -x720 -x719 -x718 x717 x716 -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 
5.89/5.96	v -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 -x686 x685 
5.89/5.96	v -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 
5.89/5.96	v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 x653 -x652 x651 -x650 x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 
5.89/5.96	v -x641 x640 x639 -x638 x637 x636 -x635 x634 -x633 -x632 x631 -x630 x629 -x628 -x627 x626 -x625 x624 x623 -x622 x621 -x620 x619 
5.89/5.96	v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 x610 x609 -x608 x607 -x606 -x605 x604 -x603 -x602 x601 -x600 -x599 -x598 
5.89/5.96	v -x597 -x596 -x595 -x594 x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 
5.89/5.96	v -x575 x574 -x573 -x572 -x571 x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 x555 
5.89/5.96	v x554 -x553 x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 -x538 x537 x536 -x535 x534 -x533 
5.89/5.96	v -x532 x531 -x530 x529 x528 -x527 -x526 x525 -x524 -x523 x522 -x521 x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 
5.89/5.96	v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 x495 -x494 x493 -x492 -x491 x490 -x489 
5.89/5.96	v -x488 -x487 x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 x478 x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 
5.89/5.96	v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 x448 x447 -x446 
5.89/5.96	v -x445 -x444 x443 x442 x441 -x440 x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 
5.89/5.96	v x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415 -x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 x405 x404 x403 x402 
5.89/5.96	v x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 
5.89/5.96	v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 x370 -x369 -x368 x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 x359 
5.89/5.96	v x358 -x357 -x356 x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 x341 x340 -x339 x338 -x337 
5.89/5.96	v x336 -x335 x334 -x333 -x332 -x331 -x330 x329 x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 
5.89/5.96	v x314 -x313 -x312 x311 x310 -x309 x308 -x307 x306 -x305 x304 -x303 -x302 -x301 x300 -x299 x298 x297 -x296 -x295 -x294 -x293 
5.89/5.96	v -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 x284 x283 -x282 x281 -x280 x279 x278 -x277 x276 -x275 -x274 x273 -x272 x271 
5.89/5.96	v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 x255 -x254 -x253 -x252 -x251 x250 -x249 
5.89/5.96	v -x248 x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 
5.89/5.96	v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 
5.89/5.96	v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 
5.89/5.96	v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 x169 -x168 -x167 -x166 x165 
5.89/5.96	v -x164 -x163 x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 x150 -x149 -x148 x147 -x146 x145 -x144 -x143 
5.89/5.96	v x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 
5.89/5.96	v -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 
5.89/5.96	v -x100 -x99 x98 x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 
5.89/5.96	v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 
5.89/5.96	v x49 x48 -x47 -x46 -x45 x44 -x43 x42 x41 -x40 x39 -x38 x37 x36 -x35 x34 -x33 x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 x22 
5.89/5.96	v -x21 x20 x19 -x18 -x17 x16 x15 -x14 x13 x12 -x11 x10 -x9 -x8 -x7 x6 -x5 x4 -x3 -x2 x1 x5458 x5457 -x5456 -x5455 -x5454 -x5453 
5.89/5.96	v -x5452 -x5451 -x5450 -x5449 x5448 x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 
5.89/5.96	v -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 
5.89/5.96	v -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 
5.89/5.96	v -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 x5383 -x5382 -x5381 
5.89/5.96	v -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 x5373 -x5372 -x5371 -x5370 x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 
5.89/5.96	v -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 
5.89/5.96	v -x5344 x5343 x5342 -x5341 x5340 x5339 -x5338 x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 
5.89/5.96	v -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 
5.89/5.96	v -x5307 -x5306 -x5305 -x5304 x5303 x5302 x5301 x5300 x5299 x5298 x5297 x5296 x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 
5.89/5.96	v -x5288 -x5287 -x5286 -x5285 x5284 x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 x5271 
5.89/5.96	v -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 
5.89/5.96	v -x5252 x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 
5.89/5.96	v -x5234 -x5233 -x5232 -x5231 x5230 -x5229 x5228 -x5227 -x5226 -x5225 -x5224 -x5223 x5222 -x5221 -x5220 x5219 -x5218 -x5217 -x5216 
5.89/5.96	v -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 
5.89/5.96	v -x5198 -x5197 -x5196 -x5195 x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 
5.89/5.96	v -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 x5166 x5165 -x5164 -x5163 -x5162 
5.89/5.96	v -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 x5147 -x5146 -x5145 -x5144 
5.89/5.96	v -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 
5.89/5.96	v -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 x5110 -x5109 
5.89/5.96	v x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 
5.89/5.96	v -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 x5084 -x5083 -x5082 -x5081 x5080 -x5079 x5078 x5077 -x5076 -x5075 -x5074 -x5073 -x5072 
5.89/5.96	v -x5071 -x5070 x5069 -x5068 x5067 x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 
5.89/5.96	v -x5053 -x5052 -x5051 -x5050 x5049 -x5048 x5047 x5046 x5045 -x5044 x5043 x5042 x5041 -x5040 x5039 -x5038 -x5037 -x5036 -x5035 
5.89/5.96	v -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 x5024 -x5023 -x5022 x5021 -x5020 x5019 x5018 -x5017 -x5016 
5.89/5.96	v -x5015 x5014 x5013 -x5012 -x5011 -x5010 x5009 -x5008 x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 x5000 x4999 -x4998 
5.89/5.96	v -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 x4986 -x4985 -x4984 x4983 -x4982 -x4981 -x4980 
5.89/5.96	v -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 x4973 x4972 -x4971 x4970 x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 
5.89/5.96	v x4960 x4959 x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 x4948 x4947 -x4946 -x4945 -x4944 -x4943 
5.89/5.96	v -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 
5.89/5.96	v x4924 -x4923 x4922 x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 
5.89/5.96	v -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 x4890 -x4889 -x4888 
5.89/5.96	v -x4887 -x4886 -x4885 -x4884 x4883 -x4882 -x4881 -x4880 x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 
5.89/5.96	v -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 
5.89/5.96	v -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 
5.89/5.96	v -x4833 -x4832 -x4831 -x4830 -x4829 x4828 -x4827 -x4826 -x4825 -x4824 x4823 -x4822 -x4821 -x4820 x4819 -x4818 -x4817 -x4816 
5.89/5.96	v x4815 x4814 x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 x4806 x4805 -x4804 -x4803 x4802 -x4801 -x4800 -x4799 -x4798 -x4797 
5.89/5.96	v x4796 -x4795 x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 x4782 -x4781 -x4780 x4779 
5.89/5.96	v -x4778 -x4777 -x4776 x4775 x4774 -x4773 -x4772 -x4771 x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 
5.89/5.96	v -x4759 -x4758 x4757 x4756 x4755 -x4754 -x4753 -x4752 -x4751 -x4750 x4749 -x4748 x4747 -x4746 -x4745 -x4744 -x4743 x4742 
5.89/5.96	v x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 x4726 -x4725 -x4724 
5.89/5.96	v -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 x4707 x4706 x4705 
5.89/5.96	v -x4704 -x4703 x4702 -x4701 -x4700 x4699 -x4698 -x4697 x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 x4689 -x4688 -x4687 
5.89/5.96	v -x4686 -x4685 x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 x4675 -x4674 -x4673 -x4672 -x4671 x4670 -x4669 
5.89/5.96	v -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 x4652 x4651 -x4650 
5.89/5.96	v -x4649 x4648 -x4647 x4646 -x4645 x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 x4635 x4634 -x4633 -x4632 
5.89/5.96	v -x4631 -x4630 -x4629 x4628 -x4627 -x4626 x4625 x4624 -x4623 -x4622 -x4621 -x4620 x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 
5.89/5.96	v -x4612 -x4611 x4610 x4609 -x4608 x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 
5.89/5.96	v -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 x4580 -x4579 -x4578 x4577 
5.89/5.96	v -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 x4567 x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 x4559 
5.89/5.96	v -x4558 -x4557 x4556 x4555 x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 x4541 -x4540 
5.89/5.96	v -x4539 -x4538 -x4537 -x4536 x4535 -x4534 -x4533 -x4532 -x4531 x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 
5.89/5.96	v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 x4511 -x4510 -x4509 -x4508 -x4507 -x4506 x4505 -x4504 
5.89/5.96	v -x4503 -x4502 -x4501 x4500 -x4499 -x4498 x4497 -x4496 -x4495 -x4494 x4493 x4492 -x4491 x4490 -x4489 -x4488 -x4487 -x4486 -x4485 
5.89/5.96	v -x4484 x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 x4468 x4467 
5.89/5.96	v x4466 -x4465 -x4464 -x4463 x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 x4454 -x4453 -x4452 -x4451 x4450 -x4449 
5.89/5.96	v -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 
5.89/5.96	v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 
5.89/5.96	v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 x4406 x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 x4397 x4396 -x4395 -x4394 
5.89/5.96	v -x4393 -x4392 -x4391 x4390 x4389 -x4388 -x4387 x4386 -x4385 x4384 x4383 -x4382 -x4381 -x4380 -x4379 -x4378 x4377 -x4376 
5.89/5.96	v x4375 -x4374 -x4373 -x4372 -x4371 x4370 x4369 x4368 x4367 -x4366 -x4365 x4364 -x4363 -x4362 -x4361 -x4360 -x4359 x4358 x4357 
5.89/5.96	v -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 x4341 -x4340 -x4339 
5.89/5.96	v -x4338 x4337 x4336 x4335 -x4334 -x4333 -x4332 x4331 -x4330 x4329 -x4328 -x4327 -x4326 -x4325 -x4324 x4323 -x4322 -x4321 -x4320 
5.89/5.96	v -x4319 -x4318 -x4317 x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 
5.89/5.96	v -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 x4288 x4287 x4286 x4285 x4284 -x4283 
5.89/5.96	v -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 
5.89/5.96	v -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 
5.89/5.96	v -x4247 -x4246 -x4245 -x4244 -x4243 x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 x4233 x4232 x4231 x4230 x4229 
5.89/5.96	v -x4228 -x4227 -x4226 -x4225 -x4224 x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 
5.89/5.96	v -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 
5.89/5.96	v -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 
5.89/5.96	v -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 
5.89/5.96	v -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 
5.89/5.96	v -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 x4127 x4126 -x4125 -x4124 -x4123 -x4122 -x4121 
5.89/5.96	v -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 x4106 -x4105 -x4104 -x4103 
5.89/5.96	v -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 x4093 x4092 x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 
5.89/5.96	v -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 x4070 x4069 -x4068 -x4067 
5.89/5.96	v -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 
5.89/5.96	v -x4048 -x4047 -x4046 -x4045 x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 
5.89/5.96	v -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 
5.89/5.96	v -x4012 x4011 x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 
5.89/5.96	v -x3994 -x3993 -x3992 -x3991 x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 x3979 x3978 x3977 x3976 
5.89/5.96	v x3975 -x3974 x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 
5.89/5.96	v -x3957 -x3956 -x3955 -x3954 -x3953 x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 
5.89/5.96	v -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 
5.89/5.96	v -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 
5.89/5.96	v -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 
5.89/5.96	v -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 
5.89/5.96	v -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 
5.89/5.96	v -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 
5.89/5.96	v -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 
5.89/5.96	v -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 
5.89/5.96	v -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 
5.89/5.96	v -x3778 -x3777 x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 
5.89/5.96	v -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 
5.89/5.96	v -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 
5.89/5.96	v -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 
5.89/5.96	v -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 
5.89/5.96	v -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 
5.89/5.96	v -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 
5.89/5.96	v -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 
5.89/5.96	v -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 
5.89/5.96	v -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 
5.89/5.96	v -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 
5.89/5.96	v -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 
5.89/5.96	v -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 
5.89/5.96	v -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 
5.89/5.96	v -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 
5.89/5.96	v -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 
5.89/5.96	v -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 
5.89/5.96	v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 
5.89/5.96	v -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 
5.89/5.96	v -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 
5.89/5.96	v -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 
5.89/5.96	v -x3403 -x3402 -x3401 -x3400 
5.89/5.96	c SCIP Status        : problem is solved [optimal solution found]
5.89/5.96	c Solving Time       :       4.92
5.89/5.96	c Original Problem   :
5.89/5.96	c   Problem name     : HOME/instance-2683442-1277509745.opb
5.89/5.96	c   Variables        : 5458 (5458 binary, 0 integer, 0 implicit integer, 0 continuous)
5.89/5.96	c   Constraints      : 24252 initial, 24252 maximal
5.89/5.96	c Presolved Problem  :
5.89/5.96	c   Problem name     : t_HOME/instance-2683442-1277509745.opb
5.89/5.96	c   Variables        : 2998 (2998 binary, 0 integer, 0 implicit integer, 0 continuous)
5.89/5.96	c   Constraints      : 11298 initial, 11298 maximal
5.89/5.96	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
5.89/5.96	c   trivial          :       0.04         32          0          0          0          0          0          0          0
5.89/5.96	c   dualfix          :       0.01        580          0          0          0          0          0          0          0
5.89/5.96	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
5.89/5.96	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
5.89/5.96	c   implics          :       0.07          0        197          0          0          0          0          0          0
5.89/5.96	c   probing          :       1.80        155        446          0          0          0          0          0          0
5.89/5.96	c   setppc           :       0.06          0          1          0          0          0         13          1          0
5.89/5.96	c   linear           :       0.33        324        725          0        350          0      11990         21         52
5.89/5.96	c   logicor          :       1.63          0          0          0          4          0        954          0          0
5.89/5.96	c   root node        :          -          0          -          -          0          -          -          -          -
5.89/5.96	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
5.89/5.96	c   integral         :          0          0          0          1          0          0          0          0          0          0
5.89/5.96	c   setppc           :        227          2       9869          1          0         61          0          0          0          0
5.89/5.96	c   logicor          :      11071          2       9258          1          0         46          0          0          0          0
5.89/5.96	c   countsols        :          0          0          0          1          0          0          0          0          0          0
5.89/5.96	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
5.89/5.96	c   integral         :       0.00       0.00       0.00       0.00       0.00
5.89/5.96	c   setppc           :       0.09       0.00       0.09       0.00       0.00
5.89/5.96	c   logicor          :       0.31       0.01       0.29       0.01       0.00
5.89/5.96	c   countsols        :       0.00       0.00       0.00       0.00       0.00
5.89/5.96	c Propagators        :       Time      Calls    Cutoffs    DomReds
5.89/5.96	c   vbounds          :       0.00          2          0          0
5.89/5.96	c   rootredcost      :       0.00          0          0          0
5.89/5.96	c   pseudoobj        :       0.00          3          0          0
5.89/5.96	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
5.89/5.96	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
5.89/5.96	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
5.89/5.96	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
5.89/5.96	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
5.89/5.96	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
5.89/5.96	c   applied globally :          -          -          -          0        0.0          -          -          -
5.89/5.96	c   applied locally  :          -          -          -          0        0.0          -          -          -
5.89/5.96	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
5.89/5.96	c   cut pool         :       0.00          1          -          -          0          -    (maximal pool size: 364)
5.89/5.96	c   redcost          :       0.00          2          0          0          0          0
5.89/5.96	c   impliedbounds    :       0.00          1          0          0        348          0
5.89/5.96	c   intobj           :       0.00          0          0          0          0          0
5.89/5.96	c   cgmip            :       0.00          0          0          0          0          0
5.89/5.96	c   gomory           :       0.10          1          0          0        500          0
5.89/5.96	c   strongcg         :       0.09          1          0          0        500          0
5.89/5.96	c   cmir             :       0.15          1          0          0          0          0
5.89/5.96	c   flowcover        :       0.18          1          0          0          0          0
5.89/5.96	c   clique           :       0.04          1          0          0          8          0
5.89/5.96	c   zerohalf         :       0.00          0          0          0          0          0
5.89/5.96	c   mcf              :       0.04          1          0          0          0          0
5.89/5.96	c   rapidlearning    :       0.00          0          0          0          0          0
5.89/5.96	c Pricers            :       Time      Calls       Vars
5.89/5.96	c   problem variables:       0.00          0          0
5.89/5.96	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
5.89/5.96	c   pscost           :       0.00          0          0          0          0          0          0
5.89/5.96	c   inference        :       0.00          0          0          0          0          0          0
5.89/5.96	c   mostinf          :       0.00          0          0          0          0          0          0
5.89/5.96	c   leastinf         :       0.00          0          0          0          0          0          0
5.89/5.96	c   fullstrong       :       0.00          0          0          0          0          0          0
5.89/5.96	c   allfullstrong    :       0.00          0          0          0          0          0          0
5.89/5.96	c   random           :       0.00          0          0          0          0          0          0
5.89/5.96	c   relpscost        :       0.00          0          0          0          0          0          0
5.89/5.96	c Primal Heuristics  :       Time      Calls      Found
5.89/5.96	c   LP solutions     :       0.00          -          1
5.89/5.96	c   pseudo solutions :       0.00          -          0
5.89/5.96	c   crossover        :       0.00          0          0
5.89/5.96	c   trivial          :       0.01          2          0
5.89/5.96	c   simplerounding   :       0.00          0          0
5.89/5.96	c   zirounding       :       0.00          0          0
5.89/5.96	c   rounding         :       0.00          1          0
5.89/5.96	c   shifting         :       0.01          1          1
5.89/5.96	c   intshifting      :       0.00          0          0
5.89/5.96	c   oneopt           :       0.01          1          1
5.89/5.96	c   twoopt           :       0.00          0          0
5.89/5.96	c   fixandinfer      :       0.00          0          0
5.89/5.96	c   feaspump         :       0.00          0          0
5.89/5.96	c   coefdiving       :       0.00          0          0
5.89/5.96	c   pscostdiving     :       0.00          0          0
5.89/5.96	c   fracdiving       :       0.00          0          0
5.89/5.96	c   veclendiving     :       0.00          0          0
5.89/5.96	c   intdiving        :       0.00          0          0
5.89/5.96	c   actconsdiving    :       0.00          0          0
5.89/5.96	c   objpscostdiving  :       0.00          0          0
5.89/5.96	c   rootsoldiving    :       0.00          0          0
5.89/5.96	c   linesearchdiving :       0.00          0          0
5.89/5.96	c   guideddiving     :       0.00          0          0
5.89/5.96	c   octane           :       0.00          0          0
5.89/5.96	c   rens             :       0.00          0          0
5.89/5.96	c   rins             :       0.00          0          0
5.89/5.96	c   localbranching   :       0.00          0          0
5.89/5.96	c   mutation         :       0.00          0          0
5.89/5.96	c   dins             :       0.00          0          0
5.89/5.96	c   undercover       :       0.00          0          0
5.89/5.96	c   nlp              :       0.00          0          0
5.89/5.96	c   trysol           :       0.00          0          0
5.89/5.96	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
5.89/5.96	c   primal LP        :       0.00          0          0       0.00          -
5.89/5.96	c   dual LP          :       0.09          2        278     139.00    3088.89
5.89/5.96	c   lex dual LP      :       0.00          0          0       0.00          -
5.89/5.96	c   barrier LP       :       0.00          0          0       0.00          -
5.89/5.96	c   diving/probing LP:       0.00          0          0       0.00          -
5.89/5.96	c   strong branching :       0.00          0          0       0.00          -
5.89/5.96	c     (at root node) :          -          0          0       0.00          -
5.89/5.96	c   conflict analysis:       0.00          0          0       0.00          -
5.89/5.96	c B&B Tree           :
5.89/5.96	c   number of runs   :          1
5.89/5.96	c   nodes            :          1
5.89/5.96	c   nodes (total)    :          1
5.89/5.96	c   nodes left       :          0
5.89/5.96	c   max depth        :          0
5.89/5.96	c   max depth (total):          0
5.89/5.96	c   backtracks       :          0 (0.0%)
5.89/5.96	c   delayed cutoffs  :          0
5.89/5.96	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
5.89/5.96	c   avg switch length:       2.00
5.89/5.96	c   switching time   :       0.00
5.89/5.96	c Solution           :
5.89/5.96	c   Solutions found  :          3 (3 improvements)
5.89/5.96	c   First Solution   : +3.80380000000001e+04   (in run 1, after 1 nodes, 4.24 seconds, depth 0, found by <shifting>)
5.89/5.96	c   Primal Bound     : +6.25900000000000e+03   (in run 1, after 1 nodes, 4.92 seconds, depth 0, found by <relaxation>)
5.89/5.96	c   Dual Bound       : +6.25900000000000e+03
5.89/5.96	c   Gap              :       0.00 %
5.89/5.96	c   Root Dual Bound  : +6.25900000000000e+03
5.89/5.96	c   Root Iterations  :        278
5.99/6.05	c Time complete: 6.04.

Verifier Data 

OK	6259

Watcher Data 

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

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

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.26 1.06 1.02 3/106 28821
/proc/meminfo: memFree=1826584/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=6696 CPUtime=0
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 92265288 6856704 906 1992294400 4194304 8223781 140737178631664 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28821/statm: 1674 908 343 984 0 687 0

[startup+0.083555 s]
/proc/loadavg: 1.26 1.06 1.02 3/106 28821
/proc/meminfo: memFree=1826584/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=13320 CPUtime=0.07
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 2652 0 0 0 7 0 0 0 20 0 1 0 92265288 13639680 2570 1992294400 4194304 8223781 140737178631664 18446744073709551615 5647780 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28821/statm: 3330 2570 365 984 0 2343 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13320

[startup+0.100556 s]
/proc/loadavg: 1.26 1.06 1.02 3/106 28821
/proc/meminfo: memFree=1826584/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=14504 CPUtime=0.09
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 2940 0 0 0 9 0 0 0 20 0 1 0 92265288 14852096 2858 1992294400 4194304 8223781 140737178631664 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28821/statm: 3626 2858 365 984 0 2639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14504

[startup+0.300574 s]
/proc/loadavg: 1.26 1.06 1.02 3/106 28821
/proc/meminfo: memFree=1826584/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=19788 CPUtime=0.29
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 4244 0 0 0 28 1 0 0 20 0 1 0 92265288 20262912 4162 1992294400 4194304 8223781 140737178631664 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28821/statm: 4947 4162 365 984 0 3960 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19788

[startup+0.700608 s]
/proc/loadavg: 1.26 1.06 1.02 3/106 28821
/proc/meminfo: memFree=1826584/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=49084 CPUtime=0.69
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 11585 0 0 0 63 6 0 0 20 0 1 0 92265288 50262016 11139 1992294400 4194304 8223781 140737178631664 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28821/statm: 12271 11139 446 984 0 11284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49084

[startup+1.50068 s]
/proc/loadavg: 1.26 1.06 1.02 2/107 28822
/proc/meminfo: memFree=1781688/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=54768 CPUtime=1.49
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 18789 0 0 0 129 20 0 0 22 0 1 0 92265288 56082432 12627 1992294400 4194304 8223781 140737178631664 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28821/statm: 13692 12627 468 984 0 12705 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54768

[startup+3.10082 s]
/proc/loadavg: 1.26 1.06 1.02 2/107 28822
/proc/meminfo: memFree=1775860/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=56968 CPUtime=3.09
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 27745 0 0 0 275 34 0 0 25 0 1 0 92265288 58335232 13170 1992294400 4194304 8223781 140737178631664 18446744073709551615 4660129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28821/statm: 14242 13170 474 984 0 13255 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56968

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

[startup+4.70195 s]
/proc/loadavg: 1.24 1.06 1.02 2/107 28822
/proc/meminfo: memFree=1774620/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=56968 CPUtime=4.69
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 34455 0 0 0 420 49 0 0 25 0 1 0 92265288 58335232 13170 1992294400 4194304 8223781 140737178631664 18446744073709551615 5500779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28821/statm: 14242 13170 474 984 0 13255 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 56968

[startup+5.50903 s]
/proc/loadavg: 1.24 1.06 1.02 2/107 28822
/proc/meminfo: memFree=1762220/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=70712 CPUtime=5.5
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 40445 0 0 0 495 55 0 0 25 0 1 0 92265288 72409088 16562 1992294400 4194304 8223781 140737178631664 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28821/statm: 17678 16562 569 984 0 16691 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 70712

[startup+5.90106 s]
/proc/loadavg: 1.24 1.06 1.02 2/107 28822
/proc/meminfo: memFree=1762220/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=72036 CPUtime=5.89
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 41070 0 0 0 532 57 0 0 25 0 1 0 92265288 73764864 16948 1992294400 4194304 8223781 140737178631664 18446744073709551615 6450702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28821/statm: 18009 16948 600 984 0 17022 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 72036

[startup+6.00107 s]
/proc/loadavg: 1.24 1.06 1.02 2/107 28822
/proc/meminfo: memFree=1762220/2059040 swapFree=4139628/4192956
[pid=28821] ppid=28819 vsize=71128 CPUtime=5.99
/proc/28821/stat : 28821 (pbscip.linux.x8) R 28819 28821 28523 0 -1 4202496 41175 0 0 0 542 57 0 0 25 0 1 0 92265288 72835072 16717 1992294400 4194304 8223781 140737178631664 18446744073709551615 6207260 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28821/statm: 17782 16717 601 984 0 16795 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 71128

Child status: 0
Real time (s): 6.05903
CPU time (s): 6.05808
CPU user time (s): 5.47817
CPU system time (s): 0.579911
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 72036

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

runsolver used 0.013997 second user time and 0.042993 second system time

The end

Launcher Data 

Begin job on node057 at 2010-06-26 01:49:05
IDJOB=2683442
IDBENCH=72112
IDSOLVER=1169
FILE ID=node057/2683442-1277509745
PBS_JOBID= 11190617
Free space on /tmp= 62392 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/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randd92c9f.cudf.paranoid.opb
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-2683442-1277509745/watcher-2683442-1277509745 -o /tmp/evaluation-result-2683442-1277509745/solver-2683442-1277509745 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2683442-1277509745.opb -t 1800 -m 1800

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

MD5SUM BENCH= a9ecc28516d3a3a7225c9fe76fccfe7f
RANDOM SEED=1749123316

node057.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1827112 kB
Buffers:         29956 kB
Cached:         106224 kB
SwapCached:       6180 kB
Active:          31408 kB
Inactive:       117692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1827112 kB
SwapTotal:     4192956 kB
SwapFree:      4139628 kB
Dirty:            5340 kB
Writeback:           0 kB
AnonPages:       11384 kB
Mapped:          11840 kB
Slab:            60880 kB
PageTables:       4200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182288 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62388 MiB
End job on node057 at 2010-06-26 01:49:11