0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666013-1276344144.opb>
0.49/0.58	c original problem has 4662 variables (4662 bin, 0 int, 0 impl, 0 cont) and 31725 constraints
0.49/0.58	c problem read
0.49/0.58	c No objective function, only one solution is needed.
0.49/0.58	c presolving settings loaded
0.69/0.72	c presolving:
1.10/1.10	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31725 upgd conss, 0 impls, 951 clqs
1.10/1.19	c presolving (2 rounds):
1.10/1.19	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 84 changed coefficients
1.10/1.19	c  288 implications, 1395 cliques
1.10/1.19	c presolved problem has 4662 variables (4662 bin, 0 int, 0 impl, 0 cont) and 31725 constraints
1.10/1.19	c      78 constraints of type <knapsack>
1.10/1.19	c     951 constraints of type <setppc>
1.10/1.19	c   30696 constraints of type <logicor>
1.10/1.19	c transformed objective value is always integral (scale: 1)
1.10/1.19	c Presolving Time: 0.41
1.10/1.19	c - non default parameters ----------------------------------------------------------------------
1.10/1.19	c # SCIP version 1.2.1.2
1.10/1.19	c 
1.10/1.19	c # frequency for displaying node information lines
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.19	c display/freq = 10000
1.10/1.19	c 
1.10/1.19	c # maximal time in seconds to run
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.19	c limits/time = 1799.42
1.10/1.19	c 
1.10/1.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.19	c limits/memory = 1620
1.10/1.19	c 
1.10/1.19	c # solving stops, if the given number of solutions were found (-1: no limit)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.19	c limits/solutions = 1
1.10/1.19	c 
1.10/1.19	c # maximal number of separation rounds per node (-1: unlimited)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 5]
1.10/1.19	c separating/maxrounds = 1
1.10/1.19	c 
1.10/1.19	c # maximal number of separation rounds in the root node (-1: unlimited)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.19	c separating/maxroundsroot = 5
1.10/1.19	c 
1.10/1.19	c # should presolving try to simplify inequalities
1.10/1.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19	c constraints/linear/simplifyinequalities = TRUE
1.10/1.19	c 
1.10/1.19	c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.10/1.19	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.10/1.19	c constraints/knapsack/disaggregation = FALSE
1.10/1.19	c 
1.10/1.19	c # should presolving try to simplify knapsacks
1.10/1.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19	c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.19	c 
1.10/1.19	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.19	c presolving/probing/maxrounds = 0
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.19	c heuristics/coefdiving/freq = -1
1.10/1.19	c 
1.10/1.19	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.19	c heuristics/coefdiving/maxlpiterquot = 0.075
1.10/1.19	c 
1.10/1.19	c # additional number of allowed LP iterations
1.10/1.19	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.19	c heuristics/coefdiving/maxlpiterofs = 1500
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 30]
1.10/1.19	c heuristics/crossover/freq = -1
1.10/1.19	c 
1.10/1.19	c # number of nodes added to the contingent of the total nodes
1.10/1.19	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.19	c heuristics/crossover/nodesofs = 750
1.10/1.19	c 
1.10/1.19	c # number of nodes without incumbent change that heuristic should wait
1.10/1.19	c # [type: longint, range: [0,9223372036854775807], default: 200]
1.10/1.19	c heuristics/crossover/nwaitingnodes = 100
1.10/1.19	c 
1.10/1.19	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.10/1.19	c # [type: real, range: [0,1], default: 0.1]
1.10/1.19	c heuristics/crossover/nodesquot = 0.15
1.10/1.19	c 
1.10/1.19	c # minimum percentage of integer variables that have to be fixed 
1.10/1.19	c # [type: real, range: [0,1], default: 0.666]
1.10/1.19	c heuristics/crossover/minfixingrate = 0.5
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.19	c heuristics/feaspump/freq = -1
1.10/1.19	c 
1.10/1.19	c # additional number of allowed LP iterations
1.10/1.19	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.19	c heuristics/feaspump/maxlpiterofs = 2000
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.19	c heuristics/fracdiving/freq = -1
1.10/1.19	c 
1.10/1.19	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.19	c heuristics/fracdiving/maxlpiterquot = 0.075
1.10/1.19	c 
1.10/1.19	c # additional number of allowed LP iterations
1.10/1.19	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.19	c heuristics/fracdiving/maxlpiterofs = 1500
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.19	c heuristics/guideddiving/freq = -1
1.10/1.19	c 
1.10/1.19	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.19	c heuristics/guideddiving/maxlpiterquot = 0.075
1.10/1.19	c 
1.10/1.19	c # additional number of allowed LP iterations
1.10/1.19	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.19	c heuristics/guideddiving/maxlpiterofs = 1500
1.10/1.19	c 
1.10/1.19	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.19	c heuristics/intdiving/maxlpiterquot = 0.075
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.19	c heuristics/intshifting/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.19	c heuristics/linesearchdiving/freq = -1
1.10/1.19	c 
1.10/1.19	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.19	c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.10/1.19	c 
1.10/1.19	c # additional number of allowed LP iterations
1.10/1.19	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.19	c heuristics/linesearchdiving/maxlpiterofs = 1500
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.19	c heuristics/nlp/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.19	c heuristics/objpscostdiving/freq = -1
1.10/1.19	c 
1.10/1.19	c # maximal fraction of diving LP iterations compared to total iteration number
1.10/1.19	c # [type: real, range: [0,1], default: 0.01]
1.10/1.19	c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.10/1.19	c 
1.10/1.19	c # additional number of allowed LP iterations
1.10/1.19	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.19	c heuristics/objpscostdiving/maxlpiterofs = 1500
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.19	c heuristics/oneopt/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.19	c heuristics/pscostdiving/freq = -1
1.10/1.19	c 
1.10/1.19	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.19	c heuristics/pscostdiving/maxlpiterquot = 0.075
1.10/1.19	c 
1.10/1.19	c # additional number of allowed LP iterations
1.10/1.19	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.19	c heuristics/pscostdiving/maxlpiterofs = 1500
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.19	c heuristics/rens/freq = -1
1.10/1.19	c 
1.10/1.19	c # minimum percentage of integer variables that have to be fixable 
1.10/1.19	c # [type: real, range: [0,1], default: 0.5]
1.10/1.19	c heuristics/rens/minfixingrate = 0.3
1.10/1.19	c 
1.10/1.19	c # number of nodes added to the contingent of the total nodes
1.10/1.19	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.19	c heuristics/rens/nodesofs = 2000
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.19	c heuristics/rootsoldiving/freq = -1
1.10/1.19	c 
1.10/1.19	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.10/1.19	c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.10/1.19	c 
1.10/1.19	c # additional number of allowed LP iterations
1.10/1.19	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.19	c heuristics/rootsoldiving/maxlpiterofs = 1500
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.19	c heuristics/rounding/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.19	c heuristics/shifting/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.19	c heuristics/simplerounding/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.19	c heuristics/trivial/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.19	c heuristics/trysol/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.19	c heuristics/veclendiving/freq = -1
1.10/1.19	c 
1.10/1.19	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.19	c heuristics/veclendiving/maxlpiterquot = 0.075
1.10/1.19	c 
1.10/1.19	c # additional number of allowed LP iterations
1.10/1.19	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.19	c heuristics/veclendiving/maxlpiterofs = 1500
1.10/1.19	c 
1.10/1.19	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.19	c heuristics/zirounding/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.19	c separating/cmir/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.19	c separating/flowcover/freq = -1
1.10/1.19	c 
1.10/1.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.19	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.19	c separating/rapidlearning/freq = 0
1.10/1.19	c 
1.10/1.19	c -----------------------------------------------------------------------------------------------
1.10/1.19	c start solving
1.19/1.20	c 
12.29/12.30	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.29/12.30	c  11.5s|     1 |     0 |  3026 |     - |  45M|   0 | 701 |4662 |  31k|4662 |  31k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
38.39/38.44	c  37.4s|     1 |     0 |  7232 |     - |  59M|   0 | 783 |4662 |  31k|4662 |  31k|  50 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
75.67/75.74	c  74.5s|     1 |     0 | 11799 |     - |  76M|   0 | 791 |4662 |  31k|4662 |  31k| 104 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
181.74/181.81	c   180s|     1 |     0 | 26069 |     - |  91M|   0 | 544 |4662 |  31k|4662 |  31k| 150 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
457.74/457.95	c   455s|     1 |     0 | 59552 |     - | 103M|   0 | 534 |4662 |  31k|4662 |  31k| 191 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
684.18/684.49	c   680s|     1 |     0 | 88380 |     - | 112M|   0 | 603 |4662 |  31k|4662 |  31k| 244 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
825.04/825.39	c   820s|     1 |     2 | 88380 |     - | 112M|   0 | 603 |4662 |  31k|4662 |  31k| 244 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1479.75/1480.24	c *1466s|   173 |     0 |102118 |  79.9 | 113M| 159 |   - |4662 |  31k|4662 |  31k| 244 |  85 | 401 | 0.000000e+00 | 0.000000e+00 |   0.00%
1479.75/1480.26	c 
1479.75/1480.26	c SCIP Status        : problem is solved [optimal solution found]
1479.75/1480.26	c Solving Time (sec) : 1466.39
1479.75/1480.26	c Solving Nodes      : 173
1479.75/1480.26	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
1479.75/1480.26	c Dual Bound         : +0.00000000000000e+00
1479.75/1480.26	c Gap                : 0.00 %
1479.85/1480.31	s SATISFIABLE
1479.85/1480.31	v -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 x4646 -x4645 -x4644 
1479.85/1480.31	v -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 x4628 -x4627 -x4626 
1479.85/1480.31	v -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 
1479.85/1480.31	v -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 
1479.85/1480.31	v x4589 -x4588 -x4587 -x4586 -x4585 x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 
1479.85/1480.31	v -x4571 -x4570 -x4569 x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 
1479.85/1480.31	v -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 
1479.85/1480.31	v -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 
1479.85/1480.31	v -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 
1479.85/1480.31	v -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 x4490 -x4489 -x4488 -x4487 -x4486 x4485 -x4484 -x4483 -x4482 
1479.85/1480.31	v -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 x4466 -x4465 -x4464 
1479.85/1480.31	v -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 x4453 -x4452 -x4451 -x4450 -x4449 -x4448 x4447 x4446 
1479.85/1480.31	v -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 
1479.85/1480.31	v -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 
1479.85/1480.31	v -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 
1479.85/1480.31	v -x4391 -x4390 -x4389 -x4388 x4387 -x4386 -x4385 -x4384 x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 
1479.85/1480.31	v -x4373 -x4372 -x4371 x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 
1479.85/1480.31	v -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 
1479.85/1480.31	v -x4337 -x4336 -x4335 x4334 -x4333 -x4332 -x4331 -x4330 -x4329 x4328 -x4327 -x4326 -x4325 -x4324 -x4323 x4322 -x4321 -x4320 
1479.85/1480.31	v -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 
1479.85/1480.31	v -x4301 -x4300 x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 x4291 -x4290 -x4289 -x4288 x4287 -x4286 -x4285 -x4284 
1479.85/1480.31	v -x4283 -x4282 -x4281 -x4280 x4279 -x4278 -x4277 -x4276 -x4275 -x4274 x4273 -x4272 -x4271 -x4270 x4269 -x4268 -x4267 -x4266 x4265 
1479.85/1480.31	v -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 x4255 -x4254 -x4253 -x4252 x4251 -x4250 -x4249 -x4248 -x4247 
1479.85/1480.31	v x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 x4237 -x4236 x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 
1479.85/1480.31	v -x4228 -x4227 x4226 -x4225 -x4224 -x4223 x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 x4214 -x4213 -x4212 -x4211 -x4210 
1479.85/1480.31	v -x4209 -x4208 x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 
1479.85/1480.31	v x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 x4174 
1479.85/1480.31	v -x4173 -x4172 -x4171 -x4170 x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 x4157 -x4156 
1479.85/1480.31	v -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 x4141 -x4140 -x4139 x4138 
1479.85/1480.31	v -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 x4123 x4122 -x4121 -x4120 -x4119 
1479.85/1480.31	v -x4118 -x4117 -x4116 -x4115 -x4114 x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 x4105 -x4104 -x4103 x4102 -x4101 
1479.85/1480.31	v -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 x4094 -x4093 -x4092 -x4091 -x4090 x4089 -x4088 -x4087 x4086 -x4085 -x4084 -x4083 
1479.85/1480.31	v -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 
1479.85/1480.31	v -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 x4051 -x4050 -x4049 -x4048 -x4047 
1479.85/1480.31	v -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 
1479.85/1480.31	v x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 x4016 -x4015 -x4014 -x4013 -x4012 -x4011 
1479.85/1480.31	v -x4010 -x4009 -x4008 x4007 -x4006 -x4005 -x4004 -x4003 x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 x3994 -x3993 -x3992 
1479.85/1480.31	v -x3991 -x3990 -x3989 -x3988 x3987 -x3986 -x3985 -x3984 -x3983 -x3982 x3981 -x3980 -x3979 -x3978 x3977 -x3976 -x3975 -x3974 
1479.85/1480.31	v -x3973 x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 x3960 -x3959 -x3958 -x3957 -x3956 
1479.85/1480.31	v -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 x3947 -x3946 -x3945 -x3944 -x3943 x3942 -x3941 -x3940 -x3939 -x3938 
1479.85/1480.31	v -x3937 -x3936 -x3935 -x3934 -x3933 x3932 -x3931 -x3930 -x3929 x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 x3921 -x3920 
1479.85/1480.31	v -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 x3907 -x3906 -x3905 -x3904 -x3903 -x3902 
1479.85/1480.31	v -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 x3891 -x3890 -x3889 x3888 -x3887 -x3886 -x3885 -x3884 -x3883 
1479.85/1480.31	v -x3882 -x3881 -x3880 x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 
1479.85/1480.31	v -x3864 x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 x3851 -x3850 -x3849 -x3848 -x3847 
1479.85/1480.31	v -x3846 -x3845 x3844 -x3843 -x3842 -x3841 -x3840 x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 x3831 -x3830 -x3829 
1479.85/1480.31	v -x3828 -x3827 -x3826 -x3825 -x3824 x3823 -x3822 -x3821 -x3820 -x3819 -x3818 x3817 -x3816 -x3815 -x3814 -x3813 -x3812 x3811 
1479.85/1480.31	v -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 
1479.85/1480.31	v x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 x3782 -x3781 -x3780 -x3779 x3778 -x3777 -x3776 -x3775 -x3774 
1479.85/1480.31	v -x3773 -x3772 -x3771 -x3770 x3769 -x3768 -x3767 x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 
1479.85/1480.31	v -x3755 -x3754 x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 x3745 x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 
1479.85/1480.31	v -x3737 -x3736 x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 x3720 
1479.85/1480.31	v -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 
1479.85/1480.31	v -x3701 -x3700 -x3699 -x3698 -x3697 x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 
1479.85/1480.31	v -x3683 -x3682 x3681 -x3680 -x3679 x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 x3671 -x3670 -x3669 -x3668 -x3667 -x3666 
1479.85/1480.31	v -x3665 -x3664 -x3663 -x3662 x3661 -x3660 -x3659 -x3658 -x3657 -x3656 x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 x3648 -x3647 
1479.85/1480.31	v -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 x3640 -x3639 -x3638 -x3637 -x3636 -x3635 x3634 -x3633 -x3632 -x3631 -x3630 -x3629 
1479.85/1480.31	v -x3628 -x3627 x3626 -x3625 -x3624 -x3623 -x3622 x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 x3614 -x3613 -x3612 x3611 
1479.85/1480.31	v -x3610 -x3609 -x3608 -x3607 x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 x3595 -x3594 -x3593 
1479.85/1480.31	v -x3592 -x3591 -x3590 -x3589 -x3588 x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 
1479.85/1480.31	v -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 x3559 -x3558 -x3557 -x3556 
1479.85/1480.31	v -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 
1479.85/1480.31	v -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 x3530 -x3529 -x3528 -x3527 -x3526 -x3525 x3524 -x3523 -x3522 -x3521 -x3520 
1479.85/1480.31	v -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 x3504 -x3503 -x3502 
1479.85/1480.31	v -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 x3488 -x3487 x3486 -x3485 -x3484 
1479.85/1480.31	v -x3483 -x3482 -x3481 -x3480 -x3479 x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 x3468 -x3467 -x3466 
1479.85/1480.31	v -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 x3457 -x3456 -x3455 -x3454 -x3453 x3452 -x3451 -x3450 -x3449 -x3448 
1479.85/1480.31	v -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 x3439 -x3438 -x3437 x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 
1479.85/1480.31	v -x3429 x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 
1479.85/1480.31	v -x3410 -x3409 -x3408 -x3407 x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 x3394 -x3393 
1479.85/1480.31	v -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 x3385 -x3384 -x3383 -x3382 -x3381 x3380 -x3379 -x3378 -x3377 -x3376 -x3375 
1479.85/1480.31	v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 x3357 
1479.85/1480.31	v -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 x3339 
1479.85/1480.31	v -x3338 -x3337 x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 x3326 -x3325 -x3324 -x3323 -x3322 -x3321 
1479.85/1480.31	v -x3320 x3319 -x3318 -x3317 x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 x3309 -x3308 -x3307 x3306 -x3305 -x3304 -x3303 
1479.85/1480.31	v -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 x3285 
1479.85/1480.31	v -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 x3277 -x3276 -x3275 -x3274 x3273 -x3272 -x3271 -x3270 -x3269 x3268 -x3267 -x3266 
1479.85/1480.31	v -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 x3248 
1479.85/1480.31	v -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 x3234 -x3233 -x3232 -x3231 -x3230 
1479.85/1480.31	v -x3229 x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 x3214 -x3213 -x3212 
1479.85/1480.31	v -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 x3197 -x3196 -x3195 -x3194 
1479.85/1480.31	v -x3193 -x3192 x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 
1479.85/1480.31	v x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 x3165 -x3164 -x3163 -x3162 -x3161 x3160 -x3159 -x3158 
1479.85/1480.31	v -x3157 -x3156 -x3155 x3154 -x3153 -x3152 -x3151 x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 x3140 -x3139 
1479.85/1480.31	v -x3138 -x3137 -x3136 -x3135 x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 x3121 
1479.85/1480.31	v -x3120 -x3119 -x3118 -x3117 -x3116 x3115 x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 
1479.85/1480.31	v -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 x3092 -x3091 -x3090 -x3089 x3088 -x3087 -x3086 -x3085 
1479.85/1480.31	v -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 x3077 -x3076 -x3075 -x3074 -x3073 x3072 -x3071 -x3070 -x3069 -x3068 -x3067 
1479.85/1480.31	v -x3066 x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 
1479.85/1480.31	v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 x3034 -x3033 -x3032 -x3031 
1479.85/1480.31	v -x3030 -x3029 -x3028 x3027 -x3026 -x3025 -x3024 -x3023 x3022 -x3021 -x3020 -x3019 -x3018 -x3017 x3016 -x3015 -x3014 -x3013 
1479.85/1480.31	v x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 x2996 -x2995 -x2994 
1479.85/1480.31	v -x2993 -x2992 -x2991 -x2990 x2989 x2988 -x2987 -x2986 -x2985 -x2984 -x2983 x2982 -x2981 -x2980 -x2979 -x2978 -x2977 x2976 
1479.85/1480.31	v -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 x2967 -x2966 -x2965 -x2964 x2963 -x2962 -x2961 -x2960 -x2959 -x2958 
1479.85/1480.31	v -x2957 -x2956 -x2955 x2954 -x2953 -x2952 -x2951 x2950 -x2949 -x2948 -x2947 x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 
1479.85/1480.31	v -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 
1479.85/1480.31	v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 x2914 -x2913 -x2912 -x2911 -x2910 -x2909 x2908 -x2907 -x2906 -x2905 -x2904 
1479.85/1480.31	v -x2903 -x2902 x2901 -x2900 -x2899 -x2898 -x2897 -x2896 x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 
1479.85/1480.31	v -x2884 -x2883 x2882 -x2881 x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 
1479.85/1480.31	v -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 x2859 -x2858 -x2857 x2856 -x2855 -x2854 -x2853 -x2852 -x2851 x2850 -x2849 
1479.85/1480.31	v -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 
1479.85/1480.31	v -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x2822 -x2821 -x2820 -x2819 -x2818 -x2817 x2816 -x2815 -x2814 -x2813 
1479.85/1480.31	v -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 x2806 -x2805 -x2804 -x2803 x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 
1479.85/1480.31	v -x2794 -x2793 -x2792 x2791 x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 x2779 x2778 -x2777 -x2776 
1479.85/1480.31	v -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 x2761 -x2760 -x2759 -x2758 
1479.85/1480.31	v -x2757 x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 
1479.85/1480.31	v -x2739 x2738 -x2737 -x2736 -x2735 -x2734 x2733 -x2732 -x2731 -x2730 x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 x2722 
1479.85/1480.31	v -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 
1479.85/1480.31	v -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 x2697 -x2696 -x2695 -x2694 -x2693 x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 
1479.85/1480.31	v x2685 -x2684 -x2683 -x2682 x2681 -x2680 -x2679 -x2678 -x2677 -x2676 x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 
1479.85/1480.31	v -x2667 -x2666 -x2665 -x2664 x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 x2653 -x2652 -x2651 -x2650 
1479.85/1480.31	v -x2649 -x2648 -x2647 -x2646 -x2645 x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 x2635 -x2634 -x2633 -x2632 -x2631 
1479.85/1480.31	v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 x2624 -x2623 -x2622 -x2621 -x2620 -x2619 x2618 -x2617 -x2616 x2615 -x2614 -x2613 
1479.85/1480.31	v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 x2598 -x2597 -x2596 -x2595 
1479.85/1480.31	v -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 x2587 -x2586 x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 
1479.85/1480.31	v -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 
1479.85/1480.31	v -x2558 -x2557 x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 
1479.85/1480.31	v -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 -x2527 -x2526 -x2525 x2524 -x2523 
1479.85/1480.31	v -x2522 -x2521 -x2520 x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 x2510 -x2509 -x2508 -x2507 -x2506 -x2505 
1479.85/1480.31	v x2504 -x2503 -x2502 -x2501 -x2500 -x2499 x2498 -x2497 -x2496 -x2495 -x2494 x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 x2486 
1479.85/1480.31	v -x2485 x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 x2472 -x2471 -x2470 -x2469 -x2468 
1479.85/1480.31	v -x2467 -x2466 -x2465 x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 x2456 -x2455 -x2454 x2453 -x2452 -x2451 -x2450 
1479.85/1480.31	v -x2449 -x2448 -x2447 x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 x2433 -x2432 
1479.85/1480.31	v -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 
1479.85/1480.31	v x2413 -x2412 -x2411 -x2410 -x2409 -x2408 x2407 x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 x2399 -x2398 -x2397 -x2396 -x2395 
1479.85/1480.31	v -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 x2385 -x2384 -x2383 -x2382 -x2381 x2380 -x2379 -x2378 -x2377 
1479.85/1480.31	v -x2376 -x2375 -x2374 x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 
1479.85/1480.31	v -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 x2342 -x2341 
1479.85/1480.31	v x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 x2324 -x2323 
1479.85/1480.31	v -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 x2308 -x2307 -x2306 -x2305 
1479.85/1480.31	v -x2304 -x2303 x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 x2288 -x2287 
1479.85/1480.31	v -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 
1479.85/1480.31	v -x2268 -x2267 x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 x2251 
1479.85/1480.31	v -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 x2233 x2232 
1479.85/1480.31	v -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 
1479.85/1480.31	v -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 x2206 -x2205 x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 
1479.85/1480.31	v -x2195 x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 
1479.85/1480.31	v -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 x2160 
1479.85/1480.31	v -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 x2147 -x2146 -x2145 -x2144 -x2143 -x2142 
1479.85/1480.31	v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 
1479.85/1480.31	v -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 
1479.85/1480.31	v -x2106 x2105 -x2104 x2103 -x2102 -x2101 -x2100 -x2099 x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 
1479.85/1480.31	v -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 x2076 x2075 -x2074 -x2073 -x2072 -x2071 -x2070 
1479.85/1480.31	v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 
1479.85/1480.31	v -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 x2041 -x2040 -x2039 -x2038 x2037 -x2036 -x2035 -x2034 
1479.85/1480.31	v -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 
1479.85/1480.31	v -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 x1998 
1479.85/1480.31	v -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 
1479.85/1480.31	v -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 
1479.85/1480.31	v -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 x1946 -x1945 -x1944 
1479.85/1480.31	v -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 x1928 -x1927 -x1926 
1479.85/1480.31	v -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 x1910 -x1909 -x1908 
1479.85/1480.31	v -x1907 x1906 -x1905 x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 
1479.85/1480.31	v -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 
1479.85/1480.31	v -x1871 -x1870 -x1869 x1868 -x1867 -x1866 -x1865 -x1864 -x1863 x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 
1479.85/1480.31	v -x1853 x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 x1837 x1836 
1479.85/1480.31	v -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 -x1822 x1821 -x1820 -x1819 -x1818 -x1817 
1479.85/1480.31	v -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 
1479.85/1480.31	v -x1799 -x1798 -x1797 -x1796 x1795 -x1794 x1793 -x1792 x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 
1479.85/1480.31	v -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 x1771 x1770 x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 
1479.85/1480.31	v -x1762 -x1761 x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 x1747 -x1746 -x1745 
1479.85/1480.31	v -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 
1479.85/1480.31	v x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 x1714 -x1713 -x1712 -x1711 -x1710 x1709 
1479.85/1480.31	v -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 
1479.85/1480.31	v -x1690 x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 
1479.85/1480.31	v x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 x1659 x1658 -x1657 -x1656 -x1655 -x1654 
1479.85/1480.31	v -x1653 x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 x1636 
1479.85/1480.31	v -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 x1618 
1479.85/1480.31	v -x1617 -x1616 -x1615 -x1614 -x1613 x1612 -x1611 -x1610 -x1609 -x1608 -x1607 x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 
1479.85/1480.31	v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 x1587 -x1586 -x1585 -x1584 -x1583 -x1582 
1479.85/1480.31	v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 x1567 -x1566 -x1565 -x1564 
1479.85/1480.31	v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 x1550 -x1549 -x1548 x1547 -x1546 
1479.85/1480.31	v -x1545 x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 
1479.85/1480.31	v -x1527 -x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 x1511 -x1510 
1479.85/1480.31	v -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 x1494 -x1493 -x1492 -x1491 
1479.85/1480.31	v -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 
1479.85/1480.31	v -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 x1459 -x1458 -x1457 -x1456 -x1455 
1479.85/1480.31	v x1454 -x1453 -x1452 -x1451 -x1450 x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 
1479.85/1480.31	v -x1436 -x1435 -x1434 x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 
1479.85/1480.31	v -x1418 -x1417 -x1416 -x1415 x1414 -x1413 -x1412 -x1411 -x1410 x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 
1479.85/1480.31	v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 
1479.85/1480.31	v -x1382 -x1381 -x1380 x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 
1479.85/1480.31	v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 
1479.85/1480.31	v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 -x1333 -x1332 -x1331 -x1330 -x1329 
1479.85/1480.31	v -x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 
1479.85/1480.31	v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 
1479.85/1480.31	v -x1292 -x1291 x1290 x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 
1479.85/1480.31	v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 
1479.85/1480.31	v -x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 
1479.85/1480.31	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1223 x1222 -x1221 
1479.85/1480.31	v -x1220 -x1219 -x1218 -x1217 x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 
1479.85/1480.31	v -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 
1479.85/1480.31	v -x1184 -x1183 -x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 x1168 -x1167 
1479.85/1480.31	v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 
1479.85/1480.31	v -x1148 -x1147 -x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 x1133 -x1132 -x1131 -x1130 
1479.85/1480.31	v -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 
1479.85/1480.31	v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 
1479.85/1480.31	v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 
1479.85/1480.31	v x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 x1059 -x1058 
1479.85/1480.31	v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 
1479.85/1480.31	v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 
1479.85/1480.31	v -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 
1479.85/1480.31	v -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 x985 -x984 
1479.85/1480.31	v -x983 -x982 -x981 -x980 -x979 -x978 x977 -x976 -x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 
1479.85/1480.31	v -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 -x942 
1479.85/1480.31	v -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920 
1479.85/1480.31	v -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 x906 x905 -x904 -x903 -x902 -x901 -x900 -x899 
1479.85/1480.31	v -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 -x881 -x880 -x879 -x878 
1479.85/1480.31	v -x877 -x876 x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 
1479.85/1480.31	v -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 
1479.85/1480.31	v x835 -x834 -x833 x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 
1479.85/1480.31	v -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 x794 -x793 
1479.85/1480.31	v -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 
1479.85/1480.31	v x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 
1479.85/1480.31	v -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 
1479.85/1480.31	v -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 
1479.85/1480.31	v -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 
1479.85/1480.31	v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 
1479.85/1480.31	v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 
1479.85/1480.31	v -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 
1479.85/1480.31	v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 
1479.85/1480.31	v -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 
1479.85/1480.31	v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 
1479.85/1480.31	v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 
1479.85/1480.31	v -x540 -x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 
1479.85/1480.31	v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499 
1479.85/1480.31	v -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 
1479.85/1480.31	v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 
1479.85/1480.31	v -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 
1479.85/1480.31	v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 
1479.85/1480.31	v x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 
1479.85/1480.31	v -x392 x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 
1479.85/1480.31	v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 
1479.85/1480.31	v -x350 -x349 -x348 x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 
1479.85/1480.31	v -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 
1479.85/1480.31	v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 
1479.85/1480.31	v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 
1479.85/1480.31	v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 
1479.85/1480.31	v -x244 -x243 x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 
1479.85/1480.31	v -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 
1479.85/1480.31	v x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 x182 
1479.85/1480.31	v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 
1479.85/1480.31	v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 
1479.85/1480.31	v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 
1479.85/1480.31	v -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 
1479.85/1480.31	v -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 
1479.85/1480.31	v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 
1479.85/1480.31	v -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 
1479.85/1480.31	v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1479.85/1480.31	c SCIP Status        : problem is solved [optimal solution found]
1479.85/1480.31	c Solving Time       :    1466.39
1479.85/1480.31	c Original Problem   :
1479.85/1480.31	c   Problem name     : HOME/instance-2666013-1276344144.opb
1479.85/1480.31	c   Variables        : 4662 (4662 binary, 0 integer, 0 implicit integer, 0 continuous)
1479.85/1480.31	c   Constraints      : 31725 initial, 31725 maximal
1479.85/1480.31	c Presolved Problem  :
1479.85/1480.31	c   Problem name     : t_HOME/instance-2666013-1276344144.opb
1479.85/1480.31	c   Variables        : 4662 (4662 binary, 0 integer, 0 implicit integer, 0 continuous)
1479.85/1480.31	c   Constraints      : 31725 initial, 31810 maximal
1479.85/1480.31	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1479.85/1480.31	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1479.85/1480.31	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1479.85/1480.31	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1479.85/1480.31	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1479.85/1480.31	c   implics          :       0.00          0          0          0          0          0          0          0          0
1479.85/1480.31	c   probing          :       0.00          0          0          0          0          0          0          0          0
1479.85/1480.31	c   knapsack         :       0.01          0          0          0          0          0          0          0         84
1479.85/1480.31	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1479.85/1480.31	c   logicor          :       0.08          0          0          0          0          0          0          0          0
1479.85/1480.31	c   root node        :          -          0          -          -          0          -          -          -          -
1479.85/1480.31	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1479.85/1480.31	c   integral         :          0          0          0        165          0          0          0          0          0        328
1479.85/1480.31	c   knapsack         :         78          5        472          1          0          6        669        347          0          0
1479.85/1480.31	c   setppc           :        951          5        466          1          0          2       2071          0          0          0
1479.85/1480.31	c   logicor          :      30696+         5        284          1          0          0        379          0          0          0
1479.85/1480.31	c   countsols        :          0          0          0          1          0          0          0          0          0          0
1479.85/1480.31	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1479.85/1480.31	c   integral         :     732.81       0.00       0.00     732.81       0.00
1479.85/1480.31	c   knapsack         :       0.04       0.00       0.04       0.00       0.00
1479.85/1480.31	c   setppc           :       0.02       0.00       0.02       0.00       0.00
1479.85/1480.31	c   logicor          :       0.05       0.02       0.03       0.00       0.00
1479.85/1480.31	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1479.85/1480.31	c Propagators        :       Time      Calls    Cutoffs    DomReds
1479.85/1480.31	c   vbounds          :       0.00          1          0          0
1479.85/1480.31	c   rootredcost      :       0.00          0          0          0
1479.85/1480.31	c   pseudoobj        :       0.00          0          0          0
1479.85/1480.31	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1479.85/1480.31	c   propagation      :       0.02          8          8        279      137.9          2       23.5          -
1479.85/1480.31	c   infeasible LP    :       0.00          1          1         31       90.9          2       35.5          0
1479.85/1480.31	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1479.85/1480.31	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1479.85/1480.31	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1479.85/1480.31	c   applied globally :          -          -          -         85       64.5          -          -          -
1479.85/1480.31	c   applied locally  :          -          -          -          0        0.0          -          -          -
1479.85/1480.31	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1479.85/1480.31	c   cut pool         :       0.06          4          -          -          2          -    (maximal pool size: 1849)
1479.85/1480.31	c   redcost          :       0.07        169          0          0          0          0
1479.85/1480.31	c   impliedbounds    :       0.00          5          0          0         10          0
1479.85/1480.31	c   intobj           :       0.00          0          0          0          0          0
1479.85/1480.31	c   cgmip            :       0.00          0          0          0          0          0
1479.85/1480.31	c   gomory           :      29.49          5          0          0       2131          0
1479.85/1480.31	c   strongcg         :       7.56          5          0          0       2500          0
1479.85/1480.31	c   cmir             :       0.00          0          0          0          0          0
1479.85/1480.31	c   flowcover        :       0.00          0          0          0          0          0
1479.85/1480.31	c   clique           :       0.13          5          0          0         31          0
1479.85/1480.31	c   zerohalf         :       0.00          0          0          0          0          0
1479.85/1480.31	c   mcf              :       0.05          1          0          0          0          0
1479.85/1480.31	c   rapidlearning    :       0.00          0          0          0          0          0
1479.85/1480.31	c Pricers            :       Time      Calls       Vars
1479.85/1480.31	c   problem variables:       0.00          0          0
1479.85/1480.31	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1479.85/1480.31	c   relpscost        :     732.81        164          0          0          0          0        328
1479.85/1480.31	c   pscost           :       0.00          0          0          0          0          0          0
1479.85/1480.31	c   inference        :       0.00          0          0          0          0          0          0
1479.85/1480.31	c   mostinf          :       0.00          0          0          0          0          0          0
1479.85/1480.31	c   leastinf         :       0.00          0          0          0          0          0          0
1479.85/1480.31	c   fullstrong       :       0.00          0          0          0          0          0          0
1479.85/1480.31	c   allfullstrong    :       0.00          0          0          0          0          0          0
1479.85/1480.31	c   random           :       0.00          0          0          0          0          0          0
1479.85/1480.31	c Primal Heuristics  :       Time      Calls      Found
1479.85/1480.31	c   LP solutions     :       0.00          -          1
1479.85/1480.31	c   pseudo solutions :       0.00          -          0
1479.85/1480.31	c   trivial          :       0.01          1          0
1479.85/1480.31	c   simplerounding   :       0.00          0          0
1479.85/1480.31	c   zirounding       :       0.00          0          0
1479.85/1480.31	c   rounding         :       0.00          0          0
1479.85/1480.31	c   shifting         :       0.00          0          0
1479.85/1480.31	c   intshifting      :       0.00          0          0
1479.85/1480.31	c   oneopt           :       0.00          0          0
1479.85/1480.31	c   twoopt           :       0.00          0          0
1479.85/1480.31	c   fixandinfer      :       0.00          0          0
1479.85/1480.31	c   feaspump         :       0.00          0          0
1479.85/1480.31	c   coefdiving       :       0.00          0          0
1479.85/1480.31	c   pscostdiving     :       0.00          0          0
1479.85/1480.31	c   fracdiving       :       0.00          0          0
1479.85/1480.31	c   veclendiving     :       0.00          0          0
1479.85/1480.31	c   intdiving        :       0.00          0          0
1479.85/1480.31	c   actconsdiving    :       0.00          0          0
1479.85/1480.31	c   objpscostdiving  :       0.00          0          0
1479.85/1480.31	c   rootsoldiving    :       0.00          0          0
1479.85/1480.31	c   linesearchdiving :       0.00          0          0
1479.85/1480.31	c   guideddiving     :       0.00          0          0
1479.85/1480.31	c   octane           :       0.00          0          0
1479.85/1480.31	c   rens             :       0.00          0          0
1479.85/1480.31	c   rins             :       0.00          0          0
1479.85/1480.31	c   localbranching   :       0.00          0          0
1479.85/1480.31	c   mutation         :       0.00          0          0
1479.85/1480.31	c   crossover        :       0.00          0          0
1479.85/1480.31	c   dins             :       0.00          0          0
1479.85/1480.31	c   undercover       :       0.00          0          0
1479.85/1480.31	c   nlp              :       0.00          0          0
1479.85/1480.31	c   trysol           :       0.00          0          0
1479.85/1480.31	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1479.85/1480.31	c   primal LP        :       0.04          0          0       0.00       0.00
1479.85/1480.31	c   dual LP          :     693.18        171     102118     597.18     147.32
1479.85/1480.31	c   lex dual LP      :       0.00          0          0       0.00          -
1479.85/1480.31	c   barrier LP       :       0.00          0          0       0.00          -
1479.85/1480.31	c   diving/probing LP:       0.00          0          0       0.00          -
1479.85/1480.31	c   strong branching :     732.75        401     184944     461.21     252.40
1479.85/1480.31	c     (at root node) :          -         33      32879     996.33          -
1479.85/1480.31	c   conflict analysis:       0.00          0          0       0.00          -
1479.85/1480.31	c B&B Tree           :
1479.85/1480.31	c   number of runs   :          1
1479.85/1480.31	c   nodes            :        173
1479.85/1480.31	c   nodes (total)    :        173
1479.85/1480.31	c   nodes left       :          0
1479.85/1480.31	c   max depth        :        159
1479.85/1480.31	c   max depth (total):        159
1479.85/1480.31	c   backtracks       :          1 (0.6%)
1479.85/1480.31	c   delayed cutoffs  :          1
1479.85/1480.31	c   repropagations   :         18 (144 domain reductions, 1 cutoffs)
1479.85/1480.31	c   avg switch length:       2.12
1479.85/1480.31	c   switching time   :       0.16
1479.85/1480.31	c Solution           :
1479.85/1480.31	c   Solutions found  :          1 (1 improvements)
1479.85/1480.31	c   First Solution   : +0.00000000000000e+00   (in run 1, after 173 nodes, 1466.37 seconds, depth 155, found by <relaxation>)
1479.85/1480.31	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 173 nodes, 1466.37 seconds, depth 155, found by <relaxation>)
1479.85/1480.31	c   Dual Bound       : +0.00000000000000e+00
1479.85/1480.31	c   Gap              :       0.00 %
1479.85/1480.31	c   Root Dual Bound  : +0.00000000000000e+00
1479.85/1480.31	c   Root Iterations  :      88380
1479.95/1480.48	c Time complete: 1480.03.

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666013-1276344144/watcher-2666013-1276344144 -o /tmp/evaluation-result-2666013-1276344144/solver-2666013-1276344144 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666013-1276344144.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.00 1.01 1.02 3/106 12638
/proc/meminfo: memFree=1506924/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=9288 CPUtime=0
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 1047 0 0 0 0 0 0 0 18 0 1 0 8070790 9510912 968 1992294400 4194304 9819077 140735152587584 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12638/statm: 2322 977 371 1374 0 943 0

