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