Trace number 1869672

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT27 74.1707 74.1954

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

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-1869672-1245182945/watcher-1869672-1245182945 -o /tmp/evaluation-result-1869672-1245182945/solver-1869672-1245182945 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869672-1245182945.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6060
/proc/meminfo: memFree=1861240/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=4648 CPUtime=0
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 498 0 0 0 0 0 0 0 18 0 1 0 185894392 4759552 482 1992294400 4194304 7823515 548682068736 18446744073709551615 5955600 0 0 4096 0 0 0 0 17 1 0 0
/proc/6060/statm: 1082 485 320 886 0 192 0

[startup+0.0136119 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6060
/proc/meminfo: memFree=1861240/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=9372 CPUtime=0
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 1605 0 0 0 0 0 0 0 18 0 1 0 185894392 9596928 1587 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/6060/statm: 2343 1595 349 886 0 1453 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9372

[startup+0.101622 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6060
/proc/meminfo: memFree=1861240/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=16492 CPUtime=0.09
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 3442 0 0 0 9 0 0 0 18 0 1 0 185894392 16887808 3424 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 1 0 0
/proc/6060/statm: 4123 3424 354 886 0 3233 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16492

[startup+0.301644 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6060
/proc/meminfo: memFree=1861240/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=34628 CPUtime=0.29
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 8279 0 0 0 27 2 0 0 19 0 1 0 185894392 35459072 7907 1992294400 4194304 7823515 548682068736 18446744073709551615 4690362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 8657 7907 385 886 0 7767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34628

[startup+0.701689 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6060
/proc/meminfo: memFree=1861240/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=43780 CPUtime=0.69
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 10406 0 0 0 62 7 0 0 22 0 1 0 185894392 44830720 10034 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 10945 10034 470 886 0 10055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43780

[startup+1.50178 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1812528/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=58664 CPUtime=1.49
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 14235 0 0 0 139 10 0 0 25 0 1 0 185894392 60071936 13796 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 14666 13796 537 886 0 13776 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58664

[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1799728/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=69292 CPUtime=3.09
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 16891 0 0 0 297 12 0 0 25 0 1 0 185894392 70955008 16429 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 17323 16429 558 886 0 16433 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69292

[startup+6.30133 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1793656/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=73656 CPUtime=6.29
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 17843 0 0 0 615 14 0 0 25 0 1 0 185894392 75423744 17381 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 18414 17381 558 886 0 17524 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73656

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1785272/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=82264 CPUtime=12.69
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 20042 0 0 0 1252 17 0 0 25 0 1 0 185894392 84238336 19466 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 20566 19466 559 886 0 19676 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82264

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1784056/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=83140 CPUtime=25.49
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 20342 0 0 0 2526 23 0 0 25 0 1 0 185894392 85135360 19763 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 20785 19763 559 886 0 19895 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83140

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1783736/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=83656 CPUtime=51.08
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 25387 0 0 0 5068 40 0 0 25 0 1 0 185894392 85663744 19833 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 20914 19833 572 886 0 20024 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83656

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

[startup+63.9019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1783736/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=83656 CPUtime=63.87
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 25415 0 0 0 6345 42 0 0 25 0 1 0 185894392 85663744 19861 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 20914 19861 572 886 0 20024 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 83656

[startup+70.3016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1783736/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=83656 CPUtime=70.27
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 25415 0 0 0 6983 44 0 0 25 0 1 0 185894392 85663744 19861 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 20914 19861 572 886 0 20024 0
Current children cumulated CPU time (s) 70.27
Current children cumulated vsize (KiB) 83656

[startup+71.9018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1783736/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=83656 CPUtime=71.87
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 25415 0 0 0 7142 45 0 0 25 0 1 0 185894392 85663744 19861 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 20914 19861 572 886 0 20024 0
Current children cumulated CPU time (s) 71.87
Current children cumulated vsize (KiB) 83656

[startup+73.503 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1783736/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=83656 CPUtime=73.47
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 25415 0 0 0 7302 45 0 0 25 0 1 0 185894392 85663744 19861 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 20914 19861 572 886 0 20024 0
Current children cumulated CPU time (s) 73.47
Current children cumulated vsize (KiB) 83656

[startup+73.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1783736/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=83656 CPUtime=73.87
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 25415 0 0 0 7342 45 0 0 25 0 1 0 185894392 85663744 19861 1992294400 4194304 7823515 548682068736 18446744073709551615 6110801 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6060/statm: 20914 19861 572 886 0 20024 0
Current children cumulated CPU time (s) 73.87
Current children cumulated vsize (KiB) 83656

[startup+74.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6061
/proc/meminfo: memFree=1783736/2055920 swapFree=4182468/4192956
[pid=6060] ppid=6058 vsize=83656 CPUtime=74.07
/proc/6060/stat : 6060 (pbscip.linux.x8) R 6058 6060 5809 0 -1 4194304 25415 0 0 0 7362 45 0 0 25 0 1 0 185894392 85663744 19861 1992294400 4194304 7823515 548682068736 18446744073709551615 4686276 0 0 4096 0 0 0 0 17 1 0 0
/proc/6060/statm: 20914 19861 572 886 0 20024 0
Current children cumulated CPU time (s) 74.07
Current children cumulated vsize (KiB) 83656

Child status: 0
Real time (s): 74.1954
CPU time (s): 74.1707
CPU user time (s): 73.6988
CPU system time (s): 0.471928
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 104312

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

runsolver used 0.070989 second user time and 0.162975 second system time

The end

Launcher Data 

Begin job on node23 at 2009-06-16 22:09:05
IDJOB=1869672
IDBENCH=24999
IDSOLVER=683
FILE ID=node23/1869672-1245182945
PBS_JOBID= 9363923
Free space on /tmp= 66272 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
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-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869672-1245182945/watcher-1869672-1245182945 -o /tmp/evaluation-result-1869672-1245182945/solver-1869672-1245182945 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869672-1245182945.opb

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=1141743818

node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1861656 kB
Buffers:         43732 kB
Cached:          88236 kB
SwapCached:       4304 kB
Active:          68280 kB
Inactive:        71568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1861656 kB
SwapTotal:     4192956 kB
SwapFree:      4182468 kB
Dirty:           10280 kB
Writeback:           0 kB
Mapped:          14576 kB
Slab:            40440 kB
Committed_AS:   165076 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66260 MiB
End job on node23 at 2009-06-16 22:10:19