Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1797.87 | 1797.83 |
| Name | /SOFT-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-0-100-0.wbo |
| MD5SUM | c93eadfd598977d622635d98b523c998 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.051992 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6466 |
| Total number of constraints | 19939 |
| Number of soft constraints | 19939 |
| Number of constraints which are clauses | 19731 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 208 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 1003722 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 1003721 |
| Biggest number in a constraint | 22 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 112 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2705398-1278578592.wbo>
0.19/0.21 c original problem has 46344 variables (26405 bin, 0 int, 19939 impl, 0 cont) and 39879 constraints
0.19/0.21 c problem read
0.19/0.21 c presolving settings loaded
4.99/5.00 o 1003721
4.99/5.00 c feasible solution found by trivial heuristic, objective value 1.003721e+06
4.99/5.00 c presolving:
9.79/9.89 c (9.7s) probing: 1000/26405 (3.8%) - 0 fixings, 0 aggregations, 280 implications, 0 bound changes
14.69/14.76 c (14.6s) probing: 2000/26405 (7.6%) - 0 fixings, 0 aggregations, 454 implications, 0 bound changes
14.69/14.76 c (14.6s) probing: 2001/26405 (7.6%) - 0 fixings, 0 aggregations, 454 implications, 0 bound changes
14.69/14.76 c (14.6s) probing aborted: 2000/2000 successive useless probings
14.69/14.76 c (round 1) 0 del vars, 1 del conss, 19939 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 908 impls, 0 clqs
14.79/14.83 c (round 2) 0 del vars, 1 del conss, 19939 chg bounds, 0 chg sides, 0 chg coeffs, 356 upgd conss, 908 impls, 0 clqs
15.19/15.29 c (15.1s) probing: 2088/26405 (7.9%) - 0 fixings, 0 aggregations, 454 implications, 0 bound changes
15.19/15.29 c (15.1s) probing aborted: 100/100 successive totally useless probings
15.19/15.30 c presolving (3 rounds):
15.19/15.30 c 0 deleted vars, 1 deleted constraints, 19939 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.19/15.30 c 41094 implications, 0 cliques
15.19/15.30 c presolved problem has 46344 variables (26405 bin, 0 int, 19939 impl, 0 cont) and 39878 constraints
15.19/15.30 c 356 constraints of type <varbound>
15.19/15.30 c 19583 constraints of type <linear>
15.19/15.30 c 19939 constraints of type <indicator>
15.19/15.30 c transformed objective value is always integral (scale: 1)
15.19/15.30 c Presolving Time: 14.96
15.19/15.30 c - non default parameters ----------------------------------------------------------------------
15.19/15.30 c # SCIP version 1.2.1.3
15.19/15.30 c
15.19/15.30 c # frequency for displaying node information lines
15.19/15.30 c # [type: int, range: [-1,2147483647], default: 100]
15.19/15.30 c display/freq = 10000
15.19/15.30 c
15.19/15.30 c # maximal time in seconds to run
15.19/15.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.19/15.30 c limits/time = 1789.8
15.19/15.30 c
15.19/15.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.19/15.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.19/15.30 c limits/memory = 3420
15.19/15.30 c
15.19/15.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
15.19/15.30 c # [type: int, range: [1,2], default: 1]
15.19/15.30 c timing/clocktype = 2
15.19/15.30 c
15.19/15.30 c # should presolving try to simplify inequalities
15.19/15.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.19/15.30 c constraints/linear/simplifyinequalities = TRUE
15.19/15.30 c
15.19/15.30 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
15.19/15.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.19/15.30 c constraints/indicator/addCouplingCons = TRUE
15.19/15.30 c
15.19/15.30 c # should presolving try to simplify knapsacks
15.19/15.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.19/15.30 c constraints/knapsack/simplifyinequalities = TRUE
15.19/15.30 c
15.19/15.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.19/15.30 c # [type: int, range: [-1,2147483647], default: -1]
15.19/15.30 c separating/rapidlearning/freq = 0
15.19/15.30 c
15.19/15.30 c -----------------------------------------------------------------------------------------------
15.19/15.30 c start solving
15.29/15.31 c
15.40/15.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.40/15.41 c t15.2s| 1 | 0 | 0 | - | 151M| 0 | 0 | 46k| 39k| 46k| 0 | 0 | 0 | 0 | 0.000000e+00 | 1.003721e+06 | Inf
15.40/15.43 c 15.2s| 1 | 0 | 121 | - | 151M| 0 | 0 | 46k| 39k| 46k| 209 | 209 | 0 | 0 | 0.000000e+00 | 1.003721e+06 | Inf
15.40/15.46 c 15.2s| 1 | 0 | 321 | - | 151M| 0 | 0 | 46k| 39k| 46k| 409 | 409 | 0 | 0 | 0.000000e+00 | 1.003721e+06 | Inf
15.40/15.48 c 15.3s| 1 | 0 | 460 | - | 151M| 0 | 0 | 46k| 39k| 46k| 548 | 548 | 0 | 0 | 0.000000e+00 | 1.003721e+06 | Inf
15.49/15.51 c 15.3s| 1 | 2 | 460 | - | 151M| 0 | 0 | 46k| 39k| 46k| 548 | 548 | 0 | 0 | 0.000000e+00 | 1.003721e+06 | Inf
60.69/60.73 o 985584
60.69/60.73 c y60.5s| 1735 | 1734 | 460 | 0.0 | 174M|1733 | - | 46k| 39k| 0 | 0 | 548 | 0 | 0 | 0.000000e+00 | 9.855840e+05 | Inf
287.49/287.59 c 287s| 10000 | 10001 | 713 | 0.0 | 281M|1733 | 0 | 46k| 39k| 46k| 580 | 781 | 0 | 0 | 0.000000e+00 | 9.855840e+05 | Inf
586.70/586.73 c 587s| 20000 | 20001 | 3386 | 0.1 | 406M|1733 | 0 | 46k| 39k| 46k| 548 |3407 | 0 | 0 | 0.000000e+00 | 9.855840e+05 | Inf
891.20/891.25 c 891s| 30000 | 30001 | 6331 | 0.2 | 529M|1733 | 0 | 46k| 39k| 46k| 788 |6190 | 0 | 0 | 0.000000e+00 | 9.855840e+05 | Inf
1200.42/1200.46 c 1200s| 40000 | 40001 | 9554 | 0.2 | 652M|1733 | 0 | 46k| 39k| 46k| 571 |9260 | 0 | 0 | 0.000000e+00 | 9.855840e+05 | Inf
1513.03/1513.05 c 1513s| 50000 | 50001 | 12870 | 0.2 | 774M|1733 | 0 | 46k| 39k| 46k| 675 | 12k| 0 | 0 | 0.000000e+00 | 9.855840e+05 | Inf
1790.03/1790.04 c
1790.03/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.04 c Solving Time (sec) : 1789.83
1790.03/1790.04 c Solving Nodes : 56441
1790.03/1790.04 c Primal Bound : +9.85584000000000e+05 (18 solutions)
1790.03/1790.04 c Dual Bound : +0.00000000000000e+00
1790.03/1790.04 c Gap : infinite
1797.44/1797.49 s SATISFIABLE
1797.44/1797.49 v -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448
1797.44/1797.49 v -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431
1797.44/1797.49 v -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413
1797.44/1797.49 v -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395
1797.44/1797.49 v -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377
1797.44/1797.49 v -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359
1797.44/1797.49 v -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341
1797.44/1797.49 v -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323
1797.44/1797.49 v -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306
1797.44/1797.49 v -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288
1797.44/1797.49 v -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270
1797.44/1797.49 v -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252
1797.44/1797.49 v -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234
1797.44/1797.49 v -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216
1797.44/1797.49 v -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198
1797.44/1797.49 v -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181
1797.44/1797.49 v -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163
1797.44/1797.49 v -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145
1797.44/1797.49 v -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127
1797.44/1797.49 v -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109
1797.44/1797.49 v -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091
1797.44/1797.49 v -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073
1797.44/1797.49 v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056
1797.44/1797.49 v -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038
1797.44/1797.49 v -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020
1797.44/1797.49 v -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002
1797.44/1797.49 v -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984
1797.44/1797.49 v -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966
1797.44/1797.49 v -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948
1797.44/1797.49 v -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931
1797.44/1797.49 v -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913
1797.44/1797.49 v -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895
1797.44/1797.49 v -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877
1797.44/1797.49 v -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859
1797.44/1797.49 v -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841
1797.44/1797.49 v -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823
1797.44/1797.49 v -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806
1797.44/1797.49 v -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788
1797.44/1797.49 v -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770
1797.44/1797.49 v -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752
1797.44/1797.49 v -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734
1797.44/1797.49 v -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716
1797.44/1797.49 v -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698
1797.44/1797.49 v -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681
1797.44/1797.49 v -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663
1797.44/1797.49 v -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645
1797.44/1797.49 v -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627
1797.44/1797.49 v -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609
1797.44/1797.49 v -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591
1797.44/1797.49 v -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573
1797.44/1797.49 v -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556
1797.44/1797.49 v -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538
1797.44/1797.49 v -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520
1797.44/1797.49 v -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502
1797.44/1797.49 v -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484
1797.44/1797.49 v -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466
1797.44/1797.49 v -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448
1797.44/1797.49 v -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431
1797.44/1797.49 v -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413
1797.44/1797.49 v -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395
1797.44/1797.49 v -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377
1797.44/1797.49 v -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359
1797.44/1797.49 v -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341
1797.44/1797.49 v -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323
1797.44/1797.49 v -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306
1797.44/1797.49 v -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288
1797.44/1797.49 v -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270
1797.44/1797.49 v -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252
1797.44/1797.49 v -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234
1797.44/1797.49 v -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216
1797.44/1797.49 v -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198
1797.44/1797.49 v -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181
1797.44/1797.49 v -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163
1797.44/1797.49 v -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145
1797.44/1797.49 v -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127
1797.44/1797.49 v -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109
1797.44/1797.49 v -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091
1797.44/1797.49 v -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073
1797.44/1797.49 v -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056
1797.44/1797.49 v -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038
1797.44/1797.49 v -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020
1797.44/1797.49 v -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002
1797.44/1797.49 v -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984
1797.44/1797.49 v -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966
1797.44/1797.49 v -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948
1797.44/1797.49 v -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931
1797.44/1797.49 v -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913
1797.44/1797.49 v -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895
1797.44/1797.49 v -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877
1797.44/1797.49 v -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859
1797.44/1797.49 v -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841
1797.44/1797.49 v -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823
1797.44/1797.49 v -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806
1797.44/1797.49 v -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788
1797.44/1797.49 v -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770
1797.44/1797.49 v -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752
1797.44/1797.49 v -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734
1797.44/1797.49 v -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716
1797.44/1797.49 v -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698
1797.44/1797.49 v -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681
1797.44/1797.49 v -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663
1797.44/1797.49 v -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645
1797.44/1797.49 v -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627
1797.44/1797.49 v -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609
1797.44/1797.49 v -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591
1797.44/1797.49 v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573
1797.44/1797.49 v -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556
1797.44/1797.49 v -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538
1797.44/1797.49 v -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520
1797.44/1797.49 v -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502
1797.44/1797.49 v -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484
1797.44/1797.49 v -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466
1797.44/1797.49 v -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448
1797.44/1797.49 v -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431
1797.44/1797.49 v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413
1797.44/1797.49 v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395
1797.44/1797.49 v -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377
1797.44/1797.49 v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359
1797.44/1797.49 v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341
1797.44/1797.49 v -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323
1797.44/1797.49 v -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306
1797.44/1797.49 v -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288
1797.44/1797.49 v -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270
1797.44/1797.49 v -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252
1797.44/1797.49 v -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234
1797.44/1797.49 v -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216
1797.44/1797.49 v -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198
1797.44/1797.49 v -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181
1797.44/1797.49 v -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163
1797.44/1797.49 v -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145
1797.44/1797.49 v -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127
1797.44/1797.49 v -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109
1797.44/1797.49 v -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091
1797.44/1797.49 v -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073
1797.44/1797.49 v -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056
1797.44/1797.49 v -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038
1797.44/1797.49 v -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020
1797.44/1797.49 v -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002
1797.44/1797.49 v -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984
1797.44/1797.49 v -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966
1797.44/1797.49 v -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948
1797.44/1797.49 v -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931
1797.44/1797.49 v -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913
1797.44/1797.49 v -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895
1797.44/1797.49 v -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877
1797.44/1797.49 v -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859
1797.44/1797.49 v -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841
1797.44/1797.49 v -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823
1797.44/1797.49 v -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806
1797.44/1797.49 v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788
1797.44/1797.49 v -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770
1797.44/1797.49 v -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752
1797.44/1797.49 v -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734
1797.44/1797.49 v -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716
1797.44/1797.49 v -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698
1797.44/1797.49 v -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681
1797.44/1797.49 v -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663
1797.44/1797.49 v -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645
1797.44/1797.49 v -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627
1797.44/1797.49 v -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609
1797.44/1797.49 v -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591
1797.44/1797.49 v -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573
1797.44/1797.49 v -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556
1797.44/1797.49 v -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538
1797.44/1797.49 v -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520
1797.44/1797.49 v -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502
1797.44/1797.49 v -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484
1797.44/1797.49 v -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466
1797.44/1797.49 v -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448
1797.44/1797.49 v -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431
1797.44/1797.49 v -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413
1797.44/1797.49 v -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395
1797.44/1797.49 v -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377
1797.44/1797.49 v -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359
1797.44/1797.49 v -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341
1797.44/1797.49 v -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323
1797.44/1797.49 v -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306
1797.44/1797.49 v -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288
1797.44/1797.49 v -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270
1797.44/1797.49 v -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252
1797.44/1797.49 v -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234
1797.44/1797.49 v -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216
1797.44/1797.49 v -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198
1797.44/1797.49 v -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181
1797.44/1797.49 v -x3180 -x3179 -x3178 -x3177 -x3176 x3175 x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162
1797.44/1797.49 v -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145
1797.44/1797.49 v -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127
1797.44/1797.49 v x3126 x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109
1797.44/1797.49 v -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091
1797.44/1797.49 v -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 x3073
1797.44/1797.49 v x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055
1797.44/1797.49 v -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037
1797.44/1797.49 v -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019
1797.44/1797.49 v -x3018 -x3017 -x3016 -x3015 x3014 x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001
1797.44/1797.49 v -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983
1797.44/1797.49 v -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 x2967 x2966 -x2965
1797.44/1797.49 v -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947
1797.44/1797.49 v -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929
1797.44/1797.49 v -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 x2913 x2912 -x2911
1797.44/1797.49 v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893
1797.44/1797.49 v -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875
1797.44/1797.49 v -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 x2861 x2860 -x2859 -x2858 -x2857
1797.44/1797.49 v -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839
1797.44/1797.49 v -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821
1797.44/1797.49 v -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804
1797.44/1797.49 v x2803 x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785
1797.44/1797.49 v -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768
1797.44/1797.49 v -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 x2756 x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749
1797.44/1797.49 v -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732
1797.44/1797.49 v -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714
1797.44/1797.49 v -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 x2699 x2698 -x2697 -x2696
1797.44/1797.49 v -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678
1797.44/1797.49 v -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660
1797.44/1797.49 v -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 x2650 x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642
1797.44/1797.49 v -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624
1797.44/1797.49 v -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606
1797.44/1797.49 v -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 x2590 x2589 -x2588
1797.44/1797.49 v -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570
1797.44/1797.49 v -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552
1797.44/1797.49 v -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 x2538 x2537 -x2536 -x2535 -x2534
1797.44/1797.49 v -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516
1797.44/1797.49 v -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498
1797.44/1797.49 v -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 x2487 x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480
1797.44/1797.49 v -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462
1797.44/1797.49 v -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444
1797.44/1797.49 v -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 x2430 x2429 -x2428 -x2427 -x2426
1797.44/1797.49 v -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408
1797.44/1797.49 v -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391
1797.44/1797.49 v -x2390 -x2389 -x2388 -x2387 -x2386 x2385 x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372
1797.44/1797.49 v -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355
1797.44/1797.49 v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337
1797.44/1797.49 v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 x2324 x2323 -x2322 -x2321 -x2320 -x2319
1797.44/1797.49 v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301
1797.44/1797.49 v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283
1797.44/1797.49 v -x2282 -x2281 x2280 x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265
1797.44/1797.49 v -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247
1797.44/1797.49 v -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229
1797.44/1797.49 v -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 x2219 x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211
1797.44/1797.49 v -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193
1797.44/1797.49 v -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175
1797.44/1797.49 v -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 x2166 x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157
1797.44/1797.49 v -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139
1797.44/1797.49 v -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121
1797.44/1797.49 v -x2120 -x2119 -x2118 -x2117 x2116 x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103
1797.44/1797.49 v -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085
1797.44/1797.49 v -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067
1797.44/1797.49 v -x2066 -x2065 -x2064 x2063 x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049
1797.44/1797.49 v -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031
1797.44/1797.49 v -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014
1797.44/1797.49 v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 x2006 x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995
1797.44/1797.49 v -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978
1797.44/1797.49 v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960
1797.44/1797.49 v -x1959 -x1958 -x1957 x1956 x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942
1797.44/1797.49 v -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924
1797.44/1797.49 v -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 x1907 x1906
1797.44/1797.49 v -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888
1797.44/1797.49 v -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870
1797.44/1797.49 v -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 x1854 x1853 -x1852
1797.44/1797.49 v -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834
1797.44/1797.49 v -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816
1797.44/1797.49 v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798
1797.44/1797.49 v -x1797 -x1796 x1795 x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780
1797.44/1797.49 v -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762
1797.44/1797.49 v -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744
1797.44/1797.49 v -x1743 -x1742 x1741 x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726
1797.44/1797.49 v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708
1797.44/1797.49 v -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 x1694 x1693 -x1692 -x1691 -x1690
1797.44/1797.49 v -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672
1797.44/1797.49 v -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654
1797.44/1797.49 v -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636
1797.44/1797.49 v -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618
1797.44/1797.49 v -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601
1797.44/1797.49 v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 x1591 x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582
1797.44/1797.49 v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565
1797.44/1797.49 v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
1797.44/1797.49 v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 x1529
1797.44/1797.49 v x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511
1797.44/1797.49 v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493
1797.44/1797.49 v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 x1478 x1477 -x1476 -x1475
1797.44/1797.49 v -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457
1797.44/1797.49 v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439
1797.44/1797.49 v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 x1432 x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421
1797.44/1797.49 v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403
1797.44/1797.49 v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385
1797.44/1797.49 v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367
1797.44/1797.49 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349
1797.44/1797.49 v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331
1797.44/1797.49 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 x1320 x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313
1797.44/1797.49 v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295
1797.44/1797.49 v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277
1797.44/1797.49 v -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 x1269 x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259
1797.44/1797.49 v -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241
1797.44/1797.49 v -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224
1797.44/1797.49 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 x1216 x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205
1797.44/1797.49 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188
1797.44/1797.49 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170
1797.44/1797.49 v -x1169 -x1168 x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152
1797.44/1797.49 v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1797.44/1797.49 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116
1797.44/1797.49 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098
1797.44/1797.49 v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080
1797.44/1797.49 v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062
1797.44/1797.49 v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044
1797.44/1797.49 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026
1797.44/1797.49 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
1797.44/1797.49 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 x1001 x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988
1797.44/1797.49 v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
1797.44/1797.49 v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947
1797.44/1797.49 v x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926
1797.44/1797.49 v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
1797.44/1797.49 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 x896 x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884
1797.44/1797.49 v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863
1797.44/1797.49 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 x848 x847 -x846 -x845 -x844 -x843 -x842
1797.44/1797.49 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821
1797.44/1797.49 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800
1797.44/1797.49 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779
1797.44/1797.49 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758
1797.44/1797.49 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739 x738 -x737
1797.44/1797.49 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
1797.44/1797.49 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695
1797.44/1797.49 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 x687 x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674
1797.44/1797.49 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653
1797.44/1797.49 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632
1797.44/1797.49 v -x631 -x630 -x629 x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611
1797.44/1797.49 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
1797.44/1797.49 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569
1797.44/1797.49 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548
1797.44/1797.49 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 x528 -x527
1797.44/1797.49 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
1797.44/1797.49 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485
1797.44/1797.49 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464
1797.44/1797.49 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
1797.44/1797.49 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423
1797.44/1797.49 v -x422 -x421 -x420 x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
1797.44/1797.49 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381
1797.44/1797.49 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359
1797.44/1797.49 v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
1797.44/1797.49 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318
1797.44/1797.49 v -x317 -x316 x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297
1797.44/1797.49 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
1797.44/1797.49 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 x260 -x259 -x258 -x257 -x256 -x255
1797.44/1797.49 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
1797.44/1797.49 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213
1797.44/1797.49 v x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192
1797.44/1797.49 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171
1797.44/1797.49 v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 x151 -x150
1797.44/1797.49 v -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129
1797.44/1797.49 v -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108
1797.44/1797.49 v -x107 -x106 -x105 -x104 -x103 -x102 x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84
1797.44/1797.49 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59
1797.44/1797.49 v -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
1797.44/1797.49 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9
1797.44/1797.49 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1797.44/1797.49 c SCIP Status : solving was interrupted [time limit reached]
1797.44/1797.49 c Solving Time : 1789.83
1797.44/1797.49 c Original Problem :
1797.44/1797.49 c Problem name : HOME/instance-2705398-1278578592.wbo
1797.44/1797.49 c Variables : 46344 (26405 binary, 0 integer, 19939 implicit integer, 0 continuous)
1797.44/1797.49 c Constraints : 39879 initial, 39879 maximal
1797.44/1797.49 c Presolved Problem :
1797.44/1797.49 c Problem name : t_HOME/instance-2705398-1278578592.wbo
1797.44/1797.49 c Variables : 46344 (26405 binary, 0 integer, 19939 implicit integer, 0 continuous)
1797.44/1797.49 c Constraints : 39878 initial, 39878 maximal
1797.44/1797.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.44/1797.49 c trivial : 0.01 0 0 0 0 0 0 0 0
1797.44/1797.49 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.44/1797.49 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.44/1797.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.44/1797.49 c implics : 0.00 0 0 0 0 0 0 0 0
1797.44/1797.49 c probing : 10.12 0 0 0 0 0 0 0 0
1797.44/1797.49 c varbound : 0.00 0 0 0 0 0 0 0 0
1797.44/1797.49 c linear : 0.14 0 0 0 19939 0 1 0 0
1797.44/1797.49 c indicator : 0.02 0 0 0 0 0 0 0 0
1797.44/1797.49 c root node : - 0 - - 0 - - - -
1797.44/1797.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.44/1797.49 c integral : 0 0 0 60864 0 0 0 0 0 0
1797.44/1797.49 c varbound : 356 4 77679 54554 0 0 10368 209 0 0
1797.44/1797.49 c linear : 19583 4 88461 60864 0 0 16501 14700 0 0
1797.44/1797.49 c indicator : 19939 0 88461 60864 0 0 20049 0 0 0
1797.44/1797.49 c countsols : 0 0 0 56441 0 0 0 0 0 0
1797.44/1797.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.44/1797.49 c integral : 0.05 0.00 0.00 0.05 0.00
1797.44/1797.49 c varbound : 0.94 0.00 0.45 0.49 0.00
1797.44/1797.49 c linear : 471.05 0.03 40.21 430.82 0.00
1797.44/1797.49 c indicator : 278.96 0.00 59.70 219.26 0.00
1797.44/1797.49 c countsols : 0.02 0.00 0.00 0.02 0.00
1797.44/1797.49 c Propagators : Time Calls Cutoffs DomReds
1797.44/1797.49 c vbounds : 0.08 676 0 617
1797.44/1797.49 c rootredcost : 0.05 1 0 0
1797.44/1797.49 c pseudoobj : 62.08 84183 0 0
1797.44/1797.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.44/1797.49 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.44/1797.49 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.44/1797.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.44/1797.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.44/1797.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.44/1797.49 c applied globally : - - - 0 0.0 - - -
1797.44/1797.49 c applied locally : - - - 0 0.0 - - -
1797.44/1797.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.44/1797.49 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.44/1797.49 c redcost : 129.42 60863 0 0 0 0
1797.44/1797.49 c impliedbounds : 0.00 0 0 0 0 0
1797.44/1797.49 c intobj : 0.00 0 0 0 0 0
1797.44/1797.49 c cgmip : 0.00 0 0 0 0 0
1797.44/1797.49 c gomory : 0.00 0 0 0 0 0
1797.44/1797.49 c strongcg : 0.00 0 0 0 0 0
1797.44/1797.49 c cmir : 0.00 0 0 0 0 0
1797.44/1797.49 c flowcover : 0.00 0 0 0 0 0
1797.44/1797.49 c clique : 0.00 0 0 0 0 0
1797.44/1797.49 c zerohalf : 0.00 0 0 0 0 0
1797.44/1797.49 c mcf : 0.00 0 0 0 0 0
1797.44/1797.49 c rapidlearning : 0.00 0 0 0 0 0
1797.44/1797.49 c Pricers : Time Calls Vars
1797.44/1797.49 c problem variables: 0.00 0 0
1797.44/1797.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.44/1797.49 c relpscost : 0.00 0 0 0 0 0 0
1797.44/1797.49 c pscost : 0.00 0 0 0 0 0 0
1797.44/1797.49 c inference : 369.94 56441 0 0 0 0 112882
1797.44/1797.49 c mostinf : 0.00 0 0 0 0 0 0
1797.44/1797.49 c leastinf : 0.00 0 0 0 0 0 0
1797.44/1797.49 c fullstrong : 0.00 0 0 0 0 0 0
1797.44/1797.49 c allfullstrong : 0.00 0 0 0 0 0 0
1797.44/1797.49 c random : 0.00 0 0 0 0 0 0
1797.44/1797.49 c Primal Heuristics : Time Calls Found
1797.44/1797.49 c LP solutions : 0.00 - 0
1797.44/1797.49 c pseudo solutions : 0.00 - 0
1797.44/1797.49 c intshifting : 0.00 0 0
1797.44/1797.49 c feaspump : 0.00 0 0
1797.44/1797.49 c oneopt : 0.10 1 0
1797.44/1797.49 c crossover : 2.20 7 0
1797.44/1797.49 c guideddiving : 1.64 63 0
1797.44/1797.49 c linesearchdiving : 1.66 64 0
1797.44/1797.49 c coefdiving : 1.66 64 0
1797.44/1797.49 c pscostdiving : 1.66 64 0
1797.44/1797.49 c fracdiving : 1.66 64 0
1797.44/1797.49 c veclendiving : 1.66 64 0
1797.44/1797.49 c objpscostdiving : 1.81 64 0
1797.44/1797.49 c rootsoldiving : 1.84 64 0
1797.44/1797.49 c trivial : 4.65 2 2
1797.44/1797.49 c simplerounding : 0.07 0 0
1797.44/1797.49 c zirounding : 0.03 0 0
1797.44/1797.49 c rounding : 0.03 0 0
1797.44/1797.49 c shifting : 0.00 0 0
1797.44/1797.49 c twoopt : 0.00 0 0
1797.44/1797.49 c fixandinfer : 0.00 0 0
1797.44/1797.49 c intdiving : 0.00 0 0
1797.44/1797.49 c actconsdiving : 0.00 0 0
1797.44/1797.49 c octane : 0.00 0 0
1797.44/1797.49 c rens : 0.00 0 0
1797.44/1797.49 c rins : 0.00 0 0
1797.44/1797.49 c localbranching : 0.00 0 0
1797.44/1797.49 c mutation : 0.00 0 0
1797.44/1797.49 c dins : 0.00 0 0
1797.44/1797.49 c undercover : 0.00 0 0
1797.44/1797.49 c nlp : 0.02 0 0
1797.44/1797.49 c trysol : 1.30 68 16
1797.44/1797.49 c LP : Time Calls Iterations Iter/call Iter/sec
1797.44/1797.49 c primal LP : 0.00 0 0 0.00 -
1797.44/1797.49 c dual LP : 171.78 7578 15033 1.98 87.51
1797.44/1797.49 c lex dual LP : 0.00 0 0 0.00 -
1797.44/1797.49 c barrier LP : 0.00 0 0 0.00 -
1797.44/1797.49 c diving/probing LP: 0.01 0 0 0.00 -
1797.44/1797.49 c strong branching : 0.00 0 0 0.00 -
1797.44/1797.49 c (at root node) : - 0 0 0.00 -
1797.44/1797.49 c conflict analysis: 0.00 0 0 0.00 -
1797.44/1797.49 c B&B Tree :
1797.44/1797.49 c number of runs : 1
1797.44/1797.49 c nodes : 56441
1797.44/1797.49 c nodes (total) : 56441
1797.44/1797.49 c nodes left : 56442
1797.44/1797.49 c max depth : 1733
1797.44/1797.49 c max depth (total): 1733
1797.44/1797.49 c backtracks : 64 (0.1%)
1797.44/1797.49 c delayed cutoffs : 0
1797.44/1797.49 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.44/1797.49 c avg switch length: 2.04
1797.44/1797.49 c switching time : 10.79
1797.44/1797.49 c Solution :
1797.44/1797.49 c Solutions found : 18 (2 improvements)
1797.44/1797.49 c First Solution : +1.00372100000000e+06 (in run 1, after 0 nodes, 0.19 seconds, depth 0, found by <trivial>)
1797.44/1797.49 c Primal Bound : +9.85584000000000e+05 (in run 1, after 1734 nodes, 60.33 seconds, depth 1734, found by <trysol>)
1797.44/1797.49 c Dual Bound : +0.00000000000000e+00
1797.44/1797.49 c Gap : infinite
1797.44/1797.49 c Root Dual Bound : +0.00000000000000e+00
1797.44/1797.49 c Root Iterations : 460
1797.83/1797.82 c Time complete: 1797.85.
OK 17525
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705398-1278578592/watcher-2705398-1278578592 -o /tmp/evaluation-result-2705398-1278578592/solver-2705398-1278578592 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705398-1278578592.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.93 3/178 22825 /proc/meminfo: memFree=29572548/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=12508 CPUtime=0 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 1975 0 0 0 0 0 0 0 25 0 1 0 26071485 12808192 1893 4089446400 4194304 10345943 140735716802256 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/22825/statm: 3127 1893 429 1502 0 1620 0 [startup+0.077023 s] /proc/loadavg: 2.00 2.00 1.93 3/178 22825 /proc/meminfo: memFree=29572548/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=35816 CPUtime=0.07 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 7818 0 0 0 7 0 0 0 25 0 1 0 26071485 36675584 7736 4089446400 4194304 10345943 140735716802256 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/22825/statm: 8954 7736 430 1502 0 7447 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 35816 [startup+0.10102 s] /proc/loadavg: 2.00 2.00 1.93 3/178 22825 /proc/meminfo: memFree=29572548/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=41204 CPUtime=0.09 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 9158 0 0 0 9 0 0 0 25 0 1 0 26071485 42192896 9076 4089446400 4194304 10345943 140735716802256 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/22825/statm: 10557 9094 430 1502 0 9050 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 41204 [startup+0.300975 s] /proc/loadavg: 2.00 2.00 1.93 3/178 22825 /proc/meminfo: memFree=29572548/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=134496 CPUtime=0.29 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 32725 0 0 0 26 3 0 0 25 0 1 0 26071485 137723904 32230 4089446400 4194304 10345943 140735716802256 18446744073709551615 4977867 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22825/statm: 33624 32230 478 1502 0 32117 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 134496 [startup+0.700903 s] /proc/loadavg: 2.00 2.00 1.93 3/178 22825 /proc/meminfo: memFree=29572548/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=168020 CPUtime=0.69 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 39945 0 0 0 65 4 0 0 25 0 1 0 26071485 172052480 39450 4089446400 4194304 10345943 140735716802256 18446744073709551615 4246677 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22825/statm: 42005 39450 509 1502 0 40498 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 168020 [startup+1.50076 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22826 /proc/meminfo: memFree=29414944/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=168020 CPUtime=1.49 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 39945 0 0 0 145 4 0 0 25 0 1 0 26071485 172052480 39450 4089446400 4194304 10345943 140735716802256 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22825/statm: 42005 39450 509 1502 0 40498 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 168020 [startup+3.10047 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22826 /proc/meminfo: memFree=29415316/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=168020 CPUtime=3.09 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 39945 0 0 0 305 4 0 0 25 0 1 0 26071485 172052480 39450 4089446400 4194304 10345943 140735716802256 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22825/statm: 42005 39450 509 1502 0 40498 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 168020 [startup+6.3009 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22826 /proc/meminfo: memFree=29407956/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=172740 CPUtime=6.29 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 42055 0 0 0 625 4 0 0 25 0 1 0 26071485 176885760 40740 4089446400 4194304 10345943 140735716802256 18446744073709551615 4882650 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22825/statm: 43185 40740 562 1502 0 41678 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 172740 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22826 /proc/meminfo: memFree=29403384/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=173508 CPUtime=12.69 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 42247 0 0 0 1265 4 0 0 25 0 1 0 26071485 177672192 40932 4089446400 4194304 10345943 140735716802256 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22825/statm: 43377 40932 562 1502 0 41870 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 173508 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22826 /proc/meminfo: memFree=29355444/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=218020 CPUtime=25.49 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 61817 0 0 0 2542 7 0 0 25 0 1 0 26071485 223252480 51720 4089446400 4194304 10345943 140735716802256 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22825/statm: 54505 51720 708 1502 0 52998 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 218020 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22826 /proc/meminfo: memFree=29344020/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=228712 CPUtime=51.09 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 73017 0 0 0 5101 8 0 0 25 0 1 0 26071485 234201088 54146 4089446400 4194304 10345943 140735716802256 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/22825/statm: 57178 54146 708 1502 0 55671 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 228712 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22828 /proc/meminfo: memFree=29316436/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=254476 CPUtime=102.3 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 142049 0 0 0 10212 18 0 0 25 0 1 0 26071485 260583424 60747 4089446400 4194304 10345943 140735716802256 18446744073709551615 4453822 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22825/statm: 63619 60747 717 1502 0 62112 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 254476 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22830 /proc/meminfo: memFree=29287684/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=281768 CPUtime=162.29 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 171133 0 0 0 16206 23 0 0 25 0 1 0 26071485 288530432 67390 4089446400 4194304 10345943 140735716802256 18446744073709551615 5614603 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22825/statm: 70442 67390 717 1502 0 68935 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 281768 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22832 /proc/meminfo: memFree=29258740/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=309356 CPUtime=222.29 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 223117 0 0 0 22198 31 0 0 25 0 1 0 26071485 316780544 74495 4089446400 4194304 10345943 140735716802256 18446744073709551615 4476340 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22825/statm: 77339 74495 717 1502 0 75832 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 309356 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22833 /proc/meminfo: memFree=29228920/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=337784 CPUtime=282.3 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 230266 0 0 0 28196 34 0 0 25 0 1 0 26071485 345890816 81644 4089446400 4194304 10345943 140735716802256 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22825/statm: 84446 81644 722 1502 0 82939 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 337784 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22834 /proc/meminfo: memFree=29200200/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=365148 CPUtime=342.3 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 237089 0 0 0 34194 36 0 0 25 0 1 0 26071485 373911552 88467 4089446400 4194304 10345943 140735716802256 18446744073709551615 4749699 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22825/statm: 91287 88467 722 1502 0 89780 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 365148 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22836 /proc/meminfo: memFree=29174960/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=389200 CPUtime=402.3 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 243213 0 0 0 40192 38 0 0 25 0 1 0 26071485 398540800 94591 4089446400 4194304 10345943 140735716802256 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22825/statm: 97300 94591 722 1502 0 95793 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 389200 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22838 /proc/meminfo: memFree=29148820/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=414660 CPUtime=462.3 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 249615 0 0 0 46190 40 0 0 25 0 1 0 26071485 424611840 100993 4089446400 4194304 10345943 140735716802256 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22825/statm: 103665 100993 722 1502 0 102158 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 414660 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22840 /proc/meminfo: memFree=29122444/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=440420 CPUtime=522.3 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 256014 0 0 0 52187 43 0 0 25 0 1 0 26071485 450990080 107392 4089446400 4194304 10345943 140735716802256 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22825/statm: 110105 107392 722 1502 0 108598 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 440420 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22841 /proc/meminfo: memFree=29097428/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=464328 CPUtime=582.3 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 284959 0 0 0 58182 48 0 0 25 0 1 0 26071485 475471872 113572 4089446400 4194304 10345943 140735716802256 18446744073709551615 4999646 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22825/statm: 116082 113572 722 1502 0 114575 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 464328 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22842 /proc/meminfo: memFree=29074160/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=486388 CPUtime=642.31 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 290575 0 0 0 64180 51 0 0 25 0 1 0 26071485 498061312 119188 4089446400 4194304 10345943 140735716802256 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22825/statm: 121597 119188 722 1502 0 120090 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 486388 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=28871916/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=676748 CPUtime=1122.31 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 338183 0 0 0 112162 69 0 0 25 0 1 0 26071485 692989952 166796 4089446400 4194304 10345943 140735716802256 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22825/statm: 169187 166796 722 1502 0 167680 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 676748 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22866 /proc/meminfo: memFree=28843340/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=703340 CPUtime=1182.31 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 344473 0 0 0 118161 70 0 0 25 0 1 0 26071485 720220160 173086 4089446400 4194304 10345943 140735716802256 18446744073709551615 4227579 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22825/statm: 175835 173086 722 1502 0 174328 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 703340 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22867 /proc/meminfo: memFree=28818352/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=725760 CPUtime=1242.32 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 350249 0 0 0 124160 72 0 0 25 0 1 0 26071485 743178240 178862 4089446400 4194304 10345943 140735716802256 18446744073709551615 6929826 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22825/statm: 181440 178862 722 1502 0 179933 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 725760 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22869 /proc/meminfo: memFree=28792128/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=748620 CPUtime=1302.32 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 356102 0 0 0 130159 73 0 0 25 0 1 0 26071485 766586880 184715 4089446400 4194304 10345943 140735716802256 18446744073709551615 5012632 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22825/statm: 187155 184715 722 1502 0 185648 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 748620 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22871 /proc/meminfo: memFree=28768632/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=771788 CPUtime=1362.32 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 361884 0 0 0 136156 76 0 0 25 0 1 0 26071485 790310912 190497 4089446400 4194304 10345943 140735716802256 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22825/statm: 192947 190497 722 1502 0 191440 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 771788 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22873 /proc/meminfo: memFree=28675960/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=864316 CPUtime=1422.33 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 384587 0 0 0 142154 79 0 0 25 0 1 0 26071485 885059584 213200 4089446400 4194304 10345943 140735716802256 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22825/statm: 216079 213200 722 1502 0 214572 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 864316 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 22874 /proc/meminfo: memFree=28674780/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=864316 CPUtime=1482.33 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 384731 0 0 0 148153 80 0 0 25 0 1 0 26071485 885059584 213344 4089446400 4194304 10345943 140735716802256 18446744073709551615 5012556 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22825/statm: 216079 213344 722 1502 0 214572 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 864316 [startup+1542.3 s] /proc/loadavg: 1.93 1.98 1.92 3/179 22902 /proc/meminfo: memFree=29122732/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=864316 CPUtime=1542.32 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 384767 0 0 0 154152 80 0 0 25 0 1 0 26071485 885059584 213380 4089446400 4194304 10345943 140735716802256 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22825/statm: 216079 213380 722 1502 0 214572 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 864316 [startup+1602.3 s] /proc/loadavg: 1.97 1.98 1.92 3/179 22904 /proc/meminfo: memFree=29038248/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=864316 CPUtime=1602.32 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 384774 0 0 0 160152 80 0 0 25 0 1 0 26071485 885059584 213387 4089446400 4194304 10345943 140735716802256 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22825/statm: 216079 213387 722 1502 0 214572 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 864316 [startup+1662.3 s] /proc/loadavg: 1.99 1.98 1.92 3/179 22906 /proc/meminfo: memFree=28980080/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=871448 CPUtime=1662.33 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 386678 0 0 0 166151 82 0 0 25 0 1 0 26071485 892362752 215291 4089446400 4194304 10345943 140735716802256 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22825/statm: 217862 215291 722 1502 0 216355 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 871448 [startup+1722.3 s] /proc/loadavg: 2.03 2.00 1.93 3/179 22908 /proc/meminfo: memFree=28907228/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=886732 CPUtime=1722.33 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 390499 0 0 0 172149 84 0 0 25 0 1 0 26071485 908013568 219112 4089446400 4194304 10345943 140735716802256 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22825/statm: 221683 219112 722 1502 0 220176 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 886732 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 1.93 3/179 22909 /proc/meminfo: memFree=28814656/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=905116 CPUtime=1782.33 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 395164 0 0 0 178147 86 0 0 25 0 1 0 26071485 926838784 223777 4089446400 4194304 10345943 140735716802256 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22825/statm: 226279 223777 722 1502 0 224772 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 905116 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.04 2.01 1.93 3/179 22909 /proc/meminfo: memFree=28811552/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=906152 CPUtime=1785.53 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 395408 0 0 0 178467 86 0 0 25 0 1 0 26071485 927899648 224021 4089446400 4194304 10345943 140735716802256 18446744073709551615 4900945 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/22825/statm: 226538 224021 722 1502 0 225031 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 906152 [startup+1791.91 s] /proc/loadavg: 2.03 2.01 1.93 3/179 22909 /proc/meminfo: memFree=28801004/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=907908 CPUtime=1791.94 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 395768 0 0 0 179108 86 0 0 25 0 1 0 26071485 929697792 224381 4089446400 4194304 10345943 140735716802256 18446744073709551615 9138370 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22825/statm: 226977 224381 722 1502 0 225470 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 907908 [startup+1795.1 s] /proc/loadavg: 2.03 2.01 1.93 3/179 22910 /proc/meminfo: memFree=28796400/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=907908 CPUtime=1795.14 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 395768 0 0 0 179428 86 0 0 25 0 1 0 26071485 929697792 224381 4089446400 4194304 10345943 140735716802256 18446744073709551615 4246430 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22825/statm: 226977 224381 722 1502 0 225470 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 907908 [startup+1796.7 s] /proc/loadavg: 2.03 2.01 1.93 3/179 22910 /proc/meminfo: memFree=28795656/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=907908 CPUtime=1796.73 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 395768 0 0 0 179587 86 0 0 25 0 1 0 26071485 929697792 224381 4089446400 4194304 10345943 140735716802256 18446744073709551615 9138240 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22825/statm: 226977 224381 722 1502 0 225470 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 907908 [startup+1797.5 s] /proc/loadavg: 2.03 2.01 1.93 3/179 22910 /proc/meminfo: memFree=28794412/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=907908 CPUtime=1797.53 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 395773 0 0 0 179667 86 0 0 18 0 1 0 26071485 929697792 224386 4089446400 4194304 10345943 140735716802256 18446744073709551615 6459936 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22825/statm: 226977 224386 726 1502 0 225470 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 907908 [startup+1797.7 s] /proc/loadavg: 2.03 2.01 1.93 3/179 22910 /proc/meminfo: memFree=28794412/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=907948 CPUtime=1797.73 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 395798 0 0 0 179687 86 0 0 18 0 1 0 26071485 929738752 224411 4089446400 4194304 10345943 140735716802256 18446744073709551615 6325468 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22825/statm: 226987 224411 726 1502 0 225480 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 907948 [startup+1797.8 s] /proc/loadavg: 2.03 2.01 1.93 3/179 22910 /proc/meminfo: memFree=28794412/32951124 swapFree=67111528/67111528 [pid=22825] ppid=22823 vsize=204228 CPUtime=1797.83 /proc/22825/stat : 22825 (pbscip.linux.x8) R 22823 22825 21566 0 -1 4202496 395798 0 0 0 179695 88 0 0 18 0 1 0 26071485 209129472 48863 4089446400 4194304 10345943 140735716802256 18446744073709551615 4750436 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/22825/statm: 51057 48863 726 1502 0 49550 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 204228 Child status: 0 Real time (s): 1797.83 CPU time (s): 1797.87 CPU user time (s): 1796.97 CPU system time (s): 0.899863 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 907948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.97 system time used= 0.899863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 395801 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= 6 involuntary context switches= 5662 runsolver used 2.67959 second user time and 6.04008 second system time The end
Begin job on node145 at 2010-07-08 10:43:13 IDJOB=2705398 IDBENCH=79347 IDSOLVER=1214 FILE ID=node145/2705398-1278578592 PBS_JOBID= 11240165 Free space on /tmp= 73596 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB10/oliveras/j60/normalized-j602_7-unsat--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705398-1278578592/watcher-2705398-1278578592 -o /tmp/evaluation-result-2705398-1278578592/solver-2705398-1278578592 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705398-1278578592.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c93eadfd598977d622635d98b523c998 RANDOM SEED=124602987 node145.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.859 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.71 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.859 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.859 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.859 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.859 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.74 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.859 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.75 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.859 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.82 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.859 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29573076 kB Buffers: 164568 kB Cached: 2559736 kB SwapCached: 0 kB Active: 1901252 kB Inactive: 1326628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29573076 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 13220 kB Writeback: 0 kB AnonPages: 503500 kB Mapped: 17720 kB Slab: 86380 kB PageTables: 5388 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 657508 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= 73584 MiB End job on node145 at 2010-07-08 11:13:10