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

OK	0

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3489349-1307760002/watcher-3489349-1307760002 -o /tmp/evaluation-result-3489349-1307760002/solver-3489349-1307760002 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489349-1307760002.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11083
/proc/meminfo: memFree=31158000/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=12700 CPUtime=0 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 2151 0 0 0 0 0 0 0 25 0 1 0 887602977 13004800 2105 33554432000 4194304 9016284 140734684258464 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11083/statm: 3175 2105 357 1178 0 1993 0

[startup+0.071502 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11083
/proc/meminfo: memFree=31158000/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=23472 CPUtime=0.06 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 4857 0 0 0 6 0 0 0 25 0 1 0 887602977 24035328 4811 33554432000 4194304 9016284 140734684258464 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11083/statm: 5868 4811 357 1178 0 4686 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23472

[startup+0.100493 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11083
/proc/meminfo: memFree=31158000/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=24972 CPUtime=0.09 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 5236 0 0 0 9 0 0 0 25 0 1 0 887602977 25571328 5190 33554432000 4194304 9016284 140734684258464 18446744073709551615 4447109 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11083/statm: 6243 5190 357 1178 0 5061 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24972

[startup+0.300464 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11083
/proc/meminfo: memFree=31158000/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=67936 CPUtime=0.29 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 16476 0 0 0 27 2 0 0 25 0 1 0 887602977 69566464 15669 33554432000 4194304 9016284 140734684258464 18446744073709551615 7875922 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 16984 15669 482 1178 0 15802 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67936

[startup+0.700356 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11083
/proc/meminfo: memFree=31158000/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=116744 CPUtime=0.68 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 29887 0 0 0 65 3 0 0 25 0 1 0 887602977 119545856 26441 33554432000 4194304 9016284 140734684258464 18446744073709551615 7191089 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11083/statm: 29186 26441 665 1178 0 28004 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 116744

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11084
/proc/meminfo: memFree=31053360/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=117400 CPUtime=1.49 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 30610 0 0 0 145 4 0 0 25 0 1 0 887602977 120217600 27098 33554432000 4194304 9016284 140734684258464 18446744073709551615 7180911 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 29350 27098 627 1178 0 28168 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117400

[startup+3.10097 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11084
/proc/meminfo: memFree=31051120/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=118412 CPUtime=3.09 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 30965 0 0 0 303 6 0 0 25 0 1 0 887602977 121253888 27453 33554432000 4194304 9016284 140734684258464 18446744073709551615 6863440 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 29603 27453 627 1178 0 28421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118412

[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11084
/proc/meminfo: memFree=31049880/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=119660 CPUtime=6.29 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 31200 0 0 0 622 7 0 0 25 0 1 0 887602977 122531840 27680 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 29915 27680 622 1178 0 28733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 119660

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11085
/proc/meminfo: memFree=31032024/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=135788 CPUtime=12.69 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 36440 0 0 0 1258 11 0 0 25 0 1 0 887602977 139046912 32194 33554432000 4194304 9016284 140734684258464 18446744073709551615 7180877 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 33947 32194 875 1178 0 32765 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 135788

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11085
/proc/meminfo: memFree=31009528/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=165280 CPUtime=25.49 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 44179 0 0 0 2532 17 0 0 25 0 1 0 887602977 169246720 39715 33554432000 4194304 9016284 140734684258464 18446744073709551615 7181022 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 41320 39715 665 1178 0 40138 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 165280

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11086
/proc/meminfo: memFree=30968696/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=199772 CPUtime=51.09 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 52464 0 0 0 5080 29 0 0 25 0 1 0 887602977 204566528 47998 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 49943 47998 675 1178 0 48761 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 199772

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11087
/proc/meminfo: memFree=30972004/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=199772 CPUtime=102.3 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 52507 0 0 0 10179 51 0 0 25 0 1 0 887602977 204566528 48033 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 49943 48033 675 1178 0 48761 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 199772

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 11089
/proc/meminfo: memFree=30967848/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=199772 CPUtime=162.3 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 52512 0 0 0 16151 79 0 0 25 0 1 0 887602977 204566528 48038 33554432000 4194304 9016284 140734684258464 18446744073709551615 7214084 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 49943 48038 675 1178 0 48761 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 199772

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11090
/proc/meminfo: memFree=30967916/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=199772 CPUtime=222.3 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 52520 0 0 0 22123 107 0 0 25 0 1 0 887602977 204566528 48046 33554432000 4194304 9016284 140734684258464 18446744073709551615 7082051 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 49943 48046 675 1178 0 48761 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 199772

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11092
/proc/meminfo: memFree=30964384/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=203624 CPUtime=282.29 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 53471 0 0 0 28098 131 0 0 25 0 1 0 887602977 208510976 48992 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 50906 48992 676 1178 0 49724 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 203624

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11093
/proc/meminfo: memFree=30960120/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=207920 CPUtime=342.3 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 54493 0 0 0 34069 161 0 0 25 0 1 0 887602977 212910080 50014 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 51980 50014 676 1178 0 50798 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 207920

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11095
/proc/meminfo: memFree=30954856/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=212972 CPUtime=402.3 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 55782 0 0 0 40045 185 0 0 25 0 1 0 887602977 218083328 51303 33554432000 4194304 9016284 140734684258464 18446744073709551615 7180913 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53243 51303 676 1178 0 52061 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 212972

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11097
/proc/meminfo: memFree=30954568/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=212972 CPUtime=462.3 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 55788 0 0 0 46021 209 0 0 25 0 1 0 887602977 218083328 51309 33554432000 4194304 9016284 140734684258464 18446744073709551615 7081856 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53243 51309 676 1178 0 52061 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 212972

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11098
/proc/meminfo: memFree=30949048/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=213140 CPUtime=522.3 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 55839 0 0 0 51996 234 0 0 25 0 1 0 887602977 218255360 51360 33554432000 4194304 9016284 140734684258464 18446744073709551615 7180756 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53285 51360 676 1178 0 52103 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 213140

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11100
/proc/meminfo: memFree=30960024/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=213140 CPUtime=582.3 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 55857 0 0 0 57969 261 0 0 25 0 1 0 887602977 218255360 51378 33554432000 4194304 9016284 140734684258464 18446744073709551615 7181009 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53285 51378 676 1178 0 52103 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 213140

[startup+642.301 s]

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

/proc/meminfo: memFree=30941556/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=213304 CPUtime=702.3 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 56084 0 0 0 69917 313 0 0 25 0 1 0 887602977 218423296 51605 33554432000 4194304 9016284 140734684258464 18446744073709551615 7213824 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53326 51605 676 1178 0 52144 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 213304

[startup+762.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 11105
/proc/meminfo: memFree=30938144/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=214300 CPUtime=762.31 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 56335 0 0 0 75890 341 0 0 25 0 1 0 887602977 219443200 51856 33554432000 4194304 9016284 140734684258464 18446744073709551615 7180891 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53575 51856 676 1178 0 52393 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 214300

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11106
/proc/meminfo: memFree=30930148/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=214300 CPUtime=822.31 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 56358 0 0 0 81860 371 0 0 25 0 1 0 887602977 219443200 51879 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53575 51879 676 1178 0 52393 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 214300

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11108
/proc/meminfo: memFree=30926128/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=214492 CPUtime=882.31 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 56380 0 0 0 87832 399 0 0 25 0 1 0 887602977 219639808 51901 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53623 51901 676 1178 0 52441 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 214492

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11109
/proc/meminfo: memFree=30934128/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=214492 CPUtime=942.31 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 56380 0 0 0 93805 426 0 0 25 0 1 0 887602977 219639808 51901 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53623 51901 676 1178 0 52441 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 214492

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 11111
/proc/meminfo: memFree=30913500/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=214492 CPUtime=1002.31 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 56380 0 0 0 99777 454 0 0 25 0 1 0 887602977 219639808 51901 33554432000 4194304 9016284 140734684258464 18446744073709551615 7180528 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53623 51901 676 1178 0 52441 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 214492

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 11113
/proc/meminfo: memFree=30910460/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=214492 CPUtime=1062.31 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 56380 0 0 0 105749 482 0 0 25 0 1 0 887602977 219639808 51901 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53623 51901 676 1178 0 52441 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 214492

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11114
/proc/meminfo: memFree=30900256/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=214492 CPUtime=1122.31 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 56380 0 0 0 111720 511 0 0 25 0 1 0 887602977 219639808 51901 33554432000 4194304 9016284 140734684258464 18446744073709551615 7065417 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53623 51901 676 1178 0 52441 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 214492

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11116
/proc/meminfo: memFree=30894624/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=214492 CPUtime=1182.32 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 56380 0 0 0 117694 538 0 0 25 0 1 0 887602977 219639808 51901 33554432000 4194304 9016284 140734684258464 18446744073709551615 7214187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53623 51901 676 1178 0 52441 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 214492

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 11117
/proc/meminfo: memFree=30884904/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=214492 CPUtime=1242.32 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 56385 0 0 0 123665 567 0 0 25 0 1 0 887602977 219639808 51906 33554432000 4194304 9016284 140734684258464 18446744073709551615 7181057 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 53623 51906 676 1178 0 52441 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 214492

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 11128
/proc/meminfo: memFree=30866376/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=218028 CPUtime=1302.33 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 57044 0 0 0 129637 596 0 0 25 0 1 0 887602977 223260672 52565 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 54507 52565 676 1178 0 53325 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 218028

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

[startup+1305.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 11128
/proc/meminfo: memFree=30866252/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=218028 CPUtime=1305.52 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 57049 0 0 0 129955 597 0 0 25 0 1 0 887602977 223260672 52570 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 54507 52570 676 1178 0 53325 0
Current children cumulated CPU time (s) 1305.52
Current children cumulated vsize (KiB) 218028

[startup+1318.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 11128
/proc/meminfo: memFree=30874292/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=218028 CPUtime=1318.32 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 57055 0 0 0 131228 604 0 0 25 0 1 0 887602977 223260672 52576 33554432000 4194304 9016284 140734684258464 18446744073709551615 7180596 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 54507 52576 676 1178 0 53325 0
Current children cumulated CPU time (s) 1318.32
Current children cumulated vsize (KiB) 218028

[startup+1331.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11129
/proc/meminfo: memFree=30858156/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=218916 CPUtime=1331.12 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 57262 0 0 0 132503 609 0 0 25 0 1 0 887602977 224169984 52783 33554432000 4194304 9016284 140734684258464 18446744073709551615 7180745 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 54729 52783 676 1178 0 53547 0
Current children cumulated CPU time (s) 1331.12
Current children cumulated vsize (KiB) 218916

[startup+1334.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11129
/proc/meminfo: memFree=30857660/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=219556 CPUtime=1334.32 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 57310 0 0 0 132822 610 0 0 25 0 1 0 887602977 224825344 52831 33554432000 4194304 9016284 140734684258464 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 54889 52831 676 1178 0 53707 0
Current children cumulated CPU time (s) 1334.32
Current children cumulated vsize (KiB) 219556

[startup+1335.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11129
/proc/meminfo: memFree=30857040/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=220404 CPUtime=1335.92 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 57431 0 0 0 132981 611 0 0 25 0 1 0 887602977 225693696 52952 33554432000 4194304 9016284 140734684258464 18446744073709551615 7178112 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 55101 52952 676 1178 0 53919 0
Current children cumulated CPU time (s) 1335.92
Current children cumulated vsize (KiB) 220404

[startup+1337.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11129
/proc/meminfo: memFree=30856044/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=220404 CPUtime=1337.52 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 57590 0 0 0 133141 611 0 0 25 0 1 0 887602977 225693696 53111 33554432000 4194304 9016284 140734684258464 18446744073709551615 7213554 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 55101 53111 676 1178 0 53919 0
Current children cumulated CPU time (s) 1337.52
Current children cumulated vsize (KiB) 220404

[startup+1338.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11129
/proc/meminfo: memFree=30856044/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=220404 CPUtime=1338.32 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 57613 0 0 0 133220 612 0 0 25 0 1 0 887602977 225693696 53134 33554432000 4194304 9016284 140734684258464 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11083/statm: 55101 53134 676 1178 0 53919 0
Current children cumulated CPU time (s) 1338.32
Current children cumulated vsize (KiB) 220404

[startup+1338.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11129
/proc/meminfo: memFree=30856044/32951124 swapFree=67050780/67111528
[pid=11083] ppid=11081 vsize=216324 CPUtime=1338.52 cores=1,3,5,7
/proc/11083/stat : 11083 (scip-2.0.1.4b_2) R 11081 11083 1779 0 -1 4202496 57622 0 0 0 133240 612 0 0 25 0 1 0 887602977 221515776 52131 33554432000 4194304 9016284 140734684258464 18446744073709551615 4445237 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11083/statm: 54081 52131 683 1178 0 52899 0
Current children cumulated CPU time (s) 1338.52
Current children cumulated vsize (KiB) 216324

Child status: 0
Real time (s): 1338.52
CPU time (s): 1338.55
CPU user time (s): 1332.42
CPU system time (s): 6.13107
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 220404

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

runsolver used 2.07468 second user time and 4.6033 second system time

The end

Begin job on node101 at 2011-06-11 04:40:02
IDJOB=3489349
IDBENCH=1496
IDSOLVER=1979
FILE ID=node101/3489349-1307760002
RUNJOBID= node101-1307750183-1798
PBS_JOBID= 13550859
Free space on /tmp= 74084 MiB

SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3489349-1307760002/watcher-3489349-1307760002 -o /tmp/evaluation-result-3489349-1307760002/solver-3489349-1307760002 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489349-1307760002.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 28d827e98d8e81c3ff9d9e47a6238269
RANDOM SEED=1179790579

node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31158056 kB
Buffers:        195064 kB
Cached:         729304 kB
SwapCached:      27752 kB
Active:         916716 kB
Inactive:       690552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31158056 kB
SwapTotal:    67111528 kB
SwapFree:     67050780 kB
Dirty:           17900 kB
Writeback:           0 kB
AnonPages:      676920 kB
Mapped:          11936 kB
Slab:           120400 kB
PageTables:       6020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   876292 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74068 MiB
End job on node101 at 2011-06-11 05:02:21