[startup+0.0541391 s]
/proc/loadavg: 1.00 1.01 1.02 3/106 12638
/proc/meminfo: memFree=1506924/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=14088 CPUtime=0.05
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 2463 0 0 0 4 1 0 0 20 0 1 0 8070790 14426112 2384 1992294400 4194304 9819077 140735152587584 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12638/statm: 3522 2384 386 1374 0 2143 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14088

[startup+0.102143 s]
/proc/loadavg: 1.00 1.01 1.02 3/106 12638
/proc/meminfo: memFree=1506924/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=17244 CPUtime=0.09
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 3243 0 0 0 8 1 0 0 20 0 1 0 8070790 17657856 3164 1992294400 4194304 9819077 140735152587584 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12638/statm: 4311 3164 386 1374 0 2932 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17244

[startup+0.301162 s]
/proc/loadavg: 1.00 1.01 1.02 3/106 12638
/proc/meminfo: memFree=1506924/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=21480 CPUtime=0.29
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 4287 0 0 0 28 1 0 0 20 0 1 0 8070790 21995520 4208 1992294400 4194304 9819077 140735152587584 18446744073709551615 4207151 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12638/statm: 5370 4208 386 1374 0 3991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21480

[startup+0.700201 s]
/proc/loadavg: 1.00 1.01 1.02 3/106 12638
/proc/meminfo: memFree=1506924/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=54656 CPUtime=0.69
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 12980 0 0 0 64 5 0 0 21 0 1 0 8070790 55967744 12485 1992294400 4194304 9819077 140735152587584 18446744073709551615 4561341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 13664 12485 448 1374 0 12285 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54656

