Trace number 3735981

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT26 1789.79 1790.07

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	26

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17531
/proc/meminfo: memFree=25759124/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 1226 0 0 0 0 0 0 0 20 0 1 0 336735577 8101888 1172 33554432000 4194304 8395647 140736019022880 140736208825768 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 1978 1182 368 1026 0 948 0

[startup+0.032264 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17531
/proc/meminfo: memFree=25759124/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=14496 CPUtime=0.02 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 2882 0 0 0 2 0 0 0 20 0 1 0 336735577 14843904 2828 33554432000 4194304 8395647 140736019022880 140736208825768 7382066 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 3624 2828 393 1026 0 2594 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14496

[startup+0.100188 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17531
/proc/meminfo: memFree=25759124/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=20868 CPUtime=0.09 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 4459 0 0 0 9 0 0 0 20 0 1 0 336735577 21368832 4405 33554432000 4194304 8395647 140736019022880 140736208825768 6765685 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 5217 4405 393 1026 0 4187 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20868

[startup+0.300242 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17531
/proc/meminfo: memFree=25759124/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=59292 CPUtime=0.29 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 14883 0 0 0 27 2 0 0 20 0 1 0 336735577 60715008 13720 33554432000 4194304 8395647 140736019022880 140736019019112 4217669 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 14823 13720 484 1026 0 13793 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59292

[startup+0.700263 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17531
/proc/meminfo: memFree=25759124/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=63356 CPUtime=0.69 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 15945 0 0 0 67 2 0 0 20 0 1 0 336735577 64876544 14782 33554432000 4194304 8395647 140736019022880 140736019019976 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 15839 14782 508 1026 0 14809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63356

[startup+1.50017 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17532
/proc/meminfo: memFree=25679500/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=93556 CPUtime=1.49 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 23010 0 0 0 146 3 0 0 20 0 1 0 336735577 95801344 21610 33554432000 4194304 8395647 140736019022880 140736019018008 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 23389 21610 584 1026 0 22359 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93556

[startup+3.1002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17532
/proc/meminfo: memFree=25673656/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=95668 CPUtime=3.09 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 23947 0 0 0 305 4 0 0 20 0 1 0 336735577 97964032 22484 33554432000 4194304 8395647 140736019022880 140736019018008 6708493 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 23917 22484 590 1026 0 22887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95668

[startup+6.30024 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17532
/proc/meminfo: memFree=25671004/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=95668 CPUtime=6.29 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 23979 0 0 0 625 4 0 0 20 0 1 0 336735577 97964032 22516 33554432000 4194304 8395647 140736019022880 140736019017448 6708580 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 23917 22516 590 1026 0 22887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95668

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17532
/proc/meminfo: memFree=25670268/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=95668 CPUtime=12.68 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 24017 0 0 0 1264 4 0 0 20 0 1 0 336735577 97964032 22565 33554432000 4194304 8395647 140736019022880 140736019017400 6708025 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 23917 22565 590 1026 0 22887 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 95668

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17532
/proc/meminfo: memFree=25674232/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=93660 CPUtime=25.48 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 24340 0 0 0 2542 6 0 0 20 0 1 0 336735577 95907840 21807 33554432000 4194304 8395647 140736019022880 140736019018120 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 23415 21807 600 1026 0 22385 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93660

[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17532
/proc/meminfo: memFree=25615968/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=51.07 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38509 0 0 0 5090 17 0 0 20 0 1 0 336735577 153899008 36382 33554432000 4194304 8395647 140736019022880 140736019018072 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 36382 636 1026 0 36543 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 150292

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17532
/proc/meminfo: memFree=25612872/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=102.27 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38761 0 0 0 10202 25 0 0 20 0 1 0 336735577 153899008 37047 33554432000 4194304 8395647 140736019022880 140736019017752 6514058 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37047 636 1026 0 36543 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 150292

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17535
/proc/meminfo: memFree=25613304/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=162.25 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38761 0 0 0 16192 33 0 0 20 0 1 0 336735577 153899008 37047 33554432000 4194304 8395647 140736019022880 140736019018088 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37047 636 1026 0 36543 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 150292

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17535
/proc/meminfo: memFree=25613564/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=222.24 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38761 0 0 0 22185 39 0 0 20 0 1 0 336735577 153899008 37047 33554432000 4194304 8395647 140736019022880 140736019018440 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37047 636 1026 0 36543 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 150292

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17536
/proc/meminfo: memFree=25613564/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=282.23 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38761 0 0 0 28176 47 0 0 20 0 1 0 336735577 153899008 37047 33554432000 4194304 8395647 140736019022880 140736019018440 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37047 636 1026 0 36543 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 150292

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17536
/proc/meminfo: memFree=25613196/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=342.23 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38761 0 0 0 34165 58 0 0 20 0 1 0 336735577 153899008 37047 33554432000 4194304 8395647 140736019022880 140736019018440 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37047 636 1026 0 36543 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 150292

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17536
/proc/meminfo: memFree=25613444/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=402.22 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38761 0 0 0 40155 67 0 0 20 0 1 0 336735577 153899008 37047 33554432000 4194304 8395647 140736019022880 140736019018392 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37047 636 1026 0 36543 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 150292

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17536
/proc/meminfo: memFree=25613320/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=462.21 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38763 0 0 0 46147 74 0 0 20 0 1 0 336735577 153899008 37049 33554432000 4194304 8395647 140736019022880 140736019018120 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37049 638 1026 0 36543 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 150292

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17536
/proc/meminfo: memFree=25613444/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=522.21 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38763 0 0 0 52138 83 0 0 20 0 1 0 336735577 153899008 37049 33554432000 4194304 8395647 140736019022880 140736019018456 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37049 638 1026 0 36543 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 150292

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17537
/proc/meminfo: memFree=25613444/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=582.2 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38763 0 0 0 58129 91 0 0 20 0 1 0 336735577 153899008 37049 33554432000 4194304 8395647 140736019022880 140736019018408 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37049 638 1026 0 36543 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 150292

[startup+642.3 s]

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

/proc/meminfo: memFree=25818284/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1062.12 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 106055 157 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018440 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 150292

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17830
/proc/meminfo: memFree=25813288/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1122.11 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 112045 166 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019017752 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 150292

[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 17831
/proc/meminfo: memFree=25812732/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1182.1 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 118034 176 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018392 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 150292

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17831
/proc/meminfo: memFree=25805644/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1242.09 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 124024 185 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018120 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 150292

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17831
/proc/meminfo: memFree=25774268/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1302.09 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 130016 193 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018008 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 150292

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17834
/proc/meminfo: memFree=25772208/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1362.08 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 136007 201 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018440 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 150292

[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 17834
/proc/meminfo: memFree=25769056/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1422.07 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 141997 210 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018344 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 150292

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 17834
/proc/meminfo: memFree=25767728/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1482.05 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 147987 218 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018008 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 150292

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17835
/proc/meminfo: memFree=25758792/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1542.05 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 153978 227 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018104 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 150292

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17835
/proc/meminfo: memFree=25758320/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1602.04 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 159970 234 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018344 6708187 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 150292

[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 17873
/proc/meminfo: memFree=26866536/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1662.03 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 165960 243 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018120 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 150292

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 17873
/proc/meminfo: memFree=26857940/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1722.02 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 171952 250 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018104 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 150292

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 17873
/proc/meminfo: memFree=26857064/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1782.01 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 177941 260 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019017384 6693721 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 150292

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

[startup+1785.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 17873
/proc/meminfo: memFree=26857072/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1785.21 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 178261 260 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018104 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 150292

[startup+1787.1 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 17873
/proc/meminfo: memFree=26857196/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1786.81 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 178421 260 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018104 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1786.81
Current children cumulated vsize (KiB) 150292

[startup+1788.7 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 17874
/proc/meminfo: memFree=26857188/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1788.41 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 178581 260 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018440 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 150292

[startup+1789.5 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 17874
/proc/meminfo: memFree=26857188/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1789.21 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 178660 261 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018104 6616242 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1789.21
Current children cumulated vsize (KiB) 150292

[startup+1789.9 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 17874
/proc/meminfo: memFree=26856804/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1789.61 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 178700 261 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019018104 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 150292

[startup+1790 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 17874
/proc/meminfo: memFree=26856804/32873660 swapFree=7120/7120
[pid=17531] ppid=17529 vsize=150292 CPUtime=1789.71 cores=1,3,5,7
/proc/17531/stat : 17531 (pbscip.linux.x8) R 17529 17531 13836 0 -1 4202496 38764 0 0 0 178710 261 0 0 20 0 1 0 336735577 153899008 37050 33554432000 4194304 8395647 140736019022880 140736019017384 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/17531/statm: 37573 37050 639 1026 0 36543 0
Current children cumulated CPU time (s) 1789.71
Current children cumulated vsize (KiB) 150292

Child status: 0
Real time (s): 1790.07
CPU time (s): 1789.79
CPU user time (s): 1787.17
CPU system time (s): 2.6196
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 150292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.17
system time used= 2.6196
maximum resident set size= 148208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38769
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= 15
involuntary context switches= 2616

runsolver used 3.21951 second user time and 8.24775 second system time

The end

Launcher Data

Begin job on node117 at 2012-06-03 08:48:18
IDJOB=3735981
IDBENCH=25012
IDSOLVER=2326
FILE ID=node117/3735981-1338706098
RUNJOBID= node117-1338678620-13856
PBS_JOBID= 14636696
Free space on /tmp= 69068 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 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_3.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-3735981-1338706098/watcher-3735981-1338706098 -o /tmp/evaluation-result-3735981-1338706098/solver-3735981-1338706098 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3735981-1338706098.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=2020493433

node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        25759504 kB
Buffers:          613356 kB
Cached:          4180048 kB
SwapCached:          776 kB
Active:          3746248 kB
Inactive:        2452484 kB
Active(anon):    1391476 kB
Inactive(anon):     9972 kB
Active(file):    2354772 kB
Inactive(file):  2442512 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:             10880 kB
Writeback:            52 kB
AnonPages:       1405444 kB
Mapped:            14696 kB
Shmem:                80 kB
Slab:             776720 kB
SReclaimable:     220884 kB
SUnreclaim:       555836 kB
KernelStack:        1440 kB
PageTables:         6816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:    1520244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1320960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69100 MiB
End job on node117 at 2012-06-03 09:18:08