Trace number 1869468

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT46 1796.37 1796.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark46
Best CPU time to get the best result obtained on this benchmark1796.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
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 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
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 

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

Verifier Data 

OK	46

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 31194
/proc/meminfo: memFree=1892616/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=4328 CPUtime=0
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 502 0 0 0 0 0 0 0 18 0 1 0 184951740 4431872 484 1992294400 4194304 7823515 548682068736 18446744073709551615 6829856 0 0 4096 0 0 0 0 17 1 0 0
/proc/31194/statm: 1082 487 322 886 0 192 0

[startup+0.0897319 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 31194
/proc/meminfo: memFree=1892616/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=14304 CPUtime=0.08
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 2926 0 0 0 7 1 0 0 18 0 1 0 184951740 14647296 2908 1992294400 4194304 7823515 548682068736 18446744073709551615 6911387 0 0 4096 0 0 0 0 17 1 0 0
/proc/31194/statm: 3576 2908 354 886 0 2686 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14304

[startup+0.101732 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 31194
/proc/meminfo: memFree=1892616/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=14448 CPUtime=0.09
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 2963 0 0 0 8 1 0 0 18 0 1 0 184951740 14794752 2945 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/31194/statm: 3612 2945 354 886 0 2722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14448

[startup+0.30175 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 31194
/proc/meminfo: memFree=1892616/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=18432 CPUtime=0.29
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 3955 0 0 0 27 2 0 0 19 0 1 0 184951740 18874368 3937 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/31194/statm: 4608 3937 354 886 0 3718 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18432

[startup+0.701786 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 31194
/proc/meminfo: memFree=1892616/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=25100 CPUtime=0.69
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 5596 0 0 0 67 2 0 0 22 0 1 0 184951740 25702400 5578 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/31194/statm: 6275 5578 354 886 0 5385 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25100

[startup+1.50186 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 31195
/proc/meminfo: memFree=1864192/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=39408 CPUtime=1.49
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 9164 0 0 0 144 5 0 0 25 0 1 0 184951740 40353792 9146 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/31194/statm: 9852 9146 354 886 0 8962 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39408

[startup+3.10301 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 31195
/proc/meminfo: memFree=1798592/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=175596 CPUtime=3.09
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 43086 0 0 0 291 18 0 0 25 0 1 0 184951740 179810304 42714 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 43899 42714 412 886 0 43009 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 175596

[startup+6.30129 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 31195
/proc/meminfo: memFree=1592592/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=331760 CPUtime=6.29
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 82744 0 0 0 590 39 0 0 25 0 1 0 184951740 339722240 76394 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 82940 76394 502 886 0 82050 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 331760

[startup+12.7019 s]
/proc/loadavg: 0.81 0.95 0.98 2/65 31195
/proc/meminfo: memFree=1579216/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=341788 CPUtime=12.69
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 85584 0 0 0 1228 41 0 0 25 0 1 0 184951740 349990912 78706 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 85447 78706 505 886 0 84557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 341788

[startup+25.501 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 31195
/proc/meminfo: memFree=1574480/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=343700 CPUtime=25.49
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 89418 0 0 0 2504 45 0 0 25 0 1 0 184951740 351948800 79864 1992294400 4194304 7823515 548682068736 18446744073709551615 6211582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 85925 79864 505 886 0 85035 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 343700

[startup+51.1013 s]
/proc/loadavg: 0.90 0.96 0.98 2/65 31195
/proc/meminfo: memFree=1555984/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=364332 CPUtime=51.06
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 95308 0 0 0 5055 51 0 0 25 0 1 0 184951740 373075968 84607 1992294400 4194304 7823515 548682068736 18446744073709551615 6180642 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 91083 84607 541 886 0 90193 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 364332

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 31195
/proc/meminfo: memFree=1419152/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=102.25
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137426 0 0 0 10129 96 0 0 25 0 1 0 184951740 512270336 118611 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118611 563 886 0 124176 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 500264

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 31195
/proc/meminfo: memFree=1419088/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=162.24
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137427 0 0 0 16119 105 0 0 25 0 1 0 184951740 512270336 118612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118612 564 886 0 124176 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 500264

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31195
/proc/meminfo: memFree=1419088/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=222.22
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137427 0 0 0 22109 113 0 0 25 0 1 0 184951740 512270336 118612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118612 564 886 0 124176 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 500264

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31195
/proc/meminfo: memFree=1419088/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=282.21
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137427 0 0 0 28100 121 0 0 25 0 1 0 184951740 512270336 118612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118612 564 886 0 124176 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 500264

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31195
/proc/meminfo: memFree=1419088/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=342.19
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137427 0 0 0 34091 128 0 0 25 0 1 0 184951740 512270336 118612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118612 564 886 0 124176 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 500264

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31195
/proc/meminfo: memFree=1419024/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=402.18
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137427 0 0 0 40083 135 0 0 25 0 1 0 184951740 512270336 118612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118612 564 886 0 124176 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 500264

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31195
/proc/meminfo: memFree=1419024/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=462.16
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137427 0 0 0 46074 142 0 0 25 0 1 0 184951740 512270336 118612 1992294400 4194304 7823515 548682068736 18446744073709551615 6908067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118612 564 886 0 124176 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 500264

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31195
/proc/meminfo: memFree=1419024/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=522.14
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137427 0 0 0 52066 148 0 0 25 0 1 0 184951740 512270336 118612 1992294400 4194304 7823515 548682068736 18446744073709551615 6236694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118612 564 886 0 124176 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 500264

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31195
/proc/meminfo: memFree=1419024/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=582.13
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137427 0 0 0 58057 156 0 0 25 0 1 0 184951740 512270336 118612 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118612 564 886 0 124176 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 500264

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31195
/proc/meminfo: memFree=1419024/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=642.12
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137427 0 0 0 64049 163 0 0 25 0 1 0 184951740 512270336 118612 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118612 564 886 0 124176 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 500264

[startup+702.301 s]

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

/proc/meminfo: memFree=1418832/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1122
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137430 0 0 0 111985 215 0 0 25 0 1 0 184951740 512270336 118615 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118615 565 886 0 124176 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 500264

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31197
/proc/meminfo: memFree=1418512/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1181.98
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137431 0 0 0 117975 223 0 0 25 0 1 0 184951740 512270336 118616 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118616 565 886 0 124176 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 500264

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31197
/proc/meminfo: memFree=1418512/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1241.97
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137431 0 0 0 123968 229 0 0 25 0 1 0 184951740 512270336 118616 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118616 565 886 0 124176 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 500264

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31197
/proc/meminfo: memFree=1418512/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1301.96
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137444 0 0 0 129963 233 0 0 25 0 1 0 184951740 512270336 118621 1992294400 4194304 7823515 548682068736 18446744073709551615 6149986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118621 565 886 0 124176 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 500264

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31197
/proc/meminfo: memFree=1418512/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1361.95
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 135957 238 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6211586 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 500264

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31197
/proc/meminfo: memFree=1418512/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1421.93
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 141949 244 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6211574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 500264

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31197
/proc/meminfo: memFree=1418512/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1481.92
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 147943 249 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 500264

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31197
/proc/meminfo: memFree=1418512/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1541.9
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 153934 256 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6211603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 500264

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31197
/proc/meminfo: memFree=1418512/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1601.89
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 159927 262 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 500264

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31197
/proc/meminfo: memFree=1418512/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1661.87
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 165919 268 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 500264

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31197
/proc/meminfo: memFree=1418512/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1721.86
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 171912 274 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 500264

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31203
/proc/meminfo: memFree=1418320/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1781.84
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 177901 283 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 500264

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31203
/proc/meminfo: memFree=1418320/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1785.04
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 178221 283 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1785.04
Current children cumulated vsize (KiB) 500264

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31203
/proc/meminfo: memFree=1418320/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1791.44
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 178860 284 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6211728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 500264

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31203
/proc/meminfo: memFree=1418320/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1794.64
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 179180 284 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 500264

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31203
/proc/meminfo: memFree=1418320/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1795.44
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 179259 285 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1795.44
Current children cumulated vsize (KiB) 500264

[startup+1796.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31203
/proc/meminfo: memFree=1418320/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1795.84
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137447 0 0 0 179299 285 0 0 25 0 1 0 184951740 512270336 118624 1992294400 4194304 7823515 548682068736 18446744073709551615 4685934 0 0 4096 0 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118624 565 886 0 124176 0
Current children cumulated CPU time (s) 1795.84
Current children cumulated vsize (KiB) 500264

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31203
/proc/meminfo: memFree=1418320/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=500264 CPUtime=1796.24
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137449 0 0 0 179339 285 0 0 20 0 1 0 184951740 512270336 118626 1992294400 4194304 7823515 548682068736 18446744073709551615 5875840 0 0 4096 0 0 0 0 17 1 0 0
/proc/31194/statm: 125066 118626 567 886 0 124176 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 500264

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31203
/proc/meminfo: memFree=1418320/2055920 swapFree=4181496/4192956
[pid=31194] ppid=31192 vsize=237604 CPUtime=1796.33
/proc/31194/stat : 31194 (pbscip.linux.x8) R 31192 31194 31157 0 -1 4194304 137449 0 0 0 179344 289 0 0 20 0 1 0 184951740 243306496 58573 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/31194/statm: 59401 58573 14735 886 0 58511 0
Current children cumulated CPU time (s) 1796.33
Current children cumulated vsize (KiB) 237604

Child status: 0
Real time (s): 1796.83
CPU time (s): 1796.37
CPU user time (s): 1793.45
CPU system time (s): 2.92655
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 534904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.45
system time used= 2.92656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137452
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= 39
involuntary context switches= 2629

runsolver used 1.53877 second user time and 4.03639 second system time

The end

Launcher Data 

Begin job on node25 at 2009-06-16 19:32:00
IDJOB=1869468
IDBENCH=2889
IDSOLVER=683
FILE ID=node25/1869468-1245173519
PBS_JOBID= 9363910
Free space on /tmp= 66300 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.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-1869468-1245173519/watcher-1869468-1245173519 -o /tmp/evaluation-result-1869468-1245173519/solver-1869468-1245173519 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869468-1245173519.opb

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

MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0
RANDOM SEED=1522215827

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1893032 kB
Buffers:         32492 kB
Cached:          75520 kB
SwapCached:       5888 kB
Active:          71332 kB
Inactive:        45036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1893032 kB
SwapTotal:     4192956 kB
SwapFree:      4181496 kB
Dirty:           19704 kB
Writeback:           0 kB
Mapped:          13404 kB
Slab:            32568 kB
Committed_AS:   200024 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66292 MiB
End job on node25 at 2009-06-16 20:01:57