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