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 | 439872 | 3588.06 | 3597.14 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-seymour1.opb |
| MD5SUM | 0695af47158b7a843c4563178a14696e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 424072 |
| Best CPU time to get the best result obtained on this benchmark | 72001 |
| 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 | 10582 |
| Total number of constraints | 5865 |
| Number of constraints which are clauses | 651 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 5214 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 198 |
| Number of terms in the objective function | 10582 |
| Biggest coefficient in the objective function | 1024 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 2347111 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 1024 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 2347111 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4432568-1721059849.opb>
0.10/0.10 c original problem has 10582 variables (10582 bin, 0 int, 0 impl, 0 cont) and 5865 constraints
0.10/0.10 c problem read in 0.10
0.10/0.17 c presolving:
0.20/0.26 c (round 1, fast) 531 del vars, 151 del conss, 0 add conss, 117 chg bounds, 921 chg sides, 921 chg coeffs, 0 upgd conss, 0 impls, 8978 clqs
0.20/0.26 c (round 2, fast) 940 del vars, 276 del conss, 0 add conss, 117 chg bounds, 921 chg sides, 921 chg coeffs, 0 upgd conss, 0 impls, 8967 clqs
0.30/0.37 c (0.4s) running MILP presolver
0.39/0.45 c (0.4s) MILP presolver (1 rounds): 0 aggregations, 3 fixings, 0 bound changes
0.39/0.45 c (round 3, exhaustive) 946 del vars, 283 del conss, 0 add conss, 117 chg bounds, 921 chg sides, 921 chg coeffs, 0 upgd conss, 0 impls, 8964 clqs
0.50/0.54 c (round 4, exhaustive) 946 del vars, 283 del conss, 0 add conss, 117 chg bounds, 921 chg sides, 921 chg coeffs, 5564 upgd conss, 0 impls, 8964 clqs
0.50/0.58 c (round 5, fast) 967 del vars, 286 del conss, 0 add conss, 117 chg bounds, 921 chg sides, 9751 chg coeffs, 5564 upgd conss, 0 impls, 8964 clqs
0.59/0.69 c (round 6, medium) 972 del vars, 1173 del conss, 8830 add conss, 117 chg bounds, 921 chg sides, 9762 chg coeffs, 5564 upgd conss, 0 impls, 8963 clqs
0.68/0.73 c (round 7, exhaustive) 974 del vars, 1175 del conss, 8830 add conss, 117 chg bounds, 921 chg sides, 9820 chg coeffs, 5582 upgd conss, 0 impls, 8964 clqs
0.78/0.80 c (round 8, exhaustive) 1027 del vars, 1176 del conss, 8830 add conss, 117 chg bounds, 921 chg sides, 9820 chg coeffs, 5582 upgd conss, 0 impls, 8962 clqs
0.78/0.82 c (round 9, medium) 1037 del vars, 1195 del conss, 8830 add conss, 117 chg bounds, 921 chg sides, 9974 chg coeffs, 5582 upgd conss, 0 impls, 8989 clqs
0.78/0.84 c (round 10, exhaustive) 1038 del vars, 1211 del conss, 8830 add conss, 117 chg bounds, 921 chg sides, 9975 chg coeffs, 5582 upgd conss, 0 impls, 8989 clqs
0.88/0.90 c (round 11, exhaustive) 1048 del vars, 1216 del conss, 8830 add conss, 117 chg bounds, 921 chg sides, 9976 chg coeffs, 5582 upgd conss, 0 impls, 8985 clqs
0.88/0.91 c (round 12, fast) 1053 del vars, 1241 del conss, 8830 add conss, 117 chg bounds, 921 chg sides, 9990 chg coeffs, 5582 upgd conss, 0 impls, 8981 clqs
0.88/0.93 c (round 13, exhaustive) 1053 del vars, 1257 del conss, 8830 add conss, 117 chg bounds, 921 chg sides, 9990 chg coeffs, 5582 upgd conss, 0 impls, 8981 clqs
1.48/1.51 c (1.5s) probing: 51/9903 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.48/1.51 c (1.5s) probing aborted: 50/50 successive totally useless probings
1.68/1.73 c (1.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.79/1.83 c (1.8s) symmetry computation finished: 38 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
1.79/1.85 c dynamic symmetry handling statistics:
1.79/1.85 c orbitopal reduction: 4 components: 11x3, 11x3, 11x3, 11x3
1.79/1.85 c orbital reduction: 2 components of sizes 5, 3
1.79/1.85 c lexicographic reduction: 30 permutations with support sizes 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 44, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22
1.79/1.85 c handled 28 out of 28 symmetry components
1.88/1.91 c presolving (14 rounds: 14 fast, 10 medium, 8 exhaustive):
1.88/1.91 c 1158 deleted vars, 1354 deleted constraints, 8830 added constraints, 117 tightened bounds, 0 added holes, 921 changed sides, 9998 changed coefficients
1.88/1.91 c 0 implications, 8890 cliques
1.88/1.91 c presolved problem has 9804 variables (9804 bin, 0 int, 0 impl, 0 cont) and 13341 constraints
1.88/1.91 c 4183 constraints of type <knapsack>
1.88/1.91 c 8867 constraints of type <setppc>
1.88/1.91 c 291 constraints of type <logicor>
1.88/1.91 c transformed objective value is always integral (scale: 1)
1.88/1.91 c Presolving Time: 1.75
1.88/1.91 c - non default parameters ----------------------------------------------------------------------
1.88/1.91 c # SCIP version 10.0.0
1.88/1.91 c
1.88/1.91 c # maximal time in seconds to run
1.88/1.91 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.88/1.91 c limits/time = 3596.99706
1.88/1.91 c
1.88/1.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.88/1.91 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.88/1.91 c limits/memory = 27900
1.88/1.91 c
1.88/1.91 c # belongs reading time to solving time?
1.88/1.91 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.88/1.91 c timing/reading = TRUE
1.88/1.91 c
1.88/1.91 c -----------------------------------------------------------------------------------------------
1.88/1.91 c start solving
1.88/1.91 c
2.39/2.46 o 1159335
2.39/2.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.39/2.46 c p 2.5s| 1 | 0 | 19 | - | clique| 0 |9804 | 13k| 13k| 0 | 0 | 0 | 0 | 1.751040e+05 | 1.159335e+06 | 562.08%| unknown
2.49/2.55 o 999193
2.49/2.55 c p 2.5s| 1 | 0 | 19 | - | locks| 0 |9804 | 13k| 13k| 0 | 0 | 0 | 0 | 1.751040e+05 | 9.991930e+05 | 470.63%| unknown
2.59/2.67 o 519168
2.59/2.67 c p 2.7s| 1 | 0 | 50 | - | vbounds| 0 |9804 | 13k| 13k| 0 | 0 | 0 | 0 | 1.751040e+05 | 5.191680e+05 | 196.49%| unknown
7.67/7.78 c 7.8s| 1 | 0 | 11636 | - | 348M | 0 |9804 | 13k| 13k| 0 | 0 | 0 | 0 | 4.137419e+05 | 5.191680e+05 | 25.48%| unknown
9.37/9.45 c 9.5s| 1 | 0 | 12498 | - | 355M | 0 |9804 | 13k| 13k| 42 | 1 | 0 | 0 | 4.152826e+05 | 5.191680e+05 | 25.02%| unknown
10.86/10.97 c 11.0s| 1 | 0 | 12771 | - | 356M | 0 |9804 | 13k| 13k| 72 | 2 | 0 | 0 | 4.153515e+05 | 5.191680e+05 | 24.99%| unknown
12.46/12.52 c 12.5s| 1 | 0 | 13040 | - | 359M | 0 |9804 | 13k| 13k| 115 | 3 | 0 | 0 | 4.155089e+05 | 5.191680e+05 | 24.95%| unknown
13.85/13.99 c 14.0s| 1 | 0 | 13165 | - | 361M | 0 |9804 | 13k| 13k| 150 | 4 | 0 | 0 | 4.155378e+05 | 5.191680e+05 | 24.94%| unknown
15.45/15.50 c 15.5s| 1 | 0 | 13434 | - | 364M | 0 |9804 | 13k| 13k| 190 | 5 | 0 | 0 | 4.156769e+05 | 5.191680e+05 | 24.90%| unknown
16.85/16.99 c 17.0s| 1 | 0 | 13512 | - | 365M | 0 |9804 | 13k| 13k| 228 | 6 | 0 | 0 | 4.156769e+05 | 5.191680e+05 | 24.90%| unknown
18.34/18.49 c 18.5s| 1 | 0 | 13587 | - | 367M | 0 |9804 | 13k| 13k| 273 | 7 | 0 | 0 | 4.156769e+05 | 5.191680e+05 | 24.90%| unknown
19.94/20.01 c 20.0s| 1 | 0 | 13668 | - | 369M | 0 |9804 | 13k| 13k| 315 | 8 | 0 | 0 | 4.156769e+05 | 5.191680e+05 | 24.90%| unknown
21.53/21.62 c 21.6s| 1 | 0 | 13904 | - | 374M | 0 |9804 | 13k| 13k| 359 | 9 | 0 | 0 | 4.157176e+05 | 5.191680e+05 | 24.88%| unknown
23.03/23.17 c 23.2s| 1 | 0 | 14009 | - | 377M | 0 |9804 | 13k| 13k| 402 | 10 | 0 | 0 | 4.157176e+05 | 5.191680e+05 | 24.88%| unknown
23.22/23.34 c 23.3s| 1 | 0 | 14096 | - | 378M | 0 |9804 | 13k| 13k| 445 | 11 | 0 | 0 | 4.157176e+05 | 5.191680e+05 | 24.88%| unknown
23.53/23.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.53/23.64 c 23.6s| 1 | 0 | 14592 | - | 380M | 0 |9804 | 13k| 13k| 491 | 12 | 0 | 0 | 4.159157e+05 | 5.191680e+05 | 24.83%| unknown
23.73/23.88 c 23.9s| 1 | 0 | 14855 | - | 381M | 0 |9804 | 13k| 13k| 536 | 13 | 0 | 0 | 4.159411e+05 | 5.191680e+05 | 24.82%| unknown
24.04/24.13 c 24.1s| 1 | 0 | 15200 | - | 383M | 0 |9804 | 13k| 13k| 574 | 14 | 0 | 0 | 4.159641e+05 | 5.191680e+05 | 24.81%| unknown
24.23/24.33 c 24.3s| 1 | 0 | 15320 | - | 384M | 0 |9804 | 13k| 13k| 612 | 15 | 0 | 0 | 4.159641e+05 | 5.191680e+05 | 24.81%| unknown
24.43/24.53 c 24.5s| 1 | 0 | 15429 | - | 385M | 0 |9804 | 13k| 13k| 652 | 16 | 0 | 0 | 4.159641e+05 | 5.191680e+05 | 24.81%| unknown
24.63/24.74 c 24.7s| 1 | 0 | 15608 | - | 387M | 0 |9804 | 13k| 14k| 694 | 17 | 0 | 0 | 4.159666e+05 | 5.191680e+05 | 24.81%| unknown
25.03/25.16 c 25.2s| 1 | 0 | 15874 | - | 390M | 0 |9804 | 13k| 14k| 769 | 18 | 0 | 0 | 4.159666e+05 | 5.191680e+05 | 24.81%| unknown
25.32/25.48 c 25.5s| 1 | 0 | 16231 | - | 391M | 0 |9804 | 13k| 14k| 835 | 19 | 1 | 0 | 4.159666e+05 | 5.191680e+05 | 24.81%| unknown
25.62/25.76 c 25.8s| 1 | 0 | 16438 | - | 393M | 0 |9804 | 13k| 14k| 886 | 20 | 1 | 0 | 4.159666e+05 | 5.191680e+05 | 24.81%| unknown
25.92/26.03 c 26.0s| 1 | 0 | 16621 | - | 393M | 0 |9804 | 13k| 14k| 937 | 21 | 1 | 0 | 4.159666e+05 | 5.191680e+05 | 24.81%| unknown
26.22/26.30 c 26.3s| 1 | 0 | 16826 | - | 393M | 0 |9804 | 13k| 14k| 987 | 22 | 1 | 0 | 4.159666e+05 | 5.191680e+05 | 24.81%| unknown
26.52/26.60 c 26.6s| 1 | 0 | 17086 | - | 393M | 0 |9804 | 13k| 14k|1038 | 23 | 1 | 0 | 4.159666e+05 | 5.191680e+05 | 24.81%| unknown
98.10/98.42 o 447354
98.10/98.42 c L98.4s| 1 | 0 |150595 | - | rens| 0 |9804 | 13k| 14k|1038 | 23 | 1 | 0 | 4.159666e+05 | 4.473540e+05 | 7.55%| unknown
98.20/98.55 c 98.6s| 1 | 0 |150595 | - | 399M | 0 |9804 | 13k| 14k|1038 | 23 | 1 | 0 | 4.159666e+05 | 4.473540e+05 | 7.55%| unknown
98.20/98.57 o 445316
98.20/98.57 c i98.6s| 1 | 0 |150595 | - | oneopt| 0 |9804 | 13k| 14k|1038 | 23 | 1 | 0 | 4.159666e+05 | 4.453160e+05 | 7.06%| unknown
98.50/98.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
98.50/98.80 c 98.8s| 1 | 0 |150838 | - | 400M | 0 |9804 | 13k| 14k|1080 | 24 | 1 | 0 | 4.159666e+05 | 4.453160e+05 | 7.06%| unknown
98.71/99.02 c 99.0s| 1 | 0 |151336 | - | 400M | 0 |9804 | 13k| 14k|1098 | 25 | 1 | 0 | 4.159666e+05 | 4.453160e+05 | 7.06%| unknown
102.69/103.07 c 103s| 1 | 2 |151517 | - | 400M | 0 |9804 | 13k| 14k|1098 | 25 | 1 | 21 | 4.161914e+05 | 4.453160e+05 | 7.00%| unknown
102.69/103.08 c Orbital fixing symmetry for 0x39eaf60 broken before symmetry. Requires fixing 24/66 affected variables.
169.19/169.74 o 443142
169.19/169.74 c L 170s| 36 | 37 |203755 |5313.7 | alns| 28 |9804 | 13k| 14k|1196 | 2 | 1 | 320 | 4.164694e+05 | 4.431420e+05 | 6.40%| unknown
169.88/170.41 o 442882
169.88/170.41 c i 170s| 37 | 36 |203755 |5166.1 | oneopt| 28 |9804 | 13k| 14k|1196 | 0 | 1 | 320 | 4.164694e+05 | 4.428820e+05 | 6.34%| unknown
296.33/297.27 c 297s| 100 | 101 |521829 |5091.4 | 410M | 33 |9804 | 13k| 14k|1335 | 2 | 1 | 471 | 4.165984e+05 | 4.428820e+05 | 6.31%| unknown
421.57/422.89 c 423s| 200 | 201 |851095 |4187.5 | 429M | 52 |9804 | 13k| 14k|1511 | 1 | 1 | 676 | 4.169149e+05 | 4.428820e+05 | 6.23%| unknown
470.75/472.10 o 441538
470.75/472.10 c L 472s| 237 | 238 |970682 |4037.7 |crossove| 56 |9804 | 13k| 14k|1560 | 1 | 1 | 808 | 4.171546e+05 | 4.415380e+05 | 5.85%| unknown
470.75/472.13 o 441410
470.75/472.13 c i 472s| 237 | 238 |970682 |4037.7 | oneopt| 56 |9804 | 13k| 14k|1560 | 1 | 1 | 808 | 4.171546e+05 | 4.414100e+05 | 5.81%| unknown
532.49/534.06 c 534s| 300 | 301 | 1140k|3754.6 | 431M | 65 |9804 | 13k| 14k|1656 | 1 | 1 | 980 | 4.171903e+05 | 4.414100e+05 | 5.81%| unknown
620.85/622.65 c 623s| 400 | 401 | 1381k|3417.7 | 432M | 78 |9804 | 13k| 14k|1746 | 1 | 1 |1163 | 4.172860e+05 | 4.414100e+05 | 5.78%| unknown
649.18/651.09 o 439872
649.18/651.09 c L 651s| 437 | 438 | 1451k|3288.6 |crossove| 81 |9804 | 13k| 14k|1792 | 1 | 1 |1262 | 4.172964e+05 | 4.398720e+05 | 5.41%| unknown
701.73/703.70 c 704s| 500 | 501 | 1578k|3128.6 | 437M | 87 |9804 | 13k| 14k|1866 | 2 | 1 |1414 | 4.173196e+05 | 4.398720e+05 | 5.40%| unknown
776.72/778.96 c 779s| 600 | 601 | 1789k|2957.3 | 441M | 98 |9804 | 13k| 14k|1986 | 1 | 1 |1665 | 4.173231e+05 | 4.398720e+05 | 5.40%| unknown
884.92/887.44 c 887s| 700 | 701 | 2012k|2853.7 | 446M | 98 |9804 | 13k| 14k|2283 | 1 | 1 |2309 | 4.176890e+05 | 4.398720e+05 | 5.31%| unknown
947.53/950.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
947.53/950.23 c 950s| 800 | 801 | 2162k|2684.0 | 447M | 98 |9804 | 13k| 14k|2402 | 1 | 1 |2494 | 4.176890e+05 | 4.398720e+05 | 5.31%| unknown
1027.52/1030.46 c 1030s| 900 | 901 | 2340k|2584.1 | 463M | 98 |9804 | 13k| 14k|2640 | 1 | 1 |2745 | 4.176890e+05 | 4.398720e+05 | 5.31%| unknown
1081.86/1084.94 c 1085s| 1000 | 1001 | 2479k|2464.6 | 464M | 98 |9804 | 13k| 14k|2865 | 1 | 1 |2977 | 4.176890e+05 | 4.398720e+05 | 5.31%| unknown
1134.41/1137.66 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1134.41/1137.66 c (run 1, node 1049) performing user restart
1134.41/1137.66 c
1134.41/1137.66 c (restart) converted 119 cuts from the global cut pool into linear constraints
1134.41/1137.66 c
1134.51/1137.76 c presolving:
1134.61/1137.82 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 11 chg coeffs, 119 upgd conss, 0 impls, 8898 clqs
1134.71/1137.93 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1134.71/1137.93 c 2 deleted vars, 0 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 17 changed coefficients
1134.71/1137.93 c 0 implications, 8898 cliques
1134.71/1137.93 c presolved problem has 9802 variables (9802 bin, 0 int, 0 impl, 0 cont) and 13462 constraints
1134.71/1137.93 c 4290 constraints of type <knapsack>
1134.71/1137.93 c 8875 constraints of type <setppc>
1134.71/1137.93 c 297 constraints of type <logicor>
1134.71/1137.93 c transformed objective value is always integral (scale: 1)
1134.71/1137.93 c Presolving Time: 1.96
1134.82/1138.08 c transformed 19/21 original solutions to the transformed problem space
1134.82/1138.08 c
1143.69/1146.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1143.69/1146.90 c 1147s| 1 | 0 | 2611k| - | 470M | 0 |9802 | 13k| 13k| 0 | 0 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1145.18/1148.48 c 1148s| 1 | 0 | 2611k| - | 472M | 0 |9802 | 13k| 13k| 28 | 1 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1146.78/1150.05 c 1150s| 1 | 0 | 2611k| - | 473M | 0 |9802 | 13k| 13k| 58 | 2 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1148.37/1151.67 c 1152s| 1 | 0 | 2611k| - | 475M | 0 |9802 | 13k| 13k| 91 | 3 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1150.07/1153.35 c 1153s| 1 | 0 | 2612k| - | 476M | 0 |9802 | 13k| 13k| 125 | 4 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1151.77/1155.09 c 1155s| 1 | 0 | 2612k| - | 479M | 0 |9802 | 13k| 13k| 174 | 5 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1153.56/1156.84 c 1157s| 1 | 0 | 2612k| - | 480M | 0 |9802 | 13k| 13k| 234 | 6 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1155.26/1158.52 c 1159s| 1 | 0 | 2612k| - | 481M | 0 |9802 | 13k| 13k| 278 | 7 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1156.95/1160.28 c 1160s| 1 | 0 | 2612k| - | 484M | 0 |9802 | 13k| 13k| 330 | 8 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1158.75/1162.08 c 1162s| 1 | 0 | 2612k| - | 486M | 0 |9802 | 13k| 13k| 380 | 9 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1160.64/1163.93 c 1164s| 1 | 0 | 2613k| - | 489M | 0 |9802 | 13k| 13k| 429 | 10 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1160.94/1164.25 c 1164s| 1 | 0 | 2613k| - | 491M | 0 |9802 | 13k| 13k| 479 | 11 | 1 |3389 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1249.88/1253.43 c 1253s| 1 | 2 | 2754k| - | 490M | 0 |9802 | 13k| 13k| 479 | 11 | 1 |3412 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1383.81/1387.73 c 1388s| 100 | 101 | 3063k|2639.0 | 497M | 40 |9802 | 13k| 13k| 727 | 2 | 1 |3626 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1502.90/1507.14 c 1507s| 200 | 201 | 3333k|2643.2 | 514M | 53 |9802 | 13k| 13k|1205 | 1 | 1 |3857 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1607.71/1612.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1607.71/1612.21 c 1612s| 300 | 301 | 3582k|2632.3 | 518M | 66 |9802 | 13k| 13k|1419 | 1 | 1 |4242 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1694.48/1699.22 c 1699s| 400 | 401 | 3801k|2601.9 | 519M | 81 |9802 | 13k| 13k|1551 | 1 | 1 |4551 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1777.93/1783.00 c 1783s| 500 | 501 | 3990k|2555.4 | 526M | 92 |9802 | 13k| 13k|1776 | 1 | 1 |4833 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1861.48/1866.73 c 1867s| 600 | 601 | 4224k|2542.5 | 527M | 99 |9802 | 13k| 13k|2087 | 1 | 1 |5057 | 4.180080e+05 | 4.398720e+05 | 5.23%| unknown
1983.13/1988.78 c 1989s| 700 | 701 | 4604k|2614.7 | 531M | 99 |9802 | 13k| 13k|2635 | 1 | 1 |5177 | 4.182534e+05 | 4.398720e+05 | 5.17%| unknown
2148.47/2154.58 c 2155s| 800 | 801 | 5161k|2774.5 | 541M | 99 |9802 | 13k| 13k|3206 | 1 | 1 |5267 | 4.185616e+05 | 4.398720e+05 | 5.09%| unknown
2287.15/2293.54 c 2294s| 900 | 901 | 5629k|2872.1 | 542M | 99 |9802 | 13k| 13k|3762 | 1 | 1 |5318 | 4.188209e+05 | 4.398720e+05 | 5.03%| unknown
2447.90/2454.60 c 2455s| 1000 | 1001 | 6163k|2992.5 | 543M | 99 |9802 | 13k| 13k|4391 | 1 | 1 |5376 | 4.189976e+05 | 4.398720e+05 | 4.98%| unknown
2589.90/2596.91 c 2597s| 1100 | 1101 | 6642k|3076.5 | 544M | 99 |9802 | 13k| 13k|4880 | 1 | 1 |5410 | 4.191076e+05 | 4.398720e+05 | 4.95%| unknown
2732.51/2739.89 c 2740s| 1200 | 1201 | 7130k|3156.8 | 546M | 99 |9802 | 13k| 13k|5327 | 1 | 1 |5457 | 4.191574e+05 | 4.398720e+05 | 4.94%| unknown
2856.95/2864.51 c 2865s| 1300 | 1301 | 7573k|3210.8 | 547M | 99 |9802 | 13k| 13k|5801 | 1 | 1 |5494 | 4.192451e+05 | 4.398720e+05 | 4.92%| unknown
2979.09/2986.95 c 2987s| 1400 | 1401 | 8010k|3258.1 | 549M | 99 |9802 | 13k| 13k|6319 | 1 | 1 |5519 | 4.193771e+05 | 4.398720e+05 | 4.89%| unknown
3091.85/3099.98 c 3100s| 1500 | 1501 | 8411k|3287.6 | 550M | 99 |9802 | 13k| 13k|6789 | 1 | 1 |5557 | 4.194182e+05 | 4.398720e+05 | 4.88%| unknown
3205.61/3214.00 c 3214s| 1600 | 1601 | 8813k|3315.5 | 551M | 99 |9802 | 13k| 13k|7231 | 2 | 1 |5586 | 4.194904e+05 | 4.398720e+05 | 4.86%| unknown
3331.95/3340.57 c 3341s| 1700 | 1701 | 9268k|3360.4 | 551M | 99 |9802 | 13k| 13k|7667 | 1 | 1 |5613 | 4.195403e+05 | 4.398720e+05 | 4.85%| unknown
3437.63/3446.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3437.63/3446.44 c 3446s| 1800 | 1801 | 9643k|3373.9 | 551M | 99 |9802 | 13k| 13k|8127 | 1 | 1 |5650 | 4.195962e+05 | 4.398720e+05 | 4.83%| unknown
3572.64/3581.79 c 3582s| 1900 | 1901 | 10132k|3425.3 | 553M | 99 |9802 | 13k| 13k|8587 | 1 | 1 |5675 | 4.196433e+05 | 4.398720e+05 | 4.82%| unknown
3587.81/3597.00 c
3587.81/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.81/3597.00 c Solving Time (sec) : 3597.00
3587.81/3597.00 c Solving Nodes : 1915 (total of 2964 nodes in 2 runs)
3587.81/3597.00 c Primal Bound : +4.39872000000000e+05 (26 solutions)
3587.81/3597.00 c Dual Bound : +4.19644195679188e+05
3587.81/3597.00 c Gap : 4.82 %
3587.91/3597.01 s SATISFIABLE
3587.91/3597.01 v -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118
3587.91/3597.01 v -x4117 -x4116 -x4115 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100
3587.91/3597.01 v -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082
3587.91/3597.01 v -x4081 x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 x4069 -x4068 -x4067 -x4066 -x4065 -x4064
3587.91/3597.01 v -x4063 -x4062 -x4061 -x4060 -x4059 x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 x4047 -x4046 -x4045
3587.91/3597.01 v -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028
3587.91/3597.01 v -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 x4014 -x4013 -x4012 -x4011 -x4010
3587.91/3597.01 v -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991
3587.91/3597.01 v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973
3587.91/3597.01 v -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955
3587.91/3597.01 v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937
3587.91/3597.01 v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919
3587.91/3597.01 v -x3918 -x3917 -x3916 -x3915 x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901
3587.91/3597.01 v -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882
3587.91/3597.01 v -x3881 x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864
3587.91/3597.01 v -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846
3587.91/3597.01 v -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829
3587.91/3597.01 v -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811
3587.91/3597.01 v -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793
3587.91/3597.01 v -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774
3587.91/3597.01 v -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756
3587.91/3597.01 v -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738
3587.91/3597.01 v -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720
3587.91/3597.01 v -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702
3587.91/3597.01 v -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684
3587.91/3597.01 v -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3669 -x3668 -x3667 -x3666
3587.91/3597.01 v -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648
3587.91/3597.01 v -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630
3587.91/3597.01 v -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612
3587.91/3597.01 v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594
3587.91/3597.01 v -x3593 -x3592 x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576
3587.91/3597.01 v -x3575 -x3574 -x3573 -x3572 -x3571 x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3558 -x3557
3587.91/3597.01 v -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539
3587.91/3597.01 v -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521
3587.91/3597.01 v -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503
3587.91/3597.01 v -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 x3489 -x3488 -x3487 -x3486 -x3485
3587.91/3597.01 v -x3484 -x3483 -x3482 -x3481 x3480 x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 x3467
3587.91/3597.01 v -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449
3587.91/3597.01 v -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430
3587.91/3597.01 v -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 x3413 x3412
3587.91/3597.01 v x3411 x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394
3587.91/3597.01 v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 x3381 -x3380 -x3379 -x3378 -x3377 -x3376
3587.91/3597.01 v -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358
3587.91/3597.01 v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340
3587.91/3597.01 v -x3339 -x3338 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320
3587.91/3597.01 v -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302
3587.91/3597.01 v -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285
3587.91/3597.01 v -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 x3269 -x3268 -x3267
3587.91/3597.01 v -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249
3587.91/3597.01 v -x3248 x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231
3587.91/3597.01 v -x3230 -x3229 -x3228 -x3227 -x3226 x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212
3587.91/3597.01 v -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194
3587.91/3597.01 v -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 x3180 -x3179 -x3178 -x3177 -x3176
3587.91/3597.01 v -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 x3158
3587.91/3597.01 v -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140
3587.91/3597.01 v -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 x3124 -x3123 -x3122
3587.91/3597.01 v -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103
3587.91/3597.01 v -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085
3587.91/3597.01 v -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067
3587.91/3597.01 v -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049
3587.91/3597.01 v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032
3587.91/3597.01 v -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014
3587.91/3597.01 v -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995
3587.91/3597.01 v -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977
3587.91/3597.01 v -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959
3587.91/3597.01 v -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941
3587.91/3597.01 v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923
3587.91/3597.01 v -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906
3587.91/3597.01 v -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2891 -x2890 -x2889 -x2888 -x2887
3587.91/3597.01 v -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869
3587.91/3597.01 v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851
3587.91/3597.01 v -x2850 -x2849 -x2848 x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 x2836 -x2835 -x2834 -x2833
3587.91/3597.01 v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815
3587.91/3597.01 v -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797
3587.91/3597.01 v -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2780 -x2779 -x2778
3587.91/3597.01 v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760
3587.91/3597.01 v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742
3587.91/3597.01 v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 x2725 -x2724
3587.91/3597.01 v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
3587.91/3597.01 v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
3587.91/3597.01 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671
3587.91/3597.01 v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652
3587.91/3597.01 v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634
3587.91/3597.01 v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
3587.91/3597.01 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 x2603 -x2602 -x2601 -x2600 -x2599 -x2598
3587.91/3597.01 v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580
3587.91/3597.01 v -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563
3587.91/3597.01 v -x2562 -x2561 -x2560 x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 x2547 -x2546 -x2545 -x2544 -x2543
3587.91/3597.01 v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
3587.91/3597.01 v x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
3587.91/3597.01 v -x2507 -x2506 -x2505 -x2504 -x2503 x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490
3587.91/3597.01 v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472
3587.91/3597.01 v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 x2459 -x2458 -x2457 -x2456 -x2455 -x2454
3587.91/3597.01 v -x2453 -x2452 -x2451 -x2450 -x2449 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 x2435
3587.91/3597.01 v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417
3587.91/3597.01 v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399
3587.91/3597.01 v -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381
3587.91/3597.01 v -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363
3587.91/3597.01 v -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345
3587.91/3597.01 v -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
3587.91/3597.01 v -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309
3587.91/3597.01 v -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291
3587.91/3597.01 v -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273
3587.91/3597.01 v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255
3587.91/3597.01 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237
3587.91/3597.01 v -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217
3587.91/3597.01 v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 x2202 -x2201 -x2200 -x2199
3587.91/3597.01 v -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181
3587.91/3597.01 v -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163
3587.91/3597.01 v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 x2147 -x2146 -x2145
3587.91/3597.01 v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127
3587.91/3597.01 v -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2113 -x2112 -x2111 -x2110 -x2109
3587.91/3597.01 v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091
3587.91/3597.01 v -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073
3587.91/3597.01 v -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 x2058 -x2057 -x2056 -x2055
3587.91/3597.01 v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037
3587.91/3597.01 v -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019
3587.91/3597.01 v -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2002 -x2001 -x2000
3587.91/3597.01 v -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982
3587.91/3597.01 v -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 x1969 -x1968 -x1967 -x1966 -x1965 -x1964
3587.91/3597.01 v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946
3587.91/3597.01 v -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929
3587.91/3597.01 v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911
3587.91/3597.01 v -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893
3587.91/3597.01 v -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874
3587.91/3597.01 v -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 x1858 -x1857 -x1856
3587.91/3597.01 v -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838
3587.91/3597.01 v -x1837 x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 x1824 -x1823 -x1822 -x1821 -x1820
3587.91/3597.01 v -x1819 -x1818 -x1817 -x1816 -x1815 x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802
3587.91/3597.01 v -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784
3587.91/3597.01 v -x1783 -x1782 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765
3587.91/3597.01 v -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747
3587.91/3597.01 v -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730
3587.91/3597.01 v -x1729 -x1728 -x1727 -x1726 x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712
3587.91/3597.01 v -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694
3587.91/3597.01 v -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676
3587.91/3597.01 v -x1675 -x1674 -x1673 -x1672 -x1671 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657
3587.91/3597.01 v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639
3587.91/3597.01 v -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621
3587.91/3597.01 v -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 x1603
3587.91/3597.01 v -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585
3587.91/3597.01 v -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568
3587.91/3597.01 v -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549
3587.91/3597.01 v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531
3587.91/3597.01 v -x1530 -x1529 -x1528 -x1527 -x1526 x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513
3587.91/3597.01 v -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495
3587.91/3597.01 v -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 x1481 -x1480 -x1479 -x1478 -x1477
3587.91/3597.01 v -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 x1459
3587.91/3597.01 v -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440
3587.91/3597.01 v -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422
3587.91/3597.01 v -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404
3587.91/3597.01 v -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386
3587.91/3597.01 v -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368
3587.91/3597.01 v -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350
3587.91/3597.01 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1336 -x1335 -x1334 -x1333 -x1332
3587.91/3597.01 v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
3587.91/3597.01 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296
3587.91/3597.01 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
3587.91/3597.01 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
3587.91/3597.01 v -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242
3587.91/3597.01 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1225 -x1224 -x1223
3587.91/3597.01 v -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205
3587.91/3597.01 v -x1204 -x1203 x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187
3587.91/3597.01 v -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169
3587.91/3597.01 v -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151
3587.91/3597.01 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
3587.91/3597.01 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116
3587.91/3597.01 v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096
3587.91/3597.01 v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 x1080 -x1079 -x1078
3587.91/3597.01 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060
3587.91/3597.01 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
3587.91/3597.01 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 x1025 -x1024
3587.91/3597.01 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
3587.91/3597.01 v -x1005 -x1004 -x1002 x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985
3587.91/3597.01 v -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964
3587.91/3597.01 v -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943
3587.91/3597.01 v -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922
3587.91/3597.01 v -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901
3587.91/3597.01 v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880
3587.91/3597.01 v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859
3587.91/3597.01 v -x858 x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838
3587.91/3597.01 v -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817
3587.91/3597.01 v -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796
3587.91/3597.01 v -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x780 -x779 -x778 -x777 -x776 -x775 -x774
3587.91/3597.01 v -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753
3587.91/3597.01 v -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732
3587.91/3597.01 v -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711
3587.91/3597.01 v -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690
3587.91/3597.01 v -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x669
3587.91/3597.01 v -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648
3587.91/3597.01 v -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627
3587.91/3597.01 v -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606
3587.91/3597.01 v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585
3587.91/3597.01 v -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564
3587.91/3597.01 v -x563 -x562 -x561 -x560 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542
3587.91/3597.01 v -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521
3587.91/3597.01 v -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501
3587.91/3597.01 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480
3587.91/3597.01 v -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
3587.91/3597.01 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
3587.91/3597.01 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
3587.91/3597.01 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
3587.91/3597.01 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
3587.91/3597.01 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
3587.91/3597.01 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x336 -x335 -x334 -x333 -x332
3587.91/3597.01 v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311
3587.91/3597.01 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
3587.91/3597.01 v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
3587.91/3597.01 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
3587.91/3597.01 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227
3587.91/3597.01 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
3587.91/3597.01 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185
3587.91/3597.01 v -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
3587.91/3597.01 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143
3587.91/3597.01 v -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122
3587.91/3597.01 v -x121 -x120 -x119 -x118 -x117 -x116 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
3587.91/3597.01 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
3587.91/3597.01 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
3587.91/3597.01 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25
3587.91/3597.01 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x10582 -x10581 -x10580 -x10579
3587.91/3597.01 v -x10578 -x10577 -x10576 -x10575 -x10574 -x10573 -x10572 -x10571 -x10570 -x10569 -x10568 -x10567 -x10566 -x10565 -x10564 -x10563
3587.91/3597.01 v -x10562 -x10561 x10560 -x10559 -x10558 -x10557 -x10556 -x10555 -x10554 -x10553 -x10552 -x10551 -x10550 -x10549 -x10548 -x10547
3587.91/3597.01 v -x10546 -x10545 -x10544 -x10543 -x10542 -x10541 -x10540 -x10539 x10538 -x10537 -x10536 -x10535 -x10534 -x10533 -x10532
3587.91/3597.01 v -x10531 -x10530 -x10529 -x10528 -x10527 -x10526 -x10525 -x10524 -x10523 -x10522 -x10521 -x10520 -x10519 -x10518 -x10517 x10516
3587.91/3597.01 v -x10515 -x10514 -x10513 -x10512 -x10511 -x10510 -x10509 -x10508 -x10507 -x10506 -x10505 -x10504 -x10503 -x10502 -x10501 -x10500
3587.91/3597.01 v -x10499 -x10498 -x10497 -x10496 -x10495 -x10494 -x10493 -x10492 -x10491 -x10490 -x10489 -x10488 -x10487 -x10486 -x10485
3587.91/3597.01 v -x10484 -x10483 -x10482 -x10481 -x10480 -x10479 -x10478 -x10477 -x10476 -x10475 -x10474 -x10473 x10471 -x10470 -x10469 -x10468
3587.91/3597.01 v -x10467 -x10466 -x10465 -x10464 -x10463 -x10462 -x10461 -x10460 -x10459 -x10458 -x10457 -x10456 -x10455 -x10454 -x10453 -x10452
3587.91/3597.01 v -x10451 -x10450 -x10449 -x10448 -x10447 -x10446 -x10445 -x10444 -x10443 -x10442 -x10441 -x10440 -x10439 -x10438 -x10437
3587.91/3597.01 v -x10436 -x10435 -x10434 -x10433 -x10432 -x10431 -x10430 -x10429 -x10428 x10427 -x10426 -x10425 -x10424 -x10423 -x10422 -x10421
3587.91/3597.01 v -x10420 -x10419 -x10418 -x10417 x10416 -x10415 -x10414 -x10413 -x10412 -x10411 -x10410 -x10409 -x10408 -x10407 -x10406 -x10405
3587.91/3597.01 v -x10404 -x10403 -x10402 -x10401 -x10400 -x10399 -x10398 -x10397 -x10396 -x10395 -x10394 -x10393 -x10392 -x10391 -x10390 -x10389
3587.91/3597.01 v -x10388 -x10387 -x10386 -x10385 -x10384 -x10383 -x10382 -x10381 -x10380 -x10379 -x10378 -x10377 -x10376 -x10375 -x10374
3587.91/3597.01 v -x10373 -x10372 -x10371 -x10370 -x10369 -x10368 -x10367 -x10366 -x10365 -x10364 -x10363 -x10362 x10360 -x10359 -x10358 -x10357
3587.91/3597.01 v -x10356 -x10355 -x10354 -x10353 -x10352 -x10351 -x10350 x10349 -x10348 -x10347 -x10346 -x10345 -x10344 -x10343 -x10342 -x10341
3587.91/3597.01 v -x10340 -x10339 -x10338 -x10337 -x10336 -x10335 -x10334 -x10333 -x10332 -x10331 -x10330 -x10329 -x10328 -x10327 -x10326
3587.91/3597.01 v -x10325 -x10324 -x10323 -x10322 -x10321 -x10320 -x10319 -x10318 -x10317 x10316 -x10315 -x10314 -x10313 -x10312 -x10311 -x10310
3587.91/3597.01 v -x10309 -x10308 -x10307 -x10306 -x10305 -x10304 -x10303 -x10302 -x10301 -x10300 -x10299 -x10298 -x10297 -x10296 -x10295 -x10294
3587.91/3597.01 v -x10293 -x10292 -x10291 -x10290 -x10289 -x10288 -x10287 -x10286 -x10285 -x10284 x10283 -x10282 -x10281 -x10280 -x10279
3587.91/3597.01 v -x10278 -x10277 -x10276 -x10275 -x10274 -x10273 x10272 -x10271 -x10270 -x10269 -x10268 -x10267 -x10266 -x10265 -x10264 -x10263
3587.91/3597.01 v -x10262 -x10261 -x10260 -x10259 -x10258 -x10257 -x10256 -x10255 -x10254 -x10253 -x10252 -x10251 -x10249 -x10248 -x10247 -x10246
3587.91/3597.01 v -x10245 -x10244 -x10243 -x10242 -x10241 -x10240 -x10239 -x10238 -x10237 -x10236 -x10235 -x10234 -x10233 -x10232 -x10231
3587.91/3597.01 v -x10230 -x10229 -x10228 -x10227 -x10226 -x10225 -x10224 -x10223 -x10222 -x10221 -x10220 -x10219 -x10218 -x10217 -x10216 -x10215
3587.91/3597.01 v -x10214 -x10213 -x10212 -x10211 -x10210 -x10209 -x10208 -x10207 -x10206 -x10205 -x10204 -x10203 -x10202 -x10201 -x10200 -x10199
3587.91/3597.01 v -x10198 -x10197 -x10196 -x10195 x10194 -x10193 -x10192 -x10191 -x10190 -x10189 -x10188 -x10187 -x10186 -x10185 -x10184
3587.91/3597.01 v -x10183 -x10182 -x10181 -x10180 -x10179 -x10178 -x10177 -x10176 -x10175 -x10174 -x10173 -x10172 -x10171 -x10170 -x10169 -x10168
3587.91/3597.01 v -x10167 -x10166 -x10165 -x10164 -x10163 -x10162 x10161 -x10160 -x10159 -x10158 -x10157 -x10156 -x10155 -x10154 -x10153 -x10152
3587.91/3597.01 v -x10151 -x10150 -x10149 -x10148 -x10147 -x10146 -x10145 -x10144 -x10143 -x10142 -x10141 -x10140 -x10138 -x10137 -x10136
3587.91/3597.01 v -x10135 -x10134 -x10133 -x10132 -x10131 -x10130 -x10129 -x10128 x10127 -x10126 -x10125 -x10124 -x10123 -x10122 -x10121 -x10120
3587.91/3597.01 v -x10119 -x10118 -x10117 -x10116 -x10115 -x10114 -x10113 -x10112 -x10111 -x10110 -x10109 -x10108 -x10107 -x10106 -x10105 -x10104
3587.91/3597.01 v -x10103 -x10102 -x10101 -x10100 -x10099 -x10098 -x10097 -x10096 -x10095 -x10094 -x10093 -x10092 -x10091 -x10090 -x10089
3587.91/3597.01 v -x10088 -x10087 -x10086 -x10085 -x10084 -x10083 -x10082 -x10081 -x10080 -x10079 -x10078 -x10077 -x10076 -x10075 -x10074 -x10073
3587.91/3597.01 v -x10072 -x10071 -x10070 -x10069 -x10068 -x10067 -x10066 -x10065 -x10064 -x10063 -x10062 -x10061 -x10060 -x10059 -x10058 -x10057
3587.91/3597.01 v -x10056 -x10055 -x10054 -x10053 -x10052 -x10051 -x10050 -x10049 -x10048 -x10047 -x10046 -x10045 -x10044 -x10043 -x10042
3587.91/3597.01 v -x10041 -x10040 -x10039 -x10038 -x10037 -x10036 -x10035 -x10034 -x10033 -x10032 -x10031 -x10030 -x10029 -x10027 -x10026 -x10025
3587.91/3597.01 v -x10024 -x10023 -x10022 -x10021 -x10020 -x10019 -x10018 -x10017 -x10016 -x10015 -x10014 -x10013 -x10012 -x10011 -x10010 -x10009
3587.91/3597.01 v -x10008 -x10007 -x10006 -x10005 -x10004 -x10003 -x10002 -x10001 -x10000 -x9999 -x9998 -x9997 -x9996 -x9995 -x9994 -x9993
3587.91/3597.01 v -x9992 -x9991 -x9990 -x9989 -x9988 -x9987 -x9986 -x9985 -x9984 x9983 -x9982 -x9981 -x9980 -x9979 -x9978 -x9977 -x9976 -x9975
3587.91/3597.01 v -x9974 -x9973 -x9972 -x9971 -x9970 -x9969 -x9968 -x9967 -x9966 -x9965 -x9964 -x9963 -x9962 -x9961 -x9960 -x9959 -x9958 -x9957
3587.91/3597.01 v -x9956 -x9955 -x9954 -x9953 -x9952 -x9951 -x9950 -x9949 -x9948 -x9947 -x9946 -x9945 -x9944 -x9943 -x9942 -x9941 -x9940 -x9939
3587.91/3597.01 v -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9930 -x9929 x9928 -x9927 -x9926 -x9925 -x9924 -x9923 -x9922 -x9921
3587.91/3597.01 v -x9920 -x9919 -x9918 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 -x9907 -x9906 x9905 -x9904 -x9903 -x9902
3587.91/3597.01 v -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 -x9889 -x9888 -x9887 -x9886 -x9885 -x9884
3587.91/3597.01 v x9883 -x9882 -x9881 -x9880 -x9879 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 -x9871 -x9870 -x9869 -x9868 -x9867 -x9866
3587.91/3597.01 v -x9865 -x9864 -x9863 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 -x9856 -x9855 -x9854 -x9853 -x9852 -x9851 -x9850 -x9849
3587.91/3597.01 v -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839 x9838 -x9837 -x9836 -x9835 -x9834 -x9833 -x9832 -x9831
3587.91/3597.01 v -x9830 -x9829 x9828 -x9827 -x9826 -x9825 -x9824 -x9823 -x9822 -x9821 -x9820 -x9819 -x9818 -x9817 -x9816 -x9815 -x9814 -x9813
3587.91/3597.01 v -x9812 -x9811 -x9810 -x9809 -x9808 -x9807 -x9805 -x9804 -x9803 -x9802 -x9801 -x9800 -x9799 -x9798 -x9797 -x9796 -x9795 -x9794
3587.91/3597.01 v -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784 -x9783 -x9782 -x9781 -x9780 -x9779 -x9778 -x9777 -x9776
3587.91/3597.01 v -x9775 -x9774 -x9773 x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9762 -x9761 -x9760 -x9759 -x9758
3587.91/3597.01 v -x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 x9750 -x9749 -x9748 -x9747 -x9746 -x9745 -x9744 -x9743 -x9742 -x9741 -x9740
3587.91/3597.01 v x9739 -x9738 -x9737 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9730 -x9729 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 -x9722
3587.91/3597.01 v -x9721 -x9720 -x9719 -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 -x9710 -x9709 -x9708 -x9707 -x9706 -x9705 -x9704
3587.91/3597.01 v -x9703 -x9702 -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685
3587.91/3597.01 v -x9684 -x9683 -x9682 -x9681 -x9680 -x9679 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667
3587.91/3597.01 v -x9666 -x9665 -x9664 -x9663 -x9662 -x9661 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 -x9654 -x9653 -x9652 -x9651 -x9650 x9649
3587.91/3597.01 v -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 x9641 -x9640 -x9639 -x9638 -x9637 -x9636 -x9635 -x9634 -x9633 -x9632 -x9631
3587.91/3597.01 v -x9630 -x9629 x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619 -x9618 -x9617 -x9616 x9615 x9614 x9613
3587.91/3597.01 v x9612 x9611 x9610 x9609 x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601 -x9600 -x9599 -x9598 -x9597 -x9596 -x9595 -x9594
3587.91/3597.01 v -x9593 -x9592 -x9591 -x9590 -x9589 -x9588 -x9587 -x9586 -x9585 -x9583 -x9582 -x9581 -x9580 -x9579 -x9578 -x9577 -x9576 -x9575
3587.91/3597.01 v -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9566 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559 -x9558
3587.91/3597.01 v -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541 -x9540
3587.91/3597.01 v -x9539 -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523 -x9522
3587.91/3597.01 v -x9521 -x9520 -x9519 -x9518 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 x9506 -x9505 -x9504
3587.91/3597.01 v -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9487 -x9486
3587.91/3597.01 v -x9485 -x9484 -x9483 -x9482 -x9481 -x9480 -x9479 -x9478 -x9477 -x9476 -x9475 -x9474 -x9471 -x9470 -x9469 -x9468 -x9467 -x9466
3587.91/3597.01 v -x9465 -x9464 -x9463 -x9462 -x9461 -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9452 -x9451 -x9450 x9449 -x9448
3587.91/3597.01 v -x9447 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 -x9439 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432 -x9431 -x9430
3587.91/3597.01 v -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414 -x9413 -x9412
3587.91/3597.01 v -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396 -x9395 -x9394
3587.91/3597.01 v -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379 -x9378 -x9377
3587.91/3597.01 v -x9376 -x9375 -x9374 -x9373 x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9360 -x9359 -x9358
3587.91/3597.01 v -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342 -x9341 -x9340
3587.91/3597.01 v -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324 -x9323 -x9322
3587.91/3597.01 v -x9321 -x9320 -x9319 -x9318 -x9317 x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306 -x9305 -x9304
3587.91/3597.01 v -x9303 -x9302 -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287 -x9286
3587.91/3597.01 v -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 x9272 -x9271 -x9270 -x9269 -x9268
3587.91/3597.01 v -x9267 -x9266 -x9265 -x9264 -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252 -x9251 -x9249
3587.91/3597.01 v -x9248 -x9247 -x9246 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9234 -x9233 -x9232 -x9231
3587.91/3597.01 v -x9230 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215 -x9214 -x9213
3587.91/3597.01 v -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199 -x9198 -x9197 -x9196 -x9195
3587.91/3597.01 v -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 -x9181 -x9180 -x9179 -x9178
3587.91/3597.01 v -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9163 -x9162 -x9161 -x9160
3587.91/3597.01 v -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142
3587.91/3597.01 v -x9141 -x9140 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9125 -x9124 -x9123
3587.91/3597.01 v -x9122 -x9121 -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107 -x9106 -x9105
3587.91/3597.01 v -x9104 -x9103 -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 x9094 -x9093 -x9092 -x9091 -x9090 -x9089 -x9088 -x9087
3587.91/3597.01 v -x9086 -x9085 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 -x9069
3587.91/3597.01 v -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052 -x9051
3587.91/3597.01 v -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034
3587.91/3597.01 v -x9033 -x9032 -x9031 -x9030 -x9029 -x9027 -x9026 -x9025 -x9024 -x9023 -x9022 -x9021 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015
3587.91/3597.01 v -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998 -x8997
3587.91/3597.01 v -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 x8983 -x8982 -x8981 -x8980 -x8979
3587.91/3597.01 v -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962 x8961
3587.91/3597.01 v -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8950 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943
3587.91/3597.01 v -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925
3587.91/3597.01 v -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907 -x8906
3587.91/3597.01 v -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 x8894 -x8893 -x8892 -x8891 -x8890 -x8889 -x8888
3587.91/3597.01 v -x8887 -x8886 -x8885 -x8884 -x8883 -x8882 -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870
3587.91/3597.01 v -x8869 -x8868 -x8867 -x8866 -x8865 -x8864 -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853
3587.91/3597.01 v -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846 -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835
3587.91/3597.01 v -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828 -x8827 -x8826 -x8825 -x8824 -x8823 -x8822 -x8821 -x8820 -x8819 -x8818 -x8817
3587.91/3597.01 v -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8809 -x8808 -x8807 -x8805 -x8804 -x8803 -x8802 -x8801 -x8800 -x8799 -x8798
3587.91/3597.01 v -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783 -x8782 -x8781 -x8780
3587.91/3597.01 v -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765 -x8764 -x8763 -x8762
3587.91/3597.01 v -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 x8750 -x8749 -x8748 -x8747 -x8746 -x8745 -x8744
3587.91/3597.01 v -x8743 -x8742 -x8741 -x8740 -x8739 -x8738 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728 -x8727 -x8726
3587.91/3597.01 v -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710 -x8709
3587.91/3597.01 v -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8694 -x8693 -x8692 -x8691 -x8690
3587.91/3597.01 v -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675 -x8674 -x8673 -x8672
3587.91/3597.01 v -x8671 -x8670 -x8669 -x8668 -x8667 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 -x8655 -x8654
3587.91/3597.01 v -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 x8639 -x8638 -x8637 -x8636
3587.91/3597.01 v -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 -x8619 -x8618
3587.91/3597.01 v -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602 -x8601 -x8600
3587.91/3597.01 v -x8599 -x8598 -x8597 -x8596 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8583 -x8582 -x8581
3587.91/3597.01 v -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565 -x8564 -x8563
3587.91/3597.01 v -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 x8550 -x8549 -x8548 -x8547 -x8546 -x8545
3587.91/3597.01 v -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 -x8528 -x8527
3587.91/3597.01 v -x8526 -x8525 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8509
3587.91/3597.01 v -x8508 -x8507 x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 -x8492 -x8491
3587.91/3597.01 v -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475 -x8474
3587.91/3597.01 v x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 x8461 -x8460 -x8459 -x8458 -x8457 -x8456 -x8455 -x8454
3587.91/3597.01 v -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 -x8437
3587.91/3597.01 v -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421 -x8420 -x8419
3587.91/3597.01 v -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401
3587.91/3597.01 v -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 -x8384 -x8383
3587.91/3597.01 v -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366 -x8365
3587.91/3597.01 v -x8364 -x8363 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 x8349 -x8348 -x8347 -x8346 -x8345
3587.91/3597.01 v -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8329 -x8328 x8327
3587.91/3597.01 v -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8312 -x8311 -x8310 -x8309
3587.91/3597.01 v -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 -x8291
3587.91/3597.01 v -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274
3587.91/3597.01 v -x8273 x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256
3587.91/3597.01 v -x8255 -x8254 -x8253 -x8252 -x8251 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237
3587.91/3597.01 v -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219
3587.91/3597.01 v -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 x8205 -x8204 -x8203 -x8202 -x8201
3587.91/3597.01 v -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183
3587.91/3597.01 v -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8165
3587.91/3597.01 v -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 x8150 -x8149 -x8148 -x8147
3587.91/3597.01 v -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 -x8129 -x8128
3587.91/3597.01 v -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110
3587.91/3597.01 v -x8109 -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 x8094 -x8093 -x8092
3587.91/3597.01 v -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074
3587.91/3597.01 v -x8073 -x8072 x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056
3587.91/3597.01 v -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8039
3587.91/3597.01 v -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021 -x8020
3587.91/3597.01 v -x8019 -x8018 -x8017 x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 x8005 -x8004 -x8003 -x8002
3587.91/3597.01 v -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984
3587.91/3597.01 v x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7969 -x7968 -x7967 -x7966
3587.91/3597.01 v -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7958 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 -x7949 -x7948
3587.91/3597.01 v -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930
3587.91/3597.01 v -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911
3587.91/3597.01 v -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7897 -x7896 -x7895 x7894 -x7893
3587.91/3597.01 v -x7892 -x7891 -x7890 -x7889 -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 -x7878 -x7877 -x7876 -x7875
3587.91/3597.01 v -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 -x7858 -x7857
3587.91/3597.01 v -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840
3587.91/3597.01 v -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 -x7823 -x7822
3587.91/3597.01 v -x7821 -x7820 -x7819 -x7818 -x7817 -x7816 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 x7805 -x7804 -x7803
3587.91/3597.01 v -x7802 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785
3587.91/3597.01 v -x7784 x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 x7772 -x7771 -x7770 -x7769 -x7768 -x7767
3587.91/3597.01 v -x7766 -x7765 -x7764 -x7763 -x7762 x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749
3587.91/3597.01 v -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731
3587.91/3597.01 v -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713
3587.91/3597.01 v -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 x7694
3587.91/3597.01 v -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676
3587.91/3597.01 v -x7675 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 x7661 -x7660 -x7659 -x7658
3587.91/3597.01 v -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640
3587.91/3597.01 v -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622
3587.91/3597.01 v -x7621 -x7620 -x7619 -x7618 -x7617 x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604
3587.91/3597.01 v -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586
3587.91/3597.01 v -x7585 x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 x7572 -x7571 -x7570 -x7569 -x7568 -x7567
3587.91/3597.01 v -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 x7550 -x7549
3587.91/3597.01 v -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531
3587.91/3597.01 v -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 x7517 -x7516 -x7515 -x7514 -x7513
3587.91/3597.01 v -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 x7495
3587.91/3597.01 v -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477
3587.91/3597.01 v -x7476 -x7475 -x7474 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458
3587.91/3597.01 v -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440
3587.91/3597.01 v -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 x7428 -x7427 -x7426 -x7425 -x7424 -x7423 -x7422
3587.91/3597.01 v -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7405
3587.91/3597.01 v -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387
3587.91/3597.01 v -x7386 -x7385 x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 x7373 -x7372 -x7371 -x7370 -x7369 -x7368
3587.91/3597.01 v -x7367 -x7366 -x7365 -x7364 -x7363 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 -x7350
3587.91/3597.01 v -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332
3587.91/3597.01 v -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 x7317 -x7316 -x7315 -x7314
3587.91/3597.01 v -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 -x7296
3587.91/3597.01 v -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278
3587.91/3597.01 v -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260
3587.91/3597.01 v -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240
3587.91/3597.01 v -x7239 x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222
3587.91/3597.01 v -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204
3587.91/3597.01 v -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187
3587.91/3597.01 v -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169
3587.91/3597.01 v -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151
3587.91/3597.01 v -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132
3587.91/3597.01 v -x7131 -x7130 -x7129 -x7128 x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114
3587.91/3597.01 v -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096
3587.91/3597.01 v -x7095 x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078
3587.91/3597.01 v -x7077 -x7076 -x7075 -x7074 -x7073 x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060
3587.91/3597.01 v -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042
3587.91/3597.01 v -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 x7027 -x7026 -x7025 -x7024 -x7023
3587.91/3597.01 v -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005
3587.91/3597.01 v -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987
3587.91/3597.01 v -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969
3587.91/3597.01 v -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952
3587.91/3597.01 v -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 x6939 -x6938 -x6937 -x6936 -x6935 -x6934
3587.91/3597.01 v -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 x6916 -x6915
3587.91/3597.01 v -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897
3587.91/3597.01 v -x6896 -x6895 x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879
3587.91/3597.01 v -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 x6861
3587.91/3597.01 v -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843
3587.91/3597.01 v -x6842 -x6841 -x6840 x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825
3587.91/3597.01 v -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807
3587.91/3597.01 v -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788
3587.91/3597.01 v -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770
3587.91/3597.01 v -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752
3587.91/3597.01 v -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734
3587.91/3597.01 v -x6733 -x6732 -x6731 -x6730 -x6729 x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716
3587.91/3597.01 v -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699
3587.91/3597.01 v -x6698 -x6697 -x6696 x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680
3587.91/3597.01 v -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662
3587.91/3597.01 v x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643
3587.91/3597.01 v -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626
3587.91/3597.01 v -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608
3587.91/3597.01 v -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590
3587.91/3597.01 v -x6589 -x6588 -x6587 -x6586 -x6585 x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 x6572 -x6571
3587.91/3597.01 v -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553
3587.91/3597.01 v -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535
3587.91/3597.01 v -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517
3587.91/3597.01 v -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499
3587.91/3597.01 v -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481
3587.91/3597.01 v -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462
3587.91/3597.01 v -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445
3587.91/3597.01 v -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427
3587.91/3597.01 v -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409
3587.91/3597.01 v -x6408 -x6407 x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391
3587.91/3597.01 v -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373
3587.91/3597.01 v -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354
3587.91/3597.01 v -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336
3587.91/3597.01 v -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318
3587.91/3597.01 v x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300
3587.91/3597.01 v -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283
3587.91/3597.01 v -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265
3587.91/3597.01 v -x6264 -x6263 x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6250 -x6249 -x6248 -x6247 -x6246
3587.91/3597.01 v -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228
3587.91/3597.01 v -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210
3587.91/3597.01 v -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192
3587.91/3597.01 v -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174
3587.91/3597.01 v -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156
3587.91/3597.01 v -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 x6138 -x6137 -x6136
3587.91/3597.01 v -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118
3587.91/3597.01 v -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101
3587.91/3597.01 v -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083
3587.91/3597.01 v -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065
3587.91/3597.01 v -x6064 -x6063 -x6062 x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047
3587.91/3597.01 v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029
3587.91/3597.01 v -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010
3587.91/3597.01 v -x6009 -x6008 -x6007 -x6006 x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992
3587.91/3597.01 v -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974
3587.91/3597.01 v -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 x5961 -x5960 -x5959 -x5958 -x5957 -x5956
3587.91/3597.01 v -x5955 -x5954 -x5953 -x5952 -x5951 x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938
3587.91/3597.01 v -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920
3587.91/3597.01 v -x5919 -x5918 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 x5905 -x5904 -x5903 -x5902 -x5901
3587.91/3597.01 v -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883
3587.91/3597.01 v x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865
3587.91/3597.01 v -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847
3587.91/3597.01 v -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830
3587.91/3597.01 v -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 x5817 -x5816 -x5815 -x5814 -x5813 -x5812
3587.91/3597.01 v -x5811 -x5810 -x5809 -x5808 -x5807 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793
3587.91/3597.01 v -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775
3587.91/3597.01 v -x5774 -x5773 x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757
3587.91/3597.01 v -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 x5739
3587.91/3597.01 v -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721
3587.91/3597.01 v -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703
3587.91/3597.01 v -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684
3587.91/3597.01 v -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666
3587.91/3597.01 v -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648
3587.91/3597.01 v -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630
3587.91/3597.01 v -x5629 x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612
3587.91/3597.01 v -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594
3587.91/3597.01 v -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575
3587.91/3597.01 v -x5574 -x5573 x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 x5561 -x5560 -x5559 -x5558 -x5557
3587.91/3597.01 v -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 x5539
3587.91/3597.01 v -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521
3587.91/3597.01 v -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504
3587.91/3597.01 v -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486
3587.91/3597.01 v -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5472 x5471 -x5470 -x5469 -x5468 -x5467
3587.91/3597.01 v -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449
3587.91/3597.01 v -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431
3587.91/3597.01 v -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413
3587.91/3597.01 v -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395
3587.91/3597.01 v -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377
3587.91/3597.01 v -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5361 -x5360 -x5359 -x5358
3587.91/3597.01 v -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341
3587.91/3597.01 v -x5340 -x5339 x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323
3587.91/3597.01 v -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 x5306 -x5305
3587.91/3597.01 v -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287
3587.91/3597.01 v -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269
3587.91/3597.01 v -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5250
3587.91/3597.01 v x5249 x5248 x5247 x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231
3587.91/3597.01 v -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 x5217 -x5216 -x5215 -x5214 -x5213
3587.91/3597.01 v -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195
3587.91/3597.01 v -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177
3587.91/3597.01 v -x5176 -x5175 -x5174 x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159
3587.91/3597.01 v -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141
3587.91/3597.01 v -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122
3587.91/3597.01 v -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105
3587.91/3597.01 v -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087
3587.91/3597.01 v -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069
3587.91/3597.01 v -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 x5051
3587.91/3597.01 v -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033
3587.91/3597.01 v -x5032 -x5031 -x5030 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013
3587.91/3597.01 v -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995
3587.91/3597.01 v -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977
3587.91/3597.01 v -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 x4961 -x4960 -x4959
3587.91/3597.01 v -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941
3587.91/3597.01 v -x4940 x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923
3587.91/3597.01 v -x4922 -x4921 -x4920 -x4919 -x4918 x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904
3587.91/3597.01 v -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887
3587.91/3597.01 v -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 x4872 -x4871 -x4870 -x4869
3587.91/3597.01 v -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851
3587.91/3597.01 v -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833
3587.91/3597.01 v -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 x4817 -x4816 -x4815
3587.91/3597.01 v -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796
3587.91/3597.01 v -x4795 x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 x4783 -x4782 -x4781 -x4780 -x4779 -x4778
3587.91/3597.01 v -x4777 -x4776 -x4775 -x4774 -x4773 x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 x4761 -x4760
3587.91/3597.01 v -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742
3587.91/3597.01 v -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724
3587.91/3597.01 v -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706
3587.91/3597.01 v -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687
3587.91/3597.01 v -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 x4672 -x4671 -x4670 -x4669
3587.91/3597.01 v -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651
3587.91/3597.01 v -x4650 -x4649 -x4648 -x4647 x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633
3587.91/3597.01 v -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615
3587.91/3597.01 v -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597
3587.91/3597.01 v -x4596 x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578
3587.91/3597.01 v -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560
3587.91/3597.01 v -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542
3587.91/3597.01 v -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524
3587.91/3597.01 v -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 x4506
3587.91/3597.01 v -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488
3587.91/3597.01 v -x4487 -x4486 -x4485 x4484 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 x4476 -x4475 x4474 x4473 -x4471 x4470 x4469 x4468 -x4467
3587.91/3597.01 v -x4466 -x4465 x4464 -x4463 x4462 -x4460 -x4459 x4458 x4457 x4456 x4455 x4454 -x4453 -x4452 -x4451 -x4449 -x4448 -x4447 x4446
3587.91/3597.01 v -x4445 -x4444 -x4443 x4442 -x4441 -x4440 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 x4432 -x4431 -x4430 -x4429 x4426 -x4425
3587.91/3597.01 v -x4424 x4423 -x4422 x4421 -x4420 -x4419 -x4418 x4417 -x4415 x4414 -x4413 x4412 -x4411 -x4410 x4409 -x4408 x4407 -x4406 x4404
3587.91/3597.01 v -x4403 -x4402 x4401 x4400 x4399 x4398 x4397 -x4396 -x4395 x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 x4386 -x4385 -x4384
3587.91/3597.01 v -x4382 x4381 x4380 x4379 x4378 x4377 -x4376 -x4375 -x4374 x4373 -x4371 -x4370 x4369 x4368 -x4367 -x4366 x4365 x4364 -x4363
3587.91/3597.01 v x4362 -x4360 -x4359 x4358 -x4357 -x4356 x4355 -x4354 x4353 -x4352 -x4351 -x4349 -x4348 -x4347 -x4346 x4345 -x4344 x4343 -x4342
3587.91/3597.01 v x4341 -x4340 x4338 -x4337 x4336 x4335 x4334 -x4333 -x4332 -x4331 x4330 -x4329 -x4327 x4326 x4325 -x4324 x4323 -x4322 x4321
3587.91/3597.01 v -x4320 x4319 -x4318 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 x4308 x4307 -x4306 x4304 x4303 -x4302 x4301 -x4300 x4299
3587.91/3597.01 v -x4298 -x4297 -x4296 -x4295 x4293 x4292 -x4291 -x4290 -x4289 -x4288 -x4287 x4286 -x4285 x4284 -x4282 x4281 -x4280 x4279 -x4278
3587.91/3597.01 v -x4277 x4276 -x4275 x4274 -x4273 x4271 -x4270 x4269 -x4268 -x4267 x4266 x4265 -x4264 x4263 -x4262 x4260 -x4259 -x4258 x4257
3587.91/3597.01 v -x4256 x4255 -x4254 x4253 -x4252 -x4251 -x4249 x4248 x4247 -x4246 -x4245 x4244 x4243 -x4242 x4241 -x4240 -x4238 x4237 x4236
3587.91/3597.01 v x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4227 x4226 -x4225 -x4224 -x4223 x4222 -x4221 -x4220 x4219 -x4218 -x4216
3587.91/3597.01 v -x4215 -x4214 -x4213 -x4212 x4211 x4210 x4209 x4208 x4207 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 x4198 x4197 -x4196 -x4195
3587.91/3597.01 v -x4193 -x4192 -x4191 x4190 x4189 x4188 -x4187 x4186 x4185 -x4184 x4182 x4181 x4180 x4179 -x4178 -x4177 -x4176 -x4175 -x4174
3587.91/3597.01 v x4173 x4171 -x4170 x4169 -x4168 x4167 x4166 x4165 x4164 -x4163 x4162 -x4160 x4159 x4158 x4157 -x4156 -x4155 x4154 -x4153 x4152
3587.91/3597.01 v -x4151 x4149 -x4148 -x4147 -x4146 -x4145 x4144 x4143 x4142 x4141 x4140 -x4138 -x4137 -x4114 -x4003 x3892 -x3781 -x3670 -x3559
3587.91/3597.01 v x3448 x3337 x3225 -x3114 -x3003 x2892 x2781 -x2670 x2559 x2448 -x2337 x2226 x2114 x2003 -x1892 x1781 -x1670 -x1559 -x1448
3587.91/3597.01 v x1337 x1226 x1115 -x1003 x892 -x781 x670 -x559 x448 x337 x226 x115 -x4 x10472 x10361 x10250 -x10139 x10028 x9917 x9806 -x9695
3587.91/3597.01 v x9584 -x9473 x9361 x9250 x9139 x9028 x8917 x8806 -x8695 x8584 x8473 -x8362 x8250 -x8139 -x8028 -x7917 x7806 -x7695 -x7584 -x7473
3587.91/3597.01 v x7362 x7251 -x7139 x7028 x6917 -x6806 x6695 -x6584 x6473 x6362 x6251 -x6140 -x6028 x5917 -x5806 x5695 x5584 x5473 -x5362
3587.91/3597.01 v -x5251 x5140 x5029 -x4917 -x4806 -x4695 x4584 x4483 x4472 -x4461 x4450 x4439 x4428 x4416 -x4405 x4394 x4383 x4372 x4361 -x4350
3587.91/3597.01 v x4339 x4328 -x4317 -x4305 -x4294 x4283 -x4272 x4261 -x4250 x4239 x4228 -x4217 -x4206 -x4194 x4183 -x4172 -x4161 x4150 -x4139
3587.91/3597.01 v -x3336 x2225 -x1114 x3 -x9472 x8361 x7250 x6139 x5028 -x4427 x4316 x4205 -x2 x1
3587.91/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.91/3597.01 c Total Time : 3597.00
3587.91/3597.01 c solving : 3597.00
3587.91/3597.01 c presolving : 1.96 (included in solving)
3587.91/3597.01 c reading : 0.10 (included in solving)
3587.91/3597.01 c copying : 0.82 (16 #copies) (minimal 0.05, maximal 0.06, average 0.05)
3587.91/3597.01 c Original Problem :
3587.91/3597.01 c Problem name : HOME/instance-4432568-1721059849.opb
3587.91/3597.01 c Variables : 10582 (10582 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.91/3597.01 c Constraints : 5865 initial, 5865 maximal
3587.91/3597.01 c Objective : minimize, 10582 non-zeros (abs.min = 1, abs.max = 1024)
3587.91/3597.01 c Presolved Problem :
3587.91/3597.01 c Problem name : t_HOME/instance-4432568-1721059849.opb
3587.91/3597.01 c Variables : 9802 (9802 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.91/3597.01 c Constraints : 13462 initial, 13462 maximal
3587.91/3597.01 c Objective : minimize, 9802 non-zeros (abs.min = 1, abs.max = 1024)
3587.91/3597.01 c Nonzeros : 347515 constraint, 17802 clique table
3587.91/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.91/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c domcol : 0.17 0.00 4 62 0 0 0 0 0 0 0 0
3587.91/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c dualsparsify : 0.22 0.00 1 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c gateextraction : 0.03 0.00 8 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c implics : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c milp : 0.18 0.00 1 3 0 0 0 0 0 0 0 0
3587.91/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c sparsify : 0.07 0.00 1 0 0 0 0 0 0 0 0 7
3587.91/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c trivial : 0.00 0.00 16 380 0 0 0 0 0 0 0 0
3587.91/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c dualfix : 0.00 0.00 16 37 0 0 0 0 0 0 0 0
3587.91/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c probing : 0.45 0.00 1 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c symmetry : 0.12 0.00 1 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c knapsack : 0.28 0.01 30 0 0 0 0 0 884 8832 4 8899
3587.91/3597.01 c setppc : 0.07 0.00 30 0 1 0 0 0 7 0 0 0
3587.91/3597.01 c linear : 0.17 0.03 12 117 37 0 117 0 283 0 922 926
3587.91/3597.01 c logicor : 0.01 0.00 28 29 15 0 0 0 88 0 0 183
3587.91/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c components : 0.09 0.00 2 99 0 0 0 0 92 0 0 0
3587.91/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.91/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.91/3597.01 c benderslp : 0 0 0 0 2963 0 0 355 0 0 0 0 0 0 0
3587.91/3597.01 c integral : 0 0 0 0 2963 0 0 355 0 0 0 0 0 0 5926
3587.91/3597.01 c knapsack : 4290 4290 35 179595 0 0 0 348 0 8 1971 7024 1102 0 0
3587.91/3597.01 c setppc : 8875 8875 35 172242 0 0 0 51 2 0 19625 0 0 0 0
3587.91/3597.01 c logicor : 297 297 35 4501 0 0 0 45 0 0 629 1 0 0 0
3587.91/3597.01 c benders : 0 0 0 0 0 0 0 47 0 0 0 0 0 0 0
3587.91/3597.01 c fixedvar : 0 0 0 0 0 0 0 47 0 0 0 0 0 0 0
3587.91/3597.01 c countsols : 0 0 0 0 0 0 0 47 0 0 0 0 0 0 0
3587.91/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.91/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.91/3597.01 c integral : 590.28 0.00 0.00 0.00 590.27 0.00 0.00 0.00 0.00 0.00
3587.91/3597.01 c knapsack : 8.02 0.01 3.17 3.98 0.00 0.00 0.00 0.26 0.00 0.61
3587.91/3597.01 c setppc : 0.64 0.00 0.02 0.53 0.00 0.00 0.00 0.02 0.00 0.07
3587.91/3597.01 c logicor : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.91/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.91/3597.01 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
3587.91/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.91/3597.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.91/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.91/3597.01 c dualfix : 4 0 0 0
3587.91/3597.01 c genvbounds : 0 0 0 0
3587.91/3597.01 c nlobbt : 0 0 0 0
3587.91/3597.01 c obbt : 0 0 0 0
3587.91/3597.01 c probing : 0 0 0 0
3587.91/3597.01 c pseudoobj : 8620 0 0 0
3587.91/3597.01 c redcost : 42 0 0 0
3587.91/3597.01 c rootredcost : 6 0 0 0
3587.91/3597.01 c symmetry : 2307 0 0 0
3587.91/3597.01 c vbounds : 56418 0 0 0
3587.91/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.91/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.91/3597.01 c genvbounds : 0.02 0.00 0.00 0.01 0.00 0.01
3587.91/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.91/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.91/3597.01 c probing : 0.45 0.00 0.45 0.00 0.00 0.00
3587.91/3597.01 c pseudoobj : 0.07 0.00 0.00 0.06 0.00 0.00
3587.91/3597.01 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
3587.91/3597.01 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.00
3587.91/3597.01 c symmetry : 0.46 0.00 0.12 0.24 0.00 0.09
3587.91/3597.01 c vbounds : 0.05 0.00 0.00 0.03 0.00 0.01
3587.91/3597.01 c Symmetry :
3587.91/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.91/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.91/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.91/3597.01 c shadow tree time : 0.01 s
3587.91/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.91/3597.01 c propagation : 0.00 8 1 - 1 5.0 0 0.0 - - -
3587.91/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.91/3597.01 c bound exceed. LP : 1.08 115 0 - 0 0.0 0 0.0 0 0.0 1150
3587.91/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.91/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.91/3597.01 c applied globally : 0.00 - - 0 1 5.0 - - 0 - -
3587.91/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.91/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.91/3597.01 c cut pool : 0.59 - 723 65 - - 4320 128729 - - - - - (maximal pool size: 1866)
3587.91/3597.01 c aggregation : 1.19 0.00 87 35 0 0 1325 23650 0 5354 5354 0 0
3587.91/3597.01 c > cmir : - - - - - - - 20525 0 4444 4444 0 -
3587.91/3597.01 c > flowcover : - - - - - - - 1218 0 279 279 0 -
3587.91/3597.01 c > knapsackcover : - - - - - - - 1907 0 631 631 0 -
3587.91/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c clique : 0.19 0.00 35 35 0 0 10 14 0 10 10 0 0
3587.91/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c gomory : 75.61 0.00 72 20 0 0 2831 101306 0 4330 4330 0 0
3587.91/3597.01 c > gomorymi : - - - - - - - 70178 0 4100 4100 0 -
3587.91/3597.01 c > strongcg : - - - - - - - 31128 0 230 230 0 -
3587.91/3597.01 c impliedbounds : 0.05 0.00 87 35 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c mcf : 0.02 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c multilinear : 0.00 0.00 185 35 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c rapidlearning : 0.05 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c rlt : 0.00 0.00 53 20 0 0 0 0 0 0 0 0 0
3587.91/3597.01 c zerohalf : 0.33 0.00 83 31 0 0 154 3759 0 939 939 0 0
3587.91/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.91/3597.01 c hybrid : 0.33 0.00 639 36 11735 0 124019 1577 0 11629
3587.91/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.91/3597.01 c problem variables: 0.00 - 0 0
3587.91/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.91/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c relpscost : 590.27 0.00 2963 0 0 0 0 0 0 5926
3587.91/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.91/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.91/3597.01 c LP solutions : 0.00 - - 0 0
3587.91/3597.01 c relax solutions : 0.00 - - 0 0
3587.91/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.91/3597.01 c strong branching : 0.23 - - 0 0
3587.91/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.91/3597.01 c adaptivediving : 21.10 0.00 9 0 0
3587.91/3597.01 c alns : 1.46 0.00 4 1 1
3587.91/3597.01 c bound : 0.00 0.00 0 0 0
3587.91/3597.01 c clique : 0.52 0.00 1 1 1
3587.91/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.91/3597.01 c completesol : 0.00 0.00 0 0 0
3587.91/3597.01 c conflictdiving : 198.77 0.00 24 0 0
3587.91/3597.01 c crossover : 1.28 0.00 3 3 2
3587.91/3597.01 c dins : 0.00 0.00 0 0 0
3587.91/3597.01 c distributiondivin: 131.93 0.00 23 0 0
3587.91/3597.01 c dps : 0.00 0.00 0 0 0
3587.91/3597.01 c dualval : 0.00 0.00 0 0 0
3587.91/3597.01 c farkasdiving : 86.04 0.00 2 0 0
3587.91/3597.01 c feasjump : 0.00 0.00 0 0 0
3587.91/3597.01 c feaspump : 9.27 0.00 1 0 0
3587.91/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.91/3597.01 c fracdiving : 115.06 0.00 23 0 0
3587.91/3597.01 c gins : 0.27 0.00 3 0 0
3587.91/3597.01 c guideddiving : 142.28 0.00 23 0 0
3587.91/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.91/3597.01 c indicator : 0.00 0.00 0 0 0
3587.91/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.91/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.91/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.91/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.91/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.91/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.91/3597.01 c linesearchdiving : 161.11 0.00 23 0 0
3587.91/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.91/3597.01 c locks : 0.09 0.00 1 1 1
3587.91/3597.01 c lpface : 0.00 0.00 0 0 0
3587.91/3597.01 c mpec : 0.00 0.00 0 0 0
3587.91/3597.01 c multistart : 0.00 0.00 0 0 0
3587.91/3597.01 c mutation : 0.00 0.00 0 0 0
3587.91/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.91/3597.01 c objpscostdiving : 52.15 0.00 7 0 0
3587.91/3597.01 c octane : 0.00 0.00 0 0 0
3587.91/3597.01 c ofins : 0.00 0.00 0 0 0
3587.91/3597.01 c oneopt : 0.05 0.00 5 3 3
3587.91/3597.01 c padm : 0.00 0.00 0 0 0
3587.91/3597.01 c proximity : 0.00 0.00 0 0 0
3587.91/3597.01 c pscostdiving : 62.52 0.00 24 0 0
3587.91/3597.01 c randrounding : 1.42 0.00 295 0 0
3587.91/3597.01 c rens : 10.89 0.00 2 2 1
3587.91/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.91/3597.01 c repair : 0.00 0.00 0 0 0
3587.91/3597.01 c rins : 4.00 0.00 4 4 0
3587.91/3597.01 c rootsoldiving : 16.61 0.00 10 10 0
3587.91/3597.01 c rounding : 0.42 0.00 800 0 0
3587.91/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.91/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.91/3597.01 c shifting : 1.37 0.00 362 0 0
3587.91/3597.01 c simplerounding : 0.00 0.00 3603 0 0
3587.91/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.91/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.91/3597.01 c trivial : 0.05 0.00 4 0 0
3587.91/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.91/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.91/3597.01 c trysol : 0.00 0.00 0 0 0
3587.91/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.91/3597.01 c undercover : 0.00 0.00 0 0 0
3587.91/3597.01 c vbounds : 0.34 0.00 2 1 1
3587.91/3597.01 c veclendiving : 130.75 0.00 23 0 0
3587.91/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.91/3597.01 c zirounding : 1.11 0.00 1000 0 0
3587.91/3597.01 c other solutions : - - - 0 -
3587.91/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.91/3597.01 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.91/3597.01 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.91/3597.01 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.91/3597.01 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.91/3597.01 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.91/3597.01 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.91/3597.01 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.91/3597.01 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.91/3597.01 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.91/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.91/3597.01 c primal LP : 2.31 440 0 0.00 0.00 2.31 440
3587.91/3597.01 c dual LP : 1755.90 3603 6572430 1830.76 3743.06 0.09 13
3587.91/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.91/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.91/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.91/3597.01 c diving/probing LP: 1114.11 8267 3620815 437.98 3249.95
3587.91/3597.01 c strong branching : 532.87 5680 1501651 264.38 2818.02 - - 2681
3587.91/3597.01 c (at root node) : - 44 30925 702.84 -
3587.91/3597.01 c conflict analysis: 0.88 115 1150 10.00 1313.97
3587.91/3597.01 c B&B Tree :
3587.91/3597.01 c number of runs : 2
3587.91/3597.01 c nodes : 1915 (1914 internal, 1 leaves)
3587.91/3597.01 c feasible leaves : 0
3587.91/3597.01 c infeas. leaves : 0
3587.91/3597.01 c objective leaves : 0
3587.91/3597.01 c nodes (total) : 2964 (2963 internal, 1 leaves)
3587.91/3597.01 c nodes left : 1915
3587.91/3597.01 c max depth : 99
3587.91/3597.01 c max depth (total): 99
3587.91/3597.01 c backtracks : 217 (11.3%)
3587.91/3597.01 c early backtracks : 0 (0.0%)
3587.91/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.91/3597.01 c delayed cutoffs : 0
3587.91/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.91/3597.01 c avg switch length: 2.99
3587.91/3597.01 c switching time : 3.22
3587.91/3597.01 c Root Node :
3587.91/3597.01 c First LP value : +4.13741887460893e+05
3587.91/3597.01 c First LP Iters : 11586 (2380.51 Iter/sec)
3587.91/3597.01 c First LP Time : 4.87
3587.91/3597.01 c Final Dual Bound : +4.18007958243159e+05
3587.91/3597.01 c Final Root Iters : 34359
3587.91/3597.01 c Root LP Estimate : +4.30585838356600e+05
3587.91/3597.01 c Solution :
3587.91/3597.01 c Solutions found : 26 (10 improvements)
3587.91/3597.01 c First Solution : +1.15933500000000e+06 (in run 1, after 1 nodes, 2.46 seconds, depth 8636, found by <clique>)
3587.91/3597.01 c Gap First Sol. : 562.08 %
3587.91/3597.01 c Gap Last Sol. : 5.41 %
3587.91/3597.01 c Primal Bound : +4.39872000000000e+05 (in run 1, after 437 nodes, 651.08 seconds, depth 76, found by <crossover>)
3587.91/3597.01 c Dual Bound : +4.19644195679188e+05
3587.91/3597.01 c Gap : 4.82 %
3587.91/3597.01 c Integrals : Total Avg%
3587.91/3597.01 c primal-dual : 19903.49 5.53
3587.91/3597.01 c primal-ref : - - (not evaluated)
3587.91/3597.01 c dual-ref : - - (not evaluated)
3588.01/3597.13 c Time complete: 3588.05.
OK 439872
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: 63931 MiB (59615 MiB free)
memory of node 1: 64510 MiB (60136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432568-1721059849/watcher-4432568-1721059849 -o /tmp/evaluation-result-4432568-1721059849/solver-4432568-1721059849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830872 --watchdog 3760 pbscip -f HOME/instance-4432568-1721059849.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=836775, runsolver pid=836772
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.12 4.16 4.13 5/259 836776
/proc/meminfo: memFree=122602776/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=76896 memory=36152 CPUtime=0.1 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 6149 0 0 0 9 1 0 0 20 0 1 0 158150237 78741504 9038 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 19224 9038 3206 3540 0 7481 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76896 KiB
Current children cumulated memory: 36152 KiB
[startup+0.205971 s]*
/proc/loadavg: 4.12 4.16 4.13 5/259 836776
/proc/meminfo: memFree=122548848/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=131452 memory=91020 CPUtime=0.2 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 19600 0 0 0 17 3 0 0 20 0 1 0 158150237 134606848 22755 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 32863 22755 3573 3540 0 21120 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 131452 KiB
Current children cumulated memory: 91020 KiB
[startup+0.305857 s]*
/proc/loadavg: 4.12 4.16 4.13 5/259 836776
/proc/meminfo: memFree=122534140/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=151804 memory=105332 CPUtime=0.3 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 22187 0 0 0 26 4 0 0 20 0 1 0 158150237 155447296 26333 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 37951 26333 3589 3540 0 26208 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 151804 KiB
Current children cumulated memory: 105332 KiB
[startup+0.700231 s]
/proc/loadavg: 4.12 4.16 4.13 5/259 836776
/proc/meminfo: memFree=122508652/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=189244 memory=148492 CPUtime=0.68 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 35953 0 0 0 62 6 0 0 20 0 1 0 158150237 193785856 37123 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 47311 37123 3764 3540 0 35568 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 189244 KiB
Current children cumulated memory: 148492 KiB
[startup+1.50023 s]
/proc/loadavg: 4.12 4.16 4.13 5/259 836776
/proc/meminfo: memFree=122488464/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=193752 memory=152148 CPUtime=1.48 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 36888 0 0 0 142 6 0 0 20 0 1 0 158150237 198402048 38037 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 48438 38037 3764 3540 0 36695 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 193752 KiB
Current children cumulated memory: 152148 KiB
[startup+3.10549 s]
/proc/loadavg: 4.12 4.16 4.13 5/259 836776
/proc/meminfo: memFree=122295196/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=424556 memory=346508 CPUtime=3.09 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 73818 0 0 0 297 12 0 0 20 0 1 0 158150237 434745344 86627 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 106139 86627 3940 3540 0 94396 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 424556 KiB
Current children cumulated memory: 346508 KiB
[startup+6.30017 s]
/proc/loadavg: 4.11 4.16 4.12 5/259 836777
/proc/meminfo: memFree=122181764/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=427564 memory=349132 CPUtime=6.27 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 74492 0 0 0 615 12 0 0 20 0 1 0 158150237 437825536 87283 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 106891 87283 3940 3540 0 95148 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 427564 KiB
Current children cumulated memory: 349132 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.15 4.12 5/259 836777
/proc/meminfo: memFree=122152584/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=458172 memory=378624 CPUtime=12.66 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 77251 0 0 0 1253 13 0 0 20 0 1 0 158150237 469168128 94656 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 114543 94656 3972 3540 0 102800 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 458172 KiB
Current children cumulated memory: 378624 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.14 4.12 5/259 836779
/proc/meminfo: memFree=122118384/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=491472 memory=408484 CPUtime=25.42 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 84803 0 0 0 2528 14 0 0 20 0 1 0 158150237 503267328 102121 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 122868 102121 3972 3540 0 111125 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 491472 KiB
Current children cumulated memory: 408484 KiB
[startup+51.1059 s]
/proc/loadavg: 4.11 4.15 4.12 5/258 836783
/proc/meminfo: memFree=122084940/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=500284 memory=417772 CPUtime=50.95 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 85076 0 0 0 5081 14 0 0 20 0 1 0 158150237 512290816 104443 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 125071 104443 3987 3540 0 113328 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 500284 KiB
Current children cumulated memory: 417772 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/259 836793
/proc/meminfo: memFree=121912216/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=567976 memory=484504 CPUtime=101.99 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 101798 0 0 0 10182 17 0 0 20 0 1 0 158150237 581607424 121126 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 141994 121126 3991 3540 0 130251 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 567976 KiB
Current children cumulated memory: 484504 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/259 836805
/proc/meminfo: memFree=121872032/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=567976 memory=484504 CPUtime=161.81 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 101842 0 0 0 16164 17 0 0 20 0 1 0 158150237 581607424 121126 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 141994 121126 3991 3540 0 130251 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 567976 KiB
Current children cumulated memory: 484504 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/258 836817
/proc/meminfo: memFree=121840796/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=568920 memory=486396 CPUtime=221.63 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 102364 0 0 0 22146 17 0 0 20 0 1 0 158150237 582574080 121599 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 142230 121599 3991 3540 0 130487 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 568920 KiB
Current children cumulated memory: 486396 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/255 836827
/proc/meminfo: memFree=121778680/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=568920 memory=486396 CPUtime=281.47 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 102380 0 0 0 28129 18 0 0 20 0 1 0 158150237 582574080 121599 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 142230 121599 3991 3540 0 130487 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 568920 KiB
Current children cumulated memory: 486396 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/256 836839
/proc/meminfo: memFree=121725416/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=568920 memory=486972 CPUtime=341.3 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 102523 0 0 0 34112 18 0 0 20 0 1 0 158150237 582574080 121743 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 142230 121743 3991 3540 0 130487 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 568920 KiB
Current children cumulated memory: 486972 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/256 836852
/proc/meminfo: memFree=121669692/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=568920 memory=486972 CPUtime=401.13 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 102539 0 0 0 40095 18 0 0 20 0 1 0 158150237 582574080 121743 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 142230 121743 3991 3540 0 130487 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 568920 KiB
Current children cumulated memory: 486972 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 836862
/proc/meminfo: memFree=121631492/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=568920 memory=486972 CPUtime=460.96 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 102555 0 0 0 46078 18 0 0 20 0 1 0 158150237 582574080 121743 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 142230 121743 3991 3540 0 130487 0
################
# More data... #
################
/proc/loadavg: 1.10 1.16 1.93 2/236 838659
/proc/meminfo: memFree=125560688/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3213.99 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 139306 0 0 0 321370 29 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3213.99 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.14 1.87 2/234 838670
/proc/meminfo: memFree=125559944/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3273.87 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 139519 0 0 0 327358 29 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.13 1.82 2/234 838681
/proc/meminfo: memFree=125559324/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3333.75 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 139733 0 0 0 333345 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.12 1.77 2/234 838693
/proc/meminfo: memFree=125558648/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3393.62 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 139951 0 0 0 339332 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.13 1.73 2/234 838704
/proc/meminfo: memFree=125557688/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3453.49 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140161 0 0 0 345319 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3453.49 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3522.3 s]
/proc/loadavg: 1.05 1.10 1.68 2/234 838715
/proc/meminfo: memFree=125557408/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3513.37 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140374 0 0 0 351307 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.09 1.64 2/236 838730
/proc/meminfo: memFree=125556248/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3573.24 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140595 0 0 0 357294 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3597.14 s]
# the end of solver process 836775 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.75 s, system=0.310636 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.06 1.09 1.64 2/236 838732
/proc/meminfo: memFree=125556276/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3574.94 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140596 0 0 0 357464 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3574.94 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3590.4 s]
/proc/loadavg: 1.12 1.11 1.64 2/236 838733
/proc/meminfo: memFree=125556164/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3581.32 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140597 0 0 0 358102 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3581.32 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3593.6 s]
/proc/loadavg: 1.12 1.11 1.64 2/236 838733
/proc/meminfo: memFree=125556164/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3584.51 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140597 0 0 0 358421 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3584.51 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3595.2 s]
/proc/loadavg: 1.11 1.11 1.64 2/236 838733
/proc/meminfo: memFree=125556164/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3586.11 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140597 0 0 0 358581 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3586.11 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3596 s]*
/proc/loadavg: 1.11 1.11 1.64 2/236 838735
/proc/meminfo: memFree=125556052/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3586.91 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140597 0 0 0 358661 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3586.91 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3596.8 s]
/proc/loadavg: 1.11 1.11 1.64 2/236 838735
/proc/meminfo: memFree=125556052/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3587.71 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140597 0 0 0 358741 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3587.71 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3597 s]*
/proc/loadavg: 1.11 1.11 1.64 2/236 838735
/proc/meminfo: memFree=125556052/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3587.91 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140597 0 0 0 358761 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3587.91 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
[startup+3597.1 s]
/proc/loadavg: 1.11 1.11 1.64 2/236 838735
/proc/meminfo: memFree=125556052/131524600 swapFree=131071996/131071996
[pid=836775] ppid=836772 vsize=663824 memory=613712 CPUtime=3588.01 cores=4,6
/proc/836775/stat : 836775 (pbscip) R 836772 836775 812346 0 -1 4194304 140633 0 0 0 358771 30 0 0 20 0 1 0 158150237 679755776 153428 134679101440 4194304 18693293 140723351750992 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56647680 140723351753732 140723351753831 140723351753831 140723351760846 0
/proc/836775/statm: 165956 153428 3991 3540 0 154213 0
Current children cumulated CPU time: 3588.01 s
Current children cumulated vsize: 663824 KiB
Current children cumulated memory: 613712 KiB
Child status: 0
Real time (s): 3597.14
CPU time (s): 3588.06
CPU user time (s): 3587.75
CPU system time (s): 0.310636
CPU usage (%): 99.7475
Max. virtual memory (cumulated for all children) (KiB): 685672
Max. memory (cumulated for all children) (KiB): 634704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.75
system time used= 0.310636
maximum resident set size= 636816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140649
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= 40
involuntary context switches= 1255
# summary of solver processes directly reported to runsolver:
# pid: 836775
# total CPU time (s): 3588.06
# total CPU user time (s): 3587.75
# total CPU system time (s): 0.310636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.23182 second user time and 16.6033 second system time
The end
Begin job on nodeC025 at 2024-07-15 18:11:01 IDJOB=4432568 IDBENCH=146712 IDSOLVER=3059 FILE ID=nodeC025/4432568-1721059849 RUNJOBID= nodeC025-1721051059-830872 SLURM_JOB_ID= 7505483 Free space on /tmp= 889968 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432568-1721059849/watcher-4432568-1721059849 -o /tmp/evaluation-result-4432568-1721059849/solver-4432568-1721059849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830872 --watchdog 3760 pbscip -f HOME/instance-4432568-1721059849.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0695af47158b7a843c4563178a14696e RANDOM SEED=1047496689 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3668.453 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3685.338 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3613.454 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3600.030 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3664.151 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3685.370 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3663.246 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3600.228 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122626564 kB MemAvailable: 126161920 kB Buffers: 383772 kB Cached: 3949128 kB SwapCached: 0 kB Active: 699524 kB Inactive: 7512180 kB Active(anon): 1552 kB Inactive(anon): 3915280 kB Active(file): 697972 kB Inactive(file): 3596900 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21980 kB Writeback: 0 kB AnonPages: 3878056 kB Mapped: 139772 kB Shmem: 37720 kB KReclaimable: 160260 kB Slab: 272636 kB SReclaimable: 160260 kB SUnreclaim: 112376 kB KernelStack: 4148 kB PageTables: 17296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5351836 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61856 kB HardwareCorrupted: 0 kB AnonHugePages: 1730560 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 240340 kB DirectMap2M: 32038912 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 890008 MiB End job on nodeC025 at 2024-07-15 19:10:59