Trace number 1869717

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
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT25 1794 1794.56

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

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

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-1869717-1245185186/watcher-1869717-1245185186 -o /tmp/evaluation-result-1869717-1245185186/solver-1869717-1245185186 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869717-1245185186.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.92 0.98 0.99 3/66 14306
/proc/meminfo: memFree=1828864/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=5816 CPUtime=0
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 540 0 0 0 0 0 0 0 18 0 1 0 71242090 5955584 525 1992294400 4194304 9342243 548682068736 18446744073709551615 4390896 0 0 4096 0 0 0 0 17 1 0 0
/proc/14306/statm: 1904 532 353 1256 0 643 0

[startup+0.0645461 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 14306
/proc/meminfo: memFree=1828864/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=13492 CPUtime=0.05
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 2351 0 0 0 5 0 0 0 18 0 1 0 71242090 13815808 2335 1992294400 4194304 9342243 548682068736 18446744073709551615 8228225 0 0 4096 0 0 0 0 17 1 0 0
/proc/14306/statm: 3373 2335 378 1256 0 2112 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13492

[startup+0.101549 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 14306
/proc/meminfo: memFree=1828864/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=15908 CPUtime=0.09
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 2955 0 0 0 8 1 0 0 18 0 1 0 71242090 16289792 2939 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/14306/statm: 3977 2939 378 1256 0 2716 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15908

[startup+0.301574 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 14306
/proc/meminfo: memFree=1828864/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=21216 CPUtime=0.29
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 4649 0 0 0 28 1 0 0 19 0 1 0 71242090 21725184 4279 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 5304 4279 379 1256 0 4043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21216

[startup+0.701626 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 14306
/proc/meminfo: memFree=1828864/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=55564 CPUtime=0.69
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 13787 0 0 0 60 9 0 0 22 0 1 0 71242090 56897536 12663 1992294400 4194304 9342243 548682068736 18446744073709551615 5855084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 13891 12663 482 1256 0 12630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55564

[startup+1.50273 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1776760/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=61136 CPUtime=1.49
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 15264 0 0 0 138 11 0 0 25 0 1 0 71242090 62603264 14140 1992294400 4194304 9342243 548682068736 18446744073709551615 4303136 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 15284 14140 513 1256 0 14023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61136

[startup+3.10194 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1753848/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=88284 CPUtime=3.09
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 20801 0 0 0 295 14 0 0 25 0 1 0 71242090 90402816 19615 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 22071 19615 624 1256 0 20810 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88284

[startup+6.30135 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1752184/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=90012 CPUtime=6.29
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 22147 0 0 0 614 15 0 0 25 0 1 0 71242090 92172288 20109 1992294400 4194304 9342243 548682068736 18446744073709551615 6974274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 22503 20109 644 1256 0 21242 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90012

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1748728/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=92320 CPUtime=12.68
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 22606 0 0 0 1253 15 0 0 25 0 1 0 71242090 94535680 20568 1992294400 4194304 9342243 548682068736 18446744073709551615 6951969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 23080 20568 651 1256 0 21819 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92320

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1747640/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=93196 CPUtime=25.49
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 22908 0 0 0 2532 17 0 0 25 0 1 0 71242090 95432704 20862 1992294400 4194304 9342243 548682068736 18446744073709551615 6951976 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 23299 20862 651 1256 0 22038 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93196

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1683256/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=51.08
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39026 0 0 0 5067 41 0 0 25 0 1 0 71242090 161906688 36959 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 36959 677 1256 0 38267 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 158112

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1682104/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=102.26
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39334 0 0 0 10172 54 0 0 25 0 1 0 71242090 161906688 37267 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37267 691 1256 0 38267 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 158112

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1680376/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=162.25
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39754 0 0 0 16165 60 0 0 25 0 1 0 71242090 161906688 37687 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37687 691 1256 0 38267 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 158112

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1680184/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=222.23
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39791 0 0 0 22157 66 0 0 25 0 1 0 71242090 161906688 37724 1992294400 4194304 9342243 548682068736 18446744073709551615 6960356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37724 691 1256 0 38267 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 158112

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1680184/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=282.21
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39791 0 0 0 28149 72 0 0 25 0 1 0 71242090 161906688 37724 1992294400 4194304 9342243 548682068736 18446744073709551615 6040596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37724 691 1256 0 38267 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 158112

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1680120/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=342.19
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39792 0 0 0 34141 78 0 0 25 0 1 0 71242090 161906688 37725 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37725 691 1256 0 38267 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 158112

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1680120/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=402.17
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39792 0 0 0 40133 84 0 0 25 0 1 0 71242090 161906688 37725 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37725 691 1256 0 38267 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 158112

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1679992/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=462.15
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39809 0 0 0 46126 89 0 0 25 0 1 0 71242090 161906688 37742 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37742 691 1256 0 38267 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 158112

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 14307
/proc/meminfo: memFree=1679992/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=522.13
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39813 0 0 0 52116 97 0 0 25 0 1 0 71242090 161906688 37746 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37746 695 1256 0 38267 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 158112

[startup+582.302 s]
/proc/loadavg: 1.05 1.00 1.00 2/67 14309
/proc/meminfo: memFree=1679800/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=582.11
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39814 0 0 0 58106 105 0 0 25 0 1 0 71242090 161906688 37747 1992294400 4194304 9342243 548682068736 18446744073709551615 6889068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37747 695 1256 0 38267 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 158112

[startup+642.302 s]
/proc/loadavg: 1.14 1.03 1.01 2/67 14309
/proc/meminfo: memFree=1679800/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=642.1
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39829 0 0 0 64097 113 0 0 25 0 1 0 71242090 161906688 37762 1992294400 4194304 9342243 548682068736 18446744073709551615 6960738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37762 697 1256 0 38267 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 158112

[startup+702.301 s]

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

/proc/meminfo: memFree=1679544/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1061.96
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39830 0 0 0 106032 164 0 0 25 0 1 0 71242090 161906688 37763 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37763 698 1256 0 38267 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 158112

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 14315
/proc/meminfo: memFree=1679544/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1121.94
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39831 0 0 0 112023 171 0 0 25 0 1 0 71242090 161906688 37764 1992294400 4194304 9342243 548682068736 18446744073709551615 5892109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37764 698 1256 0 38267 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 158112

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 14315
/proc/meminfo: memFree=1679608/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1181.92
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39831 0 0 0 118012 180 0 0 25 0 1 0 71242090 161906688 37764 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37764 698 1256 0 38267 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 158112

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 14315
/proc/meminfo: memFree=1679608/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1241.9
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39831 0 0 0 124003 187 0 0 25 0 1 0 71242090 161906688 37764 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37764 698 1256 0 38267 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 158112

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679544/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1301.89
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39831 0 0 0 129996 193 0 0 25 0 1 0 71242090 161906688 37764 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37764 698 1256 0 38267 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 158112

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679544/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1361.87
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39831 0 0 0 135986 201 0 0 25 0 1 0 71242090 161906688 37764 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37764 698 1256 0 38267 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 158112

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679480/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1421.85
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39838 0 0 0 141977 208 0 0 25 0 1 0 71242090 161906688 37771 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37771 698 1256 0 38267 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 158112

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679416/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1481.83
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39838 0 0 0 147969 214 0 0 25 0 1 0 71242090 161906688 37771 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37771 698 1256 0 38267 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 158112

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679416/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1541.81
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39838 0 0 0 153959 222 0 0 25 0 1 0 71242090 161906688 37771 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37771 698 1256 0 38267 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 158112

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679416/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1601.79
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39838 0 0 0 159949 230 0 0 25 0 1 0 71242090 161906688 37771 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37771 698 1256 0 38267 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 158112

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679416/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1661.77
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39842 0 0 0 165940 237 0 0 25 0 1 0 71242090 161906688 37775 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37775 698 1256 0 38267 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 158112

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679416/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1721.76
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39842 0 0 0 171930 246 0 0 25 0 1 0 71242090 161906688 37775 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37775 698 1256 0 38267 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 158112

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679352/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1781.74
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39842 0 0 0 177920 254 0 0 25 0 1 0 71242090 161906688 37775 1992294400 4194304 9342243 548682068736 18446744073709551615 6959737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37775 698 1256 0 38267 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 158112

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679352/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1784.94
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39842 0 0 0 178239 255 0 0 25 0 1 0 71242090 161906688 37775 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37775 698 1256 0 38267 0
Current children cumulated CPU time (s) 1784.94
Current children cumulated vsize (KiB) 158112

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679352/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1788.14
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39842 0 0 0 178559 255 0 0 25 0 1 0 71242090 161906688 37775 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37775 698 1256 0 38267 0
Current children cumulated CPU time (s) 1788.14
Current children cumulated vsize (KiB) 158112

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679352/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1791.33
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39842 0 0 0 178878 255 0 0 25 0 1 0 71242090 161906688 37775 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37775 698 1256 0 38267 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 158112

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679352/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1792.93
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39842 0 0 0 179038 255 0 0 25 0 1 0 71242090 161906688 37775 1992294400 4194304 9342243 548682068736 18446744073709551615 6951763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37775 698 1256 0 38267 0
Current children cumulated CPU time (s) 1792.93
Current children cumulated vsize (KiB) 158112

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679352/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1793.73
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39842 0 0 0 179118 255 0 0 25 0 1 0 71242090 161906688 37775 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37775 698 1256 0 38267 0
Current children cumulated CPU time (s) 1793.73
Current children cumulated vsize (KiB) 158112

[startup+1794.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 14315
/proc/meminfo: memFree=1679352/2055920 swapFree=4191988/4192956
[pid=14306] ppid=14304 vsize=158112 CPUtime=1793.92
/proc/14306/stat : 14306 (pbscip.linux.x8) R 14304 14306 14042 0 -1 4194304 39843 0 0 0 179137 255 0 0 17 0 1 0 71242090 161906688 37776 1992294400 4194304 9342243 548682068736 18446744073709551615 5855121 0 0 4096 0 0 0 0 17 1 0 0
/proc/14306/statm: 39528 37776 699 1256 0 38267 0
Current children cumulated CPU time (s) 1793.92
Current children cumulated vsize (KiB) 158112

Child status: 0
Real time (s): 1794.56
CPU time (s): 1794
CPU user time (s): 1791.41
CPU system time (s): 2.58561
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 158112

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

runsolver used 2.16167 second user time and 4.37533 second system time

The end

Launcher Data 

Begin job on node40 at 2009-06-16 22:46:27
IDJOB=1869717
IDBENCH=25021
IDSOLVER=684
FILE ID=node40/1869717-1245185186
PBS_JOBID= 9363948
Free space on /tmp= 66560 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
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.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869717-1245185186/watcher-1869717-1245185186 -o /tmp/evaluation-result-1869717-1245185186/solver-1869717-1245185186 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869717-1245185186.opb

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=1326304069

node40.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.216
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.216
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:       1829344 kB
Buffers:         24572 kB
Cached:         121448 kB
SwapCached:        384 kB
Active:          41908 kB
Inactive:       118136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1829344 kB
SwapTotal:     4192956 kB
SwapFree:      4191988 kB
Dirty:           12272 kB
Writeback:           0 kB
Mapped:          23472 kB
Slab:            52452 kB
Committed_AS:    60628 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66552 MiB
End job on node40 at 2009-06-16 23:16:21