Trace number 1868883

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2SAT96 1794.41 1795.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark97
Best CPU time to get the best result obtained on this benchmark1794.89
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
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 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	96

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 7657
/proc/meminfo: memFree=1919008/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=5812 CPUtime=0
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 67576084 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/7657/statm: 1453 515 344 1256 0 192 0

[startup+0.053194 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 7657
/proc/meminfo: memFree=1919008/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=15044 CPUtime=0.04
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 2778 0 0 0 4 0 0 0 18 0 1 0 67576084 15405056 2762 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/7657/statm: 3761 2762 378 1256 0 2500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15044

[startup+0.101202 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 7657
/proc/meminfo: memFree=1919008/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=15992 CPUtime=0.09
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 2997 0 0 0 9 0 0 0 18 0 1 0 67576084 16375808 2981 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/7657/statm: 3998 2981 378 1256 0 2737 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15992

[startup+0.301243 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 7657
/proc/meminfo: memFree=1919008/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=36024 CPUtime=0.29
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 8167 0 0 0 27 2 0 0 19 0 1 0 67576084 36888576 7797 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 9006 7797 454 1256 0 7745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36024

[startup+0.701322 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 7657
/proc/meminfo: memFree=1919008/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=58860 CPUtime=0.69
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 13619 0 0 0 65 4 0 0 22 0 1 0 67576084 60272640 13236 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 14715 13236 601 1256 0 13454 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58860

[startup+1.50148 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1866712/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=60508 CPUtime=1.49
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 14177 0 0 0 144 5 0 0 25 0 1 0 67576084 61960192 13791 1992294400 4194304 9342243 548682068736 18446744073709551615 6978128 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 15127 13791 610 1256 0 13866 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60508

[startup+3.1018 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1865688/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=60924 CPUtime=3.09
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 14379 0 0 0 304 5 0 0 25 0 1 0 67576084 62386176 13993 1992294400 4194304 9342243 548682068736 18446744073709551615 6960322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 15231 13993 611 1256 0 13970 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60924

[startup+6.30144 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1864408/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=61172 CPUtime=6.29
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 15082 0 0 0 623 6 0 0 25 0 1 0 67576084 62640128 13826 1992294400 4194304 9342243 548682068736 18446744073709551615 6039835 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 15293 13826 611 1256 0 14032 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61172

[startup+12.7017 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1864472/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=99640 CPUtime=12.69
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 26875 0 0 0 1256 13 0 0 25 0 1 0 67576084 102031360 23088 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 24910 23088 657 1256 0 23649 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99640

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1818520/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=110156 CPUtime=25.48
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 29502 0 0 0 2531 17 0 0 25 0 1 0 67576084 112799744 25712 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 27539 25712 678 1256 0 26278 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 110156

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1817240/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=111204 CPUtime=51.08
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 29849 0 0 0 5083 25 0 0 25 0 1 0 67576084 113872896 26059 1992294400 4194304 9342243 548682068736 18446744073709551615 6081563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 27801 26059 678 1256 0 26540 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 111204

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1816856/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=111460 CPUtime=102.26
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 29919 0 0 0 10185 41 0 0 25 0 1 0 67576084 114135040 26129 1992294400 4194304 9342243 548682068736 18446744073709551615 6922716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 27865 26129 678 1256 0 26604 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 111460

[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1861848/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=67508 CPUtime=162.24
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 40576 0 0 0 16164 60 0 0 25 0 1 0 67576084 69128192 14885 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 16877 14885 689 1256 0 15616 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 67508

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1852696/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=74880 CPUtime=222.22
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 53351 0 0 0 22148 74 0 0 25 0 1 0 67576084 76677120 17161 1992294400 4194304 9342243 548682068736 18446744073709551615 6040613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 18720 17161 689 1256 0 17459 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 74880

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1851416/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=78456 CPUtime=282.19
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 62020 0 0 0 28134 85 0 0 25 0 1 0 67576084 80338944 17491 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19614 17491 689 1256 0 18353 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 78456

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1851416/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=75024 CPUtime=342.17
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 66604 0 0 0 34124 93 0 0 25 0 1 0 67576084 76824576 17438 1992294400 4194304 9342243 548682068736 18446744073709551615 6039845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 18756 17438 689 1256 0 17495 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 75024

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1850456/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=79044 CPUtime=402.16
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 72609 0 0 0 40113 103 0 0 25 0 1 0 67576084 80941056 17724 1992294400 4194304 9342243 548682068736 18446744073709551615 6039827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19761 17724 689 1256 0 18500 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 79044

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1850904/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=78076 CPUtime=462.13
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 81484 0 0 0 46098 115 0 0 25 0 1 0 67576084 79949824 17673 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19519 17558 690 1256 0 18258 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 78076

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1850456/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76520 CPUtime=522.11
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 85549 0 0 0 52089 122 0 0 25 0 1 0 67576084 78356480 17730 1992294400 4194304 9342243 548682068736 18446744073709551615 6922891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19130 17730 690 1256 0 17869 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 76520

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1849944/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76004 CPUtime=582.08
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 93270 0 0 0 58075 133 0 0 25 0 1 0 67576084 77828096 17789 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19001 17789 690 1256 0 17740 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 76004

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1849752/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=79076 CPUtime=642.07
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 100866 0 0 0 64060 147 0 0 25 0 1 0 67576084 80973824 17875 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19769 17875 690 1256 0 18508 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 79076

[startup+702.302 s]

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

/proc/meminfo: memFree=1849112/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76532 CPUtime=1121.9
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 114947 0 0 0 111972 218 0 0 25 0 1 0 67576084 78368768 17908 1992294400 4194304 9342243 548682068736 18446744073709551615 6039862 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19133 17908 690 1256 0 17872 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 76532

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7658
/proc/meminfo: memFree=1849112/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76532 CPUtime=1181.88
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 116628 0 0 0 117960 228 0 0 25 0 1 0 67576084 78368768 17906 1992294400 4194304 9342243 548682068736 18446744073709551615 6039862 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19133 17906 690 1256 0 17872 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 76532

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7660
/proc/meminfo: memFree=1848920/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=79604 CPUtime=1241.85
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 118888 0 0 0 123948 237 0 0 25 0 1 0 67576084 81514496 17933 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19901 17933 690 1256 0 18640 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 79604

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7660
/proc/meminfo: memFree=1849048/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=77028 CPUtime=1301.84
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 119204 0 0 0 129939 245 0 0 25 0 1 0 67576084 78876672 17879 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19257 17879 690 1256 0 17996 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 77028

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7660
/proc/meminfo: memFree=1848984/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=77028 CPUtime=1361.81
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 120030 0 0 0 135928 253 0 0 25 0 1 0 67576084 78876672 17880 1992294400 4194304 9342243 548682068736 18446744073709551615 6039824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19257 17880 690 1256 0 17996 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 77028

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7660
/proc/meminfo: memFree=1848984/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76500 CPUtime=1421.79
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 120807 0 0 0 141919 260 0 0 25 0 1 0 67576084 78336000 17866 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19125 17866 690 1256 0 17864 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 76500

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7660
/proc/meminfo: memFree=1848984/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=77000 CPUtime=1481.77
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 121593 0 0 0 147909 268 0 0 25 0 1 0 67576084 78848000 17876 1992294400 4194304 9342243 548682068736 18446744073709551615 6085136 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19250 17876 690 1256 0 17989 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 77000

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7660
/proc/meminfo: memFree=1848920/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=79496 CPUtime=1541.75
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 123947 0 0 0 153899 276 0 0 25 0 1 0 67576084 81403904 17927 1992294400 4194304 9342243 548682068736 18446744073709551615 6341732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19874 17927 690 1256 0 18613 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 79496

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7660
/proc/meminfo: memFree=1848984/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76532 CPUtime=1601.73
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 127983 0 0 0 159888 285 0 0 25 0 1 0 67576084 78368768 17864 1992294400 4194304 9342243 548682068736 18446744073709551615 6887664 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19133 17864 690 1256 0 17872 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 76532

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7666
/proc/meminfo: memFree=1848912/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76504 CPUtime=1661.7
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 130281 0 0 0 165877 293 0 0 25 0 1 0 67576084 78340096 17864 1992294400 4194304 9342243 548682068736 18446744073709551615 6039845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19126 17864 690 1256 0 17865 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 76504

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7666
/proc/meminfo: memFree=1848720/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=79600 CPUtime=1721.68
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 131335 0 0 0 171866 302 0 0 25 0 1 0 67576084 81510400 17947 1992294400 4194304 9342243 548682068736 18446744073709551615 6039852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19900 17947 690 1256 0 18639 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 79600

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7666
/proc/meminfo: memFree=1848784/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76992 CPUtime=1781.66
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 132465 0 0 0 177858 308 0 0 25 0 1 0 67576084 78839808 17908 1992294400 4194304 9342243 548682068736 18446744073709551615 6938980 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19248 17908 690 1256 0 17987 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 76992

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

[startup+1785.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7666
/proc/meminfo: memFree=1848784/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76992 CPUtime=1784.85
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 132468 0 0 0 178177 308 0 0 25 0 1 0 67576084 78839808 17911 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19248 17911 690 1256 0 17987 0
Current children cumulated CPU time (s) 1784.85
Current children cumulated vsize (KiB) 76992

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7666
/proc/meminfo: memFree=1848656/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=79568 CPUtime=1791.26
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 133128 0 0 0 178816 310 0 0 25 0 1 0 67576084 81477632 17947 1992294400 4194304 9342243 548682068736 18446744073709551615 6039856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19892 17947 690 1256 0 18631 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 79568

[startup+1793.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7666
/proc/meminfo: memFree=1848784/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76516 CPUtime=1792.85
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 133205 0 0 0 178975 310 0 0 25 0 1 0 67576084 78352384 17878 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19129 17878 690 1256 0 17868 0
Current children cumulated CPU time (s) 1792.85
Current children cumulated vsize (KiB) 76516

[startup+1794.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7666
/proc/meminfo: memFree=1848784/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76516 CPUtime=1793.65
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 133206 0 0 0 179055 310 0 0 25 0 1 0 67576084 78352384 17879 1992294400 4194304 9342243 548682068736 18446744073709551615 6039789 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19129 17879 690 1256 0 17868 0
Current children cumulated CPU time (s) 1793.65
Current children cumulated vsize (KiB) 76516

[startup+1794.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7666
/proc/meminfo: memFree=1848784/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76516 CPUtime=1794.05
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 133208 0 0 0 179095 310 0 0 25 0 1 0 67576084 78352384 17881 1992294400 4194304 9342243 548682068736 18446744073709551615 5852099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19129 17881 690 1256 0 17868 0
Current children cumulated CPU time (s) 1794.05
Current children cumulated vsize (KiB) 76516

[startup+1794.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7666
/proc/meminfo: memFree=1848784/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76516 CPUtime=1794.25
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 133209 0 0 0 179115 310 0 0 25 0 1 0 67576084 78352384 17882 1992294400 4194304 9342243 548682068736 18446744073709551615 6363263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7657/statm: 19129 17882 690 1256 0 17868 0
Current children cumulated CPU time (s) 1794.25
Current children cumulated vsize (KiB) 76516

[startup+1795 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7666
/proc/meminfo: memFree=1848784/2055920 swapFree=4191900/4192956
[pid=7657] ppid=7655 vsize=76516 CPUtime=1794.35
/proc/7657/stat : 7657 (pbscip.linux.x8) R 7655 7657 7522 0 -1 4194304 133211 0 0 0 179125 310 0 0 17 0 1 0 67576084 78352384 17883 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/7657/statm: 19129 17883 691 1256 0 17868 0
Current children cumulated CPU time (s) 1794.35
Current children cumulated vsize (KiB) 76516

Child status: 0
Real time (s): 1795.05
CPU time (s): 1794.41
CPU user time (s): 1791.29
CPU system time (s): 3.11952
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 111460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.29
system time used= 3.11952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133214
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= 47
involuntary context switches= 3408

runsolver used 1.39179 second user time and 3.9604 second system time

The end

Launcher Data 

Begin job on node33 at 2009-06-16 12:33:51
IDJOB=1868883
IDBENCH=2042
IDSOLVER=684
FILE ID=node33/1868883-1245148431
PBS_JOBID= 9363741
Free space on /tmp= 65952 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868883-1245148431/watcher-1868883-1245148431 -o /tmp/evaluation-result-1868883-1245148431/solver-1868883-1245148431 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868883-1245148431.opb

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

MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5
RANDOM SEED=1358897660

node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1919488 kB
Buffers:         16872 kB
Cached:          64820 kB
SwapCached:        384 kB
Active:          57136 kB
Inactive:        37968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1919488 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           12728 kB
Writeback:           0 kB
Mapped:          21808 kB
Slab:            27380 kB
Committed_AS:   118504 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65940 MiB
End job on node33 at 2009-06-16 13:03:46