Trace number 1869391

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.2SAT6 1794.4 1794.99

General information on the benchmark

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

Verifier Data 

OK	6

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869391-1245172315/watcher-1869391-1245172315 -o /tmp/evaluation-result-1869391-1245172315/solver-1869391-1245172315 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869391-1245172315.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 1808
/proc/meminfo: memFree=1869472/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=5812 CPUtime=0
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 184831911 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/1808/statm: 1453 502 332 1256 0 192 0

[startup+0.086342 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1808
/proc/meminfo: memFree=1869472/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=15604 CPUtime=0.07
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 2828 0 0 0 7 0 0 0 18 0 1 0 184831911 15978496 2812 1992294400 4194304 9342243 548682068736 18446744073709551615 8193808 0 0 4096 0 0 0 0 17 1 0 0
/proc/1808/statm: 3901 2812 378 1256 0 2640 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15604

[startup+0.101344 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1808
/proc/meminfo: memFree=1869472/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=15768 CPUtime=0.09
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 2867 0 0 0 9 0 0 0 18 0 1 0 184831911 16146432 2851 1992294400 4194304 9342243 548682068736 18446744073709551615 8250509 0 0 4096 0 0 0 0 17 1 0 0
/proc/1808/statm: 3942 2851 378 1256 0 2681 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15768

[startup+0.301377 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1808
/proc/meminfo: memFree=1869472/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=19364 CPUtime=0.29
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 3486 0 0 0 28 1 0 0 19 0 1 0 184831911 19828736 3470 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/1808/statm: 4841 3470 378 1256 0 3580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19364

[startup+0.701442 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1808
/proc/meminfo: memFree=1869472/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=26656 CPUtime=0.69
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 4709 0 0 0 68 1 0 0 22 0 1 0 184831911 27295744 4693 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/1808/statm: 6664 4693 378 1256 0 5403 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26656

[startup+1.50158 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1820312/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=100872 CPUtime=1.49
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 22754 0 0 0 141 8 0 0 25 0 1 0 184831911 103292928 22384 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 25218 22384 454 1256 0 23957 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100872

[startup+3.10185 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1776856/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=133324 CPUtime=3.08
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 30189 0 0 0 297 11 0 0 25 0 1 0 184831911 136523776 29807 1992294400 4194304 9342243 548682068736 18446744073709551615 4341258 0 0 4096 16384 0 0 0 17 0 0 0
/proc/1808/statm: 33331 29807 639 1256 0 32070 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 133324

[startup+6.30137 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1749784/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=135500 CPUtime=6.28
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 51594 0 0 0 606 22 0 0 25 0 1 0 184831911 138752000 30367 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 33875 30367 685 1256 0 32614 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 135500

[startup+12.7024 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1748696/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=137132 CPUtime=12.68
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 52018 0 0 0 1245 23 0 0 25 0 1 0 184831911 140423168 30791 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 34283 30791 685 1256 0 33022 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 137132

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1747480/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=138400 CPUtime=25.48
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 52278 0 0 0 2523 25 0 0 25 0 1 0 184831911 141721600 31051 1992294400 4194304 9342243 548682068736 18446744073709551615 4265970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 34600 31051 688 1256 0 33339 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 138400

[startup+51.1018 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1744536/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=141304 CPUtime=51.06
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 53076 0 0 0 5078 28 0 0 25 0 1 0 184831911 144695296 31849 1992294400 4194304 9342243 548682068736 18446744073709551615 6040648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 35326 31849 689 1256 0 34065 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 141304

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1740376/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=146452 CPUtime=102.24
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 54070 0 0 0 10190 34 0 0 25 0 1 0 184831911 149966848 32843 1992294400 4194304 9342243 548682068736 18446744073709551615 6040648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 36613 32843 689 1256 0 35352 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 146452

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1740184/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=146452 CPUtime=162.22
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 54110 0 0 0 16182 40 0 0 25 0 1 0 184831911 149966848 32883 1992294400 4194304 9342243 548682068736 18446744073709551615 6039856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 36613 32883 689 1256 0 35352 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 146452

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1738008/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=147640 CPUtime=222.19
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 86123 0 0 0 22161 58 0 0 25 0 1 0 184831911 151183360 33377 1992294400 4194304 9342243 548682068736 18446744073709551615 6040605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 36910 33377 689 1256 0 35649 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 147640

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1738008/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=147824 CPUtime=282.18
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 86134 0 0 0 28154 64 0 0 25 0 1 0 184831911 151371776 33388 1992294400 4194304 9342243 548682068736 18446744073709551615 6039827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 36956 33388 689 1256 0 35695 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 147824

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1738456/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=148024 CPUtime=342.17
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 102743 0 0 0 34141 76 0 0 25 0 1 0 184831911 151576576 33294 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 37006 33294 689 1256 0 35745 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 148024

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1672856/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219716 CPUtime=402.14
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 119134 0 0 0 40127 87 0 0 25 0 1 0 184831911 224989184 49685 1992294400 4194304 9342243 548682068736 18446744073709551615 6039845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54929 49685 689 1256 0 53668 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 219716

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1672856/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219716 CPUtime=462.13
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 119134 0 0 0 46119 94 0 0 25 0 1 0 184831911 224989184 49685 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54929 49685 689 1256 0 53668 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 219716

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1672792/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219716 CPUtime=522.11
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 119142 0 0 0 52112 99 0 0 25 0 1 0 184831911 224989184 49693 1992294400 4194304 9342243 548682068736 18446744073709551615 7289246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54929 49693 689 1256 0 53668 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 219716

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1672728/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219716 CPUtime=582.09
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 119142 0 0 0 58105 104 0 0 25 0 1 0 184831911 224989184 49693 1992294400 4194304 9342243 548682068736 18446744073709551615 6250807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54929 49693 689 1256 0 53668 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 219716

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1672728/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219716 CPUtime=642.06
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 119142 0 0 0 64097 109 0 0 25 0 1 0 184831911 224989184 49693 1992294400 4194304 9342243 548682068736 18446744073709551615 6085173 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54929 49693 689 1256 0 53668 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 219716

[startup+702.301 s]

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

/proc/meminfo: memFree=1665560/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=221324 CPUtime=1061.93
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 120873 0 0 0 106042 151 0 0 25 0 1 0 184831911 226635776 51424 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 55331 51424 689 1256 0 54070 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 221324

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1665560/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=221324 CPUtime=1121.91
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 120891 0 0 0 112035 156 0 0 25 0 1 0 184831911 226635776 51442 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 55331 51442 689 1256 0 54070 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 221324

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1665432/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=221324 CPUtime=1181.9
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 120900 0 0 0 118029 161 0 0 25 0 1 0 184831911 226635776 51451 1992294400 4194304 9342243 548682068736 18446744073709551615 7289246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 55331 51451 689 1256 0 54070 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 221324

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1809
/proc/meminfo: memFree=1665176/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=221324 CPUtime=1241.88
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 120949 0 0 0 124021 167 0 0 25 0 1 0 184831911 226635776 51499 1992294400 4194304 9342243 548682068736 18446744073709551615 6040621 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 55331 51499 689 1256 0 54070 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 221324

[startup+1302.3 s]
/proc/loadavg: 1.04 0.99 0.99 2/65 1809
/proc/meminfo: memFree=1665624/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1301.86
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122088 0 0 0 130013 173 0 0 25 0 1 0 184831911 224694272 51332 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51332 689 1256 0 53596 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 219428

[startup+1362.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665688/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1361.84
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122088 0 0 0 136005 179 0 0 25 0 1 0 184831911 224694272 51332 1992294400 4194304 9342243 548682068736 18446744073709551615 6040605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51332 689 1256 0 53596 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 219428

[startup+1422.31 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665688/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1421.82
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122088 0 0 0 141998 184 0 0 25 0 1 0 184831911 224694272 51332 1992294400 4194304 9342243 548682068736 18446744073709551615 6354035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51332 689 1256 0 53596 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 219428

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665688/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1481.79
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122088 0 0 0 147991 188 0 0 25 0 1 0 184831911 224694272 51332 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51332 689 1256 0 53596 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 219428

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665688/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1541.78
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122088 0 0 0 153985 193 0 0 25 0 1 0 184831911 224694272 51332 1992294400 4194304 9342243 548682068736 18446744073709551615 7289246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51332 689 1256 0 53596 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 219428

[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 1809
/proc/meminfo: memFree=1665688/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1601.76
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122088 0 0 0 159979 197 0 0 25 0 1 0 184831911 224694272 51332 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51332 689 1256 0 53596 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 219428

[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 1809
/proc/meminfo: memFree=1665688/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1661.74
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122090 0 0 0 165970 204 0 0 25 0 1 0 184831911 224694272 51334 1992294400 4194304 9342243 548682068736 18446744073709551615 6350117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51334 689 1256 0 53596 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 219428

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665688/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1721.73
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122090 0 0 0 171963 210 0 0 25 0 1 0 184831911 224694272 51334 1992294400 4194304 9342243 548682068736 18446744073709551615 6038036 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51334 689 1256 0 53596 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 219428

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665560/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1781.71
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122090 0 0 0 177954 217 0 0 25 0 1 0 184831911 224694272 51334 1992294400 4194304 9342243 548682068736 18446744073709551615 6085186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51334 689 1256 0 53596 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 219428

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665560/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1784.9
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122090 0 0 0 178273 217 0 0 25 0 1 0 184831911 224694272 51334 1992294400 4194304 9342243 548682068736 18446744073709551615 6038019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51334 689 1256 0 53596 0
Current children cumulated CPU time (s) 1784.9
Current children cumulated vsize (KiB) 219428

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665560/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1791.31
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122090 0 0 0 178913 218 0 0 25 0 1 0 184831911 224694272 51334 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51334 689 1256 0 53596 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 219428

[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665560/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1792.9
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122090 0 0 0 179072 218 0 0 25 0 1 0 184831911 224694272 51334 1992294400 4194304 9342243 548682068736 18446744073709551615 7289246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51334 689 1256 0 53596 0
Current children cumulated CPU time (s) 1792.9
Current children cumulated vsize (KiB) 219428

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665560/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1793.7
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122090 0 0 0 179152 218 0 0 25 0 1 0 184831911 224694272 51334 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51334 689 1256 0 53596 0
Current children cumulated CPU time (s) 1793.7
Current children cumulated vsize (KiB) 219428

[startup+1794.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665560/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=219428 CPUtime=1794.1
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122090 0 0 0 179192 218 0 0 25 0 1 0 184831911 224694272 51334 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 0 0 0 0 17 1 0 0
/proc/1808/statm: 54857 51334 689 1256 0 53596 0
Current children cumulated CPU time (s) 1794.1
Current children cumulated vsize (KiB) 219428

[startup+1794.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1809
/proc/meminfo: memFree=1665560/2055920 swapFree=4192812/4192956
[pid=1808] ppid=1806 vsize=216760 CPUtime=1794.3
/proc/1808/stat : 1808 (pbscip.linux.x8) R 1806 1808 1691 0 -1 4194304 122099 0 0 0 179212 218 0 0 17 0 1 0 184831911 221962240 50676 1992294400 4194304 9342243 548682068736 18446744073709551615 4802841 0 0 4096 0 0 0 0 17 1 0 0
/proc/1808/statm: 54190 50676 690 1256 0 52929 0
Current children cumulated CPU time (s) 1794.3
Current children cumulated vsize (KiB) 216760

Child status: 0
Real time (s): 1794.99
CPU time (s): 1794.4
CPU user time (s): 1792.18
CPU system time (s): 2.21766
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 227572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.18
system time used= 2.21766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122102
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= 2278

runsolver used 1.46778 second user time and 3.81242 second system time

The end

Launcher Data 

Begin job on node15 at 2009-06-16 19:11:55
IDJOB=1869391
IDBENCH=2850
IDSOLVER=684
FILE ID=node15/1869391-1245172315
PBS_JOBID= 9363890
Free space on /tmp= 66300 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.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-1869391-1245172315/watcher-1869391-1245172315 -o /tmp/evaluation-result-1869391-1245172315/solver-1869391-1245172315 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869391-1245172315.opb

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

MD5SUM BENCH= aa80468537d69826ea16800f352007ec
RANDOM SEED=6919463

node15.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	: 5931.00
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:       1869952 kB
Buffers:         33380 kB
Cached:          81472 kB
SwapCached:          0 kB
Active:          77560 kB
Inactive:        50736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869952 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           16100 kB
Writeback:           0 kB
Mapped:          23248 kB
Slab:            43676 kB
Committed_AS:   183648 kB
PageTables:       1460 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= 66288 MiB
End job on node15 at 2009-06-16 19:41:50