Trace number 3736076

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT22 1794.12 1794.41

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

Verifier Data 

OK	22

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 29956
/proc/meminfo: memFree=30607828/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=8732 CPUtime=0 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 1523 0 0 0 0 0 0 0 20 0 1 0 337298236 8941568 1476 33554432000 4194304 7823515 140737434206480 140735214860808 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29956/statm: 2183 1491 349 887 0 1293 0

[startup+0.03332 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 29956
/proc/meminfo: memFree=30607828/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=12700 CPUtime=0.02 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 2530 0 0 0 2 0 0 0 20 0 1 0 337298236 13004800 2482 33554432000 4194304 7823515 140737434206480 140735214860808 5537466 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29956/statm: 3175 2482 354 887 0 2285 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12700

[startup+0.100223 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 29956
/proc/meminfo: memFree=30607828/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=19084 CPUtime=0.09 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 4110 0 0 0 9 0 0 0 20 0 1 0 337298236 19542016 4062 33554432000 4194304 7823515 140737434206480 140735214860808 6908062 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29956/statm: 4771 4062 354 887 0 3881 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19084

[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 29956
/proc/meminfo: memFree=30607828/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=53852 CPUtime=0.29 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 13650 0 0 0 27 2 0 0 20 0 1 0 337298236 55144448 12494 33554432000 4194304 7823515 140737434206480 140735214860808 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29956/statm: 13463 12494 440 887 0 12573 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53852

[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 29956
/proc/meminfo: memFree=30607828/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=81656 CPUtime=0.69 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 19619 0 0 0 65 4 0 0 20 0 1 0 337298236 83615744 18870 33554432000 4194304 7823515 140737434206480 140737434203768 6179764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29956/statm: 20414 18870 527 887 0 19524 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81656

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29957
/proc/meminfo: memFree=30531512/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=86512 CPUtime=1.49 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 21007 0 0 0 144 5 0 0 20 0 1 0 337298236 88588288 20217 33554432000 4194304 7823515 140737434206480 140737434201816 5924503 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29956/statm: 21628 20217 527 887 0 20738 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86512

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29957
/proc/meminfo: memFree=30528536/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=87748 CPUtime=3.09 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 21514 0 0 0 304 5 0 0 20 0 1 0 337298236 89853952 20713 33554432000 4194304 7823515 140737434206480 140737434201160 6208526 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 21937 20713 538 887 0 21047 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87748

[startup+6.30027 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 29957
/proc/meminfo: memFree=30526428/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=87748 CPUtime=6.29 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 21514 0 0 0 624 5 0 0 20 0 1 0 337298236 89853952 20713 33554432000 4194304 7823515 140737434206480 140737434201240 6211692 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 21937 20713 538 887 0 21047 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87748

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 29957
/proc/meminfo: memFree=30524632/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=87748 CPUtime=12.69 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 21538 0 0 0 1263 6 0 0 20 0 1 0 337298236 89853952 20728 33554432000 4194304 7823515 140737434206480 140737434201160 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 21937 20728 538 887 0 21047 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87748

[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 29957
/proc/meminfo: memFree=30524616/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=88328 CPUtime=25.48 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 21627 0 0 0 2542 6 0 0 20 0 1 0 337298236 90447872 20817 33554432000 4194304 7823515 140737434206480 140737434201160 6208682 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 22082 20817 538 887 0 21192 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88328

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29957
/proc/meminfo: memFree=30460152/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=152176 CPUtime=51.08 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 37286 0 0 0 5089 19 0 0 20 0 1 0 337298236 155828224 36435 33554432000 4194304 7823515 140737434206480 140737434200408 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 38044 36435 564 887 0 37154 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152176

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29957
/proc/meminfo: memFree=30512836/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=93980 CPUtime=102.27 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 37965 0 0 0 10185 42 0 0 20 0 1 0 337298236 96235520 23141 33554432000 4194304 7823515 140737434206480 140737434202168 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 23495 23141 569 887 0 22605 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93980

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29958
/proc/meminfo: memFree=30513380/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=93980 CPUtime=162.25 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 37966 0 0 0 16174 51 0 0 20 0 1 0 337298236 96235520 23144 33554432000 4194304 7823515 140737434206480 140737434201176 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 23495 23144 569 887 0 22605 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 93980

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29958
/proc/meminfo: memFree=30513380/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=93980 CPUtime=222.25 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 37966 0 0 0 22165 60 0 0 20 0 1 0 337298236 96235520 23144 33554432000 4194304 7823515 140737434206480 140737434200808 6255354 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 23495 23144 569 887 0 22605 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 93980

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29958
/proc/meminfo: memFree=30512512/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=95456 CPUtime=282.24 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 38321 0 0 0 28155 69 0 0 20 0 1 0 337298236 97746944 23499 33554432000 4194304 7823515 140737434206480 140737434202232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 23864 23499 573 887 0 22974 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 95456

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29958
/proc/meminfo: memFree=30512388/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=95456 CPUtime=342.23 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 38323 0 0 0 34145 78 0 0 20 0 1 0 337298236 97746944 23501 33554432000 4194304 7823515 140737434206480 140737434202360 6212404 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 23864 23501 573 887 0 22974 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 95456

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29958
/proc/meminfo: memFree=30512388/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=95456 CPUtime=402.21 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 38327 0 0 0 40136 85 0 0 20 0 1 0 337298236 97746944 23505 33554432000 4194304 7823515 140737434206480 140737434202280 6213534 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 23864 23505 573 887 0 22974 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 95456

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29959
/proc/meminfo: memFree=30512512/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=95456 CPUtime=462.21 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 38327 0 0 0 46126 95 0 0 20 0 1 0 337298236 97746944 23505 33554432000 4194304 7823515 140737434206480 140737434201960 6211719 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 23864 23505 573 887 0 22974 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 95456

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29962
/proc/meminfo: memFree=30511016/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=97712 CPUtime=522.2 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 38712 0 0 0 52114 106 0 0 20 0 1 0 337298236 100057088 23890 33554432000 4194304 7823515 140737434206480 140737434201928 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24428 23890 573 887 0 23538 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 97712

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29962
/proc/meminfo: memFree=30511456/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=95392 CPUtime=582.2 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 39552 0 0 0 58105 115 0 0 20 0 1 0 337298236 97681408 23329 33554432000 4194304 7823515 140737434206480 140737434202312 6208304 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 23848 23329 573 887 0 22958 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 95392

[startup+642.3 s]

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

/proc/meminfo: memFree=30507968/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=99724 CPUtime=1122.1 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 49930 0 0 0 112023 187 0 0 20 0 1 0 337298236 102117376 24556 33554432000 4194304 7823515 140737434206480 140737434201960 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24931 24556 575 887 0 24041 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 99724

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29968
/proc/meminfo: memFree=30507604/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=99972 CPUtime=1182.1 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 50000 0 0 0 118013 197 0 0 20 0 1 0 337298236 102371328 24626 33554432000 4194304 7823515 140737434206480 140737434201176 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24993 24626 575 887 0 24103 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 99972

[startup+1242.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/177 30500
/proc/meminfo: memFree=30634788/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=99972 CPUtime=1242.08 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 50000 0 0 0 124002 206 0 0 20 0 1 0 337298236 102371328 24626 33554432000 4194304 7823515 140737434206480 140737434202264 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24993 24626 575 887 0 24103 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 99972

[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31260
/proc/meminfo: memFree=30202152/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=99972 CPUtime=1302.09 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 50000 0 0 0 129994 215 0 0 20 0 1 0 337298236 102371328 24626 33554432000 4194304 7823515 140737434206480 140737434202200 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24993 24626 575 887 0 24103 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 99972

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 31261
/proc/meminfo: memFree=30145084/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=99972 CPUtime=1362.07 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 50000 0 0 0 135983 224 0 0 20 0 1 0 337298236 102371328 24626 33554432000 4194304 7823515 140737434206480 140737434201816 6212327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24993 24626 575 887 0 24103 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 99972

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31261
/proc/meminfo: memFree=30137424/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=99972 CPUtime=1422.07 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 50000 0 0 0 141974 233 0 0 20 0 1 0 337298236 102371328 24626 33554432000 4194304 7823515 140737434206480 140737434201944 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24993 24626 575 887 0 24103 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 99972

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31261
/proc/meminfo: memFree=30132372/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=98524 CPUtime=1482.05 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 51401 0 0 0 147963 242 0 0 20 0 1 0 337298236 100888576 24264 33554432000 4194304 7823515 140737434206480 140737434201816 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24631 24264 575 887 0 23741 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 98524

[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/177 31261
/proc/meminfo: memFree=30132588/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=98524 CPUtime=1542.05 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 51401 0 0 0 153951 254 0 0 20 0 1 0 337298236 100888576 24264 33554432000 4194304 7823515 140737434206480 140737434201912 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24631 24264 575 887 0 23741 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 98524

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31261
/proc/meminfo: memFree=30119864/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=99880 CPUtime=1602.04 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 53235 0 0 0 159939 265 0 0 20 0 1 0 337298236 102277120 24596 33554432000 4194304 7823515 140737434206480 140737434202312 6211146 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24970 24596 575 887 0 24080 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 99880

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31262
/proc/meminfo: memFree=30119492/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=99880 CPUtime=1662.03 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 53236 0 0 0 165929 274 0 0 20 0 1 0 337298236 102277120 24597 33554432000 4194304 7823515 140737434206480 140737434201816 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24970 24597 575 887 0 24080 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 99880

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31265
/proc/meminfo: memFree=30123892/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=97636 CPUtime=1722.02 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 54248 0 0 0 171918 284 0 0 20 0 1 0 337298236 99979264 24006 33554432000 4194304 7823515 140737434206480 140737434201592 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24409 24006 575 887 0 23519 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 97636

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31266
/proc/meminfo: memFree=30119056/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=98492 CPUtime=1782 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 54511 0 0 0 177908 292 0 0 20 0 1 0 337298236 100855808 24269 33554432000 4194304 7823515 140737434206480 140737434201528 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24623 24269 575 887 0 23733 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 98492

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31266
/proc/meminfo: memFree=30118932/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=98492 CPUtime=1785.2 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 54511 0 0 0 178228 292 0 0 20 0 1 0 337298236 100855808 24269 33554432000 4194304 7823515 140737434206480 140737434202168 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24623 24269 575 887 0 23733 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 98492

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31266
/proc/meminfo: memFree=30118808/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=98492 CPUtime=1788.41 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 54511 0 0 0 178547 294 0 0 20 0 1 0 337298236 100855808 24269 33554432000 4194304 7823515 140737434206480 140737434201816 6212353 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24623 24269 575 887 0 23733 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 98492

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 31266
/proc/meminfo: memFree=30118932/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=98492 CPUtime=1791.61 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 54511 0 0 0 178867 294 0 0 20 0 1 0 337298236 100855808 24269 33554432000 4194304 7823515 140737434206480 140737434201960 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24623 24269 575 887 0 23733 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 98492

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31266
/proc/meminfo: memFree=30118932/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=98492 CPUtime=1793.2 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 54511 0 0 0 179026 294 0 0 20 0 1 0 337298236 100855808 24269 33554432000 4194304 7823515 140737434206480 140737434201960 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24623 24269 575 887 0 23733 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 98492

[startup+1793.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31266
/proc/meminfo: memFree=30118932/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=98492 CPUtime=1793.6 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 54511 0 0 0 179066 294 0 0 20 0 1 0 337298236 100855808 24269 33554432000 4194304 7823515 140737434206480 140737434201960 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24623 24269 575 887 0 23733 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (KiB) 98492

[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31266
/proc/meminfo: memFree=30118188/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=98492 CPUtime=1794 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 54511 0 0 0 179106 294 0 0 20 0 1 0 337298236 100855808 24269 33554432000 4194304 7823515 140737434206480 140737434201960 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 24623 24269 575 887 0 23733 0
Current children cumulated CPU time (s) 1794
Current children cumulated vsize (KiB) 98492

[startup+1794.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31266
/proc/meminfo: memFree=30118188/32873844 swapFree=7900/7900
[pid=29956] ppid=29954 vsize=89348 CPUtime=1794.1 cores=0,2,4,6
/proc/29956/stat : 29956 (pbscip.linux.x8) R 29954 29956 17150 0 -1 4202496 54513 0 0 0 179116 294 0 0 20 0 1 0 337298236 91492352 21994 33554432000 4194304 7823515 140737434206480 140737434202232 6962503 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29956/statm: 22337 21737 577 887 0 21447 0
Current children cumulated CPU time (s) 1794.1
Current children cumulated vsize (KiB) 89348

Child status: 0
Real time (s): 1794.41
CPU time (s): 1794.12
CPU user time (s): 1791.17
CPU system time (s): 2.95255
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 154520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.17
system time used= 2.95255
maximum resident set size= 148860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54516
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= 24
involuntary context switches= 2173

runsolver used 7.03193 second user time and 15.7926 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 10:22:17
IDJOB=3736076
IDBENCH=25021
IDSOLVER=2321
FILE ID=node137/3736076-1338711737
RUNJOBID= node137-1338679216-25612
PBS_JOBID= 14636676
Free space on /tmp= 70324 MiB

SOLVER NAME= PB09: 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-3736076-1338711737/watcher-3736076-1338711737 -o /tmp/evaluation-result-3736076-1338711737/solver-3736076-1338711737 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3736076-1338711737.opb

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=713254719

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30608472 kB
Buffers:          189200 kB
Cached:          1107940 kB
SwapCached:         5796 kB
Active:           813100 kB
Inactive:         636312 kB
Active(anon):     147328 kB
Inactive(anon):     7172 kB
Active(file):     665772 kB
Inactive(file):   629140 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             10120 kB
Writeback:             0 kB
AnonPages:        270060 kB
Mapped:            11320 kB
Shmem:                 0 kB
Slab:             677868 kB
SReclaimable:     119292 kB
SUnreclaim:       558576 kB
KernelStack:        1480 kB
PageTables:         4268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     273220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70316 MiB
End job on node137 at 2012-06-03 10:52:12