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