Trace number 2665396

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverSAT (TO)24 1801.86 1802.43

General information on the benchmark

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

Verifier Data 

OK	24

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11705
/proc/meminfo: memFree=1762728/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=8260 CPUtime=0
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 1008 0 0 0 0 0 0 0 20 0 1 0 5508251 8458240 928 1992294400 4194304 9819077 140736222189488 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11705/statm: 2065 939 366 1374 0 686 0

[startup+0.010776 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11705
/proc/meminfo: memFree=1762728/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=10316 CPUtime=0
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 1536 0 0 0 0 0 0 0 20 0 1 0 5508251 10563584 1456 1992294400 4194304 9819077 140736222189488 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11705/statm: 2594 1461 373 1374 0 1215 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10316

[startup+0.10187 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11705
/proc/meminfo: memFree=1762728/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=15464 CPUtime=0.09
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 2802 0 0 0 8 1 0 0 20 0 1 0 5508251 15835136 2722 1992294400 4194304 9819077 140736222189488 18446744073709551615 5652172 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11705/statm: 3866 2722 388 1374 0 2487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15464

[startup+0.301802 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11705
/proc/meminfo: memFree=1762728/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=22296 CPUtime=0.29
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 4522 0 0 0 28 1 0 0 20 0 1 0 5508251 22831104 4442 1992294400 4194304 9819077 140736222189488 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11705/statm: 5574 4442 388 1374 0 4195 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22296

[startup+0.700841 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11705
/proc/meminfo: memFree=1762728/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=52244 CPUtime=0.68
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 12345 0 0 0 61 7 0 0 20 0 1 0 5508251 53497856 11654 1992294400 4194304 9819077 140736222189488 18446744073709551615 4915616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 13061 11654 494 1374 0 11682 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52244

[startup+1.50091 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11706
/proc/meminfo: memFree=1712872/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=60056 CPUtime=1.49
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 17306 0 0 0 136 13 0 0 22 0 1 0 5508251 61497344 13667 1992294400 4194304 9819077 140736222189488 18446744073709551615 4659954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 15014 13667 520 1374 0 13635 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60056

[startup+3.10106 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11706
/proc/meminfo: memFree=1690304/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=90636 CPUtime=3.09
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 28277 0 0 0 290 19 0 0 25 0 1 0 5508251 92811264 18722 1992294400 4194304 9819077 140736222189488 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 22659 18722 645 1374 0 21280 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90636

[startup+6.30136 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11706
/proc/meminfo: memFree=1689064/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=93572 CPUtime=6.29
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 41033 0 0 0 604 25 0 0 25 0 1 0 5508251 95817728 19085 1992294400 4194304 9819077 140736222189488 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 23393 19085 673 1374 0 22014 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93572

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11706
/proc/meminfo: memFree=1688444/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=93648 CPUtime=12.68
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 41054 0 0 0 1241 27 0 0 25 0 1 0 5508251 95895552 19106 1992294400 4194304 9819077 140736222189488 18446744073709551615 7326280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 23412 19106 676 1374 0 22033 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93648

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11706
/proc/meminfo: memFree=1629420/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=155688 CPUtime=25.47
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 74596 0 0 0 2487 60 0 0 25 0 1 0 5508251 159424512 33823 1992294400 4194304 9819077 140736222189488 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 38922 33823 711 1374 0 37543 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 155688

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11708
/proc/meminfo: memFree=1673068/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=108556 CPUtime=51.06
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 160515 0 0 0 4992 114 0 0 25 0 1 0 5508251 111161344 22793 1992294400 4194304 9819077 140736222189488 18446744073709551615 6044065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 27139 22793 723 1374 0 25760 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 108556

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11708
/proc/meminfo: memFree=1675672/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=111064 CPUtime=102.25
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 199649 0 0 0 10075 150 0 0 25 0 1 0 5508251 113729536 22339 1992294400 4194304 9819077 140736222189488 18446744073709551615 7290959 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 27766 22339 729 1374 0 26387 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 111064

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11710
/proc/meminfo: memFree=1674184/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=112056 CPUtime=162.22
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 223077 0 0 0 16047 175 0 0 25 0 1 0 5508251 114745344 22676 1992294400 4194304 9819077 140736222189488 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 28014 22676 734 1374 0 26635 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 112056

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11712
/proc/meminfo: memFree=1675424/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=96312 CPUtime=222.2
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 241091 0 0 0 22021 199 0 0 25 0 1 0 5508251 98623488 22198 1992294400 4194304 9819077 140736222189488 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 24078 22198 734 1374 0 22699 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 96312

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11714
/proc/meminfo: memFree=1672944/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=112320 CPUtime=282.19
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 264109 0 0 0 27991 228 0 0 25 0 1 0 5508251 115015680 22591 1992294400 4194304 9819077 140736222189488 18446744073709551615 7480871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 28080 22591 734 1374 0 26701 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 112320

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11716
/proc/meminfo: memFree=1674432/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=112164 CPUtime=342.17
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 294816 0 0 0 33955 262 0 0 25 0 1 0 5508251 114855936 22534 1992294400 4194304 9819077 140736222189488 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 28041 22534 734 1374 0 26662 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 112164

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11716
/proc/meminfo: memFree=1674680/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=112168 CPUtime=402.15
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 320745 0 0 0 39925 290 0 0 25 0 1 0 5508251 114860032 22526 1992294400 4194304 9819077 140736222189488 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 28042 22526 734 1374 0 26663 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 112168

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11718
/proc/meminfo: memFree=1675300/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=97176 CPUtime=462.13
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 336226 0 0 0 45899 314 0 0 25 0 1 0 5508251 99508224 22252 1992294400 4194304 9819077 140736222189488 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 24294 22252 735 1374 0 22915 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 97176

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11720
/proc/meminfo: memFree=1675300/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=96284 CPUtime=522.11
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 344250 0 0 0 51874 337 0 0 25 0 1 0 5508251 98594816 22198 1992294400 4194304 9819077 140736222189488 18446744073709551615 7311727 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 24071 22198 735 1374 0 22692 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 96284

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 11722
/proc/meminfo: memFree=1672696/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=113764 CPUtime=582.09
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 358964 0 0 0 57847 362 0 0 25 0 1 0 5508251 116494336 22913 1992294400 4194304 9819077 140736222189488 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 28441 22913 735 1374 0 27062 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 113764

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11724
/proc/meminfo: memFree=1674308/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=98052 CPUtime=642.08
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 374780 0 0 0 63816 392 0 0 25 0 1 0 5508251 100405248 22458 1992294400 4194304 9819077 140736222189488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 24513 22458 735 1374 0 23134 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 98052

[startup+702.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11741
/proc/meminfo: memFree=1673688/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=101564 CPUtime=1001.96
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 537868 0 0 0 99581 615 0 0 25 0 1 0 5508251 104001536 22557 1992294400 4194304 9819077 140736222189488 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25391 22557 737 1374 0 24012 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 101564

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11743
/proc/meminfo: memFree=1673688/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=101500 CPUtime=1061.95
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 575030 0 0 0 105541 654 0 0 25 0 1 0 5508251 103936000 22479 1992294400 4194304 9819077 140736222189488 18446744073709551615 6597098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25375 22479 737 1374 0 23996 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 101500

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11745
/proc/meminfo: memFree=1673688/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=101564 CPUtime=1121.94
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 606336 0 0 0 111499 695 0 0 25 0 1 0 5508251 104001536 22524 1992294400 4194304 9819077 140736222189488 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25391 22524 737 1374 0 24012 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 101564

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11747
/proc/meminfo: memFree=1672696/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=102316 CPUtime=1181.92
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 637998 0 0 0 117457 735 0 0 25 0 1 0 5508251 104771584 22792 1992294400 4194304 9819077 140736222189488 18446744073709551615 7301587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25579 22792 737 1374 0 24200 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 102316

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 11749
/proc/meminfo: memFree=1672572/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=102444 CPUtime=1241.9
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 673248 0 0 0 123415 775 0 0 25 0 1 0 5508251 104902656 22790 1992294400 4194304 9819077 140736222189488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25611 22790 737 1374 0 24232 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 102444

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11749
/proc/meminfo: memFree=1672448/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=102508 CPUtime=1301.89
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 704257 0 0 0 129380 809 0 0 25 0 1 0 5508251 104968192 22746 1992294400 4194304 9819077 140736222189488 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25627 22746 737 1374 0 24248 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 102508

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11751
/proc/meminfo: memFree=1672448/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=103496 CPUtime=1361.86
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 733538 0 0 0 135338 848 0 0 25 0 1 0 5508251 105979904 22911 1992294400 4194304 9819077 140736222189488 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25874 22911 737 1374 0 24495 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 103496

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11753
/proc/meminfo: memFree=1672448/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=101772 CPUtime=1421.85
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 767859 0 0 0 141293 892 0 0 25 0 1 0 5508251 104214528 22729 1992294400 4194304 9819077 140736222189488 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25443 22729 737 1374 0 24064 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 101772

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11755
/proc/meminfo: memFree=1672448/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=103352 CPUtime=1481.83
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 804180 0 0 0 147251 932 0 0 25 0 1 0 5508251 105832448 22765 1992294400 4194304 9819077 140736222189488 18446744073709551615 6365404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25838 22765 737 1374 0 24459 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 103352

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11757
/proc/meminfo: memFree=1672200/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=102508 CPUtime=1541.8
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 845588 0 0 0 153202 978 0 0 25 0 1 0 5508251 104968192 22744 1992294400 4194304 9819077 140736222189488 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25627 22744 737 1374 0 24248 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 102508

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11757
/proc/meminfo: memFree=1672200/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=104360 CPUtime=1601.78
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 890694 0 0 0 159151 1027 0 0 25 0 1 0 5508251 106864640 22790 1992294400 4194304 9819077 140736222189488 18446744073709551615 7292321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 26090 22790 737 1374 0 24711 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 104360

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11759
/proc/meminfo: memFree=1672448/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=104416 CPUtime=1661.76
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 929459 0 0 0 165103 1073 0 0 25 0 1 0 5508251 106921984 22995 1992294400 4194304 9819077 140736222189488 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 26104 22995 737 1374 0 24725 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 104416

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11761
/proc/meminfo: memFree=1671084/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=118820 CPUtime=1721.74
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 970783 0 0 0 171057 1117 0 0 25 0 1 0 5508251 121671680 23063 1992294400 4194304 9819077 140736222189488 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 29705 23063 737 1374 0 28326 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 118820

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11763
/proc/meminfo: memFree=1672076/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=103136 CPUtime=1781.72
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 1010599 0 0 0 177014 1158 0 0 25 0 1 0 5508251 105611264 22771 1992294400 4194304 9819077 140736222189488 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 25784 22771 737 1374 0 24405 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 103136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11763
/proc/meminfo: memFree=1671704/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=105344 CPUtime=1800.04
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 1026575 0 0 0 178829 1175 0 0 25 0 1 0 5508251 107872256 22935 1992294400 4194304 9819077 140736222189488 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 26336 22935 737 1374 0 24957 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 105344

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11763
/proc/meminfo: memFree=1671704/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=105344 CPUtime=1800.82
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 1027005 0 0 0 178906 1176 0 0 25 0 1 0 5508251 107872256 23025 1992294400 4194304 9819077 140736222189488 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 26336 23025 737 1374 0 24957 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 105344

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11764
/proc/meminfo: memFree=1671820/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=105324 CPUtime=1801.62
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 1027553 0 0 0 178986 1176 0 0 25 0 1 0 5508251 107851776 22868 1992294400 4194304 9819077 140736222189488 18446744073709551615 6199026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11705/statm: 26331 22868 737 1374 0 24952 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 105324

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11764
/proc/meminfo: memFree=1671820/2059040 swapFree=4187148/4192956
[pid=11705] ppid=11703 vsize=96224 CPUtime=1801.82
/proc/11705/stat : 11705 (pbscip.linux.x8) R 11703 11705 11137 0 -1 4202496 1027731 0 0 0 179006 1176 0 0 25 0 1 0 5508251 98533376 20581 1992294400 4194304 9819077 140736222189488 18446744073709551615 4699932 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11705/statm: 24056 20581 738 1374 0 22677 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 96224

Child status: 0
Real time (s): 1802.43
CPU time (s): 1801.86
CPU user time (s): 1790.08
CPU system time (s): 11.7802
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 161612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.08
system time used= 11.7802
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027735
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= 3
involuntary context switches= 1893

runsolver used 2.99254 second user time and 8.50271 second system time

The end

Launcher Data 

Begin job on node048 at 2010-06-16 00:49:24
IDJOB=2665396
IDBENCH=25021
IDSOLVER=1168
FILE ID=node048/2665396-1276642164
PBS_JOBID= 11172389
Free space on /tmp= 62456 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665396-1276642164/watcher-2665396-1276642164 -o /tmp/evaluation-result-2665396-1276642164/solver-2665396-1276642164 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665396-1276642164.opb -t 1800 -m 1800

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=1963419687

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1763380 kB
Buffers:         52124 kB
Cached:         125336 kB
SwapCached:        280 kB
Active:          90052 kB
Inactive:       141308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1763380 kB
SwapTotal:     4192956 kB
SwapFree:      4187148 kB
Dirty:            6744 kB
Writeback:           0 kB
AnonPages:       53552 kB
Mapped:          15360 kB
Slab:            42596 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183508 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62448 MiB
End job on node048 at 2010-06-16 01:19:26