Trace number 2666820

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 NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)24 1801.77 1802.35

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUMd25f6086317f033c233c4700493f03d1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1800.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
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 681
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	24

Watcher Data 

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

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

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/106 11916
/proc/meminfo: memFree=1790292/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=7724 CPUtime=0
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 1012 0 0 0 0 0 0 0 18 0 1 0 5332929 7909376 931 1992294400 4194304 8223781 140734573851184 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11916/statm: 1931 939 348 984 0 944 0

[startup+0.011034 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11916
/proc/meminfo: memFree=1790292/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=8808 CPUtime=0
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 1520 0 0 0 0 0 0 0 18 0 1 0 5332929 9019392 1439 1992294400 4194304 8223781 140734573851184 18446744073709551615 7256585 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11916/statm: 2202 1441 351 984 0 1215 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8808

[startup+0.102024 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11916
/proc/meminfo: memFree=1790292/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=13888 CPUtime=0.09
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 2780 0 0 0 8 1 0 0 20 0 1 0 5332929 14221312 2699 1992294400 4194304 8223781 140734573851184 18446744073709551615 7246881 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11916/statm: 3472 2699 365 984 0 2485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13888

[startup+0.301047 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11916
/proc/meminfo: memFree=1790292/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=20720 CPUtime=0.29
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 4500 0 0 0 28 1 0 0 20 0 1 0 5332929 21217280 4419 1992294400 4194304 8223781 140734573851184 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11916/statm: 5180 4419 365 984 0 4193 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20720

[startup+0.701094 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11916
/proc/meminfo: memFree=1790292/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=52168 CPUtime=0.69
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 12368 0 0 0 63 6 0 0 20 0 1 0 5332929 53420032 11923 1992294400 4194304 8223781 140734573851184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 13042 11923 445 984 0 12055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52168

[startup+1.50019 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11917
/proc/meminfo: memFree=1736592/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=61424 CPUtime=1.49
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 18213 0 0 0 136 13 0 0 23 0 1 0 5332929 62898176 14312 1992294400 4194304 8223781 140734573851184 18446744073709551615 4408919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 15356 14312 474 984 0 14369 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61424

[startup+3.10038 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11917
/proc/meminfo: memFree=1711792/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=90236 CPUtime=3.09
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 26202 0 0 0 291 18 0 0 25 0 1 0 5332929 92401664 20928 1992294400 4194304 8223781 140734573851184 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 22559 20928 547 984 0 21572 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90236

[startup+6.30075 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11917
/proc/meminfo: memFree=1707328/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=91704 CPUtime=6.29
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 29170 0 0 0 608 21 0 0 25 0 1 0 5332929 93904896 21133 1992294400 4194304 8223781 140734573851184 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 22926 21133 550 984 0 21939 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91704

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11917
/proc/meminfo: memFree=1706956/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=92324 CPUtime=12.69
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 32165 0 0 0 1246 23 0 0 25 0 1 0 5332929 94539776 21286 1992294400 4194304 8223781 140734573851184 18446744073709551615 6569946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 23081 21286 551 984 0 22094 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92324

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11917
/proc/meminfo: memFree=1706964/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=92348 CPUtime=25.48
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 36720 0 0 0 2520 28 0 0 25 0 1 0 5332929 94564352 21284 1992294400 4194304 8223781 140734573851184 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 23087 21284 551 984 0 22100 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92348

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11917
/proc/meminfo: memFree=1706592/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=92524 CPUtime=51.07
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 45601 0 0 0 5072 35 0 0 25 0 1 0 5332929 94744576 21406 1992294400 4194304 8223781 140734573851184 18446744073709551615 6569982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 23131 21406 553 984 0 22144 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 92524

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11919
/proc/meminfo: memFree=1694564/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=107500 CPUtime=102.27
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 474095 0 0 0 9999 228 0 0 25 0 1 0 5332929 110080000 24406 1992294400 4194304 8223781 140734573851184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 26875 24406 586 984 0 25888 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 107500

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11921
/proc/meminfo: memFree=1684644/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=162.24
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 840587 0 0 0 15852 372 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6562486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 113024

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11923
/proc/meminfo: memFree=1684644/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=222.22
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 840587 0 0 0 21833 389 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 113024

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11923
/proc/meminfo: memFree=1684520/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=282.2
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 840986 0 0 0 27816 404 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 113024

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11925
/proc/meminfo: memFree=1684520/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=342.18
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 840986 0 0 0 33797 421 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6450707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 113024

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11927
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=402.16
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 842590 0 0 0 39776 440 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6569972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 113024

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11929
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=462.14
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 842590 0 0 0 45756 458 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 113024

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11931
/proc/meminfo: memFree=1684272/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=522.12
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 842590 0 0 0 51741 471 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6612619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 113024

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11931
/proc/meminfo: memFree=1684396/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=582.11
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 846638 0 0 0 57722 489 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6571358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 113024

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11933
/proc/meminfo: memFree=1684272/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=642.09
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 848259 0 0 0 63704 505 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 113024

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11948
/proc/meminfo: memFree=1683652/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=1061.95
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 852761 0 0 0 105584 611 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 113024

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11950
/proc/meminfo: memFree=1683652/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=1121.92
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 852761 0 0 0 111567 625 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 113024

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11950
/proc/meminfo: memFree=1683776/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=1181.91
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 852761 0 0 0 117551 640 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 113024

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11952
/proc/meminfo: memFree=1683776/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=1241.89
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 852761 0 0 0 123535 654 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6250733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 113024

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11954
/proc/meminfo: memFree=1683776/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=1301.87
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 852761 0 0 0 129518 669 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6568120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 113024

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11956
/proc/meminfo: memFree=1683776/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=1361.85
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 853165 0 0 0 135499 686 0 0 25 0 1 0 5332929 115736576 26782 1992294400 4194304 8223781 140734573851184 18446744073709551615 6450702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26782 600 984 0 27269 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 113024

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11958
/proc/meminfo: memFree=1682784/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=114664 CPUtime=1421.84
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 861091 0 0 0 141477 707 0 0 25 0 1 0 5332929 117415936 27185 1992294400 4194304 8223781 140734573851184 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28666 27185 600 984 0 27679 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 114664

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11958
/proc/meminfo: memFree=1682784/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=114704 CPUtime=1481.82
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 861091 0 0 0 147458 724 0 0 25 0 1 0 5332929 117456896 27185 1992294400 4194304 8223781 140734573851184 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28676 27185 600 984 0 27689 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 114704

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11960
/proc/meminfo: memFree=1682660/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=114704 CPUtime=1541.79
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 861091 0 0 0 153439 740 0 0 25 0 1 0 5332929 117456896 27185 1992294400 4194304 8223781 140734573851184 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28676 27185 600 984 0 27689 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 114704

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11962
/proc/meminfo: memFree=1682784/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=114700 CPUtime=1601.78
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 861654 0 0 0 159421 757 0 0 25 0 1 0 5332929 117452800 27185 1992294400 4194304 8223781 140734573851184 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28675 27185 601 984 0 27688 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 114700

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11964
/proc/meminfo: memFree=1682784/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=114700 CPUtime=1661.76
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 861654 0 0 0 165402 774 0 0 25 0 1 0 5332929 117452800 27185 1992294400 4194304 8223781 140734573851184 18446744073709551615 6570085 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28675 27185 601 984 0 27688 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 114700

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11966
/proc/meminfo: memFree=1683652/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=1721.74
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 867492 0 0 0 171382 792 0 0 25 0 1 0 5332929 115736576 26783 1992294400 4194304 8223781 140734573851184 18446744073709551615 6612622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26783 601 984 0 27269 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 113024

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11966
/proc/meminfo: memFree=1681668/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=115564 CPUtime=1781.72
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 877213 0 0 0 177360 812 0 0 25 0 1 0 5332929 118337536 27394 1992294400 4194304 8223781 140734573851184 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28891 27394 601 984 0 27904 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 115564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11968
/proc/meminfo: memFree=1681668/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=115564 CPUtime=1800.04
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 877213 0 0 0 179186 818 0 0 25 0 1 0 5332929 118337536 27394 1992294400 4194304 8223781 140734573851184 18446744073709551615 6568395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28891 27394 601 984 0 27904 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 115564

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11968
/proc/meminfo: memFree=1681668/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=115564 CPUtime=1800.82
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 877213 0 0 0 179264 818 0 0 25 0 1 0 5332929 118337536 27394 1992294400 4194304 8223781 140734573851184 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28891 27394 601 984 0 27904 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 115564

[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11969
/proc/meminfo: memFree=1681660/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=115564 CPUtime=1801.23
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 877213 0 0 0 179305 818 0 0 25 0 1 0 5332929 118337536 27394 1992294400 4194304 8223781 140734573851184 18446744073709551615 6569681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 28891 27394 601 984 0 27904 0
Current children cumulated CPU time (s) 1801.23
Current children cumulated vsize (KiB) 115564

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11969
/proc/meminfo: memFree=1681660/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=113024 CPUtime=1801.62
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 877223 0 0 0 179344 818 0 0 25 0 1 0 5332929 115736576 26783 1992294400 4194304 8223781 140734573851184 18446744073709551615 4966562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11916/statm: 28256 26783 601 984 0 27269 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 113024

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11969
/proc/meminfo: memFree=1681660/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=98620 CPUtime=1801.72
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 11111 0 -1 4202496 877225 0 0 0 179354 818 0 0 25 0 1 0 5332929 100986880 23186 1992294400 4194304 8223781 140734573851184 18446744073709551615 6207248 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11916/statm: 24655 23186 603 984 0 23668 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 98620

Child status: 0
Real time (s): 1802.35
CPU time (s): 1801.77
CPU user time (s): 1793.57
CPU system time (s): 8.20075
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 152168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.57
system time used= 8.20075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 877229
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= 2
involuntary context switches= 4005

runsolver used 3.09753 second user time and 8.39572 second system time

The end

Launcher Data 

Begin job on node033 at 2010-06-16 00:19:38
IDJOB=2666820
IDBENCH=25015
IDSOLVER=1169
FILE ID=node033/2666820-1276640378
PBS_JOBID= 11172365
Free space on /tmp= 62588 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666820-1276640378/watcher-2666820-1276640378 -o /tmp/evaluation-result-2666820-1276640378/solver-2666820-1276640378 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666820-1276640378.opb -t 1800 -m 1800

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

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=1342673388

node033.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1790944 kB
Buffers:         15712 kB
Cached:         127124 kB
SwapCached:          0 kB
Active:          77192 kB
Inactive:       125640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1790944 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5096 kB
Writeback:           0 kB
AnonPages:       59940 kB
Mapped:          15292 kB
Slab:            43476 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181436 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62584 MiB
End job on node033 at 2010-06-16 00:49:41