Trace number 1869698

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT29 1794.61 1795.13

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.41
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	29

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6041
/proc/meminfo: memFree=1882496/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=4324 CPUtime=0
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 465 0 0 0 0 0 0 0 18 0 1 0 185974722 4427776 449 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/6041/statm: 1081 461 298 886 0 191 0

[startup+0.0078941 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6041
/proc/meminfo: memFree=1882496/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=7132 CPUtime=0
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 1144 0 0 0 0 0 0 0 18 0 1 0 185974722 7303168 1126 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/6041/statm: 1783 1135 335 886 0 893 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7132

[startup+0.101901 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6041
/proc/meminfo: memFree=1882496/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=14468 CPUtime=0.09
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 2927 0 0 0 9 0 0 0 18 0 1 0 185974722 14815232 2909 1992294400 4194304 7823515 548682068736 18446744073709551615 6896413 0 0 4096 0 0 0 0 17 1 0 0
/proc/6041/statm: 3617 2909 354 886 0 2727 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14468

[startup+0.301921 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6041
/proc/meminfo: memFree=1882496/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=21200 CPUtime=0.29
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 4608 0 0 0 28 1 0 0 19 0 1 0 185974722 21708800 4590 1992294400 4194304 7823515 548682068736 18446744073709551615 4363789 0 0 4096 0 0 0 0 17 1 0 0
/proc/6041/statm: 5300 4590 354 886 0 4410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21200

[startup+0.701962 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6041
/proc/meminfo: memFree=1882496/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=51232 CPUtime=0.69
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 12982 0 0 0 61 8 0 0 22 0 1 0 185974722 52461568 11856 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 12808 11856 440 886 0 11918 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51232

[startup+1.50104 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6042
/proc/meminfo: memFree=1824888/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=62776 CPUtime=1.49
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 15942 0 0 0 137 12 0 0 25 0 1 0 185974722 64282624 14816 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 15694 14816 457 886 0 14804 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62776

[startup+3.10121 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6042
/proc/meminfo: memFree=1804024/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=91356 CPUtime=3.08
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 22553 0 0 0 293 15 0 0 25 0 1 0 185974722 93548544 21187 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 22839 21187 527 886 0 21949 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 91356

[startup+6.30153 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 6042
/proc/meminfo: memFree=1796600/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=93516 CPUtime=6.29
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 23390 0 0 0 613 16 0 0 25 0 1 0 185974722 95760384 21962 1992294400 4194304 7823515 548682068736 18446744073709551615 6205330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 23379 21962 527 886 0 22489 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93516

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 6042
/proc/meminfo: memFree=1794432/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=94776 CPUtime=12.69
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 23860 0 0 0 1251 18 0 0 25 0 1 0 185974722 97050624 22432 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 23694 22432 538 886 0 22804 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 94776

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 6042
/proc/meminfo: memFree=1794496/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=94776 CPUtime=25.49
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 23860 0 0 0 2530 19 0 0 25 0 1 0 185974722 97050624 22432 1992294400 4194304 7823515 548682068736 18446744073709551615 6216936 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 23694 22432 538 886 0 22804 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94776

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 6042
/proc/meminfo: memFree=1794560/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=94776 CPUtime=51.07
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 23868 0 0 0 5086 21 0 0 25 0 1 0 185974722 97050624 22432 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 23694 22432 538 886 0 22804 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 94776

[startup+102.305 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1739520/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=150944 CPUtime=102.26
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37671 0 0 0 10179 47 0 0 25 0 1 0 185974722 154566656 36192 1992294400 4194304 7823515 548682068736 18446744073709551615 6208547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 37736 36192 563 886 0 36846 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150944

[startup+162.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 6042
/proc/meminfo: memFree=1744320/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=162.24
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37923 0 0 0 16159 65 0 0 25 0 1 0 185974722 149065728 34983 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34983 569 886 0 35503 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 145572

[startup+222.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 6042
/proc/meminfo: memFree=1744320/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=222.22
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37923 0 0 0 22149 73 0 0 25 0 1 0 185974722 149065728 34983 1992294400 4194304 7823515 548682068736 18446744073709551615 5924555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34983 569 886 0 35503 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 145572

[startup+282.302 s]
/proc/loadavg: 1.11 1.05 1.01 2/65 6042
/proc/meminfo: memFree=1744256/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=282.2
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37923 0 0 0 28136 84 0 0 25 0 1 0 185974722 149065728 34983 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34983 569 886 0 35503 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 145572

[startup+342.302 s]
/proc/loadavg: 1.14 1.07 1.01 2/65 6042
/proc/meminfo: memFree=1744256/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=342.18
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37923 0 0 0 34126 92 0 0 25 0 1 0 185974722 149065728 34983 1992294400 4194304 7823515 548682068736 18446744073709551615 6109522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34983 569 886 0 35503 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 145572

[startup+402.302 s]
/proc/loadavg: 1.05 1.05 1.01 2/65 6042
/proc/meminfo: memFree=1744192/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=402.17
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37923 0 0 0 40115 102 0 0 25 0 1 0 185974722 149065728 34983 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34983 569 886 0 35503 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 145572

[startup+462.302 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 6042
/proc/meminfo: memFree=1744192/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=462.15
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37923 0 0 0 46104 111 0 0 25 0 1 0 185974722 149065728 34983 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34983 569 886 0 35503 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 145572

[startup+522.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 6042
/proc/meminfo: memFree=1744256/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=522.13
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37923 0 0 0 52091 122 0 0 25 0 1 0 185974722 149065728 34983 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34983 569 886 0 35503 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 145572

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6042
/proc/meminfo: memFree=1744256/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=582.11
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37923 0 0 0 58079 132 0 0 25 0 1 0 185974722 149065728 34983 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34983 569 886 0 35503 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 145572

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 6042
/proc/meminfo: memFree=1744192/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=642.11
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37923 0 0 0 64070 141 0 0 25 0 1 0 185974722 149065728 34983 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34983 569 886 0 35503 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 145572

[startup+702.301 s]

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

/proc/meminfo: memFree=1744128/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1061.99
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37924 0 0 0 105996 203 0 0 25 0 1 0 185974722 149065728 34984 1992294400 4194304 7823515 548682068736 18446744073709551615 6908067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34984 570 886 0 35503 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 145572

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744192/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1121.96
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37924 0 0 0 111984 212 0 0 25 0 1 0 185974722 149065728 34984 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34984 570 886 0 35503 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 145572

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744128/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1181.94
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37924 0 0 0 117973 221 0 0 25 0 1 0 185974722 149065728 34984 1992294400 4194304 7823515 548682068736 18446744073709551615 6206241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34984 570 886 0 35503 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 145572

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744128/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1241.94
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37924 0 0 0 123961 233 0 0 25 0 1 0 185974722 149065728 34984 1992294400 4194304 7823515 548682068736 18446744073709551615 6212665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34984 570 886 0 35503 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 145572

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744064/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1301.92
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37924 0 0 0 129951 241 0 0 25 0 1 0 185974722 149065728 34984 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34984 570 886 0 35503 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 145572

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744064/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1361.9
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37924 0 0 0 135940 250 0 0 25 0 1 0 185974722 149065728 34984 1992294400 4194304 7823515 548682068736 18446744073709551615 6109387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34984 570 886 0 35503 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 145572

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744000/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1421.89
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37924 0 0 0 141930 259 0 0 25 0 1 0 185974722 149065728 34984 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34984 570 886 0 35503 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 145572

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744000/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1481.87
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 147919 268 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 145572

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744000/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1541.85
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 153908 277 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 145572

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744064/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1601.83
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 159897 286 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 145572

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744000/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1661.81
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 165885 296 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 145572

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6042
/proc/meminfo: memFree=1744000/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1721.8
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 171875 305 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 145572

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6044
/proc/meminfo: memFree=1743744/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1781.78
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 177865 313 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 145572

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6044
/proc/meminfo: memFree=1743744/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1784.98
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 178185 313 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1784.98
Current children cumulated vsize (KiB) 145572

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6044
/proc/meminfo: memFree=1743744/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1791.38
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 178824 314 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 145572

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6044
/proc/meminfo: memFree=1743744/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1792.98
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 178983 315 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1792.98
Current children cumulated vsize (KiB) 145572

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6044
/proc/meminfo: memFree=1743744/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1793.78
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 179063 315 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1793.78
Current children cumulated vsize (KiB) 145572

[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6044
/proc/meminfo: memFree=1743744/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=145572 CPUtime=1794.18
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37927 0 0 0 179103 315 0 0 25 0 1 0 185974722 149065728 34987 1992294400 4194304 7823515 548682068736 18446744073709551615 6206177 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6041/statm: 36393 34987 573 886 0 35503 0
Current children cumulated CPU time (s) 1794.18
Current children cumulated vsize (KiB) 145572

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6044
/proc/meminfo: memFree=1791168/2055920 swapFree=4192812/4192956
[pid=6041] ppid=6039 vsize=93528 CPUtime=1794.58
/proc/6041/stat : 6041 (pbscip.linux.x8) R 6039 6041 5825 0 -1 4194304 37929 0 0 0 179142 316 0 0 17 0 1 0 185974722 95772672 22364 1992294400 4194304 7823515 548682068736 18446744073709551615 5875904 0 0 4096 0 0 0 0 17 1 0 0
/proc/6041/statm: 23382 22364 575 886 0 22492 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 93528

Child status: 0
Real time (s): 1795.13
CPU time (s): 1794.61
CPU user time (s): 1791.43
CPU system time (s): 3.17652
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 151556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.43
system time used= 3.17652
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37932
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= 44
involuntary context switches= 3116

runsolver used 1.38079 second user time and 4.05738 second system time

The end

Launcher Data 

Begin job on node45 at 2009-06-16 22:22:57
IDJOB=1869698
IDBENCH=25012
IDSOLVER=683
FILE ID=node45/1869698-1245183777
PBS_JOBID= 9363928
Free space on /tmp= 66172 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869698-1245183777/watcher-1869698-1245183777 -o /tmp/evaluation-result-1869698-1245183777/solver-1869698-1245183777 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869698-1245183777.opb

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

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=1958474664

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1882912 kB
Buffers:         39804 kB
Cached:          70284 kB
SwapCached:        140 kB
Active:          66348 kB
Inactive:        57844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1882912 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10444 kB
Writeback:           0 kB
Mapped:          23756 kB
Slab:            34888 kB
Committed_AS:   160640 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66164 MiB
End job on node45 at 2009-06-16 22:52:53