Trace number 2663960

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)24 1801.02 1801.52

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	24

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.48 2.15 1.70 3/106 12006
/proc/meminfo: memFree=1813760/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=6584 CPUtime=0
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 5328713 6742016 889 1992294400 4194304 7136930 140736596300352 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12006/statm: 1646 900 254 719 0 925 0

[startup+0.0520721 s]
/proc/loadavg: 2.48 2.15 1.70 3/106 12006
/proc/meminfo: memFree=1813760/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=10668 CPUtime=0.04
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 2139 0 0 0 4 0 0 0 22 0 1 0 5328713 10924032 2061 1992294400 4194304 7136930 140736596300352 18446744073709551615 6340259 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12006/statm: 2667 2061 271 719 0 1946 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10668

[startup+0.101074 s]
/proc/loadavg: 2.48 2.15 1.70 3/106 12006
/proc/meminfo: memFree=1813760/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=12748 CPUtime=0.09
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 2677 0 0 0 9 0 0 0 22 0 1 0 5328713 13053952 2599 1992294400 4194304 7136930 140736596300352 18446744073709551615 6176983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12006/statm: 3187 2599 271 719 0 2466 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12748

[startup+0.301087 s]
/proc/loadavg: 2.48 2.15 1.70 3/106 12006
/proc/meminfo: memFree=1813760/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=19580 CPUtime=0.29
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 4397 0 0 0 28 1 0 0 22 0 1 0 5328713 20049920 4319 1992294400 4194304 7136930 140736596300352 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12006/statm: 4895 4319 271 719 0 4174 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19580

[startup+0.701112 s]
/proc/loadavg: 2.48 2.15 1.70 3/106 12006
/proc/meminfo: memFree=1813760/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=50692 CPUtime=0.69
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 12249 0 0 0 62 7 0 0 23 0 1 0 5328713 51908608 11817 1992294400 4194304 7136930 140736596300352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 12673 11817 347 719 0 11952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50692

[startup+1.50116 s]
/proc/loadavg: 2.36 2.13 1.70 2/107 12007
/proc/meminfo: memFree=1759936/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=59968 CPUtime=1.49
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 18120 0 0 0 134 15 0 0 25 0 1 0 5328713 61407232 14233 1992294400 4194304 7136930 140736596300352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 14992 14233 376 719 0 14271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59968

[startup+3.10127 s]
/proc/loadavg: 2.36 2.13 1.70 2/107 12007
/proc/meminfo: memFree=1756836/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=60996 CPUtime=3.09
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 18395 0 0 0 293 16 0 0 25 0 1 0 5328713 62459904 14508 1992294400 4194304 7136930 140736596300352 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 15249 14508 394 719 0 14528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60996

[startup+6.30147 s]
/proc/loadavg: 2.25 2.11 1.70 2/107 12007
/proc/meminfo: memFree=1756712/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=60996 CPUtime=6.29
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 18395 0 0 0 612 17 0 0 25 0 1 0 5328713 62459904 14508 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 15249 14508 394 719 0 14528 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60996

[startup+12.7009 s]
/proc/loadavg: 2.15 2.10 1.69 2/107 12007
/proc/meminfo: memFree=1756588/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=60996 CPUtime=12.68
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 18396 0 0 0 1251 17 0 0 25 0 1 0 5328713 62459904 14509 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 15249 14509 394 719 0 14528 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60996

[startup+25.5007 s]
/proc/loadavg: 1.89 2.04 1.68 2/107 12009
/proc/meminfo: memFree=1756588/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=60996 CPUtime=25.48
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 18400 0 0 0 2529 19 0 0 25 0 1 0 5328713 62459904 14513 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 15249 14513 394 719 0 14528 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60996

[startup+51.1004 s]
/proc/loadavg: 1.59 1.96 1.66 2/107 12009
/proc/meminfo: memFree=1746792/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=71676 CPUtime=51.07
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 21031 0 0 0 5078 29 0 0 25 0 1 0 5328713 73396224 17144 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 17919 17144 398 719 0 17198 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71676

[startup+102.309 s]
/proc/loadavg: 1.25 1.81 1.62 2/107 12011
/proc/meminfo: memFree=1736004/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=81916 CPUtime=102.26
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 23542 0 0 0 10178 48 0 0 25 0 1 0 5328713 83881984 19655 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 20479 19655 398 719 0 19758 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 81916

[startup+162.301 s]
/proc/loadavg: 1.09 1.66 1.58 2/107 12011
/proc/meminfo: memFree=1723604/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=94636 CPUtime=162.24
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 26654 0 0 0 16150 74 0 0 25 0 1 0 5328713 96907264 22767 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 23659 22767 398 719 0 22938 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 94636

[startup+222.3 s]
/proc/loadavg: 1.03 1.54 1.54 2/107 12013
/proc/meminfo: memFree=1713312/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=104900 CPUtime=222.22
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 29167 0 0 0 22123 99 0 0 25 0 1 0 5328713 107417600 25280 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 26225 25280 398 719 0 25504 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 104900

