Trace number 2703373

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT27 152.348 152.396

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark13.401
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2531
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2531
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2531
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	27

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 28374
/proc/meminfo: memFree=1678404/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=7904 CPUtime=0
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 1038 0 0 0 0 0 0 0 18 0 1 0 24601594 8093696 950 1992294400 4194304 8395647 140734477428608 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28374/statm: 1976 958 365 1026 0 946 0

[startup+0.062521 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 28374
/proc/meminfo: memFree=1678404/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=16252 CPUtime=0.05
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 3350 0 0 0 4 1 0 0 20 0 1 0 24601594 16642048 3261 1992294400 4194304 8395647 140734477428608 18446744073709551615 6349002 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28374/statm: 4063 3261 393 1026 0 3033 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16252

[startup+0.100527 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 28374
/proc/meminfo: memFree=1678404/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=17208 CPUtime=0.09
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 3612 0 0 0 8 1 0 0 20 0 1 0 24601594 17620992 3523 1992294400 4194304 8395647 140734477428608 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28374/statm: 4302 3523 393 1026 0 3272 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17208

[startup+0.300541 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 28374
/proc/meminfo: memFree=1678404/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=35092 CPUtime=0.29
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 8302 0 0 0 26 3 0 0 20 0 1 0 24601594 35934208 7859 1992294400 4194304 8395647 140734477428608 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 8773 7871 420 1026 0 7743 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35092

[startup+0.700571 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 28374
/proc/meminfo: memFree=1678404/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=44616 CPUtime=0.69
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 10491 0 0 0 65 4 0 0 21 0 1 0 24601594 45686784 10048 1992294400 4194304 8395647 140734477428608 18446744073709551615 5210648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 11154 10048 497 1026 0 10124 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44616

[startup+1.50064 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 28375
/proc/meminfo: memFree=1629168/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=56748 CPUtime=1.49
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 13675 0 0 0 143 6 0 0 23 0 1 0 24601594 58109952 13167 1992294400 4194304 8395647 140734477428608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 14187 13167 585 1026 0 13157 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56748

[startup+3.10077 s]
/proc/loadavg: 1.10 1.03 1.01 2/107 28375
/proc/meminfo: memFree=1619620/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=3.09
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 23227 0 0 0 297 12 0 0 25 0 1 0 24601594 91652096 21299 1992294400 4194304 8395647 140734477428608 18446744073709551615 6697970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21299 626 1026 0 21346 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89504

[startup+6.30103 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 28375
/proc/meminfo: memFree=1594572/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=6.29
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 23239 0 0 0 616 13 0 0 25 0 1 0 24601594 91652096 21304 1992294400 4194304 8395647 140734477428608 18446744073709551615 6202552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21304 619 1026 0 21346 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89504

[startup+12.7015 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 28375
/proc/meminfo: memFree=1594580/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=12.69
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 23430 0 0 0 1254 15 0 0 25 0 1 0 24601594 91652096 21422 1992294400 4194304 8395647 140734477428608 18446744073709551615 7382031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21422 661 1026 0 21346 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89504

[startup+25.5006 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 28376
/proc/meminfo: memFree=1594588/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=25.49
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 23435 0 0 0 2530 19 0 0 25 0 1 0 24601594 91652096 21422 1992294400 4194304 8395647 140734477428608 18446744073709551615 6125415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21422 656 1026 0 21346 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89504

[startup+51.1007 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 28377
/proc/meminfo: memFree=1593596/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=51.07
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 28117 0 0 0 5070 37 0 0 25 0 1 0 24601594 91652096 21542 1992294400 4194304 8395647 140734477428608 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21542 636 1026 0 21346 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 89504

[startup+102.308 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 28378
/proc/meminfo: memFree=1593596/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=102.26
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 28117 0 0 0 10165 61 0 0 25 0 1 0 24601594 91652096 21542 1992294400 4194304 8395647 140734477428608 18446744073709551615 6587066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21542 636 1026 0 21346 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 89504

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

[startup+127.901 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28379
/proc/meminfo: memFree=1593596/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=127.84
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 28117 0 0 0 12712 72 0 0 25 0 1 0 24601594 91652096 21542 1992294400 4194304 8395647 140734477428608 18446744073709551615 6449583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21542 636 1026 0 21346 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 89504

[startup+140.701 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28379
/proc/meminfo: memFree=1593596/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=140.66
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 28117 0 0 0 13987 79 0 0 25 0 1 0 24601594 91652096 21542 1992294400 4194304 8395647 140734477428608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21542 636 1026 0 21346 0
Current children cumulated CPU time (s) 140.66
Current children cumulated vsize (KiB) 89504

[startup+147.1 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28379
/proc/meminfo: memFree=1593596/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=147.04
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 28117 0 0 0 14622 82 0 0 25 0 1 0 24601594 91652096 21542 1992294400 4194304 8395647 140734477428608 18446744073709551615 6698218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21542 636 1026 0 21346 0
Current children cumulated CPU time (s) 147.04
Current children cumulated vsize (KiB) 89504

[startup+150.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28379
/proc/meminfo: memFree=1593596/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=150.24
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 28117 0 0 0 14941 83 0 0 25 0 1 0 24601594 91652096 21542 1992294400 4194304 8395647 140734477428608 18446744073709551615 6701791 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21542 636 1026 0 21346 0
Current children cumulated CPU time (s) 150.24
Current children cumulated vsize (KiB) 89504

[startup+151.102 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28379
/proc/meminfo: memFree=1593596/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=151.04
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 28117 0 0 0 15020 84 0 0 25 0 1 0 24601594 91652096 21542 1992294400 4194304 8395647 140734477428608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21542 636 1026 0 21346 0
Current children cumulated CPU time (s) 151.04
Current children cumulated vsize (KiB) 89504

[startup+151.902 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28379
/proc/meminfo: memFree=1593596/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=151.84
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 28117 0 0 0 15100 84 0 0 25 0 1 0 24601594 91652096 21542 1992294400 4194304 8395647 140734477428608 18446744073709551615 6587039 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21542 636 1026 0 21346 0
Current children cumulated CPU time (s) 151.84
Current children cumulated vsize (KiB) 89504

[startup+152.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28379
/proc/meminfo: memFree=1593596/2059040 swapFree=4139412/4192956
[pid=28374] ppid=28372 vsize=89504 CPUtime=152.24
/proc/28374/stat : 28374 (pbscip.linux.x8) R 28372 28374 28215 0 -1 4202496 28117 0 0 0 15140 84 0 0 25 0 1 0 24601594 91652096 21542 1992294400 4194304 8395647 140734477428608 18446744073709551615 6697240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28374/statm: 22376 21542 636 1026 0 21346 0
Current children cumulated CPU time (s) 152.24
Current children cumulated vsize (KiB) 89504

Child status: 0
Real time (s): 152.396
CPU time (s): 152.348
CPU user time (s): 151.491
CPU system time (s): 0.856869
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 109084

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

runsolver used 0.275958 second user time and 0.706892 second system time

The end

Launcher Data 

Begin job on node003 at 2010-07-08 06:37:59
IDJOB=2703373
IDBENCH=24999
IDSOLVER=1213
FILE ID=node003/2703373-1278563879
PBS_JOBID= 11239582
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703373-1278563879/watcher-2703373-1278563879 -o /tmp/evaluation-result-2703373-1278563879/solver-2703373-1278563879 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703373-1278563879.opb -t 1800 -m 1800

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=171466531

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.224
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.224
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1678932 kB
Buffers:         73788 kB
Cached:         215276 kB
SwapCached:       9064 kB
Active:         164444 kB
Inactive:       140532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1678932 kB
SwapTotal:     4192956 kB
SwapFree:      4139412 kB
Dirty:           10996 kB
Writeback:           0 kB
AnonPages:       11352 kB
Mapped:          11780 kB
Slab:            53244 kB
PageTables:       4296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62560 MiB
End job on node003 at 2010-07-08 06:40:31