[startup+1.50028 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 12639
/proc/meminfo: memFree=1447768/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=108828 CPUtime=1.49
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 28001 0 0 0 133 16 0 0 23 0 1 0 8070790 111439872 22516 1992294400 4194304 9819077 140735152587584 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 27207 22516 632 1374 0 25828 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108828

[startup+3.10043 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 12639
/proc/meminfo: memFree=1417512/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=111664 CPUtime=3.09
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 31133 0 0 0 291 18 0 0 25 0 1 0 8070790 114343936 22826 1992294400 4194304 9819077 140735152587584 18446744073709551615 6700300 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 27916 22826 635 1374 0 26537 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111664

[startup+6.30174 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 12639
/proc/meminfo: memFree=1415032/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=112984 CPUtime=6.29
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 35109 0 0 0 609 20 0 0 25 0 1 0 8070790 115695616 23142 1992294400 4194304 9819077 140735152587584 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 28246 23142 635 1374 0 26867 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 112984

[startup+12.7014 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 12639
/proc/meminfo: memFree=1415528/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=112096 CPUtime=12.69
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 42264 0 0 0 1244 25 0 0 25 0 1 0 8070790 114786304 22476 1992294400 4194304 9819077 140735152587584 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 28024 22476 661 1374 0 26645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112096

[startup+25.5016 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 12641
/proc/meminfo: memFree=1393828/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=135768 CPUtime=25.48
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 56036 0 0 0 2515 33 0 0 25 0 1 0 8070790 139026432 28808 1992294400 4194304 9819077 140735152587584 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 33942 28808 669 1374 0 32563 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 135768

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 12641
/proc/meminfo: memFree=1391472/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=147456 CPUtime=51.07
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 70886 0 0 0 5060 47 0 0 25 0 1 0 8070790 150994944 31016 1992294400 4194304 9819077 140735152587584 18446744073709551615 8491987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 36864 31016 669 1374 0 35485 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 147456

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 12643
/proc/meminfo: memFree=1360472/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=171660 CPUtime=102.27
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 105677 0 0 0 10152 75 0 0 25 0 1 0 8070790 175779840 37088 1992294400 4194304 9819077 140735152587584 18446744073709551615 7296186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 42915 37088 669 1374 0 41536 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 171660

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12643
/proc/meminfo: memFree=1363200/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=171336 CPUtime=162.24
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 141398 0 0 0 16121 103 0 0 25 0 1 0 8070790 175448064 36913 1992294400 4194304 9819077 140735152587584 18446744073709551615 7311155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 42834 36913 669 1374 0 41455 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 171336

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12645
/proc/meminfo: memFree=1343236/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=192288 CPUtime=222.22
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 184839 0 0 0 22090 132 0 0 25 0 1 0 8070790 196902912 41373 1992294400 4194304 9819077 140735152587584 18446744073709551615 6192281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 48072 41373 669 1374 0 46693 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 192288

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12647
/proc/meminfo: memFree=1343732/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=192476 CPUtime=282.21
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 221503 0 0 0 28061 160 0 0 25 0 1 0 8070790 197095424 41353 1992294400 4194304 9819077 140735152587584 18446744073709551615 7296045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 48119 41353 669 1374 0 46740 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 192476

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12649
/proc/meminfo: memFree=1345096/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=190976 CPUtime=342.18
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 257480 0 0 0 34034 184 0 0 25 0 1 0 8070790 195559424 40910 1992294400 4194304 9819077 140735152587584 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 47744 40910 669 1374 0 46365 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 190976

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12651
/proc/meminfo: memFree=1345840/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=188572 CPUtime=402.16
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 291855 0 0 0 40005 211 0 0 25 0 1 0 8070790 193097728 40831 1992294400 4194304 9819077 140735152587584 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 47143 40831 669 1374 0 45764 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 188572

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12651
/proc/meminfo: memFree=1341004/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=192208 CPUtime=462.15
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 331541 0 0 0 45973 242 0 0 25 0 1 0 8070790 196820992 42170 1992294400 4194304 9819077 140735152587584 18446744073709551615 7296163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 48052 42170 669 1374 0 46673 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 192208

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12653
/proc/meminfo: memFree=1335176/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=200488 CPUtime=522.13
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 373762 0 0 0 51940 273 0 0 25 0 1 0 8070790 205299712 42380 1992294400 4194304 9819077 140735152587584 18446744073709551615 7300403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 50122 42380 669 1374 0 48743 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 200488

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12655
/proc/meminfo: memFree=1336292/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=198928 CPUtime=582.11
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 411983 0 0 0 57911 300 0 0 25 0 1 0 8070790 203702272 41996 1992294400 4194304 9819077 140735152587584 18446744073709551615 7291143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 49732 41996 669 1374 0 48353 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 198928

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12657
/proc/meminfo: memFree=1338028/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=195792 CPUtime=642.1
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 450231 0 0 0 63880 330 0 0 25 0 1 0 8070790 200491008 42592 1992294400 4194304 9819077 140735152587584 18446744073709551615 7309325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 48948 42592 669 1374 0 47569 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 195792

[startup+702.301 s]

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

/proc/meminfo: memFree=1338524/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=210636 CPUtime=882.02
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 756804 0 0 0 87682 520 0 0 25 0 1 0 8070790 215691264 42429 1992294400 4194304 9819077 140735152587584 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 52659 42429 686 1374 0 51280 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 210636

[startup+942.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 12665
/proc/meminfo: memFree=1339020/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=210528 CPUtime=942
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 871298 0 0 0 93615 585 0 0 25 0 1 0 8070790 215580672 42213 1992294400 4194304 9819077 140735152587584 18446744073709551615 6198704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 52632 42213 687 1374 0 51253 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 210528

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12667
/proc/meminfo: memFree=1337904/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=212116 CPUtime=1001.98
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 967618 0 0 0 99554 644 0 0 25 0 1 0 8070790 217206784 42586 1992294400 4194304 9819077 140735152587584 18446744073709551615 7291617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 53029 42586 701 1374 0 51650 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 212116

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12667
/proc/meminfo: memFree=1337780/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=212116 CPUtime=1061.97
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 1064775 0 0 0 105490 707 0 0 25 0 1 0 8070790 217206784 42781 1992294400 4194304 9819077 140735152587584 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 53029 42781 701 1374 0 51650 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 212116

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12669
/proc/meminfo: memFree=1337780/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=212316 CPUtime=1121.95
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 1192073 0 0 0 111420 775 0 0 25 0 1 0 8070790 217411584 42591 1992294400 4194304 9819077 140735152587584 18446744073709551615 6391490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 53079 42591 701 1374 0 51700 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 212316

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12671
/proc/meminfo: memFree=1337656/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=212500 CPUtime=1181.94
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 1308686 0 0 0 117350 844 0 0 25 0 1 0 8070790 217600000 42778 1992294400 4194304 9819077 140735152587584 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 53125 42778 701 1374 0 51746 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 212500

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12673
/proc/meminfo: memFree=1337408/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=212560 CPUtime=1241.92
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 1440087 0 0 0 123280 912 0 0 25 0 1 0 8070790 217661440 42635 1992294400 4194304 9819077 140735152587584 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 53140 42635 701 1374 0 51761 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 212560

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12675
/proc/meminfo: memFree=1335672/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=212768 CPUtime=1301.91
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 1583606 0 0 0 129199 992 0 0 25 0 1 0 8070790 217874432 43031 1992294400 4194304 9819077 140735152587584 18446744073709551615 7312701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 53192 43031 701 1374 0 51813 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 212768

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12675
/proc/meminfo: memFree=1337160/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=212644 CPUtime=1361.89
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 1717700 0 0 0 135123 1066 0 0 25 0 1 0 8070790 217747456 42581 1992294400 4194304 9819077 140735152587584 18446744073709551615 7292216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 53161 42581 701 1374 0 51782 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 212644

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12677
/proc/meminfo: memFree=1337284/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=213200 CPUtime=1421.87
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 1889540 0 0 0 141035 1152 0 0 25 0 1 0 8070790 218316800 42605 1992294400 4194304 9819077 140735152587584 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 53300 42605 701 1374 0 51921 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 213200

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

[startup+1433.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12677
/proc/meminfo: memFree=1340012/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=192532 CPUtime=1433.06
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 1916790 0 0 0 142139 1167 0 0 25 0 1 0 8070790 197152768 42023 1992294400 4194304 9819077 140735152587584 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 48133 42023 701 1374 0 46754 0
Current children cumulated CPU time (s) 1433.06
Current children cumulated vsize (KiB) 192532

[startup+1459.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12679
/proc/meminfo: memFree=1339640/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=193188 CPUtime=1458.66
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 2004230 0 0 0 144655 1211 0 0 25 0 1 0 8070790 197824512 42017 1992294400 4194304 9819077 140735152587584 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 48297 42017 701 1374 0 46918 0
Current children cumulated CPU time (s) 1458.66
Current children cumulated vsize (KiB) 193188

[startup+1471.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12679
/proc/meminfo: memFree=1339640/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=191840 CPUtime=1471.45
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 2073534 0 0 0 145902 1243 0 0 25 0 1 0 8070790 196444160 41652 1992294400 4194304 9819077 140735152587584 18446744073709551615 7816507 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 47960 41652 701 1374 0 46581 0
Current children cumulated CPU time (s) 1471.45
Current children cumulated vsize (KiB) 191840

[startup+1475.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12679
/proc/meminfo: memFree=1340136/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=192764 CPUtime=1474.66
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 2099144 0 0 0 146213 1253 0 0 25 0 1 0 8070790 197390336 41990 1992294400 4194304 9819077 140735152587584 18446744073709551615 7481140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 48191 41991 701 1374 0 46812 0
Current children cumulated CPU time (s) 1474.66
Current children cumulated vsize (KiB) 192764

[startup+1478.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12679
/proc/meminfo: memFree=1338896/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=193656 CPUtime=1477.86
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 2134614 0 0 0 146516 1270 0 0 25 0 1 0 8070790 198303744 42135 1992294400 4194304 9819077 140735152587584 18446744073709551615 6004167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 48414 42135 701 1374 0 47035 0
Current children cumulated CPU time (s) 1477.86
Current children cumulated vsize (KiB) 193656

[startup+1479.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12679
/proc/meminfo: memFree=1338896/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=193532 CPUtime=1478.65
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 2148696 0 0 0 146590 1275 0 0 25 0 1 0 8070790 198176768 42153 1992294400 4194304 9819077 140735152587584 18446744073709551615 7304805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 48383 42153 701 1374 0 47004 0
Current children cumulated CPU time (s) 1478.65
Current children cumulated vsize (KiB) 193532

[startup+1479.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12679
/proc/meminfo: memFree=1339020/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=193728 CPUtime=1479.45
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 2167574 0 0 0 146662 1283 0 0 25 0 1 0 8070790 198377472 42297 1992294400 4194304 9819077 140735152587584 18446744073709551615 6372747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12638/statm: 48432 42297 705 1374 0 47053 0
Current children cumulated CPU time (s) 1479.45
Current children cumulated vsize (KiB) 193728

[startup+1480.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12679
/proc/meminfo: memFree=1339020/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=193980 CPUtime=1479.85
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 2175236 0 0 0 146699 1286 0 0 25 0 1 0 8070790 198635520 42350 1992294400 4194304 9819077 140735152587584 18446744073709551615 4561370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12638/statm: 48495 42350 705 1374 0 47116 0
Current children cumulated CPU time (s) 1479.85
Current children cumulated vsize (KiB) 193980

[startup+1480.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12679
/proc/meminfo: memFree=1339020/2059040 swapFree=4192956/4192956
[pid=12638] ppid=12636 vsize=157500 CPUtime=1479.95
/proc/12638/stat : 12638 (pbscip.linux.x8) R 12636 12638 12185 0 -1 4202496 2175252 0 0 0 146708 1287 0 0 25 0 1 0 8070790 161280000 33250 1992294400 4194304 9819077 140735152587584 18446744073709551615 4212431 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12638/statm: 39375 33250 709 1374 0 37996 0
Current children cumulated CPU time (s) 1479.95
Current children cumulated vsize (KiB) 157500

Child status: 0
Real time (s): 1480.49
CPU time (s): 1480.05
CPU user time (s): 1467.16
CPU system time (s): 12.89
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 214452

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

runsolver used 2.39364 second user time and 7.04893 second system time

The end

Begin job on node018 at 2010-06-12 14:02:24
IDJOB=2666013
IDBENCH=1499
IDSOLVER=1168
FILE ID=node018/2666013-1276344144
PBS_JOBID= 11173183
Free space on /tmp= 62292 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
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-2666013-1276344144/watcher-2666013-1276344144 -o /tmp/evaluation-result-2666013-1276344144/solver-2666013-1276344144 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666013-1276344144.opb -t 1800 -m 1800

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

MD5SUM BENCH= 6441cbb759000c1a64397279f4b3f0ed
RANDOM SEED=1263201137

node018.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.248
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.248
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1507452 kB
Buffers:        118064 kB
Cached:         289876 kB
SwapCached:          0 kB
Active:         152684 kB
Inactive:       314496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1507452 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            7328 kB
Writeback:           0 kB
AnonPages:       59172 kB
Mapped:          15444 kB
Slab:            62644 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181300 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= 62288 MiB
End job on node018 at 2010-06-12 14:27:05