Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | 25 | 3587.17 | 3597.15 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
| MD5SUM | a7d8f923a6cdb36d5c6f2d05cbd48ec7 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 57.5933 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8901 |
| Total number of constraints | 32298 |
| Number of constraints which are clauses | 32280 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 790 |
| Number of terms in the objective function | 790 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 790 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 820 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4497800-1751405845.opb>
0.00/0.06 c original problem has 8901 variables (8901 bin, 0 int, 0 impl, 0 cont) and 32298 constraints
0.00/0.06 c problem read in 0.06
0.09/0.12 c presolving:
0.09/0.16 c (round 1, fast) 735 del vars, 1465 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 0 impls, 23446 clqs
0.09/0.20 c (0.2s) running MILP presolver
0.19/0.24 c (0.2s) MILP presolver (2 rounds): 17 aggregations, 0 fixings, 0 bound changes
0.19/0.24 c (round 2, medium) 752 del vars, 1465 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 0 impls, 23412 clqs
0.19/0.25 c (round 3, fast) 752 del vars, 1516 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 0 upgd conss, 0 impls, 23412 clqs
0.30/0.31 c (round 4, exhaustive) 752 del vars, 1516 del conss, 0 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 0 impls, 23412 clqs
0.40/0.43 c (round 5, exhaustive) 752 del vars, 31562 del conss, 7364 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 0 impls, 23412 clqs
0.40/0.46 c (round 6, exhaustive) 1000 del vars, 31810 del conss, 7364 add conss, 5 chg bounds, 17 chg sides, 17 chg coeffs, 30782 upgd conss, 0 impls, 22911 clqs
0.49/0.53 c (0.5s) probing: 51/7901 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.53 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.49/0.53 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.49/0.54 c (0.5s) no symmetry present (symcode time: 0.00)
0.49/0.54 c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.49/0.54 c 1000 deleted vars, 31810 deleted constraints, 7364 added constraints, 5 tightened bounds, 0 added holes, 17 changed sides, 17 changed coefficients
0.49/0.54 c 0 implications, 22911 cliques
0.49/0.54 c presolved problem has 7901 variables (7901 bin, 0 int, 0 impl, 0 cont) and 7852 constraints
0.49/0.54 c 1 constraints of type <knapsack>
0.49/0.54 c 730 constraints of type <setppc>
0.49/0.54 c 7116 constraints of type <and>
0.49/0.54 c 5 constraints of type <logicor>
0.49/0.54 c transformed objective value is always integral (scale: 1)
0.49/0.54 c Presolving Time: 0.43
0.49/0.54 c - non default parameters ----------------------------------------------------------------------
0.49/0.54 c # SCIP version 10.0.0
0.49/0.54 c
0.49/0.54 c # maximal time in seconds to run
0.49/0.54 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.49/0.54 c limits/time = 3596.998013
0.49/0.54 c
0.49/0.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.54 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.49/0.54 c limits/memory = 27900
0.49/0.54 c
0.49/0.54 c # belongs reading time to solving time?
0.49/0.54 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.49/0.54 c timing/reading = TRUE
0.49/0.54 c
0.49/0.54 c -----------------------------------------------------------------------------------------------
0.49/0.54 c start solving
0.49/0.55 c
0.98/1.04 o 28
0.98/1.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.98/1.04 c p 1.0s| 1 | 0 | 0 | - |shiftand| 0 |7901 |7919 | 14k| 0 | 0 | 68 | 0 | 5.000000e+00 | 2.800000e+01 | 460.00%| unknown
0.98/1.05 o 27
0.98/1.05 c i 1.0s| 1 | 0 | 0 | - | oneopt| 0 |7901 |7919 | 14k| 0 | 0 | 68 | 0 | 5.000000e+00 | 2.700000e+01 | 440.00%| unknown
0.98/1.09 c 1.1s| 1 | 0 | 681 | - | 138M | 0 |7901 |7919 | 14k| 0 | 0 | 68 | 0 | 7.750000e+00 | 2.700000e+01 | 248.39%| unknown
1.88/1.92 c 1.9s| 1 | 0 | 777 | - | 148M | 0 |7901 |8114 | 14k| 26 | 1 | 68 | 0 | 8.381818e+00 | 2.700000e+01 | 222.13%| unknown
2.88/2.93 c 2.9s| 1 | 0 | 854 | - | 167M | 0 |7901 |8113 | 15k| 52 | 2 | 68 | 0 | 9.166667e+00 | 2.700000e+01 | 194.55%| unknown
3.87/3.93 c 3.9s| 1 | 0 | 1461 | - | 179M | 0 |7901 |8113 | 15k| 76 | 3 | 70 | 0 | 9.523364e+00 | 2.700000e+01 | 183.51%| unknown
4.97/5.03 c 5.0s| 1 | 0 | 1558 | - | 196M | 0 |7901 |8103 | 15k| 160 | 4 | 70 | 0 | 1.000000e+01 | 2.700000e+01 | 170.00%| unknown
5.77/5.85 c 5.8s| 1 | 0 | 1847 | - | 208M | 0 |7901 |8105 | 15k| 209 | 5 | 73 | 0 | 1.050000e+01 | 2.700000e+01 | 157.14%| unknown
6.47/6.56 c 6.6s| 1 | 0 | 2470 | - | 220M | 0 |7901 |8109 | 15k| 276 | 6 | 81 | 0 | 1.066667e+01 | 2.700000e+01 | 153.12%| unknown
6.86/6.98 c 7.0s| 1 | 0 | 2812 | - | 226M | 0 |7901 |8108 | 15k| 325 | 7 | 81 | 0 | 1.066667e+01 | 2.700000e+01 | 153.12%| unknown
7.45/7.54 c 7.5s| 1 | 0 | 3421 | - | 241M | 0 |7901 |8108 | 15k| 392 | 8 | 81 | 0 | 1.068750e+01 | 2.700000e+01 | 152.63%| unknown
8.13/8.25 c 8.2s| 1 | 0 | 4236 | - | 250M | 0 |7901 |8108 | 15k| 485 | 9 | 81 | 0 | 1.100000e+01 | 2.700000e+01 | 145.45%| unknown
8.72/8.85 c 8.8s| 1 | 0 | 5693 | - | 260M | 0 |7901 |8108 | 15k| 577 | 10 | 81 | 0 | 1.103186e+01 | 2.700000e+01 | 144.75%| unknown
8.92/9.05 c 9.0s| 1 | 0 | 6304 | - | 262M | 0 |7901 |8118 | 15k| 760 | 11 | 91 | 0 | 1.118376e+01 | 2.700000e+01 | 141.42%| unknown
9.12/9.22 c 9.2s| 1 | 0 | 6881 | - | 264M | 0 |7901 |8123 | 15k| 885 | 12 | 96 | 0 | 1.125320e+01 | 2.700000e+01 | 139.93%| unknown
9.32/9.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.32/9.43 c 9.4s| 1 | 0 | 7829 | - | 265M | 0 |7901 |8124 | 16k|1042 | 13 | 97 | 0 | 1.127882e+01 | 2.700000e+01 | 139.39%| unknown
9.52/9.64 c 9.6s| 1 | 0 | 8538 | - | 267M | 0 |7901 |8125 | 16k|1248 | 14 | 98 | 0 | 1.131203e+01 | 2.700000e+01 | 138.68%| unknown
9.92/10.01 c 10.0s| 1 | 0 | 10144 | - | 269M | 0 |7901 |8127 | 16k|1337 | 15 | 100 | 0 | 1.136057e+01 | 2.700000e+01 | 137.66%| unknown
10.31/10.43 c 10.4s| 1 | 0 | 11500 | - | 270M | 0 |7901 |8133 | 16k|1506 | 16 | 106 | 0 | 1.139659e+01 | 2.700000e+01 | 136.91%| unknown
11.02/11.11 c 11.1s| 1 | 0 | 13950 | - | 272M | 0 |7901 |8143 | 16k|1798 | 17 | 116 | 0 | 1.142061e+01 | 2.700000e+01 | 136.41%| unknown
11.61/11.71 c 11.7s| 1 | 0 | 15866 | - | 274M | 0 |7901 |8150 | 16k|2061 | 18 | 123 | 0 | 1.144970e+01 | 2.700000e+01 | 135.81%| unknown
12.21/12.38 c 12.4s| 1 | 0 | 18257 | - | 276M | 0 |7901 |8153 | 17k|2269 | 19 | 126 | 0 | 1.146735e+01 | 2.700000e+01 | 135.45%| unknown
13.01/13.11 c 13.1s| 1 | 0 | 20698 | - | 278M | 0 |7901 |8163 | 17k|2596 | 20 | 136 | 0 | 1.148752e+01 | 2.700000e+01 | 135.04%| unknown
14.01/14.18 c 14.2s| 1 | 0 | 24337 | - | 279M | 0 |7901 |8173 | 17k|2851 | 21 | 146 | 0 | 1.150864e+01 | 2.700000e+01 | 134.61%| unknown
15.20/15.37 c 15.4s| 1 | 0 | 28220 | - | 279M | 0 |7901 |8175 | 18k|3165 | 22 | 149 | 0 | 1.152267e+01 | 2.700000e+01 | 134.32%| unknown
16.20/16.31 c 16.3s| 1 | 0 | 31273 | - | 279M | 0 |7901 |8179 | 18k|3461 | 23 | 153 | 0 | 1.152814e+01 | 2.700000e+01 | 134.21%| unknown
17.00/17.13 c 17.1s| 1 | 0 | 33961 | - | 280M | 0 |7901 |8189 | 18k|3683 | 24 | 163 | 0 | 1.153131e+01 | 2.700000e+01 | 134.15%| unknown
18.29/18.49 c 18.5s| 1 | 0 | 38189 | - | 282M | 0 |7901 |8199 | 19k|4253 | 25 | 173 | 0 | 1.153689e+01 | 2.700000e+01 | 134.03%| unknown
19.09/19.21 c 19.2s| 1 | 0 | 40390 | - | 282M | 0 |7901 |8202 | 19k|4504 | 26 | 176 | 0 | 1.153929e+01 | 2.700000e+01 | 133.98%| unknown
19.39/19.55 c 19.5s| 1 | 0 | 41365 | - | 283M | 0 |7901 |8212 | 19k|4645 | 27 | 186 | 0 | 1.153973e+01 | 2.700000e+01 | 133.97%| unknown
19.59/19.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.59/19.77 c 19.8s| 1 | 0 | 41857 | - | 283M | 0 |7901 |8214 | 19k|4701 | 28 | 188 | 0 | 1.153988e+01 | 2.700000e+01 | 133.97%| unknown
19.79/19.98 c 20.0s| 1 | 0 | 42240 | - | 283M | 0 |7901 |8219 | 19k|4746 | 29 | 193 | 0 | 1.154007e+01 | 2.700000e+01 | 133.97%| unknown
20.19/20.33 c 20.3s| 1 | 0 | 43181 | - | 283M | 0 |7901 |8221 | 19k|4835 | 30 | 203 | 0 | 1.154040e+01 | 2.700000e+01 | 133.96%| unknown
20.28/20.49 c 20.5s| 1 | 0 | 43436 | - | 283M | 0 |7901 |8222 | 19k|4870 | 31 | 204 | 0 | 1.154041e+01 | 2.700000e+01 | 133.96%| unknown
20.58/20.76 c 20.8s| 1 | 0 | 44105 | - | 284M | 0 |7901 |8231 | 19k|4917 | 32 | 214 | 0 | 1.154049e+01 | 2.700000e+01 | 133.96%| unknown
20.89/21.05 c 21.0s| 1 | 0 | 44766 | - | 284M | 0 |7901 |8240 | 19k|5079 | 33 | 224 | 0 | 1.154054e+01 | 2.700000e+01 | 133.96%| unknown
20.99/21.18 c 21.2s| 1 | 0 | 44906 | - | 284M | 0 |7901 |8250 | 19k|5101 | 34 | 234 | 0 | 1.154055e+01 | 2.700000e+01 | 133.96%| unknown
21.28/21.47 c 21.5s| 1 | 0 | 45704 | - | 285M | 0 |7901 |8260 | 18k|5143 | 35 | 244 | 0 | 1.154063e+01 | 2.700000e+01 | 133.96%| unknown
21.78/21.92 c 21.9s| 1 | 0 | 47229 | - | 287M | 0 |7901 |8270 | 18k|5174 | 36 | 254 | 0 | 1.154099e+01 | 2.700000e+01 | 133.95%| unknown
45.42/45.66 o 25
45.42/45.66 c L45.7s| 1 | 0 | 79591 | - | rens| 0 |7901 |8272 | 18k|5174 | 36 | 267 | 0 | 1.154099e+01 | 2.500000e+01 | 116.62%| unknown
45.52/45.78 c 45.8s| 1 | 0 | 79591 | - | 288M | 0 |7901 |8272 | 18k|5174 | 36 | 267 | 0 | 1.154099e+01 | 2.500000e+01 | 116.62%| unknown
46.21/46.41 c 46.4s| 1 | 0 | 82052 | - | 289M | 0 |7901 |8279 | 18k|5251 | 37 | 274 | 0 | 1.154147e+01 | 2.500000e+01 | 116.61%| unknown
46.31/46.51 c 46.5s| 1 | 0 | 82176 | - | 290M | 0 |7901 |8289 | 18k|5313 | 38 | 284 | 0 | 1.154147e+01 | 2.500000e+01 | 116.61%| unknown
49.59/49.82 c 49.8s| 1 | 2 | 82486 | - | 290M | 0 |7901 |8298 | 18k|5313 | 38 | 294 | 11 | 1.154187e+01 | 2.500000e+01 | 116.60%| unknown
998.82/1001.60 c 1002s| 100 | 101 | 2274k|22475.8 | 344M | 29 |7901 |8316 | 21k| 33k| 4 | 343 |1298 | 1.166528e+01 | 2.500000e+01 | 114.31%| unknown
1790.21/1795.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1790.21/1795.10 c 1795s| 200 | 201 | 4008k|19893.7 | 496M | 37 |7901 |8271 | 23k| 48k| 2 | 376 |2409 | 1.168448e+01 | 2.500000e+01 | 113.96%| unknown
2584.54/2591.94 c 2592s| 300 | 301 | 5749k|19063.0 | 515M | 37 |7901 |9662 | 23k| 64k| 2 |1829 |3352 | 1.178060e+01 | 2.500000e+01 | 112.21%| unknown
3012.84/3021.32 c 3021s| 400 | 401 | 6726k|16733.2 | 556M | 40 |7901 |9684 | 23k| 72k| 2 |1872 |4056 | 1.179460e+01 | 2.500000e+01 | 111.96%| unknown
3443.02/3452.65 c 3453s| 500 | 501 | 7710k|15352.1 | 639M | 40 |7901 |9969 | 23k| 79k| 3 |2224 |4681 | 1.181403e+01 | 2.500000e+01 | 111.61%| unknown
3587.00/3597.00 c
3587.00/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.00/3597.00 c Solving Time (sec) : 3597.00
3587.00/3597.00 c Solving Nodes : 524
3587.00/3597.00 c Primal Bound : +2.50000000000000e+01 (9 solutions)
3587.00/3597.00 c Dual Bound : +1.18140313068888e+01
3587.00/3597.00 c Gap : 111.61 %
3587.00/3597.01 s SATISFIABLE
3587.00/3597.02 v -x8901 -x8899 x8897 x8895 -x8893 x8892 -x8891 x8890 -x8888 -x8887 -x8886 -x8885 -x8883 -x8882 -x8881 -x8880 -x8878 -x8877 -x8876
3587.00/3597.02 v -x8875 -x8873 -x8872 -x8871 -x8870 -x8868 -x8867 -x8866 -x8865 -x8863 -x8862 -x8861 -x8860 -x8858 -x8857 -x8856 -x8855 -x8853
3587.00/3597.02 v -x8852 -x8851 -x8850 -x8848 -x8847 -x8846 -x8845 -x8843 -x8842 -x8841 -x8840 -x8838 -x8837 -x8836 -x8835 -x8833 -x8832 -x8831
3587.00/3597.02 v -x8830 -x8828 -x8827 -x8826 -x8825 -x8823 -x8822 -x8821 -x8820 -x8818 -x8817 -x8816 -x8815 -x8813 -x8812 -x8811 -x8810 -x8808
3587.00/3597.02 v -x8807 -x8806 -x8805 -x8803 -x8802 -x8801 -x8800 -x8798 -x8797 -x8796 -x8795 -x8793 -x8792 -x8791 -x8790 -x8788 -x8787 -x8786
3587.00/3597.02 v -x8785 -x8783 -x8782 -x8781 -x8780 -x8778 -x8777 -x8776 -x8775 -x8773 -x8772 -x8771 -x8770 -x8768 -x8767 -x8766 -x8765
3587.00/3597.02 v -x8763 -x8762 -x8761 -x8760 -x8758 -x8757 -x8756 -x8755 -x8753 -x8752 -x8751 -x8750 -x8748 -x8747 -x8746 -x8745 -x8743 -x8742
3587.00/3597.02 v -x8741 -x8740 -x8738 -x8737 -x8736 -x8735 -x8733 -x8732 -x8731 -x8730 -x8728 -x8727 -x8726 -x8725 -x8723 -x8722 -x8721 -x8720
3587.00/3597.02 v -x8718 -x8717 -x8716 -x8715 -x8713 -x8712 -x8711 -x8710 -x8708 -x8707 -x8706 -x8705 -x8703 -x8702 -x8701 -x8700 -x8698 -x8697
3587.00/3597.02 v -x8696 -x8695 -x8693 -x8692 -x8691 -x8690 -x8688 -x8687 -x8686 -x8685 -x8683 -x8682 -x8681 -x8680 -x8678 -x8677 -x8676 -x8675
3587.00/3597.02 v -x8673 -x8672 -x8671 -x8670 -x8668 -x8667 -x8666 -x8665 -x8663 -x8662 -x8661 -x8660 -x8658 -x8657 -x8656 -x8655 -x8653 -x8652
3587.00/3597.02 v -x8651 -x8650 -x8648 -x8647 -x8646 -x8645 -x8643 -x8642 -x8641 -x8640 -x8638 -x8637 -x8636 -x8635 -x8633 -x8632 -x8631 -x8630
3587.00/3597.02 v -x8628 -x8627 -x8626 -x8625 -x8623 -x8622 -x8621 -x8620 -x8618 -x8617 -x8616 -x8615 -x8613 -x8612 -x8611 -x8610 -x8608
3587.00/3597.02 v -x8607 -x8606 -x8605 -x8603 -x8602 -x8601 -x8600 -x8598 -x8597 -x8596 -x8595 -x8593 -x8592 -x8591 -x8590 -x8588 -x8587 -x8586
3587.00/3597.02 v -x8585 -x8583 -x8582 -x8581 -x8580 -x8578 -x8577 -x8576 -x8575 -x8573 -x8572 -x8571 -x8570 -x8568 -x8567 -x8566 -x8565 -x8563
3587.00/3597.02 v -x8562 -x8561 -x8560 -x8558 -x8557 -x8556 -x8555 -x8553 -x8552 -x8551 -x8550 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542
3587.00/3597.02 v -x8541 -x8540 -x8539 x8538 -x8536 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 -x8528 -x8527 -x8526 -x8525 -x8524 -x8522 -x8520
3587.00/3597.02 v -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8508 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500
3587.00/3597.02 v -x8499 -x8498 -x8497 -x8496 -x8494 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8480 -x8478
3587.00/3597.02 v -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8466 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458
3587.00/3597.02 v -x8457 -x8456 -x8455 -x8454 -x8452 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8438
3587.00/3597.02 v -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8424 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417
3587.00/3597.02 v -x8416 -x8415 -x8414 -x8413 -x8412 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8398 -x8396
3587.00/3597.02 v -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8384 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376
3587.00/3597.02 v -x8375 -x8374 -x8373 -x8372 -x8370 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 x8356 -x8354
3587.00/3597.02 v -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 -x8344 x8342 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334
3587.00/3597.02 v -x8333 -x8332 -x8331 -x8330 x8328 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8314 -x8312
3587.00/3597.02 v -x8311 -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8300 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292
3587.00/3597.02 v -x8291 -x8290 -x8289 -x8288 -x8286 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 x8272 -x8270
3587.00/3597.02 v -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8258 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250
3587.00/3597.02 v -x8249 -x8248 -x8247 -x8246 -x8244 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8230 -x8228
3587.00/3597.02 v -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218 -x8216 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209
3587.00/3597.02 v -x8208 -x8207 -x8206 -x8205 -x8204 -x8202 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8188
3587.00/3597.02 v -x8186 -x8185 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 x8174 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167
3587.00/3597.02 v -x8166 -x8165 -x8164 -x8163 -x8162 x8160 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 x8146
3587.00/3597.02 v -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 x8132 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125
3587.00/3597.02 v -x8124 -x8123 -x8122 -x8121 -x8120 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8106 -x8104
3587.00/3597.02 v -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8092 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084
3587.00/3597.02 v -x8083 -x8082 -x8081 -x8080 x8078 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 x8064 -x8062
3587.00/3597.02 v -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 x8052 -x8050 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042
3587.00/3597.02 v -x8041 -x8040 -x8039 x8038 -x8036 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 x8024 -x8022 -x8020
3587.00/3597.02 v -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8008 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000
3587.00/3597.02 v -x7999 -x7998 -x7997 -x7996 -x7994 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7980 -x7979
3587.00/3597.02 v -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7968 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959
3587.00/3597.02 v -x7958 -x7957 -x7956 -x7954 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7940 -x7939 -x7938
3587.00/3597.02 v -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919
3587.00/3597.02 v -x7918 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899
3587.00/3597.02 v -x7898 -x7897 -x7896 -x7895 -x7894 -x7892 -x7890 -x7889 -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880
3587.00/3597.02 v x7878 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859
3587.00/3597.02 v -x7858 -x7857 -x7856 -x7855 -x7854 -x7852 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7838
3587.00/3597.02 v -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7824 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817
3587.00/3597.02 v -x7816 -x7815 -x7814 -x7813 -x7812 -x7810 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 x7796
3587.00/3597.02 v -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776
3587.00/3597.02 v -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758
3587.00/3597.02 v x7757 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739
3587.00/3597.02 v -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 x7730 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720
3587.00/3597.02 v -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 x7703 -x7701
3587.00/3597.02 v -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683
3587.00/3597.02 v -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664
3587.00/3597.02 v -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7647 -x7646
3587.00/3597.02 v -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628
3587.00/3597.02 v -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609
3587.00/3597.02 v -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7593 -x7592 -x7591 -x7590
3587.00/3597.02 v -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572
3587.00/3597.02 v -x7571 -x7570 -x7569 -x7568 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553
3587.00/3597.02 v -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534
3587.00/3597.02 v -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517
3587.00/3597.02 v -x7516 -x7515 -x7514 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498
3587.00/3597.02 v -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479
3587.00/3597.02 v -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461
3587.00/3597.02 v -x7460 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442
3587.00/3597.02 v -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423
3587.00/3597.02 v -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7404
3587.00/3597.02 v -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387
3587.00/3597.02 v -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368
3587.00/3597.02 v -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7350 -x7349
3587.00/3597.02 v -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331
3587.00/3597.02 v -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312
3587.00/3597.02 v -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7296 -x7295 -x7294 -x7293
3587.00/3597.02 v -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275
3587.00/3597.02 v -x7274 -x7273 -x7272 -x7271 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257
3587.00/3597.02 v -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7242 -x7241 -x7240 -x7239 -x7238
3587.00/3597.02 v -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220
3587.00/3597.02 v -x7219 -x7218 -x7217 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201
3587.00/3597.02 v -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182
3587.00/3597.02 v -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164
3587.00/3597.02 v -x7163 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145
3587.00/3597.02 v -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127
3587.00/3597.02 v -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109
3587.00/3597.02 v -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090
3587.00/3597.02 v -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071
3587.00/3597.02 v -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7053 -x7052
3587.00/3597.02 v -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034
3587.00/3597.02 v -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015
3587.00/3597.02 v -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998
3587.00/3597.02 v -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980
3587.00/3597.02 v -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 x6970 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961
3587.00/3597.02 v -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943
3587.00/3597.02 v -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925
3587.00/3597.02 v -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 x6912 -x6910 -x6909 -x6908 -x6907 -x6906
3587.00/3597.02 v -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888
3587.00/3597.02 v -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870
3587.00/3597.02 v -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6852 -x6851
3587.00/3597.02 v -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834
3587.00/3597.02 v -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816
3587.00/3597.02 v -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798
3587.00/3597.02 v -x6797 -x6796 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779
3587.00/3597.02 v -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761
3587.00/3597.02 v -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743
3587.00/3597.02 v -x6742 -x6741 -x6740 -x6739 -x6738 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724
3587.00/3597.02 v -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707
3587.00/3597.02 v -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689
3587.00/3597.02 v -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670
3587.00/3597.02 v -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652
3587.00/3597.02 v -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634
3587.00/3597.02 v -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615
3587.00/3597.02 v -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597
3587.00/3597.02 v -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580
3587.00/3597.02 v -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6562 -x6561
3587.00/3597.02 v -x6560 -x6559 x6557 -x6555 -x6554 -x6553 -x6552 x6550 -x6548 -x6547 -x6546 -x6545 x6543 -x6541 -x6540 -x6539 -x6538 x6536 -x6534
3587.00/3597.02 v -x6533 -x6532 -x6531 -x6529 -x6527 -x6526 -x6525 -x6524 x6522 -x6520 -x6519 -x6518 -x6517 -x6515 -x6513 -x6512 -x6511 -x6510
3587.00/3597.02 v -x6508 -x6506 -x6505 -x6504 -x6503 x6501 -x6499 -x6498 -x6497 -x6496 -x6494 -x6492 -x6491 -x6490 -x6489 -x6487 -x6486 -x6485
3587.00/3597.02 v -x6484 x6482 -x6480 -x6479 -x6478 -x6477 -x6475 -x6473 -x6472 -x6471 -x6470 -x6468 -x6466 -x6465 -x6464 -x6463 x6461 -x6459
3587.00/3597.02 v -x6458 -x6457 -x6456 -x6454 -x6452 -x6451 -x6450 -x6449 -x6447 -x6445 -x6444 -x6443 -x6442 -x6440 -x6438 -x6437 -x6436 -x6435
3587.00/3597.02 v -x6433 -x6431 -x6430 -x6429 -x6428 -x6426 -x6424 -x6423 -x6422 -x6421 -x6419 -x6417 -x6416 -x6415 -x6414 x6412 -x6410 -x6409
3587.00/3597.02 v -x6408 -x6407 -x6405 -x6403 -x6402 -x6401 -x6400 -x6398 -x6396 -x6395 -x6394 -x6393 x6391 -x6389 -x6388 -x6387 -x6386 -x6384
3587.00/3597.02 v -x6382 -x6381 -x6380 -x6379 -x6377 -x6375 -x6374 -x6373 -x6372 -x6370 -x6368 -x6367 -x6366 -x6365 -x6363 -x6361 -x6360 -x6359
3587.00/3597.02 v -x6358 -x6356 -x6354 -x6353 -x6352 -x6351 -x6349 -x6347 -x6346 -x6345 -x6344 -x6342 -x6340 -x6339 -x6338 -x6337 -x6335
3587.00/3597.02 v -x6333 -x6332 -x6331 -x6330 -x6328 -x6326 x6325 -x6324 x6323 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312
3587.00/3597.02 v -x6311 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6297 -x6296 -x6295 -x6294 -x6293
3587.00/3597.02 v -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6273
3587.00/3597.02 v -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254
3587.00/3597.02 v -x6253 -x6252 -x6251 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6237 -x6236 -x6235 -x6234
3587.00/3597.02 v -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215
3587.00/3597.02 v -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195
3587.00/3597.02 v -x6194 -x6193 -x6192 -x6191 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6177 -x6176 -x6175
3587.00/3597.02 v -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157
3587.00/3597.02 v -x6156 -x6155 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 x6143 -x6141 -x6140 -x6139 -x6138 -x6137
3587.00/3597.02 v -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6117
3587.00/3597.02 v -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098
3587.00/3597.02 v -x6097 -x6096 -x6095 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 x6083 -x6081 -x6080 -x6079 -x6078
3587.00/3597.02 v -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 x6071 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059
3587.00/3597.02 v -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 -x6040
3587.00/3597.02 v -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022
3587.00/3597.02 v -x6021 -x6020 -x6019 -x6018 -x6017 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003
3587.00/3597.02 v -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5988 -x5987 -x5986 -x5985 -x5984
3587.00/3597.02 v -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967
3587.00/3597.02 v -x5966 -x5965 -x5964 -x5963 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948
3587.00/3597.02 v -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929
3587.00/3597.02 v -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911
3587.00/3597.02 v -x5910 x5909 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892
3587.00/3597.02 v -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 x5882 -x5880 -x5879 -x5878 -x5877 -x5875 -x5874 -x5873 -x5872
3587.00/3597.02 v -x5870 -x5869 -x5868 -x5867 -x5865 -x5864 -x5863 -x5862 -x5860 -x5859 -x5858 -x5857 -x5855 -x5854 -x5853 -x5852 -x5850 -x5849
3587.00/3597.02 v -x5848 x5847 -x5845 -x5844 -x5843 -x5842 -x5840 -x5839 -x5838 -x5837 -x5835 -x5834 -x5833 -x5832 -x5830 -x5829 -x5828 -x5827
3587.00/3597.02 v -x5825 -x5824 -x5823 -x5822 -x5820 -x5819 -x5818 -x5817 -x5815 -x5814 -x5813 -x5812 -x5810 -x5809 -x5808 -x5807 -x5805 -x5804
3587.00/3597.02 v -x5803 -x5802 -x5800 -x5799 -x5798 -x5797 -x5795 -x5794 -x5793 -x5792 -x5790 -x5789 -x5788 -x5787 -x5785 -x5784 -x5783 -x5782
3587.00/3597.02 v -x5780 -x5779 -x5778 -x5777 -x5775 -x5774 -x5773 -x5772 -x5770 -x5769 -x5768 -x5767 -x5765 -x5764 -x5763 -x5762 -x5760
3587.00/3597.02 v -x5759 -x5758 x5757 -x5755 -x5754 -x5753 -x5752 -x5750 -x5749 -x5748 -x5747 -x5745 -x5744 -x5743 -x5742 -x5740 -x5739 -x5738
3587.00/3597.02 v x5737 -x5735 -x5734 -x5733 -x5732 -x5730 -x5729 -x5728 x5727 -x5725 -x5724 -x5723 -x5722 -x5720 -x5719 -x5718 -x5717 -x5715 -x5714
3587.00/3597.02 v -x5713 -x5712 -x5710 -x5709 -x5708 -x5707 -x5705 -x5704 -x5703 -x5702 -x5700 -x5699 -x5698 -x5697 -x5695 -x5694 -x5693
3587.00/3597.02 v -x5692 -x5690 -x5689 -x5688 -x5687 -x5685 -x5684 -x5683 -x5682 -x5680 -x5679 -x5678 -x5677 -x5675 -x5674 -x5673 -x5672 -x5670
3587.00/3597.02 v -x5669 -x5668 -x5667 -x5665 -x5664 -x5663 -x5662 -x5660 -x5659 -x5658 -x5657 -x5655 -x5654 -x5653 -x5652 -x5650 -x5649 -x5648
3587.00/3597.02 v -x5647 -x5645 -x5644 -x5643 -x5642 -x5640 -x5639 -x5638 -x5637 -x5635 -x5634 -x5633 -x5632 -x5630 -x5629 -x5628 -x5627 -x5625
3587.00/3597.02 v -x5624 -x5623 -x5622 -x5620 -x5619 -x5618 -x5617 -x5615 -x5614 -x5613 -x5612 -x5610 -x5609 -x5608 -x5607 -x5605 -x5604 -x5603
3587.00/3597.02 v -x5602 -x5600 -x5599 -x5598 -x5597 -x5595 -x5594 -x5593 -x5592 -x5590 -x5589 -x5588 -x5587 -x5585 -x5584 -x5583 -x5582 -x5580
3587.00/3597.02 v -x5579 -x5578 -x5577 -x5575 -x5574 -x5573 -x5572 -x5570 -x5569 -x5568 -x5567 -x5565 -x5564 -x5563 -x5562 -x5560 -x5559 -x5558
3587.00/3597.02 v -x5557 -x5555 -x5554 -x5553 -x5552 -x5550 -x5549 -x5548 -x5547 -x5545 -x5544 -x5543 -x5542 -x5540 -x5539 -x5538 -x5537
3587.00/3597.02 v -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5528 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517
3587.00/3597.02 v -x5516 -x5514 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5500 -x5498 -x5497 -x5496 -x5495
3587.00/3597.02 v -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 x5488 -x5486 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475
3587.00/3597.02 v -x5474 x5472 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 x5458 -x5456 -x5455 -x5454 -x5453
3587.00/3597.02 v -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5444 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433
3587.00/3597.02 v -x5432 x5430 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5416 -x5414 -x5413 -x5412 -x5411
3587.00/3597.02 v -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5402 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391
3587.00/3597.02 v -x5390 -x5388 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5374 -x5372 -x5371 -x5370 -x5369
3587.00/3597.02 v -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 x5362 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350
3587.00/3597.02 v -x5348 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 x5336 -x5334 -x5332 -x5331 -x5330 -x5329 -x5328
3587.00/3597.02 v -x5327 -x5326 -x5325 -x5324 -x5323 x5322 -x5320 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308
3587.00/3597.02 v x5306 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5292 -x5290 -x5289 -x5288 -x5287 -x5286
3587.00/3597.02 v -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5278 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266
3587.00/3597.02 v -x5264 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5250 -x5248 -x5247 -x5246 -x5245 -x5244
3587.00/3597.02 v -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5236 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225
3587.00/3597.02 v -x5224 -x5222 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5208 -x5206 -x5205 -x5204 -x5203
3587.00/3597.02 v -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184
3587.00/3597.02 v -x5182 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163
3587.00/3597.02 v -x5162 -x5161 -x5160 -x5159 -x5158 -x5156 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5142
3587.00/3597.02 v -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5128 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121
3587.00/3597.02 v -x5120 -x5119 -x5118 -x5117 -x5116 -x5114 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5100
3587.00/3597.02 v -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082
3587.00/3597.02 v -x5081 -x5080 -x5079 -x5078 -x5076 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5062 -x5060
3587.00/3597.02 v -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5048 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040
3587.00/3597.02 v -x5039 -x5038 -x5037 -x5036 -x5034 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5020 -x5018
3587.00/3597.02 v -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5006 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998
3587.00/3597.02 v -x4997 -x4996 -x4995 -x4994 -x4992 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4978 -x4976
3587.00/3597.02 v -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957
3587.00/3597.02 v -x4956 -x4955 -x4954 -x4952 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4938 -x4936
3587.00/3597.02 v -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4924 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916
3587.00/3597.02 v -x4915 -x4914 -x4913 -x4912 -x4910 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4896 -x4894
3587.00/3597.02 v -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875
3587.00/3597.02 v -x4874 -x4873 -x4872 -x4870 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4856 -x4854 -x4853
3587.00/3597.02 v -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834
3587.00/3597.02 v -x4833 -x4832 -x4830 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4816 -x4815 -x4814 -x4813
3587.00/3597.02 v -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4804 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794
3587.00/3597.02 v -x4793 -x4792 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4778 -x4777 -x4776 -x4775 -x4774
3587.00/3597.02 v -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756
3587.00/3597.02 v -x4755 -x4754 -x4753 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737
3587.00/3597.02 v -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718
3587.00/3597.02 v -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700
3587.00/3597.02 v x4699 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681
3587.00/3597.02 v -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662
3587.00/3597.02 v -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645
3587.00/3597.02 v -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626
3587.00/3597.02 v -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607
3587.00/3597.02 v -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4589 -x4588
3587.00/3597.02 v -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570
3587.00/3597.02 v -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551
3587.00/3597.02 v -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4535 -x4534 -x4533 -x4532
3587.00/3597.02 v -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515
3587.00/3597.02 v -x4514 -x4513 -x4512 -x4511 -x4510 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496
3587.00/3597.02 v -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4481 -x4480 -x4479 -x4478 -x4477
3587.00/3597.02 v -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459
3587.00/3597.02 v -x4458 -x4457 x4456 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440
3587.00/3597.02 v -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 x4429 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421
3587.00/3597.02 v -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403
3587.00/3597.02 v -x4402 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384
3587.00/3597.02 v -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365
3587.00/3597.02 v -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348
3587.00/3597.02 v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329
3587.00/3597.02 v -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310
3587.00/3597.02 v -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4292 -x4291
3587.00/3597.02 v -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273
3587.00/3597.02 v -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254
3587.00/3597.02 v -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4238 -x4237 -x4236 -x4235
3587.00/3597.02 v -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218
3587.00/3597.02 v -x4217 -x4216 -x4215 -x4214 -x4213 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199
3587.00/3597.02 v -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4184 -x4183 -x4182 -x4181 -x4180
3587.00/3597.02 v -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162
3587.00/3597.02 v -x4161 -x4160 -x4159 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143
3587.00/3597.02 v -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124
3587.00/3597.02 v -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106
3587.00/3597.02 v -x4105 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088
3587.00/3597.02 v -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069
3587.00/3597.02 v -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051
3587.00/3597.02 v -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032
3587.00/3597.02 v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013
3587.00/3597.02 v -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995
3587.00/3597.02 v -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977
3587.00/3597.02 v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959
3587.00/3597.02 v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941
3587.00/3597.02 v -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923
3587.00/3597.02 v -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 x3908 -x3906 -x3905 -x3904
3587.00/3597.02 v -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886
3587.00/3597.02 v -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868
3587.00/3597.02 v -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850
3587.00/3597.02 v -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831
3587.00/3597.02 v -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814
3587.00/3597.02 v -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796
3587.00/3597.02 v -x3795 -x3794 -x3793 -x3792 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777
3587.00/3597.02 v -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759
3587.00/3597.02 v -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741
3587.00/3597.02 v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722
3587.00/3597.02 v -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704
3587.00/3597.02 v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687
3587.00/3597.02 v -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 x3676 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668
3587.00/3597.02 v -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650
3587.00/3597.02 v -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632
3587.00/3597.02 v -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3616 -x3615 -x3614 -x3613
3587.00/3597.02 v -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595
3587.00/3597.02 v -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577
3587.00/3597.02 v -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3558
3587.00/3597.02 v -x3557 -x3556 -x3555 -x3553 -x3552 -x3551 -x3550 -x3548 -x3547 -x3546 -x3545 -x3543 -x3542 -x3541 -x3540 -x3538 -x3537
3587.00/3597.02 v -x3536 -x3535 -x3533 -x3532 -x3531 -x3530 -x3528 -x3527 -x3526 -x3525 -x3523 -x3522 -x3521 -x3520 -x3518 -x3517 -x3516 -x3515
3587.00/3597.02 v -x3513 -x3512 -x3511 -x3510 -x3508 -x3507 -x3506 -x3505 -x3503 -x3502 -x3501 -x3500 -x3498 -x3497 -x3496 -x3495 -x3493 -x3492
3587.00/3597.02 v -x3491 -x3490 -x3488 -x3487 -x3486 -x3485 -x3483 -x3482 -x3481 x3480 -x3478 -x3477 -x3476 -x3475 -x3473 -x3472 -x3471 -x3470
3587.00/3597.02 v -x3468 -x3467 -x3466 -x3465 -x3463 -x3462 -x3461 -x3460 -x3458 -x3457 -x3456 -x3455 -x3453 -x3452 -x3451 -x3450 -x3448 -x3447
3587.00/3597.02 v -x3446 -x3445 -x3443 -x3442 -x3441 -x3440 -x3438 -x3437 -x3436 x3435 -x3433 -x3432 -x3431 -x3430 -x3428 -x3427 -x3426 -x3425
3587.00/3597.02 v -x3423 -x3422 -x3421 -x3420 -x3418 -x3417 -x3416 -x3415 -x3413 -x3412 -x3411 -x3410 -x3408 -x3407 -x3406 -x3405 -x3403 -x3402
3587.00/3597.02 v -x3401 -x3400 -x3398 -x3397 -x3396 -x3395 -x3393 -x3392 -x3391 -x3390 -x3388 -x3387 -x3386 -x3385 -x3383 -x3382 -x3381 -x3380
3587.00/3597.02 v -x3378 -x3377 -x3376 -x3375 -x3373 -x3372 -x3371 -x3370 -x3368 -x3367 -x3366 -x3365 -x3363 -x3362 -x3361 -x3360 -x3358 -x3357
3587.00/3597.02 v -x3356 -x3355 -x3353 -x3352 -x3351 -x3350 -x3348 -x3347 -x3346 -x3345 -x3343 -x3342 -x3341 -x3340 -x3338 -x3337 -x3336
3587.00/3597.02 v x3335 -x3333 -x3332 -x3331 -x3330 -x3328 -x3327 -x3326 -x3325 -x3323 -x3322 -x3321 -x3320 -x3318 -x3317 -x3316 -x3315 -x3313
3587.00/3597.02 v -x3312 -x3311 -x3310 -x3308 -x3307 -x3306 -x3305 -x3303 -x3302 -x3301 -x3300 -x3298 -x3297 -x3296 -x3295 -x3293 -x3292 -x3291
3587.00/3597.02 v -x3290 -x3288 -x3287 -x3286 -x3285 -x3283 -x3282 -x3281 -x3280 -x3278 -x3277 -x3276 -x3275 -x3273 -x3272 -x3271 -x3270 -x3268
3587.00/3597.02 v -x3267 -x3266 -x3265 -x3263 -x3262 -x3261 -x3260 -x3258 -x3257 -x3256 -x3255 -x3253 -x3252 -x3251 -x3250 -x3248 -x3247 -x3246
3587.00/3597.02 v x3245 -x3243 -x3242 -x3241 -x3240 -x3238 -x3237 -x3236 x3235 -x3233 -x3232 -x3231 -x3230 -x3228 -x3227 -x3226 -x3225 -x3223
3587.00/3597.02 v -x3222 -x3221 -x3220 -x3218 x3217 -x3216 x3215 -x3213 -x3212 -x3211 -x3210 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202
3587.00/3597.02 v -x3201 -x3200 -x3199 -x3198 x3196 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 x3182 -x3180
3587.00/3597.02 v -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 x3168 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160
3587.00/3597.02 v -x3159 -x3158 -x3157 -x3156 x3154 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 -x3138
3587.00/3597.02 v -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 x3126 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
3587.00/3597.02 v -x3117 -x3116 -x3115 -x3114 -x3112 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 x3098 -x3096
3587.00/3597.02 v -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 x3084 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076
3587.00/3597.02 v -x3075 -x3074 -x3073 -x3072 -x3070 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3056 -x3054
3587.00/3597.02 v -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 x3042 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034
3587.00/3597.02 v -x3033 -x3032 -x3031 -x3030 -x3028 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 x3014 -x3012
3587.00/3597.02 v -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 x3000 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992
3587.00/3597.02 v -x2991 -x2990 -x2989 -x2988 -x2986 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2972 -x2970
3587.00/3597.02 v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2958 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950
3587.00/3597.02 v -x2949 -x2948 -x2947 -x2946 -x2944 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2930 -x2928
3587.00/3597.02 v -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908
3587.00/3597.02 v -x2907 -x2906 -x2905 -x2904 x2902 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 x2890 -x2888 -x2886
3587.00/3597.02 v -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 x2874 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866
3587.00/3597.02 v -x2865 -x2864 -x2863 -x2862 x2860 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2846 -x2844
3587.00/3597.02 v -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2832 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824
3587.00/3597.02 v -x2823 -x2822 -x2821 -x2820 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2806 -x2804 -x2803
3587.00/3597.02 v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2792 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784
3587.00/3597.02 v -x2783 -x2782 -x2781 -x2780 -x2778 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2764 -x2762
3587.00/3597.02 v -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2750 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742
3587.00/3597.02 v -x2741 -x2740 -x2739 -x2738 -x2736 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2722 -x2720
3587.00/3597.02 v -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2708 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700
3587.00/3597.02 v -x2699 -x2698 -x2697 -x2696 x2694 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 x2682 -x2680 -x2678
3587.00/3597.02 v -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 x2666 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658
3587.00/3597.02 v -x2657 -x2656 -x2655 -x2654 x2652 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2638 -x2636
3587.00/3597.02 v -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2624 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
3587.00/3597.02 v -x2615 -x2614 -x2613 -x2612 -x2610 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2596 -x2594
3587.00/3597.02 v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2582 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574
3587.00/3597.02 v -x2573 -x2572 -x2571 -x2570 -x2568 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2554
3587.00/3597.02 v -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2540 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533
3587.00/3597.02 v -x2532 -x2531 -x2530 -x2529 -x2528 -x2526 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2512
3587.00/3597.02 v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2498 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491
3587.00/3597.02 v -x2490 -x2489 -x2488 -x2487 x2486 -x2484 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 x2472 -x2470
3587.00/3597.02 v -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2456 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449
3587.00/3597.02 v -x2448 -x2447 -x2446 -x2445 -x2444 -x2442 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2428
3587.00/3597.02 v -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409
3587.00/3597.02 v -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390
3587.00/3597.02 v -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2372
3587.00/3597.02 v -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354
3587.00/3597.02 v -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335
3587.00/3597.02 v -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2318 -x2317 -x2316
3587.00/3597.02 v -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298
3587.00/3597.02 v -x2297 -x2296 -x2295 -x2294 -x2293 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279
3587.00/3597.02 v -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2264 -x2263 -x2262 -x2261 -x2260
3587.00/3597.02 v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243
3587.00/3597.02 v -x2242 -x2241 -x2240 -x2239 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224
3587.00/3597.02 v -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205
3587.00/3597.02 v -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187
3587.00/3597.02 v -x2186 -x2185 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168
3587.00/3597.02 v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149
3587.00/3597.02 v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131
3587.00/3597.02 v -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113
3587.00/3597.02 v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094
3587.00/3597.02 v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2075
3587.00/3597.02 v -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057
3587.00/3597.02 v -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038
3587.00/3597.02 v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2021 -x2020 -x2019
3587.00/3597.02 v -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001
3587.00/3597.02 v -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983
3587.00/3597.02 v -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 x1969 -x1967 -x1966 -x1965 -x1964
3587.00/3597.02 v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946
3587.00/3597.02 v -x1945 -x1944 -x1943 -x1942 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927
3587.00/3597.02 v -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908
3587.00/3597.02 v -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890
3587.00/3597.02 v -x1889 -x1888 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871
3587.00/3597.02 v -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852
3587.00/3597.02 v -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835
3587.00/3597.02 v -x1834 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816
3587.00/3597.02 v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 x1807 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797
3587.00/3597.02 v -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1778
3587.00/3597.02 v -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760
3587.00/3597.02 v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741
3587.00/3597.02 v -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1724 -x1723 -x1722
3587.00/3597.02 v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704
3587.00/3597.02 v -x1703 -x1702 -x1701 -x1700 -x1699 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686
3587.00/3597.02 v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 x1672 -x1670 -x1669 -x1668 -x1667
3587.00/3597.02 v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
3587.00/3597.02 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631
3587.00/3597.02 v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1612
3587.00/3597.02 v -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594
3587.00/3597.02 v -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576
3587.00/3597.02 v -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558
3587.00/3597.02 v -x1557 x1556 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539
3587.00/3597.02 v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522
3587.00/3597.02 v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504
3587.00/3597.02 v -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485
3587.00/3597.02 v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
3587.00/3597.02 v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449
3587.00/3597.02 v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430
3587.00/3597.02 v -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412
3587.00/3597.02 v -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395
3587.00/3597.02 v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1380 -x1379 -x1378 -x1377 -x1376
3587.00/3597.02 v -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358
3587.00/3597.02 v -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340
3587.00/3597.02 v -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1322 -x1321
3587.00/3597.02 v -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303
3587.00/3597.02 v -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285
3587.00/3597.02 v -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268
3587.00/3597.02 v -x1267 -x1266 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249
3587.00/3597.02 v -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231
3587.00/3597.02 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213
3587.00/3597.02 v -x1212 -x1211 -x1210 -x1209 x1208 -x1200 -x1199 x1198 -x1197 -x1206 -x1203 -x1201 x870 -x869 -x868 -x867 -x866 -x865 -x864
3587.00/3597.02 v -x863 x1195 -x1193 -x1194 -x1192 -x1190 -x1191 -x1189 -x1187 -x1188 -x1186 -x1184 -x1185 -x1183 -x1181 -x1182 -x1180 -x1178
3587.00/3597.02 v -x1179 -x1177 -x1175 -x1176 -x1174 -x1172 -x1173 -x1171 -x1169 -x1170 -x1168 -x1167 -x1166 -x1164 -x1165 -x1163 -x1161 -x1162
3587.00/3597.02 v -x1160 -x1158 -x1159 -x1157 -x1155 -x1156 -x1154 -x1152 -x1153 -x1151 -x1149 -x1150 -x1148 -x1146 -x1147 -x1145 -x1143 -x1144
3587.00/3597.02 v -x1142 -x1140 -x1141 -x1139 -x1137 -x1138 -x1136 -x1134 -x1135 -x1133 -x1131 -x1132 -x1130 -x1128 -x1129 -x1127 -x1125 -x1126
3587.00/3597.02 v -x1124 -x1122 -x1123 -x1121 -x1119 -x1120 -x1118 -x1116 -x1117 -x1115 -x1113 -x1114 -x1112 -x1110 -x1111 -x1109 -x1107 -x1108
3587.00/3597.02 v -x1106 -x1104 -x1105 -x1103 -x1101 -x1102 -x1100 -x1098 -x1099 -x1097 -x1095 -x1096 -x1094 -x1092 -x1093 x1091 -x1089 -x1090
3587.00/3597.02 v -x1088 -x1086 -x1087 -x1085 -x1083 -x1084 -x1082 -x1080 -x1081 -x1079 -x1077 -x1078 -x1076 -x1074 -x1075 -x1073 -x1071 -x1072
3587.00/3597.02 v -x1070 -x1068 -x1069 -x1067 -x1065 -x1066 -x1064 -x1063 -x1062 -x1060 -x1061 -x1059 -x1057 -x1058 -x1056 -x1054 -x1055 -x1053
3587.00/3597.02 v -x1051 -x1052 -x1050 -x1048 -x1049 -x1047 -x1045 -x1046 -x1044 -x1042 -x1043 -x1041 -x1039 -x1040 -x1038 -x1036 -x1037
3587.00/3597.02 v -x1035 -x1033 -x1034 -x1032 -x1030 -x1031 -x1029 -x1027 -x1028 -x1026 -x1024 -x1025 -x1023 -x1021 -x1022 -x1020 -x1018 -x1019
3587.00/3597.02 v -x1017 -x1015 -x1016 -x1014 -x1012 -x1013 -x1011 -x1009 -x1010 -x1008 -x1006 -x1007 -x1005 -x1003 -x1004 -x1002 -x1001 -x1000
3587.00/3597.02 v -x998 -x999 -x997 -x995 -x996 -x994 -x992 -x993 -x991 -x989 -x990 -x988 -x986 -x987 -x985 -x983 -x984 -x982 -x980 -x981 -x979
3587.00/3597.02 v -x977 -x978 -x976 -x974 -x975 -x973 -x972 -x971 -x969 -x970 -x968 -x966 -x967 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
3587.00/3597.02 v -x957 -x955 -x956 -x954 -x952 -x953 -x951 -x950 -x949 -x947 -x948 -x946 -x944 -x945 -x943 -x941 -x942 -x940 -x938 -x939 -x937
3587.00/3597.02 v -x935 -x936 -x934 -x933 x932 -x930 -x929 -x927 -x926 -x925 -x924 -x922 -x921 -x920 -x919 -x918 -x917 -x915 -x914 -x913 -x912
3587.00/3597.02 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x894 -x893 -x892 -x891
3587.00/3597.02 v -x890 -x889 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x706 -x705
3587.00/3597.02 v -x704 -x703 -x702 x701 -x700 -x861 -x859 -x860 -x858 -x856 -x857 -x855 -x853 -x854 -x852 -x850 -x851 -x849 -x847 -x848 -x846
3587.00/3597.02 v -x844 -x845 -x843 -x841 -x842 -x840 -x838 -x839 -x837 -x835 -x836 -x834 -x832 -x833 -x831 -x830 -x829 -x827 -x828 -x826 -x824
3587.00/3597.02 v -x825 -x823 -x821 -x822 -x820 -x818 -x819 -x817 -x815 -x816 -x814 -x812 -x813 -x811 -x809 -x810 -x808 -x806 -x807 -x805 -x803
3587.00/3597.02 v -x804 -x802 -x800 -x801 -x799 -x797 -x798 -x796 -x794 -x795 -x793 -x791 -x792 -x790 -x788 -x789 -x787 -x785 -x786 -x784 -x782
3587.00/3597.02 v -x783 -x781 -x779 -x780 -x778 -x776 -x777 -x775 -x773 -x774 -x772 -x770 -x771 -x769 -x767 -x768 -x766 -x764 -x765 -x763 -x761
3587.00/3597.02 v -x762 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x750 -x749 -x748 -x747 -x746 -x745 -x743 -x742 -x740 -x739 -x737
3587.00/3597.02 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x728 -x727 -x725 -x724 -x723 -x722 -x720 -x719 -x717 -x716 -x714 -x713 -x711
3587.00/3597.02 v -x710 -x709 x708 -x707 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x698 -x696 -x697 -x695 -x693 -x694 -x692 -x690 -x691 -x689
3587.00/3597.02 v -x687 -x688 -x686 -x684 -x685 -x683 -x681 -x682 -x680 -x678 -x679 -x677 -x675 -x676 -x674 -x672 -x673 -x671 -x669 -x670
3587.00/3597.02 v -x668 -x666 -x667 -x665 -x663 -x664 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 -x655 -x653 -x651 -x652 -x650 -x648 -x649
3587.00/3597.02 v -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x636 -x637 -x635 -x633 -x634 -x632 -x630 -x631 -x629 -x627 -x628
3587.00/3597.02 v -x626 -x624 -x625 -x623 -x621 -x622 -x620 -x619 -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610 -x611 -x609 -x607 -x608 -x606
3587.00/3597.02 v -x604 -x605 -x603 -x602 -x601 -x599 -x600 -x598 -x596 -x597 -x595 -x593 -x594 -x592 -x590 -x591 -x589 -x587 -x588 -x586 -x584
3587.00/3597.02 v -x585 -x583 -x581 -x582 -x580 -x578 -x579 -x577 -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 -x567 -x565 -x563
3587.00/3597.02 v -x564 -x562 -x560 -x561 x559 -x558 -x557 -x555 -x556 -x554 -x552 -x553 -x551 -x549 -x550 -x548 -x546 -x547 -x545 -x543 -x544
3587.00/3597.02 v -x542 -x540 -x541 -x539 -x537 -x538 -x536 -x534 -x535 -x533 -x531 -x532 -x530 -x528 -x529 -x527 -x525 -x526 -x524 -x523
3587.00/3597.02 v -x522 -x520 -x521 -x519 -x518 -x517 -x515 -x516 -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x506 -x507 -x505 -x504 -x503 -x502
3587.00/3597.02 v -x501 -x499 -x500 -x498 -x496 -x497 -x495 -x493 -x494 -x492 -x490 -x491 -x489 -x487 -x488 -x486 -x484 -x485 -x483 -x481 -x482
3587.00/3597.02 v -x480 -x478 -x479 -x477 -x476 -x475 -x473 -x474 -x472 -x470 -x471 -x469 -x467 -x468 -x466 -x464 -x465 -x463 -x461 -x462 -x460
3587.00/3597.02 v -x459 -x458 -x456 -x457 -x455 -x453 -x454 -x452 -x451 -x450 -x448 -x449 -x447 -x446 -x445 -x443 -x444 -x442 -x441 -x440 -x439
3587.00/3597.02 v -x438 -x436 -x435 -x433 -x432 -x431 -x430 -x428 -x427 -x426 -x425 -x423 -x422 -x421 -x420 -x418 -x417 -x415 -x414 -x412 -x411
3587.00/3597.02 v -x409 x408 -x407 -x406 -x405 -x404 -x402 -x401 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387
3587.00/3597.02 v -x386 -x385 -x384 -x382 -x381 -x380 -x379 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x361
3587.00/3597.02 v -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 -x345 -x343 -x341 -x342 -x340
3587.00/3597.02 v -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 -x324 -x322 -x320 -x321 -x319
3587.00/3597.02 v -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 -x303 -x301 -x299 -x300 -x298
3587.00/3597.02 v -x296 -x297 x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 -x282 -x280 -x278 -x279 -x277
3587.00/3597.02 v -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 -x261 -x259 -x257 -x258 -x256
3587.00/3597.02 v -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 -x240 -x238 -x236 -x237
3587.00/3597.02 v -x235 -x233 x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 -x219 -x217 -x215 -x216
3587.00/3597.02 v -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 -x198 -x196 -x194 -x195
3587.00/3597.02 v -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 -x176 -x177 -x175 -x174 -x173
3587.00/3597.02 v -x171 -x172 -x170 -x168 -x169 -x167 -x165 -x166 -x164 -x162 -x163 -x161 -x159 -x160 -x158 -x156 -x157 -x155 -x153 -x154 -x152
3587.00/3597.02 v -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 -x136 -x134 -x132 -x133 -x131
3587.00/3597.02 v -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 -x115 -x113 -x111 -x112 -x110
3587.00/3597.02 v -x108 -x109 -x107 -x105 -x106 x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 -x92 -x90 -x91 -x89 -x87 -x86
3587.00/3597.02 v -x84 -x83 -x81 -x80 -x78 -x77 -x75 -x74 -x72 -x71 -x69 -x68 -x67 -x66 -x64 -x63 -x61 -x60 -x58 -x57 -x55 -x54 -x52 -x51 -x49
3587.00/3597.02 v -x48 -x47 -x46 -x44 -x43 -x42 -x41 -x39 -x38 -x36 -x35 -x34 -x33 -x31 -x30 -x28 x27 -x25 -x24 -x22 -x21 -x19 -x18 -x16 -x15
3587.00/3597.02 v -x13 -x12 -x10 -x1205 -x1204 -x1202 -x8900 -x8898 x8896 -x8894 x8889 -x8884 -x8879 -x8874 -x8869 -x8864 -x8859 -x8854 -x8849
3587.00/3597.02 v -x8844 -x8839 -x8834 -x8829 -x8824 -x8819 -x8814 -x8809 -x8804 -x8799 -x8794 -x8789 -x8784 -x8779 -x8774 -x8769 -x8764 -x8759
3587.00/3597.02 v -x8754 -x8749 -x8744 -x8739 -x8734 -x8729 -x8724 -x8719 -x8714 -x8709 -x8704 -x8699 -x8694 -x8689 -x8684 -x8679 -x8674 -x8669
3587.00/3597.02 v -x8664 -x8659 -x8654 -x8649 -x8644 -x8639 -x8634 -x8629 -x8624 -x8619 -x8614 -x8609 -x8604 -x8599 -x8594 -x8589 -x8584 -x8579
3587.00/3597.02 v -x8574 -x8569 -x8564 -x8559 -x8554 -x8549 x8537 -x8535 -x8523 -x8521 -x8509 -x8507 -x8495 -x8493 -x8481 -x8479 -x8467 -x8465
3587.00/3597.02 v -x8453 -x8451 -x8439 -x8437 -x8425 -x8423 -x8411 -x8399 -x8397 -x8385 -x8383 -x8371 -x8369 -x8357 -x8355 -x8343 -x8341
3587.00/3597.02 v -x8329 -x8327 -x8315 -x8313 -x8301 -x8299 -x8287 -x8285 -x8273 -x8271 -x8259 -x8257 -x8245 -x8243 -x8231 -x8229 -x8217 -x8215
3587.00/3597.02 v -x8203 -x8201 -x8189 -x8187 -x8175 -x8173 -x8161 -x8159 -x8147 -x8145 -x8133 -x8131 -x8119 -x8107 -x8105 -x8093 -x8091 -x8079
3587.00/3597.02 v -x8077 -x8065 -x8063 -x8051 -x8049 -x8037 -x8035 -x8023 -x8021 -x8009 -x8007 -x7995 -x7993 -x7981 -x7969 -x7967 -x7955 -x7953
3587.00/3597.02 v -x7941 -x7929 -x7917 -x7905 -x7893 -x7891 -x7879 -x7877 -x7865 -x7853 -x7851 -x7839 -x7837 -x7825 -x7823 -x7811 -x7809 -x7797
3587.00/3597.02 v -x7795 -x7783 x7756 -x931 -x7729 -x928 -x7702 -x7675 -x923 -x7648 -x7621 -x7594 -x916 -x7567 -x7540 -x7513 -x7486 -x7459
3587.00/3597.02 v -x7432 -x7405 -x7378 -x7351 -x7324 -x895 -x7297 -x7270 -x7243 x888 -x7216 -x7189 -x7162 -x7135 -x7108 -x7081 -x7054 -x7027 x6969
3587.00/3597.02 v -x6911 -x6853 -x6795 -x6737 -x6679 -x6621 -x6563 -x6558 -x6556 -x6551 -x6549 -x6544 -x6542 -x6537 -x6535 -x6530 -x6528 -x6523
3587.00/3597.02 v -x6521 -x6516 -x6514 -x6509 -x6507 -x6502 -x6500 -x6495 -x6493 -x6488 -x6483 -x6481 -x6476 -x6474 -x6469 -x6467 -x6462 -x6460
3587.00/3597.02 v -x6455 -x6453 -x6448 -x6446 -x6441 -x6439 -x6434 -x6432 -x6427 -x6425 -x6420 -x6418 -x6413 -x6411 -x6406 -x6404 -x6399
3587.00/3597.02 v -x6397 -x6392 -x6390 -x6385 -x6383 -x6378 -x6376 -x6371 -x6369 -x6364 -x6362 -x6357 -x6355 -x6350 -x6348 -x6343 -x6341 -x6336
3587.00/3597.02 v -x6334 -x6329 -x6327 x6322 -x6310 -x6298 -x6286 -x6274 -x751 -x6262 -x6250 -x6238 -x744 -x6226 -x741 -x6214 -x738 -x6202 -x6190
3587.00/3597.02 v -x6178 -x6166 -x729 -x6154 -x726 -x6142 -x6130 -x721 -x6118 -x718 -x6106 -x715 -x6094 -x712 -x6082 x6070 -x6043 -x6016 -x5989
3587.00/3597.02 v -x5962 -x5935 x5908 -x5881 -x5876 -x5871 -x5866 -x5861 -x5856 -x5851 -x5846 -x5841 -x5836 -x5831 -x5826 -x5821 -x5816 -x5811
3587.00/3597.02 v -x5806 -x5801 -x5796 -x5791 -x5786 -x5781 -x5776 -x5771 -x5766 -x5761 -x5756 -x5751 -x5746 -x5741 -x5736 -x5731 -x5726 -x5721
3587.00/3597.02 v -x5716 -x5711 -x5706 -x5701 -x5696 -x5691 -x5686 -x5681 -x5676 -x5671 -x5666 -x5661 -x5656 -x5651 -x5646 -x5641 -x5636
3587.00/3597.02 v -x5631 -x5626 -x5621 -x5616 -x5611 -x5606 -x5601 -x5596 -x5591 -x5586 -x5581 -x5576 -x5571 -x5566 -x5561 -x5556 -x5551 -x5546
3587.00/3597.02 v -x5541 -x5529 -x5527 -x5515 -x5513 -x5501 -x5499 -x5487 -x5485 -x5473 -x5471 -x5459 -x5457 -x5445 -x5443 -x5431 -x5429 -x5417
3587.00/3597.02 v -x5415 -x5403 -x5401 -x5389 -x5387 -x5375 -x5373 x5361 -x5349 -x5347 -x5335 -x5333 -x5321 -x5319 -x5307 -x5305 -x5293 -x5291
3587.00/3597.02 v -x5279 -x5277 -x5265 -x5263 -x5251 -x5249 -x5237 -x5235 -x5223 -x5221 -x5209 -x5207 -x5195 -x5183 -x5181 -x5169 -x5157 -x5155
3587.00/3597.02 v -x5143 -x5141 -x5129 -x5127 -x5115 -x5113 -x5101 -x5089 -x5077 -x5075 -x5063 -x5061 -x5049 -x5047 -x5035 -x5033 -x5021 -x5019
3587.00/3597.02 v -x5007 -x5005 -x4993 -x4991 -x4979 -x4977 -x4965 -x4953 -x4951 -x4939 -x4937 -x4925 -x4923 -x4911 -x4909 -x4897 -x4895 -x4883
3587.00/3597.02 v -x4871 -x4869 -x4857 -x4855 -x4843 -x4831 -x4829 -x4817 -x4805 -x4803 -x4791 -x4779 -x4752 -x437 -x4725 -x434 -x4698 -x4671
3587.00/3597.02 v -x429 -x4644 -x4617 -x424 -x4590 -x4563 -x419 -x4536 -x416 -x4509 -x413 -x4482 -x410 x4455 -x4428 -x4401 -x403 -x4374 -x400
3587.00/3597.02 v -x4347 -x4320 -x4293 -x4266 -x4239 -x4212 -x4185 -x4158 -x383 -x4131 -x4104 -x378 -x4077 -x4050 -x4023 -x3965 -x3907 -x3849
3587.00/3597.02 v -x3791 -x3733 x3675 -x3617 -x3559 -x3554 -x3549 -x3544 -x3539 -x3534 -x3529 -x3524 -x3519 -x3514 -x3509 -x3504 -x3499 -x3494
3587.00/3597.02 v -x3489 -x3484 -x3479 -x3474 -x3469 -x3464 -x3459 -x3454 -x3449 -x3444 -x3439 -x3434 -x3429 -x3424 -x3419 -x3414 -x3409 -x3404
3587.00/3597.02 v -x3399 -x3394 -x3389 -x3384 -x3379 -x3374 -x3369 -x3364 -x3359 -x3354 -x3349 -x3344 -x3339 x3334 -x3329 -x3324 -x3319 -x3314
3587.00/3597.02 v -x3309 -x3304 -x3299 -x3294 -x3289 -x3284 -x3279 -x3274 -x3269 -x3264 -x3259 -x3254 -x3249 -x3244 -x3239 -x3234 -x3229 -x3224
3587.00/3597.02 v -x3219 -x3214 -x3209 -x3197 -x3195 -x3183 -x3181 -x3169 -x3167 -x3155 -x3153 -x3141 -x3139 -x3127 -x3125 -x3113 -x3111 -x3099
3587.00/3597.02 v x3097 -x3085 -x3083 -x3071 -x3069 -x3057 -x3055 -x3043 -x3041 -x3029 -x3027 -x3015 -x3013 -x3001 -x2999 -x2987 -x2985 -x2973
3587.00/3597.02 v -x2971 -x2959 -x2957 -x2945 -x2943 -x2931 -x2929 -x2917 -x2915 -x2903 -x2901 -x2889 -x2887 -x2875 -x2873 -x2861 -x2859 -x2847
3587.00/3597.02 v -x2845 -x2833 -x2831 -x2819 -x2807 -x2805 -x2793 -x2791 -x2779 -x2777 -x2765 -x2763 -x2751 -x2749 -x2737 -x2735 -x2723
3587.00/3597.02 v -x2721 -x2709 -x2707 -x2695 -x2693 -x2681 -x2679 -x2667 -x2665 -x2653 -x2651 -x2639 -x2637 -x2625 -x2623 -x2611 -x2609 -x2597
3587.00/3597.02 v -x2595 -x2583 -x2581 -x2569 -x2567 -x2555 -x2553 -x2541 -x2539 -x2527 -x2525 -x2513 -x2511 -x2499 -x2497 x2485 -x2483 -x2471
3587.00/3597.02 v -x2469 -x2457 -x2455 -x2443 -x2441 -x2429 -x2427 -x2400 -x88 -x2373 x85 -x2346 -x82 -x2319 x79 -x2292 x76 -x2265 -x73 -x2238
3587.00/3597.02 v -x70 -x2211 -x2184 -x65 -x2157 -x62 -x2130 -x59 -x2103 -x56 -x2076 -x53 -x2049 -x50 -x2022 -x1995 -x45 -x1968 -x1941 -x40 -x1914
3587.00/3597.02 v -x37 -x1887 -x1860 -x32 -x1833 -x29 x1806 -x26 -x1779 -x23 -x1752 -x20 -x1725 -x17 -x1698 -x14 -x1671 -x11 -x1613 x1555
3587.00/3597.02 v -x1497 -x1439 -x1381 -x1323 -x1265 -x1207 x1196 x862 x699 x362 x1
3587.00/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.00/3597.02 c Total Time : 3597.00
3587.00/3597.02 c solving : 3597.00
3587.00/3597.02 c presolving : 0.43 (included in solving)
3587.00/3597.02 c reading : 0.06 (included in solving)
3587.00/3597.02 c copying : 0.31 (14 #copies) (minimal 0.02, maximal 0.03, average 0.02)
3587.00/3597.02 c Original Problem :
3587.00/3597.02 c Problem name : HOME/instance-4497800-1751405845.opb
3587.00/3597.02 c Variables : 8901 (8901 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.00/3597.02 c Constraints : 32298 initial, 32298 maximal
3587.00/3597.02 c Objective : minimize, 790 non-zeros (abs.min = 1, abs.max = 1)
3587.00/3597.02 c Presolved Problem :
3587.00/3597.02 c Problem name : t_HOME/instance-4497800-1751405845.opb
3587.00/3597.02 c Variables : 7901 (7901 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.00/3597.02 c Constraints : 7852 initial, 9972 maximal
3587.00/3597.02 c Objective : minimize, 785 non-zeros (abs.min = 1, abs.max = 1)
3587.00/3597.02 c Nonzeros : 31993 constraint, 45822 clique table
3587.00/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.00/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c gateextraction : 0.07 0.00 3 0 0 0 0 0 30046 7364 0 0
3587.00/3597.02 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c milp : 0.07 0.00 1 0 17 0 0 0 0 0 0 0
3587.00/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c probing : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c knapsack : 0.02 0.00 8 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c setppc : 0.02 0.00 8 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c and : 0.04 0.00 4 0 248 0 0 0 248 0 0 0
3587.00/3597.02 c linear : 0.10 0.01 5 5 730 0 5 0 1516 0 17 17
3587.00/3597.02 c logicor : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c root node : - - - 0 - - 0 - - - - -
3587.00/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.00/3597.02 c benderslp : 0 0 0 0 523 0 0 150 0 0 0 0 0 0 0
3587.00/3597.02 c integral : 0 0 0 0 523 0 0 150 0 0 0 0 0 0 1046
3587.00/3597.02 c knapsack : 1 1 0 44636 0 0 0 144 484 126 0 0 0 0 0
3587.00/3597.02 c setppc : 730 730 37 44471 0 0 0 140 4614 22 2413 0 0 0 0
3587.00/3597.02 c and : 7116 7116 1502 44497 0 0 0 19 43149 91 58599 294189 70500 0 0
3587.00/3597.02 c linear : 0+ 195 37 37216 0 0 0 3 6 3 1 20 10 0 0
3587.00/3597.02 c logicor : 5+ 1971 37 8314 0 0 0 10 57 22 29 154 25 0 0
3587.00/3597.02 c benders : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
3587.00/3597.02 c fixedvar : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
3587.00/3597.02 c countsols : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
3587.00/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.00/3597.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c integral : 1201.90 0.00 0.00 0.00 1201.90 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c knapsack : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.01
3587.00/3597.02 c setppc : 0.14 0.00 0.00 0.10 0.00 0.00 0.00 0.01 0.00 0.03
3587.00/3597.02 c and : 6.07 0.00 2.23 1.27 0.00 0.00 0.00 0.01 0.01 2.55
3587.00/3597.02 c linear : 0.11 0.01 0.01 0.04 0.00 0.00 0.00 0.00 0.00 0.05
3587.00/3597.02 c logicor : 0.08 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.01
3587.00/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.00/3597.02 c dualfix : 3 0 0 0
3587.00/3597.02 c genvbounds : 0 0 0 0
3587.00/3597.02 c nlobbt : 0 0 0 0
3587.00/3597.02 c obbt : 0 0 0 0
3587.00/3597.02 c probing : 0 0 0 0
3587.00/3597.02 c pseudoobj : 2367 0 0 0
3587.00/3597.02 c redcost : 484 0 0 0
3587.00/3597.02 c rootredcost : 1 0 0 0
3587.00/3597.02 c symmetry : 0 0 0 0
3587.00/3597.02 c vbounds : 27155 0 0 0
3587.00/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.00/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c genvbounds : 0.01 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c probing : 0.04 0.00 0.04 0.00 0.00 0.00
3587.00/3597.02 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.00/3597.02 c redcost : 0.08 0.00 0.00 0.07 0.00 0.00
3587.00/3597.02 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
3587.00/3597.02 c symmetry : 0.02 0.00 0.01 0.00 0.00 0.01
3587.00/3597.02 c vbounds : 0.03 0.00 0.00 0.02 0.00 0.01
3587.00/3597.02 c Symmetry :
3587.00/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.00/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.00/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.00/3597.02 c shadow tree time : 0.00 s
3587.00/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.00/3597.02 c propagation : 0.10 259 259 - 3912 244.8 9 84.9 - - -
3587.00/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.00/3597.02 c bound exceed. LP : 0.15 19 3 - 158 2333.3 2 287.0 2 980.5 170
3587.00/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.00/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.00/3597.02 c applied globally : 0.02 - - 0 2222 71.3 - - 2 - -
3587.00/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.00/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.00/3597.02 c cut pool : 0.58 - 392 74 - - 10839 30419 - - - - - (maximal pool size: 8731)
3587.00/3597.02 c aggregation : 0.39 0.00 85 37 0 0 31 99 0 7 7 0 0
3587.00/3597.02 c > cmir : - - - - - - - 92 0 7 7 0 -
3587.00/3597.02 c > flowcover : - - - - - - - 2 0 0 0 0 -
3587.00/3597.02 c > knapsackcover : - - - - - - - 5 0 0 0 0 -
3587.00/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c clique : 0.69 0.00 37 37 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c gomory : 22.64 0.00 45 10 0 0 2579 8523 0 309 309 0 0
3587.00/3597.02 c > gomorymi : - - - - - - - 4851 0 200 200 0 -
3587.00/3597.02 c > strongcg : - - - - - - - 3672 0 109 109 0 -
3587.00/3597.02 c impliedbounds : 0.10 0.00 85 37 0 0 7952 20242 0 10352 10352 0 0
3587.00/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c multilinear : 0.03 0.00 108 37 0 0 96 214 0 87 87 0 0
3587.00/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.00/3597.02 c rapidlearning : 0.38 0.00 1 1 0 0 0 0 0 0 0 0 195
3587.00/3597.02 c rlt : 14.64 0.00 27 10 0 0 73 362 0 155 155 0 0
3587.00/3597.02 c zerohalf : 0.62 0.00 55 20 0 0 108 979 0 252 252 0 0
3587.00/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.00/3597.02 c hybrid : 0.70 0.00 1449 38 81700 0 243082 5313 0 14865
3587.00/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.00/3597.02 c problem variables: 0.00 - 0 0
3587.00/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.00/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c relpscost : 1201.90 0.00 523 0 0 0 0 0 0 1046
3587.00/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.00/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.00/3597.02 c LP solutions : 0.00 - - 0 0
3587.00/3597.02 c relax solutions : 0.00 - - 0 0
3587.00/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.00/3597.02 c strong branching : 0.01 - - 0 0
3587.00/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.00/3597.02 c adaptivediving : 9.33 0.00 2 0 0
3587.00/3597.02 c alns : 0.43 0.00 5 0 0
3587.00/3597.02 c bound : 0.00 0.00 0 0 0
3587.00/3597.02 c clique : 0.09 0.00 1 0 0
3587.00/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.00/3597.02 c completesol : 0.00 0.00 0 0 0
3587.00/3597.02 c conflictdiving : 9.53 0.00 2 0 0
3587.00/3597.02 c crossover : 0.28 0.00 3 2 0
3587.00/3597.02 c dins : 0.00 0.00 0 0 0
3587.00/3597.02 c distributiondivin: 6.94 0.00 2 0 0
3587.00/3597.02 c dps : 0.00 0.00 0 0 0
3587.00/3597.02 c dualval : 0.00 0.00 0 0 0
3587.00/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.00/3597.02 c feasjump : 0.00 0.00 0 0 0
3587.00/3597.02 c feaspump : 5.57 0.00 1 0 0
3587.00/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.00/3597.02 c fracdiving : 0.37 0.00 2 0 0
3587.00/3597.02 c gins : 0.01 0.00 0 0 0
3587.00/3597.02 c guideddiving : 1.83 0.00 2 0 0
3587.00/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3587.00/3597.02 c indicator : 0.00 0.00 0 0 0
3587.00/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.00/3597.02 c indoneopt : 0.00 0.00 0 0 0
3587.00/3597.02 c indrounding : 0.00 0.00 0 0 0
3587.00/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3587.00/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.00/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.00/3597.02 c linesearchdiving : 2.14 0.00 2 0 0
3587.00/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.00/3597.02 c locks : 0.03 0.00 1 0 0
3587.00/3597.02 c lpface : 0.00 0.00 0 0 0
3587.00/3597.02 c mpec : 0.00 0.00 0 0 0
3587.00/3597.02 c multistart : 0.00 0.00 0 0 0
3587.00/3597.02 c mutation : 0.00 0.00 0 0 0
3587.00/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.00/3597.02 c objpscostdiving : 74.24 0.00 1 0 0
3587.00/3597.02 c octane : 0.00 0.00 0 0 0
3587.00/3597.02 c ofins : 0.00 0.00 0 0 0
3587.00/3597.02 c oneopt : 0.01 0.00 2 1 1
3587.00/3597.02 c padm : 0.00 0.00 0 0 0
3587.00/3597.02 c proximity : 0.00 0.00 0 0 0
3587.00/3597.02 c pscostdiving : 8.69 0.00 2 0 0
3587.00/3597.02 c randrounding : 1.27 0.00 162 0 0
3587.00/3597.02 c rens : 10.65 0.00 1 1 1
3587.00/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.00/3597.02 c repair : 0.00 0.00 0 0 0
3587.00/3597.02 c rins : 3.84 0.00 4 3 0
3587.00/3597.02 c rootsoldiving : 0.88 0.00 1 0 0
3587.00/3597.02 c rounding : 0.96 0.00 573 0 0
3587.00/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.00/3597.02 c shiftandpropagate: 0.10 0.00 1 1 1
3587.00/3597.02 c shifting : 1.11 0.00 303 1 0
3587.00/3597.02 c simplerounding : 0.00 0.00 0 0 0
3587.00/3597.02 c smallcard : 0.00 0.00 0 0 0
3587.00/3597.02 c subnlp : 0.00 0.00 0 0 0
3587.00/3597.02 c trivial : 0.01 0.00 2 0 0
3587.00/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.00/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.00/3597.02 c trysol : 0.00 0.00 0 0 0
3587.00/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.00/3597.02 c undercover : 0.12 0.00 1 0 0
3587.00/3597.02 c vbounds : 0.27 0.00 1 0 0
3587.00/3597.02 c veclendiving : 0.18 0.00 2 0 0
3587.00/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.00/3597.02 c zirounding : 0.71 0.00 523 0 0
3587.00/3597.02 c other solutions : - - - 0 -
3587.00/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.00/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.00/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.00/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.00/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.00/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.00/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.00/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.00/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.00/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.00/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.00/3597.02 c primal LP : 0.35 91 0 0.00 0.00 0.35 91
3587.00/3597.02 c dual LP : 2204.29 1973 7369057 3734.95 3343.05 0.00 0
3587.00/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.00/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.00/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.00/3597.02 c diving/probing LP: 168.37 985 656834 666.84 3901.19
3587.00/3597.02 c strong branching : 1131.28 4882 3803183 779.02 3361.84 - - 7116
3587.00/3597.02 c (at root node) : - 11 11000 1000.00 -
3587.00/3597.02 c conflict analysis: 0.05 17 170 10.00 3161.73
3587.00/3597.02 c B&B Tree :
3587.00/3597.02 c number of runs : 1
3587.00/3597.02 c nodes : 524 (523 internal, 1 leaves)
3587.00/3597.02 c feasible leaves : 0
3587.00/3597.02 c infeas. leaves : 0
3587.00/3597.02 c objective leaves : 0
3587.00/3597.02 c nodes (total) : 524 (523 internal, 1 leaves)
3587.00/3597.02 c nodes left : 524
3587.00/3597.02 c max depth : 40
3587.00/3597.02 c max depth (total): 40
3587.00/3597.02 c backtracks : 50 (9.5%)
3587.00/3597.02 c early backtracks : 0 (0.0%)
3587.00/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.00/3597.02 c delayed cutoffs : 0
3587.00/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.00/3597.02 c avg switch length: 2.98
3587.00/3597.02 c switching time : 0.65
3587.00/3597.02 c Root Node :
3587.00/3597.02 c First LP value : +7.75000000000000e+00
3587.00/3597.02 c First LP Iters : 681 (18339.98 Iter/sec)
3587.00/3597.02 c First LP Time : 0.04
3587.00/3597.02 c Final Dual Bound : +1.15418669276859e+01
3587.00/3597.02 c Final Root Iters : 49814
3587.00/3597.02 c Root LP Estimate : +1.29261244867304e+01
3587.00/3597.02 c Solution :
3587.00/3597.02 c Solutions found : 9 (3 improvements)
3587.00/3597.02 c First Solution : +2.80000000000000e+01 (in run 1, after 1 nodes, 1.03 seconds, depth 1099, found by <shiftandpropagate>)
3587.00/3597.02 c Gap First Sol. : 460.00 %
3587.00/3597.02 c Gap Last Sol. : 116.62 %
3587.00/3597.02 c Primal Bound : +2.50000000000000e+01 (in run 1, after 1 nodes, 45.65 seconds, depth 0, found by <rens>)
3587.00/3597.02 c Dual Bound : +1.18140313068888e+01
3587.00/3597.02 c Gap : 111.61 %
3587.00/3597.02 c Integrals : Total Avg%
3587.00/3597.02 c primal-dual : 191601.54 53.27
3587.00/3597.02 c primal-ref : - - (not evaluated)
3587.00/3597.02 c dual-ref : - - (not evaluated)
3587.10/3597.14 c Time complete: 3587.16.
OK 25
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62248 MiB free)
memory of node 1: 64465 MiB (62896 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497800-1751405845/watcher-4497800-1751405845 -o /tmp/evaluation-result-4497800-1751405845/solver-4497800-1751405845 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751405845-56555 --watchdog 3760 pbscip -f HOME/instance-4497800-1751405845.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=56602, runsolver pid=56599
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.13 1.62 2.76 5/259 56603
/proc/meminfo: memFree=127983780/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=97412 memory=69352 CPUtime=0.09 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 14248 0 0 0 7 2 0 0 20 0 1 0 56263204 99749888 17338 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 24353 17338 3520 3530 0 15804 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97412 KiB
Current children cumulated memory: 69352 KiB
[startup+0.205618 s]*
/proc/loadavg: 1.13 1.62 2.76 6/259 56603
/proc/meminfo: memFree=127923552/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=128288 memory=99844 CPUtime=0.19 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 23771 0 0 0 16 3 0 0 20 0 1 0 56263204 131366912 24961 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 32072 24961 3648 3530 0 23523 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 128288 KiB
Current children cumulated memory: 99844 KiB
[startup+0.305456 s]*
/proc/loadavg: 1.13 1.62 2.76 6/259 56603
/proc/meminfo: memFree=127846816/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=129460 memory=101956 CPUtime=0.3 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 25623 0 0 0 26 4 0 0 20 0 1 0 56263204 132567040 25489 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 32365 25489 3712 3530 0 23816 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 129460 KiB
Current children cumulated memory: 101956 KiB
[startup+0.700189 s]
/proc/loadavg: 1.13 1.62 2.76 5/259 56603
/proc/meminfo: memFree=127708952/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=183320 memory=143580 CPUtime=0.68 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 36923 0 0 0 63 5 0 0 20 0 1 0 56263204 187719680 35895 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 45830 35895 3840 3530 0 37281 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 183320 KiB
Current children cumulated memory: 143580 KiB
[startup+1.50018 s]
/proc/loadavg: 1.36 1.66 2.76 5/259 56603
/proc/meminfo: memFree=127282488/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=248068 memory=206496 CPUtime=1.48 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 53739 0 0 0 140 8 0 0 20 0 1 0 56263204 254021632 51624 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 62017 51624 3968 3530 0 53468 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 248068 KiB
Current children cumulated memory: 206496 KiB
[startup+3.1056 s]
/proc/loadavg: 1.36 1.66 2.76 5/257 56603
/proc/meminfo: memFree=126830580/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=271892 memory=228896 CPUtime=3.08 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 59401 0 0 0 299 9 0 0 20 0 1 0 56263204 278417408 57224 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 67973 57224 3968 3530 0 59424 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 271892 KiB
Current children cumulated memory: 228896 KiB
[startup+6.30017 s]
/proc/loadavg: 1.57 1.70 2.77 5/262 56613
/proc/meminfo: memFree=122443344/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=281224 memory=239264 CPUtime=6.26 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 61987 0 0 0 616 10 0 0 20 0 1 0 56263204 287973376 59816 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 70306 59816 3968 3530 0 61757 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 281224 KiB
Current children cumulated memory: 239264 KiB
[startup+12.7002 s]
/proc/loadavg: 1.77 1.74 2.78 5/262 56658
/proc/meminfo: memFree=116745576/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=352508 memory=288032 CPUtime=12.61 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 74214 0 0 0 1245 16 0 0 20 0 1 0 56263204 360968192 72008 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 88127 72008 3968 3530 0 79578 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 352508 KiB
Current children cumulated memory: 288032 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.81 2.79 5/262 56658
/proc/meminfo: memFree=112461100/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=357972 memory=292640 CPUtime=25.37 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 75368 0 0 0 2521 16 0 0 20 0 1 0 56263204 366563328 73160 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 89493 73160 3968 3530 0 80944 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 357972 KiB
Current children cumulated memory: 292640 KiB
[startup+51.1057 s]
/proc/loadavg: 2.97 2.05 2.84 5/263 56840
/proc/meminfo: memFree=101030704/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=434756 memory=369056 CPUtime=50.89 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 94528 0 0 0 5069 20 0 0 20 0 1 0 56263204 445190144 92264 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 108689 92264 3968 3530 0 100140 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 434756 KiB
Current children cumulated memory: 369056 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.37 2.91 5/263 56930
/proc/meminfo: memFree=112568980/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=434756 memory=369056 CPUtime=101.91 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 94533 0 0 0 10169 22 0 0 20 0 1 0 56263204 445190144 92264 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 108689 92264 3968 3530 0 100140 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 434756 KiB
Current children cumulated memory: 369056 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.70 2.99 5/267 56942
/proc/meminfo: memFree=91196764/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=434756 memory=369184 CPUtime=161.71 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 94569 0 0 0 16149 22 0 0 20 0 1 0 56263204 445190144 92296 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 108689 92296 3968 3530 0 100140 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 434756 KiB
Current children cumulated memory: 369184 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.96 3.06 5/269 57137
/proc/meminfo: memFree=126425100/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=434756 memory=370720 CPUtime=221.53 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 94586 0 0 0 22129 24 0 0 20 0 1 0 56263204 445190144 92680 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 108689 92680 3968 3530 0 100140 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 434756 KiB
Current children cumulated memory: 370720 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.18 3.13 5/270 57142
/proc/meminfo: memFree=127017884/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=434756 memory=371232 CPUtime=281.36 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 94648 0 0 0 28112 24 0 0 20 0 1 0 56263204 445190144 92808 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 108689 92808 3968 3530 0 100140 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 434756 KiB
Current children cumulated memory: 371232 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.35 3.20 5/270 57144
/proc/meminfo: memFree=127051000/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=434756 memory=389280 CPUtime=341.2 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 94659 0 0 0 34096 24 0 0 20 0 1 0 56263204 445190144 97320 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 108689 97320 3968 3530 0 100140 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 434756 KiB
Current children cumulated memory: 389280 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.48 3.25 5/270 57146
/proc/meminfo: memFree=127039996/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=434756 memory=399904 CPUtime=401.05 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 94787 0 0 0 40081 24 0 0 20 0 1 0 56263204 445190144 99976 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 108689 99976 3968 3530 0 100140 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 434756 KiB
Current children cumulated memory: 399904 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.61 3.31 5/269 57148
/proc/meminfo: memFree=127028068/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=434756 memory=403872 CPUtime=460.89 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 94792 0 0 0 46065 24 0 0 20 0 1 0 56263204 445190144 100968 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 108689 100968 3968 3530 0 100140 0
################
# More data... #
################
/proc/loadavg: 4.13 4.12 4.07 5/263 57341
/proc/meminfo: memFree=126212744/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=658572 memory=612068 CPUtime=3213.32 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 125338 0 0 0 321300 32 0 0 20 0 1 0 56263204 674377728 153017 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 164643 153017 3968 3530 0 156094 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 658572 KiB
Current children cumulated memory: 612068 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/264 57348
/proc/meminfo: memFree=126149464/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=697860 memory=650980 CPUtime=3273.16 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 135086 0 0 0 327283 33 0 0 20 0 1 0 56263204 714608640 162745 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 174465 162745 3968 3530 0 165916 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 697860 KiB
Current children cumulated memory: 650980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/264 57352
/proc/meminfo: memFree=126117436/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3333 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140577 0 0 0 333266 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/264 57354
/proc/meminfo: memFree=126116348/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3392.85 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140577 0 0 0 339251 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.37 4.17 4.10 5/263 57356
/proc/meminfo: memFree=126026392/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3452.69 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140577 0 0 0 345235 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.18 4.11 5/263 57358
/proc/meminfo: memFree=125978936/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3512.53 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140577 0 0 0 351219 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/262 57360
/proc/meminfo: memFree=125954672/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3572.34 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140578 0 0 0 357200 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3597.15 s]
# the end of solver process 56602 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.81 s, system=0.359757 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.16 4.10 5/262 57360
/proc/meminfo: memFree=125954924/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3574.04 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140578 0 0 0 357370 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3574.04 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.16 4.10 5/262 57360
/proc/meminfo: memFree=125960464/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3580.42 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140578 0 0 0 358008 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3580.42 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.16 4.10 5/262 57360
/proc/meminfo: memFree=125960520/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3583.61 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140578 0 0 0 358327 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3583.61 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.16 4.10 5/262 57360
/proc/meminfo: memFree=125960772/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3585.2 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140578 0 0 0 358486 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3585.2 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.16 4.10 5/262 57360
/proc/meminfo: memFree=125960772/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3586.01 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140578 0 0 0 358567 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3586.01 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.16 4.10 5/262 57360
/proc/meminfo: memFree=125960772/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3586.8 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140578 0 0 0 358646 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3597 s]*
/proc/loadavg: 4.19 4.17 4.10 4/260 57360
/proc/meminfo: memFree=126737492/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3587 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140578 0 0 0 358666 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
[startup+3597.11 s]
/proc/loadavg: 4.19 4.17 4.10 4/260 57360
/proc/meminfo: memFree=126737492/131250000 swapFree=33010684/33010684
[pid=56602] ppid=56599 vsize=747008 memory=685028 CPUtime=3587.1 cores=4,6
/proc/56602/stat : 56602 (pbscip) R 56599 56602 56544 0 -1 4194304 140590 0 0 0 358676 34 0 0 20 0 1 0 56263204 764936192 171257 18446744073709551615 4235264 18693293 140721570232784 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 46985216 140721570240905 140721570241004 140721570241004 140721570246606 0
/proc/56602/statm: 186752 171257 3968 3530 0 178203 0
Current children cumulated CPU time: 3587.1 s
Current children cumulated vsize: 747008 KiB
Current children cumulated memory: 685028 KiB
Child status: 0
Real time (s): 3597.15
CPU time (s): 3587.17
CPU user time (s): 3586.81
CPU system time (s): 0.359757
CPU usage (%): 99.7224
Max. virtual memory (cumulated for all children) (KiB): 747008
Max. memory (cumulated for all children) (KiB): 685028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.81
system time used= 0.359757
maximum resident set size= 685028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140603
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= 114
involuntary context switches= 1646
# summary of solver processes directly reported to runsolver:
# pid: 56602
# total CPU time (s): 3587.17
# total CPU user time (s): 3586.81
# total CPU system time (s): 0.359757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63321 second user time and 15.3115 second system time
The end
Begin job on nodeC026 at 2025-07-01 23:37:26 IDJOB=4497800 IDBENCH=148193 IDSOLVER=3365 FILE ID=nodeC026/4497800-1751405845 RUNJOBID= nodeC026-1751405845-56555 SLURM_JOB_ID= 9598295 Free space on /tmp= 432768 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497800-1751405845/watcher-4497800-1751405845 -o /tmp/evaluation-result-4497800-1751405845/solver-4497800-1751405845 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751405845-56555 --watchdog 3760 pbscip -f HOME/instance-4497800-1751405845.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a7d8f923a6cdb36d5c6f2d05cbd48ec7 RANDOM SEED=1154067776 nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.798 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3544.554 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.787 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.597 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.858 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.994 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128217320 kB MemAvailable: 129699680 kB Buffers: 3280 kB Cached: 2278008 kB SwapCached: 0 kB Active: 407872 kB Inactive: 2018924 kB Active(anon): 163588 kB Inactive(anon): 0 kB Active(file): 244284 kB Inactive(file): 2018924 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 97756 kB Writeback: 12 kB AnonPages: 148508 kB Mapped: 122212 kB Shmem: 18080 kB KReclaimable: 116780 kB Slab: 205136 kB SReclaimable: 116780 kB SUnreclaim: 88356 kB KernelStack: 4076 kB PageTables: 2788 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 470348 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 187092 kB DirectMap2M: 9021440 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432672 MiB End job on nodeC026 at 2025-07-02 00:37:23