Trace number 2705376

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1793.89 1794.47

General information on the benchmark

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

Verifier Data 

OK	8066

Watcher Data 

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

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

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.92 2/168 25088
/proc/meminfo: memFree=29052212/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=12516 CPUtime=0
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 1976 0 0 0 0 0 0 0 24 0 1 0 26049546 12816384 1894 4089446400 4194304 10345943 140735632544784 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25088/statm: 3129 1894 429 1502 0 1622 0

[startup+0.031947 s]
/proc/loadavg: 0.92 0.98 0.92 2/168 25088
/proc/meminfo: memFree=29052212/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=22796 CPUtime=0.02
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 4535 0 0 0 2 0 0 0 24 0 1 0 26049546 23343104 4453 4089446400 4194304 10345943 140735632544784 18446744073709551615 6328950 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25088/statm: 5699 4453 430 1502 0 4192 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22796

[startup+0.100946 s]
/proc/loadavg: 0.92 0.98 0.92 2/168 25088
/proc/meminfo: memFree=29052212/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=41212 CPUtime=0.09
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 9159 0 0 0 9 0 0 0 24 0 1 0 26049546 42201088 9077 4089446400 4194304 10345943 140735632544784 18446744073709551615 4424632 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25088/statm: 10303 9077 430 1502 0 8796 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41212

[startup+0.300903 s]
/proc/loadavg: 0.92 0.98 0.92 2/168 25088
/proc/meminfo: memFree=29052212/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=132160 CPUtime=0.29
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 32139 0 0 0 27 2 0 0 25 0 1 0 26049546 135331840 31644 4089446400 4194304 10345943 140735632544784 18446744073709551615 4604681 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25088/statm: 33040 31645 494 1502 0 31533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 132160

[startup+0.70083 s]
/proc/loadavg: 0.92 0.98 0.92 2/168 25088
/proc/meminfo: memFree=29052212/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=146532 CPUtime=0.69
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 34659 0 0 0 67 2 0 0 25 0 1 0 26049546 150048768 34164 4089446400 4194304 10345943 140735632544784 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25088/statm: 36633 34164 509 1502 0 35126 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 146532

[startup+1.50069 s]
/proc/loadavg: 0.92 0.98 0.92 2/169 25089
/proc/meminfo: memFree=28917124/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=146532 CPUtime=1.41
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 34659 0 0 0 138 3 0 0 25 0 1 0 26049546 150048768 34164 4089446400 4194304 10345943 140735632544784 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25088/statm: 36633 34164 509 1502 0 35126 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 146532

[startup+3.10037 s]
/proc/loadavg: 0.92 0.98 0.92 2/169 25089
/proc/meminfo: memFree=28916876/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=146532 CPUtime=2.47
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 34659 0 0 0 243 4 0 0 25 0 1 0 26049546 150048768 34164 4089446400 4194304 10345943 140735632544784 18446744073709551615 4246696 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25088/statm: 36633 34164 509 1502 0 35126 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 146532
heavy processes:

[startup+6.30087 s]
/proc/loadavg: 1.01 1.00 0.93 2/169 25089
/proc/meminfo: memFree=28912736/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=150936 CPUtime=5.68
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 35858 0 0 0 563 5 0 0 25 0 1 0 26049546 154558464 35331 4089446400 4194304 10345943 140735632544784 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 37734 35331 560 1502 0 36227 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 150936

[startup+12.7008 s]
/proc/loadavg: 1.01 1.00 0.93 2/169 25089
/proc/meminfo: memFree=28882732/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=184420 CPUtime=12.08
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 43639 0 0 0 1202 6 0 0 25 0 1 0 26049546 188846080 43104 4089446400 4194304 10345943 140735632544784 18446744073709551615 6787296 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 46105 43104 697 1502 0 44598 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 184420