[startup+282.301 s]
/proc/loadavg: 1.01 1.44 1.51 2/107 12015
/proc/meminfo: memFree=1698680/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=120576 CPUtime=282.2
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 32856 0 0 0 28095 125 0 0 25 0 1 0 5328713 123469824 28969 1992294400 4194304 7136930 140736596300352 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 30144 28969 398 719 0 29423 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 120576

[startup+342.301 s]
/proc/loadavg: 1.08 1.37 1.48 2/107 12017
/proc/meminfo: memFree=1686032/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=133720 CPUtime=342.19
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 35982 0 0 0 34069 150 0 0 25 0 1 0 5328713 136929280 32095 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 33430 32095 398 719 0 32709 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 133720

[startup+402.301 s]
/proc/loadavg: 1.03 1.30 1.44 2/107 12019
/proc/meminfo: memFree=1671152/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=149884 CPUtime=402.17
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 39775 0 0 0 40036 181 0 0 25 0 1 0 5328713 153481216 35888 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 37471 35888 398 719 0 36750 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 149884

[startup+462.301 s]
/proc/loadavg: 1.01 1.24 1.41 2/107 12019
/proc/meminfo: memFree=1656644/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=164992 CPUtime=462.15
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 43277 0 0 0 46009 206 0 0 25 0 1 0 5328713 168951808 39390 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 41248 39390 398 719 0 40527 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 164992

[startup+522.301 s]
/proc/loadavg: 1.00 1.20 1.38 2/107 12021
/proc/meminfo: memFree=1639408/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=183764 CPUtime=522.14
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 47718 0 0 0 51971 243 0 0 25 0 1 0 5328713 188174336 43831 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 45941 43831 398 719 0 45220 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 183764

[startup+582.301 s]
/proc/loadavg: 1.00 1.16 1.36 2/107 12023
/proc/meminfo: memFree=1619444/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=204564 CPUtime=582.12
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 52537 0 0 0 57932 280 0 0 25 0 1 0 5328713 209473536 48650 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 51141 48650 398 719 0 50420 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 204564

[startup+642.3 s]
/proc/loadavg: 1.00 1.13 1.33 2/107 12025
/proc/meminfo: memFree=1597000/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=230156 CPUtime=642.11
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 58107 0 0 0 63882 329 0 0 25 0 1 0 5328713 235679744 54220 1992294400 4194304 7136930 140736596300352 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 57539 54220 398 719 0 56818 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 230156

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.04 1.22 3/107 12038
/proc/meminfo: memFree=1477836/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=355904 CPUtime=1002.01
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 87652 0 0 0 99531 670 0 0 25 0 1 0 5328713 364445696 83765 1992294400 4194304 7136930 140736596300352 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 88976 83765 398 719 0 88255 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 355904

