Trace number 2703386

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT28 1789.75 1790.21

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	28

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 27338
/proc/meminfo: memFree=1750272/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=7904 CPUtime=0
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 1039 0 0 0 0 0 0 0 17 0 1 0 24603703 8093696 951 1992294400 4194304 8395647 140735712163760 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27338/statm: 1976 960 365 1026 0 946 0

[startup+0.0114231 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 27338
/proc/meminfo: memFree=1750272/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=9964 CPUtime=0
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 1615 0 0 0 0 0 0 0 17 0 1 0 24603703 10203136 1528 1992294400 4194304 8395647 140735712163760 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27338/statm: 2491 1538 374 1026 0 1461 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9964

[startup+0.101429 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 27338
/proc/meminfo: memFree=1750272/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=16292 CPUtime=0.09
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 3350 0 0 0 8 1 0 0 17 0 1 0 24603703 16683008 3262 1992294400 4194304 8395647 140735712163760 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27338/statm: 4073 3262 393 1026 0 3043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16292

[startup+0.301447 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 27338
/proc/meminfo: memFree=1750272/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=23020 CPUtime=0.3
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 5029 0 0 0 28 2 0 0 17 0 1 0 24603703 23572480 4941 1992294400 4194304 8395647 140735712163760 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27338/statm: 5755 4941 393 1026 0 4725 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 23020

[startup+0.701483 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 27338
/proc/meminfo: memFree=1750272/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=54652 CPUtime=0.69
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 13735 0 0 0 65 4 0 0 17 0 1 0 24603703 55963648 12539 1992294400 4194304 8395647 140735712163760 18446744073709551615 4684086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 13663 12539 479 1026 0 12633 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54652

[startup+1.50155 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27339
/proc/meminfo: memFree=1692852/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=63348 CPUtime=1.49
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 15983 0 0 0 144 5 0 0 18 0 1 0 24603703 64868352 14786 1992294400 4194304 8395647 140735712163760 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 15837 14786 508 1026 0 14807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63348

[startup+3.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27339
/proc/meminfo: memFree=1692232/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=63348 CPUtime=3.09
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 15983 0 0 0 304 5 0 0 21 0 1 0 24603703 64868352 14786 1992294400 4194304 8395647 140735712163760 18446744073709551615 5608296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 15837 14786 508 1026 0 14807 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63348

[startup+6.30099 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27339
/proc/meminfo: memFree=1665324/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=94316 CPUtime=6.29
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 23185 0 0 0 619 10 0 0 25 0 1 0 24603703 96579584 21809 1992294400 4194304 8395647 140735712163760 18446744073709551615 6667522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 23579 21809 641 1026 0 22549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94316

[startup+12.7016 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27339
/proc/meminfo: memFree=1661852/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=95660 CPUtime=12.69
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 23982 0 0 0 1258 11 0 0 25 0 1 0 24603703 97955840 22519 1992294400 4194304 8395647 140735712163760 18446744073709551615 6502406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 23915 22519 623 1026 0 22885 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95660

[startup+25.5007 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27341
/proc/meminfo: memFree=1661604/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=95660 CPUtime=25.49
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 24035 0 0 0 2536 13 0 0 25 0 1 0 24603703 97955840 22570 1992294400 4194304 8395647 140735712163760 18446744073709551615 6708416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 23915 22570 621 1026 0 22885 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95660

[startup+51.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27341
/proc/meminfo: memFree=1661480/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=95660 CPUtime=51.06
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 24059 0 0 0 5090 16 0 0 25 0 1 0 24603703 97955840 22592 1992294400 4194304 8395647 140735712163760 18446744073709551615 6708014 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 23915 22592 627 1026 0 22885 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 95660

[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27343
/proc/meminfo: memFree=1665820/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=93652 CPUtime=102.26
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 24383 0 0 0 10196 30 0 0 25 0 1 0 24603703 95899648 21486 1992294400 4194304 8395647 140735712163760 18446744073709551615 6124483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 23413 21486 609 1026 0 22383 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 93652

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27343
/proc/meminfo: memFree=1609400/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=162.24
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38553 0 0 0 16158 66 0 0 25 0 1 0 24603703 153890816 35605 1992294400 4194304 8395647 140735712163760 18446744073709551615 6197823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35605 648 1026 0 36541 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 150284

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27345
/proc/meminfo: memFree=1608408/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=222.23
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38805 0 0 0 22139 84 0 0 25 0 1 0 24603703 153890816 35857 1992294400 4194304 8395647 140735712163760 18446744073709551615 6670396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35857 648 1026 0 36541 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 150284

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27347
/proc/meminfo: memFree=1608284/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=282.21
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38838 0 0 0 28120 101 0 0 25 0 1 0 24603703 153890816 35890 1992294400 4194304 8395647 140735712163760 18446744073709551615 6585880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35890 648 1026 0 36541 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 150284

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27349
/proc/meminfo: memFree=1608284/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=342.19
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38838 0 0 0 34100 119 0 0 25 0 1 0 24603703 153890816 35890 1992294400 4194304 8395647 140735712163760 18446744073709551615 6698030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35890 648 1026 0 36541 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 150284

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27351
/proc/meminfo: memFree=1608284/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=402.18
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38838 0 0 0 40081 137 0 0 25 0 1 0 24603703 153890816 35890 1992294400 4194304 8395647 140735712163760 18446744073709551615 6587234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35890 648 1026 0 36541 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 150284

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27351
/proc/meminfo: memFree=1608284/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=462.16
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38838 0 0 0 46060 156 0 0 25 0 1 0 24603703 153890816 35890 1992294400 4194304 8395647 140735712163760 18446744073709551615 6693682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35890 648 1026 0 36541 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 150284

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27353
/proc/meminfo: memFree=1608284/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=522.16
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38838 0 0 0 52043 173 0 0 25 0 1 0 24603703 153890816 35890 1992294400 4194304 8395647 140735712163760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35890 648 1026 0 36541 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 150284

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27355
/proc/meminfo: memFree=1607980/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=582.14
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38838 0 0 0 58021 193 0 0 25 0 1 0 24603703 153890816 35890 1992294400 4194304 8395647 140735712163760 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35890 648 1026 0 36541 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 150284

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27357
/proc/meminfo: memFree=1607980/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=642.13
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38838 0 0 0 64000 213 0 0 25 0 1 0 24603703 153890816 35890 1992294400 4194304 8395647 140735712163760 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35890 648 1026 0 36541 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 150284

[startup+702.301 s]

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

/proc/meminfo: memFree=1607608/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1062.02
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38838 0 0 0 105858 344 0 0 25 0 1 0 24603703 153890816 35890 1992294400 4194304 8395647 140735712163760 18446744073709551615 6697279 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35890 648 1026 0 36541 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 150284

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27369
/proc/meminfo: memFree=1607484/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1122
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38838 0 0 0 111840 360 0 0 25 0 1 0 24603703 153890816 35890 1992294400 4194304 8395647 140735712163760 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35890 648 1026 0 36541 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 150284

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27371
/proc/meminfo: memFree=1607484/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1181.99
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38839 0 0 0 117820 379 0 0 25 0 1 0 24603703 153890816 35891 1992294400 4194304 8395647 140735712163760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35891 648 1026 0 36541 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 150284

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27373
/proc/meminfo: memFree=1607360/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1241.98
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38839 0 0 0 123804 394 0 0 25 0 1 0 24603703 153890816 35891 1992294400 4194304 8395647 140735712163760 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35891 648 1026 0 36541 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 150284

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27384
/proc/meminfo: memFree=1606492/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1301.96
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38839 0 0 0 129787 409 0 0 25 0 1 0 24603703 153890816 35891 1992294400 4194304 8395647 140735712163760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35891 648 1026 0 36541 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 150284

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27384
/proc/meminfo: memFree=1606492/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1361.94
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38839 0 0 0 135768 426 0 0 25 0 1 0 24603703 153890816 35891 1992294400 4194304 8395647 140735712163760 18446744073709551615 6746211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35891 648 1026 0 36541 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 150284

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 27386
/proc/meminfo: memFree=1606492/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1421.93
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38839 0 0 0 141749 444 0 0 25 0 1 0 24603703 153890816 35891 1992294400 4194304 8395647 140735712163760 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35891 648 1026 0 36541 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 150284

[startup+1482.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/107 27388
/proc/meminfo: memFree=1606492/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1481.91
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38839 0 0 0 147729 462 0 0 25 0 1 0 24603703 153890816 35891 1992294400 4194304 8395647 140735712163760 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35891 648 1026 0 36541 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 150284

[startup+1542.3 s]
/proc/loadavg: 1.08 1.01 1.00 2/107 27390
/proc/meminfo: memFree=1606616/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1541.89
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38841 0 0 0 153708 481 0 0 25 0 1 0 24603703 153890816 35893 1992294400 4194304 8395647 140735712163760 18446744073709551615 7382036 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35893 650 1026 0 36541 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 150284

[startup+1602.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 27392
/proc/meminfo: memFree=1606616/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1601.88
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38841 0 0 0 159687 501 0 0 25 0 1 0 24603703 153890816 35893 1992294400 4194304 8395647 140735712163760 18446744073709551615 6390512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35893 650 1026 0 36541 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 150284

[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 27392
/proc/meminfo: memFree=1606740/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1661.86
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38841 0 0 0 165664 522 0 0 25 0 1 0 24603703 153890816 35893 1992294400 4194304 8395647 140735712163760 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35893 650 1026 0 36541 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 150284

[startup+1722.3 s]
/proc/loadavg: 1.14 1.06 1.01 2/107 27394
/proc/meminfo: memFree=1606740/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1721.85
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38841 0 0 0 171646 539 0 0 25 0 1 0 24603703 153890816 35893 1992294400 4194304 8395647 140735712163760 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35893 650 1026 0 36541 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 150284

[startup+1782.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 27396
/proc/meminfo: memFree=1606616/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1781.83
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38841 0 0 0 177626 557 0 0 25 0 1 0 24603703 153890816 35893 1992294400 4194304 8395647 140735712163760 18446744073709551615 6502788 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35893 650 1026 0 36541 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 150284

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

[startup+1785.5 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 27396
/proc/meminfo: memFree=1606616/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1785.03
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38841 0 0 0 177945 558 0 0 25 0 1 0 24603703 153890816 35893 1992294400 4194304 8395647 140735712163760 18446744073709551615 6702012 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35893 650 1026 0 36541 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 150284

[startup+1788.7 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 27396
/proc/meminfo: memFree=1606616/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1788.23
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38841 0 0 0 178264 559 0 0 25 0 1 0 24603703 153890816 35893 1992294400 4194304 8395647 140735712163760 18446744073709551615 6667516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35893 650 1026 0 36541 0
Current children cumulated CPU time (s) 1788.23
Current children cumulated vsize (KiB) 150284

[startup+1789.5 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 27396
/proc/meminfo: memFree=1606616/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1789.03
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38841 0 0 0 178344 559 0 0 25 0 1 0 24603703 153890816 35893 1992294400 4194304 8395647 140735712163760 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35893 650 1026 0 36541 0
Current children cumulated CPU time (s) 1789.03
Current children cumulated vsize (KiB) 150284

[startup+1789.9 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 27396
/proc/meminfo: memFree=1606616/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1789.44
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38841 0 0 0 178384 560 0 0 25 0 1 0 24603703 153890816 35893 1992294400 4194304 8395647 140735712163760 18446744073709551615 6390501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35893 650 1026 0 36541 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (KiB) 150284

[startup+1790.1 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 27396
/proc/meminfo: memFree=1606616/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=150284 CPUtime=1789.64
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38843 0 0 0 178404 560 0 0 25 0 1 0 24603703 153890816 35895 1992294400 4194304 8395647 140735712163760 18446744073709551615 6150528 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27338/statm: 37571 35895 652 1026 0 36541 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (KiB) 150284

[startup+1790.2 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 27396
/proc/meminfo: memFree=1606616/2059040 swapFree=4147816/4192956
[pid=27338] ppid=27336 vsize=75208 CPUtime=1789.73
/proc/27338/stat : 27338 (pbscip.linux.x8) R 27336 27338 27235 0 -1 4202496 38843 0 0 0 178412 561 0 0 25 0 1 0 24603703 77012992 11975 1992294400 4194304 8395647 140735712163760 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27338/statm: 12718 11975 644 1026 0 11688 0
Current children cumulated CPU time (s) 1789.73
Current children cumulated vsize (KiB) 75208

Child status: 0
Real time (s): 1790.21
CPU time (s): 1789.75
CPU user time (s): 1784.13
CPU system time (s): 5.61915
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 150284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.13
system time used= 5.61914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38846
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= 3
involuntary context switches= 4505

runsolver used 3.05553 second user time and 8.35473 second system time

The end

Launcher Data 

Begin job on node051 at 2010-07-08 06:39:30
IDJOB=2703386
IDBENCH=25012
IDSOLVER=1213
FILE ID=node051/2703386-1278563970
PBS_JOBID= 11239585
Free space on /tmp= 62520 MiB

SOLVER NAME= 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-2703386-1278563970/watcher-2703386-1278563970 -o /tmp/evaluation-result-2703386-1278563970/solver-2703386-1278563970 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703386-1278563970.opb -t 1800 -m 1800

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

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=376946215

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1750800 kB
Buffers:         63520 kB
Cached:         151036 kB
SwapCached:       4888 kB
Active:         113672 kB
Inactive:       120596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1750800 kB
SwapTotal:     4192956 kB
SwapFree:      4147816 kB
Dirty:           10948 kB
Writeback:           0 kB
AnonPages:       15984 kB
Mapped:          12060 kB
Slab:            52116 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181308 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62508 MiB
End job on node051 at 2010-07-08 07:09:20