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