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