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.53 | 1797.49 |
| Name | /SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-0-100-0.wbo |
| MD5SUM | c217e37672ee06a6aab331743e45a145 |
| Bench Category | SOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 3.07153 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 7320 |
| Total number of constraints | 22689 |
| Number of soft constraints | 22689 |
| Number of constraints which are clauses | 22453 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 236 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 32 |
| Top cost | 1139170 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 1139169 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 220 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-2705432-1278576554.wbo>
0.19/0.24 c original problem has 52698 variables (30009 bin, 0 int, 22689 impl, 0 cont) and 45379 constraints
0.19/0.24 c problem read
0.19/0.24 c presolving settings loaded
5.99/6.02 o 1139169
5.99/6.02 c feasible solution found by trivial heuristic, objective value 1.139169e+06
5.99/6.02 c presolving:
11.70/11.71 c (11.5s) probing: 1000/30009 (3.3%) - 0 fixings, 0 aggregations, 270 implications, 0 bound changes
17.29/17.35 c (17.1s) probing: 2000/30009 (6.7%) - 0 fixings, 0 aggregations, 426 implications, 0 bound changes
17.29/17.36 c (17.1s) probing: 2001/30009 (6.7%) - 0 fixings, 0 aggregations, 426 implications, 0 bound changes
17.29/17.36 c (17.1s) probing aborted: 2000/2000 successive useless probings
17.29/17.36 c (round 1) 0 del vars, 1 del conss, 22689 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 852 impls, 0 clqs
17.39/17.43 c (round 2) 0 del vars, 1 del conss, 22689 chg bounds, 0 chg sides, 0 chg coeffs, 356 upgd conss, 852 impls, 0 clqs
17.79/17.89 c (17.6s) probing: 2074/30009 (6.9%) - 0 fixings, 0 aggregations, 426 implications, 0 bound changes
17.79/17.89 c (17.6s) probing aborted: 100/100 successive totally useless probings
17.79/17.89 c presolving (3 rounds):
17.79/17.89 c 0 deleted vars, 1 deleted constraints, 22689 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
17.79/17.89 c 46566 implications, 0 cliques
17.79/17.89 c presolved problem has 52698 variables (30009 bin, 0 int, 22689 impl, 0 cont) and 45378 constraints
17.79/17.89 c 356 constraints of type <varbound>
17.79/17.89 c 22333 constraints of type <linear>
17.79/17.89 c 22689 constraints of type <indicator>
17.79/17.89 c transformed objective value is always integral (scale: 1)
17.79/17.89 c Presolving Time: 17.50
17.79/17.89 c - non default parameters ----------------------------------------------------------------------
17.79/17.89 c # SCIP version 1.2.1.3
17.79/17.89 c
17.79/17.89 c # frequency for displaying node information lines
17.79/17.89 c # [type: int, range: [-1,2147483647], default: 100]
17.79/17.89 c display/freq = 10000
17.79/17.89 c
17.79/17.89 c # maximal time in seconds to run
17.79/17.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.79/17.89 c limits/time = 1789.76
17.79/17.89 c
17.79/17.89 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
17.79/17.89 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
17.79/17.89 c limits/memory = 3420
17.79/17.89 c
17.79/17.89 c # default clock type (1: CPU user seconds, 2: wall clock time)
17.79/17.89 c # [type: int, range: [1,2], default: 1]
17.79/17.89 c timing/clocktype = 2
17.79/17.89 c
17.79/17.89 c # should presolving try to simplify inequalities
17.79/17.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
17.79/17.89 c constraints/linear/simplifyinequalities = TRUE
17.79/17.89 c
17.79/17.89 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
17.79/17.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
17.79/17.89 c constraints/indicator/addCouplingCons = TRUE
17.79/17.89 c
17.79/17.89 c # should presolving try to simplify knapsacks
17.79/17.89 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
17.79/17.89 c constraints/knapsack/simplifyinequalities = TRUE
17.79/17.89 c
17.79/17.89 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
17.79/17.89 c # [type: int, range: [-1,2147483647], default: -1]
17.79/17.89 c separating/rapidlearning/freq = 0
17.79/17.89 c
17.79/17.89 c -----------------------------------------------------------------------------------------------
17.79/17.89 c start solving
17.89/17.90 c
18.00/18.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.00/18.02 c t17.8s| 1 | 0 | 0 | - | 172M| 0 | 0 | 52k| 45k| 52k| 0 | 0 | 0 | 0 | 0.000000e+00 | 1.139169e+06 | Inf
18.00/18.05 c 17.8s| 1 | 0 | 121 | - | 172M| 0 | 0 | 52k| 45k| 52k| 209 | 209 | 0 | 0 | 0.000000e+00 | 1.139169e+06 | Inf
18.00/18.07 c 17.8s| 1 | 0 | 321 | - | 172M| 0 | 0 | 52k| 45k| 52k| 409 | 409 | 0 | 0 | 0.000000e+00 | 1.139169e+06 | Inf
18.09/18.10 c 17.9s| 1 | 0 | 464 | - | 172M| 0 | 0 | 52k| 45k| 52k| 552 | 552 | 0 | 0 | 0.000000e+00 | 1.139169e+06 | Inf
18.09/18.13 c 17.9s| 1 | 2 | 464 | - | 172M| 0 | 0 | 52k| 45k| 52k| 552 | 552 | 0 | 0 | 0.000000e+00 | 1.139169e+06 | Inf
61.09/61.12 o 1121925
61.09/61.12 c y60.9s| 1447 | 1446 | 464 | 0.0 | 193M|1445 | - | 52k| 45k| 0 | 0 | 552 | 0 | 0 | 0.000000e+00 | 1.121925e+06 | Inf
325.50/325.53 c 325s| 10000 | 10001 | 466 | 0.0 | 319M|1445 | 0 | 52k| 45k| 52k| 552 | 553 | 0 | 0 | 0.000000e+00 | 1.121925e+06 | Inf
657.20/657.28 c 657s| 20000 | 20001 | 2520 | 0.1 | 461M|1445 | 0 | 52k| 45k| 52k| 672 |2539 | 0 | 10 | 0.000000e+00 | 1.121925e+06 | Inf
1002.91/1002.92 c 1003s| 30000 | 30001 | 5916 | 0.2 | 599M|1445 | 0 | 52k| 45k| 52k| 629 |6470 | 0 | 10 | 0.000000e+00 | 1.121925e+06 | Inf
1354.42/1354.43 c 1354s| 40000 | 40001 | 9666 | 0.2 | 739M|1445 | 0 | 52k| 45k| 52k| 661 | 10k| 0 | 10 | 0.000000e+00 | 1.121925e+06 | Inf
1707.73/1707.74 c 1707s| 50000 | 50001 | 13433 | 0.3 | 877M|1445 | 0 | 52k| 45k| 52k| 659 | 14k| 0 | 14 | 0.000000e+00 | 1.121925e+06 | Inf
1790.03/1790.01 c
1790.03/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.03/1790.01 c Solving Time (sec) : 1789.77
1790.03/1790.01 c Solving Nodes : 52336
1790.03/1790.01 c Primal Bound : +1.12192500000000e+06 (23 solutions)
1790.03/1790.01 c Dual Bound : +0.00000000000000e+00
1790.03/1790.01 c Gap : infinite
1797.23/1797.20 s SATISFIABLE
1797.23/1797.20 v -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302
1797.23/1797.20 v -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285
1797.23/1797.20 v -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267
1797.23/1797.20 v -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249
1797.23/1797.20 v -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231
1797.23/1797.20 v -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213
1797.23/1797.20 v -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195
1797.23/1797.20 v -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177
1797.23/1797.20 v -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160
1797.23/1797.20 v -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142
1797.23/1797.20 v -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124
1797.23/1797.20 v -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106
1797.23/1797.20 v -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088
1797.23/1797.20 v -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070
1797.23/1797.20 v -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052
1797.23/1797.20 v -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035
1797.23/1797.20 v -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017
1797.23/1797.20 v -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999
1797.23/1797.20 v -x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981
1797.23/1797.20 v -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963
1797.23/1797.20 v -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945
1797.23/1797.20 v -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927
1797.23/1797.20 v -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910
1797.23/1797.20 v -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892
1797.23/1797.20 v -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874
1797.23/1797.20 v -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856
1797.23/1797.20 v -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838
1797.23/1797.20 v -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820
1797.23/1797.20 v -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802
1797.23/1797.20 v -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785
1797.23/1797.20 v -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767
1797.23/1797.20 v -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749
1797.23/1797.20 v -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731
1797.23/1797.20 v -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713
1797.23/1797.20 v -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695
1797.23/1797.20 v -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677
1797.23/1797.20 v -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660
1797.23/1797.20 v -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642
1797.23/1797.20 v -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624
1797.23/1797.20 v -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606
1797.23/1797.20 v -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588
1797.23/1797.20 v -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570
1797.23/1797.20 v -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552
1797.23/1797.20 v -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535
1797.23/1797.20 v -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517
1797.23/1797.20 v -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499
1797.23/1797.20 v -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481
1797.23/1797.20 v -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463
1797.23/1797.20 v -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445
1797.23/1797.20 v -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427
1797.23/1797.20 v -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410
1797.23/1797.20 v -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392
1797.23/1797.20 v -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374
1797.23/1797.20 v -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356
1797.23/1797.20 v -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338
1797.23/1797.20 v -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320
1797.23/1797.20 v -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302
1797.23/1797.20 v -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285
1797.23/1797.20 v -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267
1797.23/1797.20 v -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249
1797.23/1797.20 v -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231
1797.23/1797.20 v -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213
1797.23/1797.20 v -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195
1797.23/1797.20 v -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177
1797.23/1797.20 v -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160
1797.23/1797.20 v -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142
1797.23/1797.20 v -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124
1797.23/1797.20 v -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106
1797.23/1797.20 v -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088
1797.23/1797.20 v -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070
1797.23/1797.20 v -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052
1797.23/1797.20 v -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035
1797.23/1797.20 v -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017
1797.23/1797.20 v -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999
1797.23/1797.20 v -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981
1797.23/1797.20 v -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963
1797.23/1797.20 v -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945
1797.23/1797.20 v -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927
1797.23/1797.20 v -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910
1797.23/1797.20 v -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892
1797.23/1797.20 v -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874
1797.23/1797.20 v -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856
1797.23/1797.20 v -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838
1797.23/1797.20 v -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820
1797.23/1797.20 v -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802
1797.23/1797.20 v -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785
1797.23/1797.20 v -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767
1797.23/1797.20 v -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749
1797.23/1797.20 v -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731
1797.23/1797.20 v -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713
1797.23/1797.20 v -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695
1797.23/1797.20 v -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677
1797.23/1797.20 v -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660
1797.23/1797.20 v -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642
1797.23/1797.20 v -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624
1797.23/1797.20 v -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606
1797.23/1797.20 v -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588
1797.23/1797.20 v -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570
1797.23/1797.20 v -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552
1797.23/1797.20 v -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535
1797.23/1797.20 v -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517
1797.23/1797.20 v -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499
1797.23/1797.20 v -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481
1797.23/1797.20 v -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463
1797.23/1797.20 v -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445
1797.23/1797.20 v -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427
1797.23/1797.20 v -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410
1797.23/1797.20 v -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392
1797.23/1797.20 v -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374
1797.23/1797.20 v -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356
1797.23/1797.20 v -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338
1797.23/1797.20 v -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320
1797.23/1797.20 v -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302
1797.23/1797.20 v -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285
1797.23/1797.20 v -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267
1797.23/1797.20 v -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249
1797.23/1797.20 v -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231
1797.23/1797.20 v -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213
1797.23/1797.20 v -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195
1797.23/1797.20 v -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177
1797.23/1797.20 v -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160
1797.23/1797.20 v -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142
1797.23/1797.20 v -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124
1797.23/1797.20 v -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106
1797.23/1797.20 v -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088
1797.23/1797.20 v -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070
1797.23/1797.20 v -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052
1797.23/1797.20 v -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035
1797.23/1797.20 v -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017
1797.23/1797.20 v -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999
1797.23/1797.20 v -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981
1797.23/1797.20 v -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963
1797.23/1797.20 v -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945
1797.23/1797.20 v -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927
1797.23/1797.20 v -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910
1797.23/1797.20 v -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892
1797.23/1797.20 v -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874
1797.23/1797.20 v -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856
1797.23/1797.20 v -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838
1797.23/1797.20 v -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820
1797.23/1797.20 v -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802
1797.23/1797.20 v -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785
1797.23/1797.20 v -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767
1797.23/1797.20 v -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749
1797.23/1797.20 v -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731
1797.23/1797.20 v -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713
1797.23/1797.20 v -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695
1797.23/1797.20 v -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677
1797.23/1797.20 v -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660
1797.23/1797.20 v -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642
1797.23/1797.20 v -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624
1797.23/1797.20 v -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606
1797.23/1797.20 v -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588
1797.23/1797.20 v -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570
1797.23/1797.20 v -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552
1797.23/1797.20 v -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535
1797.23/1797.20 v -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517
1797.23/1797.20 v -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499
1797.23/1797.20 v -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481
1797.23/1797.20 v -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463
1797.23/1797.20 v -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445
1797.23/1797.20 v -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427
1797.23/1797.20 v -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410
1797.23/1797.20 v -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392
1797.23/1797.20 v -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374
1797.23/1797.20 v -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356
1797.23/1797.20 v -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338
1797.23/1797.20 v -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320
1797.23/1797.20 v -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302
1797.23/1797.20 v -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285
1797.23/1797.20 v -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267
1797.23/1797.20 v -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249
1797.23/1797.20 v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231
1797.23/1797.20 v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213
1797.23/1797.20 v -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195
1797.23/1797.20 v -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177
1797.23/1797.20 v -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160
1797.23/1797.20 v -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142
1797.23/1797.20 v -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124
1797.23/1797.20 v -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106
1797.23/1797.20 v -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088
1797.23/1797.20 v -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070
1797.23/1797.20 v -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052
1797.23/1797.20 v -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035
1797.23/1797.20 v -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017
1797.23/1797.20 v -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999
1797.23/1797.20 v -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981
1797.23/1797.20 v -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963
1797.23/1797.20 v -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945
1797.23/1797.20 v -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927
1797.23/1797.20 v -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910
1797.23/1797.20 v -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892
1797.23/1797.20 v -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874
1797.23/1797.20 v -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856
1797.23/1797.20 v -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838
1797.23/1797.20 v -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820
1797.23/1797.20 v -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802
1797.23/1797.20 v -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785
1797.23/1797.20 v -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767
1797.23/1797.20 v -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749
1797.23/1797.20 v -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731
1797.23/1797.20 v -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713
1797.23/1797.20 v -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695
1797.23/1797.20 v -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677
1797.23/1797.20 v -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660
1797.23/1797.20 v -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642
1797.23/1797.20 v -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624
1797.23/1797.20 v -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606
1797.23/1797.20 v -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 x3595 x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588
1797.23/1797.20 v -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570
1797.23/1797.20 v -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552
1797.23/1797.20 v -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 x3540 x3539 -x3538 -x3537 -x3536 -x3535 -x3534
1797.23/1797.20 v -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516
1797.23/1797.20 v -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498
1797.23/1797.20 v -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480
1797.23/1797.20 v -x3479 -x3478 -x3477 -x3476 -x3475 x3474 x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462
1797.23/1797.20 v -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444
1797.23/1797.20 v -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427
1797.23/1797.20 v -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 x3412 x3411 -x3410 -x3409 -x3408
1797.23/1797.20 v -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391
1797.23/1797.20 v -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373
1797.23/1797.20 v -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355
1797.23/1797.20 v x3354 x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337
1797.23/1797.20 v -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319
1797.23/1797.20 v -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301
1797.23/1797.20 v x3300 x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283
1797.23/1797.20 v -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265
1797.23/1797.20 v -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247
1797.23/1797.20 v -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 x3234 x3233 -x3232 -x3231 -x3230 -x3229
1797.23/1797.20 v -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211
1797.23/1797.20 v -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193
1797.23/1797.20 v -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 x3180 x3179 -x3178 -x3177 -x3176 -x3175
1797.23/1797.20 v -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157
1797.23/1797.20 v -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139
1797.23/1797.20 v -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122
1797.23/1797.20 v -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 x3114 x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103
1797.23/1797.20 v -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086
1797.23/1797.20 v -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068
1797.23/1797.20 v -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 x3060 x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050
1797.23/1797.20 v -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032
1797.23/1797.20 v -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014
1797.23/1797.20 v -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 x2997 x2996
1797.23/1797.20 v -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978
1797.23/1797.20 v -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960
1797.23/1797.20 v -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942
1797.23/1797.20 v -x2941 -x2940 -x2939 -x2938 -x2937 x2936 x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924
1797.23/1797.20 v -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906
1797.23/1797.20 v -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888
1797.23/1797.20 v -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 x2877 x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870
1797.23/1797.20 v -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852
1797.23/1797.20 v -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834
1797.23/1797.20 v -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817
1797.23/1797.20 v x2816 x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798
1797.23/1797.20 v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781
1797.23/1797.20 v -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763
1797.23/1797.20 v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 x2753 x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745
1797.23/1797.20 v -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727
1797.23/1797.20 v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709
1797.23/1797.20 v -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 x2696 x2695 -x2694 -x2693 -x2692 -x2691
1797.23/1797.20 v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673
1797.23/1797.20 v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655
1797.23/1797.20 v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 x2639 x2638 -x2637
1797.23/1797.20 v -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619
1797.23/1797.20 v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601
1797.23/1797.20 v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583
1797.23/1797.20 v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 x2575 x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565
1797.23/1797.20 v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547
1797.23/1797.20 v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529
1797.23/1797.20 v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 x2515 x2514 -x2513 -x2512 -x2511
1797.23/1797.20 v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493
1797.23/1797.20 v -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476
1797.23/1797.20 v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 x2459 x2458 -x2457
1797.23/1797.20 v -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440
1797.23/1797.20 v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422
1797.23/1797.20 v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404
1797.23/1797.20 v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 x2393 x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386
1797.23/1797.20 v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368
1797.23/1797.20 v -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350
1797.23/1797.20 v -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 x2338 x2337 -x2336 -x2335 -x2334 -x2333 -x2332
1797.23/1797.20 v -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314
1797.23/1797.20 v -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296
1797.23/1797.20 v -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278
1797.23/1797.20 v -x2277 -x2276 -x2275 -x2274 x2273 x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260
1797.23/1797.20 v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242
1797.23/1797.20 v -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224
1797.23/1797.20 v -x2223 -x2222 x2221 x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206
1797.23/1797.20 v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188
1797.23/1797.20 v -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171
1797.23/1797.20 v -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 x2161 x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152
1797.23/1797.20 v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135
1797.23/1797.20 v -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117
1797.23/1797.20 v -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099
1797.23/1797.20 v x2098 x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081
1797.23/1797.20 v -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063
1797.23/1797.20 v -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045
1797.23/1797.20 v -x2044 -x2043 -x2042 -x2041 -x2040 x2039 x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027
1797.23/1797.20 v -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009
1797.23/1797.20 v -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991
1797.23/1797.20 v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 x1980 x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973
1797.23/1797.20 v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955
1797.23/1797.20 v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937
1797.23/1797.20 v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919
1797.23/1797.20 v -x1918 -x1917 -x1916 -x1915 x1914 x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901
1797.23/1797.20 v -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883
1797.23/1797.20 v -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866
1797.23/1797.20 v -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 x1853 x1852 -x1851 -x1850 -x1849 -x1848 -x1847
1797.23/1797.20 v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830
1797.23/1797.20 v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812
1797.23/1797.20 v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 x1797 x1796 -x1795 -x1794
1797.23/1797.20 v -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776
1797.23/1797.20 v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758
1797.23/1797.20 v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740
1797.23/1797.20 v -x1739 -x1738 x1737 x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722
1797.23/1797.20 v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704
1797.23/1797.20 v -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686
1797.23/1797.20 v -x1685 -x1684 -x1683 -x1682 -x1681 x1680 x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668
1797.23/1797.20 v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650
1797.23/1797.20 v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632
1797.23/1797.20 v -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 x1616 x1615 -x1614
1797.23/1797.20 v -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596
1797.23/1797.20 v -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578
1797.23/1797.20 v -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561
1797.23/1797.20 v -x1560 -x1559 -x1558 -x1557 -x1556 x1555 x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542
1797.23/1797.20 v -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525
1797.23/1797.20 v -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507
1797.23/1797.20 v -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 x1498 x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489
1797.23/1797.20 v -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471
1797.23/1797.20 v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453
1797.23/1797.20 v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 x1438 x1437 -x1436 -x1435
1797.23/1797.20 v -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417
1797.23/1797.20 v -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
1797.23/1797.20 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381
1797.23/1797.20 v -x1380 -x1379 x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363
1797.23/1797.20 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345
1797.23/1797.20 v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327
1797.23/1797.20 v -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 x1315 x1314 -x1313 -x1312 -x1311 -x1310 -x1309
1797.23/1797.20 v -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291
1797.23/1797.20 v -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273
1797.23/1797.20 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 x1256 x1255
1797.23/1797.20 v -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237
1797.23/1797.20 v -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
1797.23/1797.20 v -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202
1797.23/1797.20 v x1201 x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
1797.23/1797.20 v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166
1797.23/1797.20 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148
1797.23/1797.20 v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130
1797.23/1797.20 v -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112
1797.23/1797.20 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094
1797.23/1797.20 v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076
1797.23/1797.20 v x1075 x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058
1797.23/1797.20 v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040
1797.23/1797.20 v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022
1797.23/1797.20 v -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 x1012 x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004
1797.23/1797.20 v -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984
1797.23/1797.20 v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963
1797.23/1797.20 v -x962 -x961 x960 x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942
1797.23/1797.20 v -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921
1797.23/1797.20 v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900
1797.23/1797.20 v -x899 -x898 -x897 x896 x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879
1797.23/1797.20 v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858
1797.23/1797.20 v -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838
1797.23/1797.20 v -x837 -x836 -x835 -x834 x833 x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816
1797.23/1797.20 v -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796
1797.23/1797.20 v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 x780 -x779 -x778 -x777 -x776 -x775 -x774
1797.23/1797.20 v -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754
1797.23/1797.20 v -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733
1797.23/1797.20 v -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 x714 -x713 -x712
1797.23/1797.20 v -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691
1797.23/1797.20 v -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670
1797.23/1797.20 v -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 x660 x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649
1797.23/1797.20 v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628
1797.23/1797.20 v -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607
1797.23/1797.20 v -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586
1797.23/1797.20 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565
1797.23/1797.20 v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544
1797.23/1797.20 v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523
1797.23/1797.20 v -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502
1797.23/1797.20 v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481
1797.23/1797.20 v -x480 -x479 -x478 -x477 -x476 -x475 x474 x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460
1797.23/1797.20 v -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439
1797.23/1797.20 v -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 x419 -x418
1797.23/1797.20 v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397
1797.23/1797.20 v -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377
1797.23/1797.20 v -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356
1797.23/1797.20 v x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335
1797.23/1797.20 v -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314
1797.23/1797.20 v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 x295 -x294 -x293
1797.23/1797.20 v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272
1797.23/1797.20 v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251
1797.23/1797.20 v -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 x232 -x231 -x230
1797.23/1797.20 v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209
1797.23/1797.20 v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
1797.23/1797.20 v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
1797.23/1797.20 v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146
1797.23/1797.20 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1797.23/1797.20 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1797.23/1797.20 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1797.23/1797.20 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 x56 -x55
1797.23/1797.20 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1797.23/1797.20 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1797.23/1797.20 v -x2 x1
1797.23/1797.20 c SCIP Status : solving was interrupted [time limit reached]
1797.23/1797.20 c Solving Time : 1789.77
1797.23/1797.20 c Original Problem :
1797.23/1797.20 c Problem name : HOME/instance-2705432-1278576554.wbo
1797.23/1797.20 c Variables : 52698 (30009 binary, 0 integer, 22689 implicit integer, 0 continuous)
1797.23/1797.20 c Constraints : 45379 initial, 45379 maximal
1797.23/1797.20 c Presolved Problem :
1797.23/1797.20 c Problem name : t_HOME/instance-2705432-1278576554.wbo
1797.23/1797.20 c Variables : 52698 (30009 binary, 0 integer, 22689 implicit integer, 0 continuous)
1797.23/1797.20 c Constraints : 45378 initial, 45378 maximal
1797.23/1797.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.23/1797.20 c trivial : 0.01 0 0 0 0 0 0 0 0
1797.23/1797.20 c dualfix : 0.01 0 0 0 0 0 0 0 0
1797.23/1797.20 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.20 c implics : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.20 c probing : 11.67 0 0 0 0 0 0 0 0
1797.23/1797.20 c varbound : 0.00 0 0 0 0 0 0 0 0
1797.23/1797.20 c linear : 0.16 0 0 0 22689 0 1 0 0
1797.23/1797.20 c indicator : 0.02 0 0 0 0 0 0 0 0
1797.23/1797.20 c root node : - 0 - - 0 - - - -
1797.23/1797.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.23/1797.20 c integral : 0 0 0 56149 0 0 0 0 0 14
1797.23/1797.20 c varbound : 356 4 73805 49720 0 0 11832 209 0 0
1797.23/1797.20 c linear : 22333 4 84910 56142 0 0 15126 15021 0 0
1797.23/1797.20 c indicator : 22689 0 84910 56142 0 0 16836 0 0 0
1797.23/1797.20 c countsols : 0 0 0 52329 0 0 0 0 0 0
1797.23/1797.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.23/1797.20 c integral : 0.16 0.00 0.00 0.16 0.00
1797.23/1797.20 c varbound : 0.98 0.00 0.51 0.48 0.00
1797.23/1797.20 c linear : 471.69 0.03 41.92 429.75 0.00
1797.23/1797.20 c indicator : 281.95 0.00 59.87 222.08 0.00
1797.23/1797.20 c countsols : 0.02 0.00 0.00 0.02 0.00
1797.23/1797.20 c Propagators : Time Calls Cutoffs DomReds
1797.23/1797.20 c vbounds : 0.06 465 0 404
1797.23/1797.20 c rootredcost : 0.05 1 0 0
1797.23/1797.20 c pseudoobj : 64.85 80671 0 0
1797.23/1797.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.23/1797.20 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.23/1797.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.23/1797.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.23/1797.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.23/1797.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.23/1797.20 c applied globally : - - - 0 0.0 - - -
1797.23/1797.20 c applied locally : - - - 0 0.0 - - -
1797.23/1797.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.23/1797.20 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.23/1797.20 c redcost : 129.83 56148 0 0 0 0
1797.23/1797.20 c impliedbounds : 0.00 0 0 0 0 0
1797.23/1797.20 c intobj : 0.00 0 0 0 0 0
1797.23/1797.20 c cgmip : 0.00 0 0 0 0 0
1797.23/1797.20 c gomory : 0.00 0 0 0 0 0
1797.23/1797.20 c strongcg : 0.00 0 0 0 0 0
1797.23/1797.20 c cmir : 0.00 0 0 0 0 0
1797.23/1797.20 c flowcover : 0.00 0 0 0 0 0
1797.23/1797.20 c clique : 0.00 0 0 0 0 0
1797.23/1797.20 c zerohalf : 0.00 0 0 0 0 0
1797.23/1797.20 c mcf : 0.00 0 0 0 0 0
1797.23/1797.20 c rapidlearning : 0.00 0 0 0 0 0
1797.23/1797.20 c Pricers : Time Calls Vars
1797.23/1797.20 c problem variables: 0.00 0 0
1797.23/1797.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.23/1797.20 c relpscost : 0.12 7 0 0 0 0 14
1797.23/1797.20 c pscost : 0.00 0 0 0 0 0 0
1797.23/1797.20 c inference : 354.38 52329 0 0 0 0 104658
1797.23/1797.20 c mostinf : 0.00 0 0 0 0 0 0
1797.23/1797.20 c leastinf : 0.00 0 0 0 0 0 0
1797.23/1797.20 c fullstrong : 0.00 0 0 0 0 0 0
1797.23/1797.20 c allfullstrong : 0.00 0 0 0 0 0 0
1797.23/1797.20 c random : 0.00 0 0 0 0 0 0
1797.23/1797.20 c Primal Heuristics : Time Calls Found
1797.23/1797.20 c LP solutions : 0.00 - 0
1797.23/1797.20 c pseudo solutions : 0.00 - 0
1797.23/1797.20 c intshifting : 0.00 0 0
1797.23/1797.20 c feaspump : 0.00 0 0
1797.23/1797.20 c oneopt : 0.10 1 0
1797.23/1797.20 c crossover : 2.77 8 0
1797.23/1797.20 c guideddiving : 2.01 70 0
1797.23/1797.20 c coefdiving : 2.03 71 0
1797.23/1797.20 c pscostdiving : 2.03 71 0
1797.23/1797.20 c fracdiving : 2.03 71 0
1797.23/1797.20 c veclendiving : 2.03 71 0
1797.23/1797.20 c linesearchdiving : 2.03 71 0
1797.23/1797.20 c objpscostdiving : 2.21 71 0
1797.23/1797.20 c rootsoldiving : 2.25 71 0
1797.23/1797.20 c trivial : 5.62 2 2
1797.23/1797.20 c simplerounding : 0.06 7 0
1797.23/1797.20 c zirounding : 0.03 7 0
1797.23/1797.20 c rounding : 0.02 7 0
1797.23/1797.20 c shifting : 0.00 0 0
1797.23/1797.20 c twoopt : 0.00 0 0
1797.23/1797.20 c fixandinfer : 0.00 0 0
1797.23/1797.20 c intdiving : 0.00 0 0
1797.23/1797.20 c actconsdiving : 0.00 0 0
1797.23/1797.20 c octane : 0.00 0 0
1797.23/1797.20 c rens : 0.00 0 0
1797.23/1797.20 c rins : 0.00 0 0
1797.23/1797.20 c localbranching : 0.00 0 0
1797.23/1797.20 c mutation : 0.00 0 0
1797.23/1797.20 c dins : 0.00 0 0
1797.23/1797.20 c undercover : 0.00 0 0
1797.23/1797.20 c nlp : 0.01 0 0
1797.23/1797.20 c trysol : 1.61 75 21
1797.23/1797.20 c LP : Time Calls Iterations Iter/call Iter/sec
1797.23/1797.20 c primal LP : 0.00 0 0 0.00 -
1797.23/1797.20 c dual LP : 174.36 6100 14211 2.33 81.50
1797.23/1797.20 c lex dual LP : 0.00 0 0 0.00 -
1797.23/1797.20 c barrier LP : 0.00 0 0 0.00 -
1797.23/1797.20 c diving/probing LP: 0.01 0 0 0.00 0.00
1797.23/1797.20 c strong branching : 0.12 14 57 4.07 490.36
1797.23/1797.20 c (at root node) : - 0 0 0.00 -
1797.23/1797.20 c conflict analysis: 0.00 0 0 0.00 -
1797.23/1797.20 c B&B Tree :
1797.23/1797.20 c number of runs : 1
1797.23/1797.20 c nodes : 52336
1797.23/1797.20 c nodes (total) : 52336
1797.23/1797.20 c nodes left : 52337
1797.23/1797.20 c max depth : 1445
1797.23/1797.20 c max depth (total): 1445
1797.23/1797.20 c backtracks : 71 (0.1%)
1797.23/1797.20 c delayed cutoffs : 0
1797.23/1797.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.23/1797.20 c avg switch length: 2.05
1797.23/1797.20 c switching time : 10.71
1797.23/1797.20 c Solution :
1797.23/1797.20 c Solutions found : 23 (2 improvements)
1797.23/1797.20 c First Solution : +1.13916900000000e+06 (in run 1, after 0 nodes, 0.21 seconds, depth 0, found by <trivial>)
1797.23/1797.20 c Primal Bound : +1.12192500000000e+06 (in run 1, after 1446 nodes, 60.65 seconds, depth 1446, found by <trysol>)
1797.23/1797.20 c Dual Bound : +0.00000000000000e+00
1797.23/1797.20 c Gap : infinite
1797.23/1797.20 c Root Dual Bound : +0.00000000000000e+00
1797.23/1797.20 c Root Iterations : 464
1797.44/1797.48 c Time complete: 1797.52.
OK 17460
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705432-1278576554/watcher-2705432-1278576554 -o /tmp/evaluation-result-2705432-1278576554/solver-2705432-1278576554 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705432-1278576554.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: 1.94 1.99 1.91 4/178 21791 /proc/meminfo: memFree=28836540/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=12692 CPUtime=0 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 2007 0 0 0 0 0 0 0 23 0 1 0 25869316 12996608 1926 4089446400 4194304 10345943 140735150113200 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21791/statm: 3173 1926 429 1502 0 1666 0 [startup+0.0529159 s] /proc/loadavg: 1.94 1.99 1.91 4/178 21791 /proc/meminfo: memFree=28836540/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=28620 CPUtime=0.04 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 5991 0 0 0 4 0 0 0 23 0 1 0 25869316 29306880 5910 4089446400 4194304 10345943 140735150113200 18446744073709551615 9134633 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21791/statm: 7155 5910 430 1502 0 5648 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 28620 [startup+0.100905 s] /proc/loadavg: 1.94 1.99 1.91 4/178 21791 /proc/meminfo: memFree=28836540/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=42232 CPUtime=0.09 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 9415 0 0 0 8 1 0 0 23 0 1 0 25869316 43245568 9334 4089446400 4194304 10345943 140735150113200 18446744073709551615 4729690 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/21791/statm: 10558 9334 430 1502 0 9051 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42232 [startup+0.300867 s] /proc/loadavg: 1.94 1.99 1.91 4/178 21791 /proc/meminfo: memFree=28836540/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=129908 CPUtime=0.29 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 31597 0 0 0 26 3 0 0 23 0 1 0 25869316 133025792 31103 4089446400 4194304 10345943 140735150113200 18446744073709551615 9138384 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21791/statm: 32515 31135 478 1502 0 31008 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 129908 [startup+0.700798 s] /proc/loadavg: 1.94 1.99 1.91 4/178 21791 /proc/meminfo: memFree=28836540/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=187384 CPUtime=0.69 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 44743 0 0 0 65 4 0 0 25 0 1 0 25869316 191881216 44249 4089446400 4194304 10345943 140735150113200 18446744073709551615 4246430 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21791/statm: 46846 44249 509 1502 0 45339 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 187384 [startup+1.50072 s] /proc/loadavg: 1.94 1.99 1.91 3/179 21792 /proc/meminfo: memFree=28597708/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=187384 CPUtime=1.49 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 44743 0 0 0 145 4 0 0 25 0 1 0 25869316 191881216 44249 4089446400 4194304 10345943 140735150113200 18446744073709551615 9138370 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21791/statm: 46846 44249 509 1502 0 45339 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 187384 [startup+3.10044 s] /proc/loadavg: 1.94 1.99 1.91 3/179 21792 /proc/meminfo: memFree=28597460/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=187384 CPUtime=3.09 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 44743 0 0 0 305 4 0 0 25 0 1 0 25869316 191881216 44249 4089446400 4194304 10345943 140735150113200 18446744073709551615 9138512 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21791/statm: 46846 44249 509 1502 0 45339 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 187384 [startup+6.30087 s] /proc/loadavg: 1.94 1.99 1.91 3/179 21792 /proc/meminfo: memFree=28597420/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=192580 CPUtime=6.29 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 46906 0 0 0 625 4 0 0 25 0 1 0 25869316 197201920 45632 4089446400 4194304 10345943 140735150113200 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21791/statm: 48145 45632 601 1502 0 46638 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 192580 [startup+12.7007 s] /proc/loadavg: 1.95 1.99 1.91 3/179 21792 /proc/meminfo: memFree=28592204/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=193092 CPUtime=12.7 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 47081 0 0 0 1265 5 0 0 25 0 1 0 25869316 197726208 45760 4089446400 4194304 10345943 140735150113200 18446744073709551615 5608163 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21791/statm: 48273 45760 554 1502 0 46766 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 193092 [startup+25.5004 s] /proc/loadavg: 1.96 1.99 1.91 3/179 21793 /proc/meminfo: memFree=28545624/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=241524 CPUtime=25.49 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 68732 0 0 0 2541 8 0 0 25 0 1 0 25869316 247320576 57567 4089446400 4194304 10345943 140735150113200 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/21791/statm: 60381 57567 705 1502 0 58874 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 241524 [startup+51.1009 s] /proc/loadavg: 2.03 2.01 1.91 3/179 21793 /proc/meminfo: memFree=28537908/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=251460 CPUtime=51.09 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 80753 0 0 0 5100 9 0 0 25 0 1 0 25869316 257495040 59745 4089446400 4194304 10345943 140735150113200 18446744073709551615 6785959 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 62865 59745 705 1502 0 61358 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 251460 [startup+102.307 s] /proc/loadavg: 2.01 2.00 1.91 3/179 21795 /proc/meminfo: memFree=28512100/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=276056 CPUtime=102.29 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 156598 0 0 0 10211 18 0 0 25 0 1 0 25869316 282681344 66078 4089446400 4194304 10345943 140735150113200 18446744073709551615 6307527 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 69014 66080 714 1502 0 67507 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 276056 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21796 /proc/meminfo: memFree=28459368/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=304060 CPUtime=162.29 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 213301 0 0 0 16203 26 0 0 25 0 1 0 25869316 311357440 72957 4089446400 4194304 10345943 140735150113200 18446744073709551615 5926416 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 76015 72957 714 1502 0 74508 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 304060 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.91 3/179 21798 /proc/meminfo: memFree=28231912/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=331156 CPUtime=222.29 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 245187 0 0 0 22198 31 0 0 25 0 1 0 25869316 339103744 79930 4089446400 4194304 10345943 140735150113200 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 82789 79930 714 1502 0 81282 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 331156 [startup+282.301 s] /proc/loadavg: 2.03 2.01 1.92 3/179 21799 /proc/meminfo: memFree=28177200/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=359212 CPUtime=282.29 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 252065 0 0 0 28196 33 0 0 25 0 1 0 25869316 367833088 86808 4089446400 4194304 10345943 140735150113200 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 89803 86808 714 1502 0 88296 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 359212 [startup+342.3 s] /proc/loadavg: 2.01 2.01 1.92 3/179 21801 /proc/meminfo: memFree=28029864/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=477488 CPUtime=342.29 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 281576 0 0 0 34193 36 0 0 25 0 1 0 25869316 488947712 116319 4089446400 4194304 10345943 140735150113200 18446744073709551615 6786073 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 119372 116319 718 1502 0 117865 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 477488 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 21803 /proc/meminfo: memFree=27993376/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=484112 CPUtime=402.29 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 286937 0 0 0 40192 37 0 0 25 0 1 0 25869316 495730688 118605 4089446400 4194304 10345943 140735150113200 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 121028 118605 726 1502 0 119521 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 484112 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 21804 /proc/meminfo: memFree=27964572/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=484112 CPUtime=462.3 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 286944 0 0 0 46192 38 0 0 25 0 1 0 25869316 495730688 118612 4089446400 4194304 10345943 140735150113200 18446744073709551615 6756352 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 121028 118612 726 1502 0 119521 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 484112 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 21806 /proc/meminfo: memFree=27933660/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=484112 CPUtime=522.3 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 307097 0 0 0 52189 41 0 0 25 0 1 0 25869316 495730688 118618 4089446400 4194304 10345943 140735150113200 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 121028 118618 726 1502 0 119521 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 484112 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.92 3/179 21810 /proc/meminfo: memFree=27897392/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=491228 CPUtime=582.3 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 308849 0 0 0 58187 43 0 0 25 0 1 0 25869316 503017472 120370 4089446400 4194304 10345943 140735150113200 18446744073709551615 4696423 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 122807 120370 726 1502 0 121300 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 491228 [startup+642.301 s] /proc/loadavg: 2.03 2.01 1.93 3/179 21812 /proc/meminfo: memFree=27840740/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=518800 CPUtime=642.31 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 315719 0 0 0 64186 45 0 0 25 0 1 0 25869316 531251200 127240 4089446400 4194304 10345943 140735150113200 18446744073709551615 4617661 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 129700 127240 726 1502 0 128193 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 518800 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27434308/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=704720 CPUtime=1122.31 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 362107 0 0 0 112172 59 0 0 25 0 1 0 25869316 721633280 173628 4089446400 4194304 10345943 140735150113200 18446744073709551615 6866185 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 176180 173628 726 1502 0 174673 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 704720 [startup+1182.3 s] /proc/loadavg: 2.05 2.01 1.94 3/179 21826 /proc/meminfo: memFree=27379968/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=730252 CPUtime=1182.32 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 368304 0 0 0 118171 61 0 0 25 0 1 0 25869316 747778048 179825 4089446400 4194304 10345943 140735150113200 18446744073709551615 6002270 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 182563 179825 726 1502 0 181056 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 730252 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 1.94 3/179 21828 /proc/meminfo: memFree=27332200/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=751660 CPUtime=1242.31 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 373832 0 0 0 124168 63 0 0 25 0 1 0 25869316 769699840 185353 4089446400 4194304 10345943 140735150113200 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 187915 185353 726 1502 0 186408 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 751660 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21830 /proc/meminfo: memFree=27278244/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=775892 CPUtime=1302.33 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 379996 0 0 0 130167 66 0 0 25 0 1 0 25869316 794513408 191517 4089446400 4194304 10345943 140735150113200 18446744073709551615 4227612 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 193973 191517 726 1502 0 192466 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 775892 [startup+1362.3 s] /proc/loadavg: 2.07 2.02 1.94 3/179 21831 /proc/meminfo: memFree=27228000/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=800868 CPUtime=1362.32 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 385819 0 0 0 136164 68 0 0 25 0 1 0 25869316 820088832 197340 4089446400 4194304 10345943 140735150113200 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 200217 197340 726 1502 0 198710 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 800868 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 1.94 3/179 21833 /proc/meminfo: memFree=27178124/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=825144 CPUtime=1422.33 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 391666 0 0 0 142163 70 0 0 25 0 1 0 25869316 844947456 203187 4089446400 4194304 10345943 140735150113200 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 206286 203187 726 1502 0 204779 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 825144 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 1.94 3/179 21834 /proc/meminfo: memFree=27121176/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=847332 CPUtime=1482.33 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 397158 0 0 0 148161 72 0 0 25 0 1 0 25869316 867667968 208679 4089446400 4194304 10345943 140735150113200 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 211833 208679 726 1502 0 210326 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 847332 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21836 /proc/meminfo: memFree=27067696/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=869696 CPUtime=1542.33 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 402909 0 0 0 154159 74 0 0 25 0 1 0 25869316 890568704 214430 4089446400 4194304 10345943 140735150113200 18446744073709551615 6002332 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 217424 214430 726 1502 0 215917 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 869696 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21838 /proc/meminfo: memFree=27023396/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=894572 CPUtime=1602.32 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 409167 0 0 0 160157 75 0 0 25 0 1 0 25869316 916041728 220688 4089446400 4194304 10345943 140735150113200 18446744073709551615 5926381 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 223643 220688 726 1502 0 222136 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 894572 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21839 /proc/meminfo: memFree=26964212/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=916800 CPUtime=1662.32 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 414771 0 0 0 166155 77 0 0 25 0 1 0 25869316 938803200 226292 4089446400 4194304 10345943 140735150113200 18446744073709551615 5012894 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 229200 226292 726 1502 0 227693 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 916800 [startup+1722.3 s] /proc/loadavg: 2.07 2.02 1.95 3/179 21841 /proc/meminfo: memFree=26919292/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=939240 CPUtime=1722.33 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 420605 0 0 0 172154 79 0 0 25 0 1 0 25869316 961781760 232126 4089446400 4194304 10345943 140735150113200 18446744073709551615 4999640 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 234810 232126 726 1502 0 233303 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 939240 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 1.95 3/179 21842 /proc/meminfo: memFree=26870764/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=961604 CPUtime=1782.34 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 426138 0 0 0 178152 82 0 0 25 0 1 0 25869316 984682496 237659 4089446400 4194304 10345943 140735150113200 18446744073709551615 4688027 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 240401 237659 726 1502 0 238894 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 961604 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.02 2.01 1.95 3/179 21842 /proc/meminfo: memFree=26868284/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=962620 CPUtime=1785.53 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 426374 0 0 0 178471 82 0 0 25 0 1 0 25869316 985722880 237895 4089446400 4194304 10345943 140735150113200 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/21791/statm: 240655 237895 726 1502 0 239148 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 962620 [startup+1791.91 s] /proc/loadavg: 2.02 2.01 1.95 3/179 21843 /proc/meminfo: memFree=26853772/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=963636 CPUtime=1791.94 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 426746 0 0 0 179112 82 0 0 25 0 1 0 25869316 986763264 238267 4089446400 4194304 10345943 140735150113200 18446744073709551615 4246683 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21791/statm: 240909 238267 726 1502 0 239402 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 963636 [startup+1795.1 s] /proc/loadavg: 2.02 2.01 1.95 3/179 21843 /proc/meminfo: memFree=26853524/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=963636 CPUtime=1795.14 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 426746 0 0 0 179432 82 0 0 25 0 1 0 25869316 986763264 238267 4089446400 4194304 10345943 140735150113200 18446744073709551615 4246696 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21791/statm: 240909 238267 726 1502 0 239402 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 963636 [startup+1796.7 s] /proc/loadavg: 2.02 2.01 1.95 3/179 21843 /proc/meminfo: memFree=26853632/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=963636 CPUtime=1796.73 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 426746 0 0 0 179591 82 0 0 25 0 1 0 25869316 986763264 238267 4089446400 4194304 10345943 140735150113200 18446744073709551615 4246683 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21791/statm: 240909 238267 726 1502 0 239402 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 963636 [startup+1797.1 s] /proc/loadavg: 2.02 2.01 1.95 3/179 21843 /proc/meminfo: memFree=26853632/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=963636 CPUtime=1797.13 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 426746 0 0 0 179631 82 0 0 25 0 1 0 25869316 986763264 238267 4089446400 4194304 10345943 140735150113200 18446744073709551615 4246683 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21791/statm: 240909 238267 726 1502 0 239402 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 963636 [startup+1797.3 s] /proc/loadavg: 2.02 2.01 1.95 3/179 21843 /proc/meminfo: memFree=26853632/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=963636 CPUtime=1797.34 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 426756 0 0 0 179652 82 0 0 18 0 1 0 25869316 986763264 238277 4089446400 4194304 10345943 140735150113200 18446744073709551615 6328947 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21791/statm: 240909 238277 730 1502 0 239402 0 Current children cumulated CPU time (s) 1797.34 Current children cumulated vsize (KiB) 963636 [startup+1797.41 s] /proc/loadavg: 2.02 2.01 1.95 3/179 21843 /proc/meminfo: memFree=26853632/32950928 swapFree=67111528/67111528 [pid=21791] ppid=21789 vsize=963636 CPUtime=1797.44 /proc/21791/stat : 21791 (pbscip.linux.x8) R 21789 21791 21304 0 -1 4202496 426756 0 0 0 179662 82 0 0 18 0 1 0 25869316 986763264 238277 4089446400 4194304 10345943 140735150113200 18446744073709551615 4750745 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21791/statm: 240909 238277 730 1502 0 239402 0 Current children cumulated CPU time (s) 1797.44 Current children cumulated vsize (KiB) 963636 Child status: 0 Real time (s): 1797.49 CPU time (s): 1797.53 CPU user time (s): 1796.67 CPU system time (s): 0.85387 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 963636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.67 system time used= 0.85387 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 426759 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 19387 runsolver used 2.58461 second user time and 7.2309 second system time The end
Begin job on node123 at 2010-07-08 10:09:14 IDJOB=2705432 IDBENCH=79146 IDSOLVER=1214 FILE ID=node123/2705432-1278576554 PBS_JOBID= 11240207 Free space on /tmp= 73612 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-BIGINT-LIN/PB10/oliveras/j60/normalized-j606_1-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-2705432-1278576554/watcher-2705432-1278576554 -o /tmp/evaluation-result-2705432-1278576554/solver-2705432-1278576554 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705432-1278576554.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c217e37672ee06a6aab331743e45a145 RANDOM SEED=1676477818 node123.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.848 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.69 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.848 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.75 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.848 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.80 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.848 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.79 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.848 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 : 5354.69 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.848 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28837068 kB Buffers: 156672 kB Cached: 2996308 kB SwapCached: 0 kB Active: 1732744 kB Inactive: 2219724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28837068 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 30364 kB Writeback: 0 kB AnonPages: 799028 kB Mapped: 16404 kB Slab: 95564 kB PageTables: 6072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 951444 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= 73600 MiB End job on node123 at 2010-07-08 10:39:12