Trace number 1869716

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)SAT25 1795.17 1795.7

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1800.59
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	25

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869716-1245185173/watcher-1869716-1245185173 -o /tmp/evaluation-result-1869716-1245185173/solver-1869716-1245185173 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869716-1245185173.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: 0.99 0.98 0.99 3/64 6151
/proc/meminfo: memFree=1859384/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=4328 CPUtime=0
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 186117271 4431872 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6863653 0 0 4096 0 0 0 0 17 1 0 0
/proc/6151/statm: 1162 475 307 886 0 272 0

[startup+0.00839908 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6151
/proc/meminfo: memFree=1859384/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=8160 CPUtime=0
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 1255 0 0 0 0 0 0 0 18 0 1 0 186117271 8355840 1237 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/6151/statm: 2040 1246 336 886 0 1150 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8160

[startup+0.102409 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6151
/proc/meminfo: memFree=1859384/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=14488 CPUtime=0.1
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 2932 0 0 0 9 1 0 0 18 0 1 0 186117271 14835712 2914 1992294400 4194304 7823515 548682068736 18446744073709551615 5538372 0 0 4096 0 0 0 0 17 1 0 0
/proc/6151/statm: 3622 2914 354 886 0 2732 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14488

[startup+0.301428 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6151
/proc/meminfo: memFree=1859384/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=19816 CPUtime=0.29
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 4617 0 0 0 28 1 0 0 19 0 1 0 186117271 20291584 4245 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 4954 4245 356 886 0 4064 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19816

[startup+0.702476 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 6151
/proc/meminfo: memFree=1859384/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=54516 CPUtime=0.69
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 13767 0 0 0 60 9 0 0 22 0 1 0 186117271 55824384 12641 1992294400 4194304 7823515 548682068736 18446744073709551615 5021398 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 13629 12641 440 886 0 12739 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54516

[startup+1.50157 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1807152/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=59792 CPUtime=1.49
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 15163 0 0 0 137 12 0 0 25 0 1 0 186117271 61227008 14037 1992294400 4194304 7823515 548682068736 18446744073709551615 5875738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 14948 14037 462 886 0 14058 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59792

[startup+3.10175 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1783600/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=85808 CPUtime=3.09
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 21284 0 0 0 294 15 0 0 25 0 1 0 186117271 87867392 20014 1992294400 4194304 7823515 548682068736 18446744073709551615 6211493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 21452 20014 527 886 0 20562 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85808

[startup+6.30111 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1779824/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=86496 CPUtime=6.28
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 21625 0 0 0 613 15 0 0 25 0 1 0 186117271 88571904 20343 1992294400 4194304 7823515 548682068736 18446744073709551615 6212552 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 21624 20343 527 886 0 20734 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 86496

[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1778224/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=87732 CPUtime=12.69
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 21997 0 0 0 1252 17 0 0 25 0 1 0 186117271 89837568 20715 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 21933 20715 538 886 0 21043 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87732

[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1778224/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=87732 CPUtime=25.49
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 22021 0 0 0 2531 18 0 0 25 0 1 0 186117271 89837568 20730 1992294400 4194304 7823515 548682068736 18446744073709551615 6211318 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 21933 20730 538 886 0 21043 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87732

[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1778224/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=87732 CPUtime=51.08
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 22021 0 0 0 5088 20 0 0 25 0 1 0 186117271 89837568 20730 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 21933 20730 538 886 0 21043 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87732

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1715696/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=152160 CPUtime=102.27
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 37701 0 0 0 10182 45 0 0 25 0 1 0 186117271 155811840 36369 1992294400 4194304 7823515 548682068736 18446744073709551615 6208709 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 38040 36369 563 886 0 37150 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 152160

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1715376/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=152160 CPUtime=162.24
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 37769 0 0 0 16162 62 0 0 25 0 1 0 186117271 155811840 36437 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 38040 36437 564 886 0 37150 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 152160

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1770800/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=93964 CPUtime=222.23
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38431 0 0 0 22126 97 0 0 25 0 1 0 186117271 96219136 22521 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23491 22521 569 886 0 22601 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 93964

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1770800/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=93964 CPUtime=282.21
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38431 0 0 0 28115 106 0 0 25 0 1 0 186117271 96219136 22521 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23491 22521 569 886 0 22601 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 93964

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6152
/proc/meminfo: memFree=1770800/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=93964 CPUtime=342.19
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38447 0 0 0 34103 116 0 0 25 0 1 0 186117271 96219136 22537 1992294400 4194304 7823515 548682068736 18446744073709551615 6211707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23491 22537 569 886 0 22601 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 93964

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6154
/proc/meminfo: memFree=1770864/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=93964 CPUtime=402.18
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38447 0 0 0 40091 127 0 0 25 0 1 0 186117271 96219136 22537 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23491 22537 569 886 0 22601 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 93964

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6154
/proc/meminfo: memFree=1770864/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=93964 CPUtime=462.16
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38447 0 0 0 46076 140 0 0 25 0 1 0 186117271 96219136 22537 1992294400 4194304 7823515 548682068736 18446744073709551615 6211406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23491 22537 569 886 0 22601 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 93964

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6154
/proc/meminfo: memFree=1770864/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=93964 CPUtime=522.13
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38447 0 0 0 52064 149 0 0 25 0 1 0 186117271 96219136 22537 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23491 22537 569 886 0 22601 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 93964

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6154
/proc/meminfo: memFree=1770800/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=93964 CPUtime=582.13
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38447 0 0 0 58051 162 0 0 25 0 1 0 186117271 96219136 22537 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23491 22537 569 886 0 22601 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 93964

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6154
/proc/meminfo: memFree=1770800/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=93964 CPUtime=642.1
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38447 0 0 0 64037 173 0 0 25 0 1 0 186117271 96219136 22537 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23491 22537 569 886 0 22601 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 93964

[startup+702.302 s]

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

/proc/meminfo: memFree=1769328/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1061.98
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38802 0 0 0 105950 248 0 0 25 0 1 0 186117271 97730560 22892 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22892 573 886 0 22970 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 95440

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1769264/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1121.96
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38804 0 0 0 111939 257 0 0 25 0 1 0 186117271 97730560 22894 1992294400 4194304 7823515 548682068736 18446744073709551615 6212325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22894 573 886 0 22970 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 95440

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1769264/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1181.94
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38804 0 0 0 117928 266 0 0 25 0 1 0 186117271 97730560 22894 1992294400 4194304 7823515 548682068736 18446744073709551615 6215137 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22894 573 886 0 22970 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 95440

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1769200/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1241.92
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38804 0 0 0 123917 275 0 0 25 0 1 0 186117271 97730560 22894 1992294400 4194304 7823515 548682068736 18446744073709551615 6020274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22894 573 886 0 22970 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 95440

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1769136/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1301.91
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38804 0 0 0 129906 285 0 0 25 0 1 0 186117271 97730560 22894 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22894 573 886 0 22970 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 95440

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1769136/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1361.89
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38808 0 0 0 135894 295 0 0 25 0 1 0 186117271 97730560 22898 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22898 573 886 0 22970 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 95440

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1769136/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1421.88
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38808 0 0 0 141882 306 0 0 25 0 1 0 186117271 97730560 22898 1992294400 4194304 7823515 548682068736 18446744073709551615 6211707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22898 573 886 0 22970 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 95440

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1769136/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1481.85
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38808 0 0 0 147868 317 0 0 25 0 1 0 186117271 97730560 22898 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22898 573 886 0 22970 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 95440

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1769136/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1541.84
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38808 0 0 0 153853 331 0 0 25 0 1 0 186117271 97730560 22898 1992294400 4194304 7823515 548682068736 18446744073709551615 6110794 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22898 573 886 0 22970 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 95440

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1769072/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1601.82
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38808 0 0 0 159840 342 0 0 25 0 1 0 186117271 97730560 22898 1992294400 4194304 7823515 548682068736 18446744073709551615 6216407 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22898 573 886 0 22970 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 95440

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1769072/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=95440 CPUtime=1661.81
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 38808 0 0 0 165828 353 0 0 25 0 1 0 186117271 97730560 22898 1992294400 4194304 7823515 548682068736 18446744073709551615 6099055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 23860 22898 573 886 0 22970 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 95440

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1767600/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=97696 CPUtime=1721.79
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 39185 0 0 0 171814 365 0 0 25 0 1 0 186117271 100040704 23275 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 24424 23275 573 886 0 23534 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 97696

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1767536/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=97696 CPUtime=1781.76
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 39193 0 0 0 177804 372 0 0 25 0 1 0 186117271 100040704 23283 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 24424 23283 573 886 0 23534 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 97696

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

[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1767536/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=97696 CPUtime=1784.97
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 39193 0 0 0 178124 373 0 0 25 0 1 0 186117271 100040704 23283 1992294400 4194304 7823515 548682068736 18446744073709551615 6211582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 24424 23283 573 886 0 23534 0
Current children cumulated CPU time (s) 1784.97
Current children cumulated vsize (KiB) 97696

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1767536/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=97696 CPUtime=1791.37
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 39193 0 0 0 178763 374 0 0 25 0 1 0 186117271 100040704 23283 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 24424 23283 573 886 0 23534 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 97696

[startup+1793.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1767536/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=97696 CPUtime=1792.96
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 39193 0 0 0 178922 374 0 0 25 0 1 0 186117271 100040704 23283 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 24424 23283 573 886 0 23534 0
Current children cumulated CPU time (s) 1792.96
Current children cumulated vsize (KiB) 97696

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1767536/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=97696 CPUtime=1794.57
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 39193 0 0 0 179082 375 0 0 25 0 1 0 186117271 100040704 23283 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 24424 23283 573 886 0 23534 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 97696

[startup+1795.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1767536/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=97696 CPUtime=1794.96
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194304 39193 0 0 0 179121 375 0 0 25 0 1 0 186117271 100040704 23283 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6151/statm: 24424 23283 573 886 0 23534 0
Current children cumulated CPU time (s) 1794.96
Current children cumulated vsize (KiB) 97696

[startup+1795.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6160
/proc/meminfo: memFree=1767536/2055920 swapFree=4182468/4192956
[pid=6151] ppid=6149 vsize=0 CPUtime=1795.17
/proc/6151/stat : 6151 (pbscip.linux.x8) R 6149 6151 5809 0 -1 4194308 39198 0 0 0 179140 377 0 0 17 0 1 0 186117271 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/6151/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1795.7
CPU time (s): 1795.17
CPU user time (s): 1791.4
CPU system time (s): 3.77143
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 154504

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

runsolver used 1.45378 second user time and 4.04239 second system time

The end

Launcher Data 

Begin job on node23 at 2009-06-16 22:46:14
IDJOB=1869716
IDBENCH=25021
IDSOLVER=683
FILE ID=node23/1869716-1245185173
PBS_JOBID= 9363923
Free space on /tmp= 66268 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/aksoy/decomp/normalized-matrix_5x3_5.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-1869716-1245185173/watcher-1869716-1245185173 -o /tmp/evaluation-result-1869716-1245185173/solver-1869716-1245185173 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869716-1245185173.opb

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=1956188827

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:       1859808 kB
Buffers:         44732 kB
Cached:          89140 kB
SwapCached:       4304 kB
Active:          69024 kB
Inactive:        72760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859808 kB
SwapTotal:     4192956 kB
SwapFree:      4182468 kB
Dirty:           10380 kB
Writeback:           0 kB
Mapped:          14576 kB
Slab:            40364 kB
Committed_AS:   166156 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 23:16:09