[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.20 2/107 12038
/proc/meminfo: memFree=1462212/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=372772 CPUtime=1062
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 91568 0 0 0 105491 709 0 0 25 0 1 0 5328713 381718528 87681 1992294400 4194304 7136930 140736596300352 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 93193 87681 398 719 0 92472 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 372772

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.18 2/107 12040
/proc/meminfo: memFree=1443116/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=392252 CPUtime=1121.98
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 96340 0 0 0 111444 754 0 0 25 0 1 0 5328713 401666048 92453 1992294400 4194304 7136930 140736596300352 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 98063 92453 398 719 0 97342 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 392252

[startup+1182.3 s]
/proc/loadavg: 1.04 1.03 1.17 2/107 12042
/proc/meminfo: memFree=1422408/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=413012 CPUtime=1181.96
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 101569 0 0 0 117396 800 0 0 25 0 1 0 5328713 422924288 97682 1992294400 4194304 7136930 140736596300352 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 103253 97682 398 719 0 102532 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 413012

[startup+1242.3 s]
/proc/loadavg: 1.06 1.04 1.17 2/107 12044
/proc/meminfo: memFree=1408024/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=428040 CPUtime=1241.95
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 105079 0 0 0 123366 829 0 0 25 0 1 0 5328713 438312960 101192 1992294400 4194304 7136930 140736596300352 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 107010 101192 398 719 0 106289 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 428040

[startup+1302.3 s]
/proc/loadavg: 1.06 1.04 1.16 2/107 12046
/proc/meminfo: memFree=1402320/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=434432 CPUtime=1301.93
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 106518 0 0 0 129325 868 0 0 25 0 1 0 5328713 444858368 102631 1992294400 4194304 7136930 140736596300352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 108608 102631 398 719 0 107887 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 434432

[startup+1362.3 s]
/proc/loadavg: 1.02 1.03 1.15 2/107 12046
/proc/meminfo: memFree=1388432/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=448572 CPUtime=1361.91
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 109981 0 0 0 135280 911 0 0 25 0 1 0 5328713 459337728 106094 1992294400 4194304 7136930 140736596300352 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 112143 106094 398 719 0 111422 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 448572

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.14 2/107 12048
/proc/meminfo: memFree=1371196/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=467112 CPUtime=1421.9
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 114276 0 0 0 141232 958 0 0 25 0 1 0 5328713 478322688 110389 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 116778 110389 398 719 0 116057 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 467112

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.13 2/107 12050
/proc/meminfo: memFree=1347636/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=495876 CPUtime=1481.88
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 120158 0 0 0 147187 1001 0 0 25 0 1 0 5328713 507777024 116271 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 123969 116271 398 719 0 123248 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 495876

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/107 12052
/proc/meminfo: memFree=1332632/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=512516 CPUtime=1541.86
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 123891 0 0 0 153155 1031 0 0 25 0 1 0 5328713 524816384 120004 1992294400 4194304 7136930 140736596300352 18446744073709551615 5922941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 128129 120004 398 719 0 127408 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 512516

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/107 12054
/proc/meminfo: memFree=1325192/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=520500 CPUtime=1601.84
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 125733 0 0 0 159133 1051 0 0 25 0 1 0 5328713 532992000 121846 1992294400 4194304 7136930 140736596300352 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 130125 121846 398 719 0 129404 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 520500

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 12054
/proc/meminfo: memFree=1318620/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=527328 CPUtime=1661.83
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 127361 0 0 0 165106 1077 0 0 25 0 1 0 5328713 539983872 123474 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 131832 123474 398 719 0 131111 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 527328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 12056
/proc/meminfo: memFree=1308576/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=538064 CPUtime=1721.82
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 129856 0 0 0 171078 1104 0 0 25 0 1 0 5328713 550977536 125969 1992294400 4194304 7136930 140736596300352 18446744073709551615 5005160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 134516 125969 398 719 0 133795 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 538064

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12058
/proc/meminfo: memFree=1297044/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=549540 CPUtime=1781.79
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 132648 0 0 0 177047 1132 0 0 25 0 1 0 5328713 562728960 128761 1992294400 4194304 7136930 140736596300352 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 137385 128761 398 719 0 136664 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 549540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12058
/proc/meminfo: memFree=1293696/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=552852 CPUtime=1800.1
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 133501 0 0 0 178870 1140 0 0 25 0 1 0 5328713 566120448 129614 1992294400 4194304 7136930 140736596300352 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12006/statm: 138213 129614 398 719 0 137492 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 552852

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12058
/proc/meminfo: memFree=1293696/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=552852 CPUtime=1800.49
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 133507 0 0 0 178909 1140 0 0 25 0 1 0 5328713 566120448 129620 1992294400 4194304 7136930 140736596300352 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12006/statm: 138213 129620 404 719 0 137492 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 552852

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12058
/proc/meminfo: memFree=1293696/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=526948 CPUtime=1800.88
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 133511 0 0 0 178948 1140 0 0 25 0 1 0 5328713 539594752 123148 1992294400 4194304 7136930 140736596300352 18446744073709551615 6166285 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12006/statm: 131737 123148 404 719 0 131016 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 526948

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12058
/proc/meminfo: memFree=1293696/2059040 swapFree=4192956/4192956
[pid=12006] ppid=12004 vsize=117152 CPUtime=1800.99
/proc/12006/stat : 12006 (pbscip.linux.x8) R 12004 12006 11375 0 -1 4202496 133511 0 0 0 178954 1145 0 0 25 0 1 0 5328713 119963648 28299 1992294400 4194304 7136930 140736596300352 18446744073709551615 6166356 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12006/statm: 29288 28299 404 719 0 28567 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (KiB) 117152

Child status: 0
Real time (s): 1801.52
CPU time (s): 1801.02
CPU user time (s): 1789.55
CPU system time (s): 11.4653
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 552852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.55
system time used= 11.4653
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 18349

runsolver used 3.05454 second user time and 8.43072 second system time

The end

Launcher Data 

Begin job on node030 at 2010-06-16 00:18:54
IDJOB=2663960
IDBENCH=25015
IDSOLVER=1167
FILE ID=node030/2663960-1276640334
PBS_JOBID= 11172374
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663960-1276640334/watcher-2663960-1276640334 -o /tmp/evaluation-result-2663960-1276640334/solver-2663960-1276640334 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663960-1276640334.opb -t 1800 -m 1800

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

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=495439150

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1814288 kB
Buffers:         18472 kB
Cached:         102320 kB
SwapCached:          0 kB
Active:         113332 kB
Inactive:        67380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1814288 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3776 kB
Writeback:          12 kB
AnonPages:       59848 kB
Mapped:          15452 kB
Slab:            42200 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181552 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62556 MiB
End job on node030 at 2010-06-16 00:48:56