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