[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 0.93 2/169 25089
/proc/meminfo: memFree=28878200/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=189188 CPUtime=24.87
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 52998 0 0 0 2480 7 0 0 25 0 1 0 26049546 193728512 44311 4089446400 4194304 10345943 140735632544784 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 47297 44311 704 1502 0 45790 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 189188

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.93 2/169 25090
/proc/meminfo: memFree=28866216/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=201288 CPUtime=50.48
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 83972 0 0 0 5035 13 0 0 25 0 1 0 26049546 206118912 47362 4089446400 4194304 10345943 140735632544784 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 50322 47362 713 1502 0 48815 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 201288

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/169 25091
/proc/meminfo: memFree=28845440/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=222344 CPUtime=101.69
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 136372 0 0 0 10147 22 0 0 25 0 1 0 26049546 227680256 52421 4089446400 4194304 10345943 140735632544784 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 55586 52421 713 1502 0 54079 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 222344

[startup+162.301 s]
/proc/loadavg: 1.04 1.01 0.93 2/169 25093
/proc/meminfo: memFree=28821492/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=245656 CPUtime=161.68
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 142450 0 0 0 16143 25 0 0 25 0 1 0 26049546 251551744 58499 4089446400 4194304 10345943 140735632544784 18446744073709551615 6002399 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 61414 58499 713 1502 0 59907 0
Current children cumulated CPU time (s) 161.68
Current children cumulated vsize (KiB) 245656

[startup+222.3 s]
/proc/loadavg: 1.01 1.01 0.93 2/169 25095
/proc/meminfo: memFree=28794068/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=272600 CPUtime=221.68
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 168826 0 0 0 22138 30 0 0 25 0 1 0 26049546 279142400 65469 4089446400 4194304 10345943 140735632544784 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 68150 65469 719 1502 0 66643 0
Current children cumulated CPU time (s) 221.68
Current children cumulated vsize (KiB) 272600

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/169 25097
/proc/meminfo: memFree=28771368/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=294936 CPUtime=281.68
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 174474 0 0 0 28136 32 0 0 25 0 1 0 26049546 302014464 71117 4089446400 4194304 10345943 140735632544784 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 73734 71117 726 1502 0 72227 0
Current children cumulated CPU time (s) 281.68
Current children cumulated vsize (KiB) 294936

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 0.93 3/169 25098
/proc/meminfo: memFree=28749272/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=317004 CPUtime=341.68
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 185391 0 0 0 34133 35 0 0 25 0 1 0 26049546 324612096 76511 4089446400 4194304 10345943 140735632544784 18446744073709551615 4749687 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 79251 76511 726 1502 0 77744 0
Current children cumulated CPU time (s) 341.68
Current children cumulated vsize (KiB) 317004

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/169 25099
/proc/meminfo: memFree=28649684/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=417136 CPUtime=401.68
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 230197 0 0 0 40126 42 0 0 25 0 1 0 26049546 427147264 101321 4089446400 4194304 10345943 140735632544784 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 104284 101321 726 1502 0 102777 0
Current children cumulated CPU time (s) 401.68
Current children cumulated vsize (KiB) 417136

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/169 25101
/proc/meminfo: memFree=28647440/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=417136 CPUtime=461.69
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 230777 0 0 0 46126 43 0 0 25 0 1 0 26049546 427147264 101901 4089446400 4194304 10345943 140735632544784 18446744073709551615 6105704 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 104284 101901 726 1502 0 102777 0
Current children cumulated CPU time (s) 461.69
Current children cumulated vsize (KiB) 417136

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/169 25103
/proc/meminfo: memFree=28647048/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=416820 CPUtime=521.69
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 238076 0 0 0 52124 45 0 0 25 0 1 0 26049546 426823680 101867 4089446400 4194304 10345943 140735632544784 18446744073709551615 6003056 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 104205 101867 731 1502 0 102698 0
Current children cumulated CPU time (s) 521.69
Current children cumulated vsize (KiB) 416820

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/169 25105
/proc/meminfo: memFree=28647288/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=416820 CPUtime=581.69
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 238084 0 0 0 58123 46 0 0 25 0 1 0 26049546 426823680 101875 4089446400 4194304 10345943 140735632544784 18446744073709551615 4966117 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 104205 101875 731 1502 0 102698 0
Current children cumulated CPU time (s) 581.69
Current children cumulated vsize (KiB) 416820

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/169 25106
/proc/meminfo: memFree=28645164/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=419884 CPUtime=641.69
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 238757 0 0 0 64122 47 0 0 25 0 1 0 26049546 429961216 102548 4089446400 4194304 10345943 140735632544784 18446744073709551615 6864944 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 104971 102548 731 1502 0 103464 0
Current children cumulated CPU time (s) 641.69
Current children cumulated vsize (KiB) 419884


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

/proc/meminfo: memFree=28489804/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=574736 CPUtime=1121.7
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 277497 0 0 0 112105 65 0 0 25 0 1 0 26049546 588529664 141288 4089446400 4194304 10345943 140735632544784 18446744073709551615 4749687 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 143684 141288 732 1502 0 142177 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 574736

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25121
/proc/meminfo: memFree=28471676/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=593288 CPUtime=1181.7
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 282057 0 0 0 118104 66 0 0 25 0 1 0 26049546 607526912 145848 4089446400 4194304 10345943 140735632544784 18446744073709551615 4882046 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 148322 145848 732 1502 0 146815 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 593288

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25122
/proc/meminfo: memFree=28453296/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=611564 CPUtime=1241.7
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 287023 0 0 0 124101 69 0 0 25 0 1 0 26049546 626241536 150374 4089446400 4194304 10345943 140735632544784 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 152891 150374 732 1502 0 151384 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 611564

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25123
/proc/meminfo: memFree=28434180/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=629812 CPUtime=1301.71
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 291783 0 0 0 130099 72 0 0 25 0 1 0 26049546 644927488 155134 4089446400 4194304 10345943 140735632544784 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 157453 155134 732 1502 0 155946 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 629812

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25134
/proc/meminfo: memFree=28415660/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=648364 CPUtime=1361.71
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 299970 0 0 0 136096 75 0 0 25 0 1 0 26049546 663924736 159529 4089446400 4194304 10345943 140735632544784 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 162091 159529 732 1502 0 160584 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 648364

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25136
/proc/meminfo: memFree=28395180/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=668460 CPUtime=1421.71
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 308764 0 0 0 142094 77 0 0 25 0 1 0 26049546 684503040 164648 4089446400 4194304 10345943 140735632544784 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 167115 164648 732 1502 0 165608 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 668460

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25138
/proc/meminfo: memFree=28376436/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=687476 CPUtime=1481.71
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 319777 0 0 0 148091 80 0 0 25 0 1 0 26049546 703975424 169354 4089446400 4194304 10345943 140735632544784 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 171869 169354 732 1502 0 170362 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 687476

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25139
/proc/meminfo: memFree=28358684/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=704720 CPUtime=1541.71
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 335361 0 0 0 154087 84 0 0 25 0 1 0 26049546 721633280 173803 4089446400 4194304 10345943 140735632544784 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 176180 173803 732 1502 0 174673 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 704720

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25140
/proc/meminfo: memFree=28339196/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=725068 CPUtime=1601.71
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 341330 0 0 0 160085 86 0 0 25 0 1 0 26049546 742469632 178762 4089446400 4194304 10345943 140735632544784 18446744073709551615 6866097 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 181267 178762 732 1502 0 179760 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 725068

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25142
/proc/meminfo: memFree=28321820/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=741308 CPUtime=1661.71
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 353349 0 0 0 166082 89 0 0 25 0 1 0 26049546 759099392 183070 4089446400 4194304 10345943 140735632544784 18446744073709551615 6003026 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 185327 183070 732 1502 0 183820 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 741308

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25144
/proc/meminfo: memFree=28303940/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=758696 CPUtime=1721.71
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 357733 0 0 0 172080 91 0 0 25 0 1 0 26049546 776904704 187454 4089446400 4194304 10345943 140735632544784 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 189674 187454 732 1502 0 188167 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 758696

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25146
/proc/meminfo: memFree=28284324/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=778912 CPUtime=1781.71
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 367970 0 0 0 178076 95 0 0 25 0 1 0 26049546 797605888 192410 4089446400 4194304 10345943 140735632544784 18446744073709551615 4796482 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 194728 192410 732 1502 0 193221 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 778912

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25146
/proc/meminfo: memFree=28283208/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=779932 CPUtime=1784.91
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 368230 0 0 0 178396 95 0 0 25 0 1 0 26049546 798650368 192670 4089446400 4194304 10345943 140735632544784 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 194983 192670 732 1502 0 193476 0
Current children cumulated CPU time (s) 1784.91
Current children cumulated vsize (KiB) 779932

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25146
/proc/meminfo: memFree=28282460/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=780956 CPUtime=1788.11
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 368482 0 0 0 178716 95 0 0 25 0 1 0 26049546 799698944 192922 4089446400 4194304 10345943 140735632544784 18446744073709551615 6702724 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/25088/statm: 195239 192922 732 1502 0 193732 0
Current children cumulated CPU time (s) 1788.11
Current children cumulated vsize (KiB) 780956

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25146
/proc/meminfo: memFree=28281464/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=781268 CPUtime=1791.32
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 368605 0 0 0 179037 95 0 0 25 0 1 0 26049546 800018432 193045 4089446400 4194304 10345943 140735632544784 18446744073709551615 9138281 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/25088/statm: 195317 193045 732 1502 0 193810 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 781268

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25146
/proc/meminfo: memFree=28281584/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=781268 CPUtime=1792.91
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 368605 0 0 0 179196 95 0 0 25 0 1 0 26049546 800018432 193045 4089446400 4194304 10345943 140735632544784 18446744073709551615 4246677 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/25088/statm: 195317 193045 732 1502 0 193810 0
Current children cumulated CPU time (s) 1792.91
Current children cumulated vsize (KiB) 781268

[startup+1793.9 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25146
/proc/meminfo: memFree=28281584/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=781268 CPUtime=1793.31
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 368605 0 0 0 179236 95 0 0 25 0 1 0 26049546 800018432 193045 4089446400 4194304 10345943 140735632544784 18446744073709551615 9138416 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/25088/statm: 195317 193045 732 1502 0 193810 0
Current children cumulated CPU time (s) 1793.31
Current children cumulated vsize (KiB) 781268

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25146
/proc/meminfo: memFree=28281584/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=781268 CPUtime=1793.71
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 368610 0 0 0 179276 95 0 0 18 0 1 0 26049546 800018432 193050 4089446400 4194304 10345943 140735632544784 18446744073709551615 6325499 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/25088/statm: 195317 193050 736 1502 0 193810 0
Current children cumulated CPU time (s) 1793.71
Current children cumulated vsize (KiB) 781268

[startup+1794.4 s]
/proc/loadavg: 1.00 1.00 0.94 2/169 25146
/proc/meminfo: memFree=28281584/32951132 swapFree=67111528/67111528
[pid=25088] ppid=25086 vsize=781268 CPUtime=1793.81
/proc/25088/stat : 25088 (pbscip.linux.x8) R 25086 25088 24738 0 -1 4202496 368610 0 0 0 179285 96 0 0 18 0 1 0 26049546 800018432 158599 4089446400 4194304 10345943 140735632544784 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/25088/statm: 195317 158087 736 1502 0 193810 0
Current children cumulated CPU time (s) 1793.81
Current children cumulated vsize (KiB) 781268

Child status: 0
Real time (s): 1794.47
CPU time (s): 1793.89
CPU user time (s): 1792.9
CPU system time (s): 0.990849
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 781268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.9
system time used= 0.990849
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368613
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= 1718

runsolver used 2.43963 second user time and 5.72813 second system time

The end

Launcher Data 

Begin job on node131 at 2010-07-08 10:39:17
IDJOB=2705376
IDBENCH=79341
IDSOLVER=1214
FILE ID=node131/2705376-1278578357
PBS_JOBID= 11240192
Free space on /tmp= 73624 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB10/oliveras/j30/normalized-j309_10-unsat--soft-0-100-0.wbo
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-2705376-1278578357/watcher-2705376-1278578357 -o /tmp/evaluation-result-2705376-1278578357/solver-2705376-1278578357 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705376-1278578357.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 264893132be4acdbf364be50ace73d69
RANDOM SEED=471054735

node131.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5441.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29052740 kB
Buffers:        161876 kB
Cached:        3509400 kB
SwapCached:          0 kB
Active:        1221020 kB
Inactive:      2510832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29052740 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13200 kB
Writeback:           0 kB
AnonPages:       61100 kB
Mapped:          14612 kB
Slab:           104868 kB
PageTables:       4140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   181240 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73612 MiB
End job on node131 at 2010-07-08 11:09:12