Trace number 1869699

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
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT27 1794.01 1794.67

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	27

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869699-1245183779/watcher-1869699-1245183779 -o /tmp/evaluation-result-1869699-1245183779/solver-1869699-1245183779 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869699-1245183779.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: 1.00 1.00 1.00 3/64 2894
/proc/meminfo: memFree=1833728/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=5812 CPUtime=0
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 185978568 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/2894/statm: 1453 501 332 1256 0 192 0

[startup+0.0966589 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2894
/proc/meminfo: memFree=1833728/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=15888 CPUtime=0.08
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 2967 0 0 0 8 0 0 0 18 0 1 0 185978568 16269312 2951 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/2894/statm: 3972 2951 378 1256 0 2711 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15888

[startup+0.101659 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2894
/proc/meminfo: memFree=1833728/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=15888 CPUtime=0.09
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 2967 0 0 0 9 0 0 0 18 0 1 0 185978568 16269312 2951 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2894/statm: 3972 2951 378 1256 0 2711 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15888

[startup+0.301703 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2894
/proc/meminfo: memFree=1833728/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=22624 CPUtime=0.29
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 4647 0 0 0 28 1 0 0 19 0 1 0 185978568 23166976 4631 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 1 0 0
/proc/2894/statm: 5656 4631 378 1256 0 4395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22624

[startup+0.701789 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2894
/proc/meminfo: memFree=1833728/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=52448 CPUtime=0.69
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 13028 0 0 0 60 9 0 0 22 0 1 0 185978568 53706752 11904 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 13112 11904 476 1256 0 11851 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52448

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1775928/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=64132 CPUtime=1.49
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 16029 0 0 0 137 12 0 0 25 0 1 0 185978568 65671168 14905 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 16033 14905 499 1256 0 14772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64132

[startup+3.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1756024/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=93832 CPUtime=3.09
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 21987 0 0 0 293 16 0 0 25 0 1 0 185978568 96083968 20787 1992294400 4194304 9342243 548682068736 18446744073709551615 6935797 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 23458 20787 624 1256 0 22197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93832

[startup+6.30199 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1749496/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=91700 CPUtime=6.29
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 23650 0 0 0 612 17 0 0 25 0 1 0 185978568 93900800 21420 1992294400 4194304 9342243 548682068736 18446744073709551615 6887671 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 22925 21420 624 1256 0 21664 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91700

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1747128/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=98836 CPUtime=12.69
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 24912 0 0 0 1251 18 0 0 25 0 1 0 185978568 101208064 22192 1992294400 4194304 9342243 548682068736 18446744073709551615 6951666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 24709 22192 651 1256 0 23448 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 98836

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1746360/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=100832 CPUtime=25.48
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 25131 0 0 0 2529 19 0 0 25 0 1 0 185978568 103251968 22404 1992294400 4194304 9342243 548682068736 18446744073709551615 6941146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 25208 22404 651 1256 0 23947 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 100832

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1746168/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=100832 CPUtime=51.07
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 25187 0 0 0 5085 22 0 0 25 0 1 0 185978568 103251968 22460 1992294400 4194304 9342243 548682068736 18446744073709551615 6959748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 25208 22460 651 1256 0 23947 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100832

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1689144/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=156524 CPUtime=102.26
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39477 0 0 0 10177 49 0 0 25 0 1 0 185978568 160280576 36716 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 39131 36716 681 1256 0 37870 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 156524

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1695352/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=162.23
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39744 0 0 0 16162 61 0 0 25 0 1 0 185978568 151179264 35154 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35154 691 1256 0 35648 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 147636

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1695288/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=222.21
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39746 0 0 0 22155 66 0 0 25 0 1 0 185978568 151179264 35156 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35156 691 1256 0 35648 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 147636

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1695288/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=282.19
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39746 0 0 0 28147 72 0 0 25 0 1 0 185978568 151179264 35156 1992294400 4194304 9342243 548682068736 18446744073709551615 6938343 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35156 691 1256 0 35648 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 147636

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1695224/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=342.16
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39746 0 0 0 34139 77 0 0 25 0 1 0 185978568 151179264 35156 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35156 691 1256 0 35648 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 147636

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1695032/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=402.14
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39776 0 0 0 40130 84 0 0 25 0 1 0 185978568 151179264 35186 1992294400 4194304 9342243 548682068736 18446744073709551615 6960598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35186 691 1256 0 35648 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 147636

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1695096/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=462.12
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39776 0 0 0 46122 90 0 0 25 0 1 0 185978568 151179264 35186 1992294400 4194304 9342243 548682068736 18446744073709551615 6964228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35186 691 1256 0 35648 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 147636

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1695032/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=522.1
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39776 0 0 0 52114 96 0 0 25 0 1 0 185978568 151179264 35186 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35186 691 1256 0 35648 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 147636

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1695096/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=582.08
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39777 0 0 0 58107 101 0 0 25 0 1 0 185978568 151179264 35187 1992294400 4194304 9342243 548682068736 18446744073709551615 6970142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35187 692 1256 0 35648 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 147636

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1695032/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=642.06
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39777 0 0 0 64099 107 0 0 25 0 1 0 185978568 151179264 35187 1992294400 4194304 9342243 548682068736 18446744073709551615 5868518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35187 692 1256 0 35648 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 147636

[startup+702.301 s]

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

/proc/meminfo: memFree=1694520/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1121.88
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39903 0 0 0 112021 167 0 0 25 0 1 0 185978568 151179264 35313 1992294400 4194304 9342243 548682068736 18446744073709551615 5874776 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35313 697 1256 0 35648 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 147636

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1694456/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1181.86
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39903 0 0 0 118011 175 0 0 25 0 1 0 185978568 151179264 35313 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35313 697 1256 0 35648 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 147636

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1694392/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1241.83
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39919 0 0 0 124000 183 0 0 25 0 1 0 185978568 151179264 35329 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35329 697 1256 0 35648 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 147636

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1694328/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1301.81
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39921 0 0 0 129991 190 0 0 25 0 1 0 185978568 151179264 35331 1992294400 4194304 9342243 548682068736 18446744073709551615 6504747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35331 697 1256 0 35648 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 147636

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1694264/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1361.79
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39921 0 0 0 135983 196 0 0 25 0 1 0 185978568 151179264 35331 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35331 697 1256 0 35648 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 147636

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1694200/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1421.77
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39941 0 0 0 141974 203 0 0 25 0 1 0 185978568 151179264 35351 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35351 698 1256 0 35648 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 147636

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1694136/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1481.74
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39941 0 0 0 147965 209 0 0 25 0 1 0 185978568 151179264 35351 1992294400 4194304 9342243 548682068736 18446744073709551615 6956390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35351 698 1256 0 35648 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 147636

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1694072/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1541.73
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39941 0 0 0 153956 217 0 0 25 0 1 0 185978568 151179264 35351 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35351 698 1256 0 35648 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 147636

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1693944/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1601.7
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39966 0 0 0 159945 225 0 0 25 0 1 0 185978568 151179264 35376 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35376 698 1256 0 35648 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 147636

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1693944/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1661.68
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39966 0 0 0 165935 233 0 0 25 0 1 0 185978568 151179264 35376 1992294400 4194304 9342243 548682068736 18446744073709551615 6966097 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35376 698 1256 0 35648 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 147636

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1693880/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1721.66
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39966 0 0 0 171924 242 0 0 25 0 1 0 185978568 151179264 35376 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35376 698 1256 0 35648 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 147636

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2895
/proc/meminfo: memFree=1693944/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1781.64
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39966 0 0 0 177914 250 0 0 25 0 1 0 185978568 151179264 35376 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35376 698 1256 0 35648 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 147636

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 2895
/proc/meminfo: memFree=1693944/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1784.84
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39966 0 0 0 178233 251 0 0 25 0 1 0 185978568 151179264 35376 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35376 698 1256 0 35648 0
Current children cumulated CPU time (s) 1784.84
Current children cumulated vsize (KiB) 147636

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2897
/proc/meminfo: memFree=1693624/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1788.04
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39966 0 0 0 178553 251 0 0 25 0 1 0 185978568 151179264 35376 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35376 698 1256 0 35648 0
Current children cumulated CPU time (s) 1788.04
Current children cumulated vsize (KiB) 147636

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2897
/proc/meminfo: memFree=1693624/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1791.23
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39966 0 0 0 178872 251 0 0 25 0 1 0 185978568 151179264 35376 1992294400 4194304 9342243 548682068736 18446744073709551615 6959737 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35376 698 1256 0 35648 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 147636

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2897
/proc/meminfo: memFree=1693624/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1792.84
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39966 0 0 0 179032 252 0 0 25 0 1 0 185978568 151179264 35376 1992294400 4194304 9342243 548682068736 18446744073709551615 6342056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35376 698 1256 0 35648 0
Current children cumulated CPU time (s) 1792.84
Current children cumulated vsize (KiB) 147636

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2897
/proc/meminfo: memFree=1693624/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1793.64
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39966 0 0 0 179112 252 0 0 25 0 1 0 185978568 151179264 35376 1992294400 4194304 9342243 548682068736 18446744073709551615 6962342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35376 698 1256 0 35648 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (KiB) 147636

[startup+1794.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2897
/proc/meminfo: memFree=1693624/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1793.84
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39966 0 0 0 179132 252 0 0 25 0 1 0 185978568 151179264 35376 1992294400 4194304 9342243 548682068736 18446744073709551615 4778493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35376 698 1256 0 35648 0
Current children cumulated CPU time (s) 1793.84
Current children cumulated vsize (KiB) 147636

[startup+1794.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2897
/proc/meminfo: memFree=1693624/2055920 swapFree=4192812/4192956
[pid=2894] ppid=2892 vsize=147636 CPUtime=1793.93
/proc/2894/stat : 2894 (pbscip.linux.x8) R 2892 2894 2685 0 -1 4194304 39967 0 0 0 179141 252 0 0 17 0 1 0 185978568 151179264 35377 1992294400 4194304 9342243 548682068736 18446744073709551615 5855076 0 0 4096 0 0 0 0 17 1 0 0
/proc/2894/statm: 36909 35377 699 1256 0 35648 0
Current children cumulated CPU time (s) 1793.93
Current children cumulated vsize (KiB) 147636

Child status: 0
Real time (s): 1794.67
CPU time (s): 1794.01
CPU user time (s): 1791.46
CPU system time (s): 2.54461
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 156524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.46
system time used= 2.54461
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39970
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= 45
involuntary context switches= 1508

runsolver used 1.45678 second user time and 3.89041 second system time

The end

Launcher Data 

Begin job on node10 at 2009-06-16 22:22:59
IDJOB=1869699
IDBENCH=25012
IDSOLVER=684
FILE ID=node10/1869699-1245183779
PBS_JOBID= 9363937
Free space on /tmp= 65988 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
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.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869699-1245183779/watcher-1869699-1245183779 -o /tmp/evaluation-result-1869699-1245183779/solver-1869699-1245183779 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869699-1245183779.opb

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

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=1090731867

node10.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.263
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.263
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:       1834144 kB
Buffers:         48080 kB
Cached:         107300 kB
SwapCached:          0 kB
Active:          56356 kB
Inactive:       112424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834144 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           12336 kB
Writeback:           0 kB
Mapped:          23232 kB
Slab:            39088 kB
Committed_AS:   184812 kB
PageTables:       1376 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= 65976 MiB
End job on node10 at 2009-06-16 22:52:53