Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | OPTIMUM | 823.379 | 823.537 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-66-100-0.wbo |
| MD5SUM | d386dfc8e47349268f453a2b59efbfb7 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.144977 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 8937 |
| Total number of constraints | 26319 |
| Number of soft constraints | 8922 |
| Number of constraints which are clauses | 26047 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 272 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| Top cost | 446674 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 446673 |
| Biggest number in a constraint | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 62 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3717541-1338195640.wbo>
0.04/0.08 c original problem has 17859 variables (17859 bin, 0 int, 0 impl, 0 cont) and 26320 constraints
0.04/0.08 c problem read in 0.08
0.19/0.29 c presolving:
0.39/0.49 c (round 1) 100 del vars, 17 del conss, 0 add conss, 7 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 218387 impls, 0 clqs
0.49/0.53 c (round 2) 102 del vars, 210 del conss, 0 add conss, 9 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 218387 impls, 0 clqs
0.49/0.56 c (round 3) 105 del vars, 214 del conss, 0 add conss, 10 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 218387 impls, 0 clqs
3.39/3.41 c (round 4) 132 del vars, 218 del conss, 0 add conss, 12 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 246669 impls, 0 clqs
3.39/3.48 c (round 5) 136 del vars, 273 del conss, 0 add conss, 12 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 246695 impls, 0 clqs
3.49/3.54 c (round 6) 144 del vars, 284 del conss, 0 add conss, 8927 chg bounds, 136 chg sides, 278 chg coeffs, 0 upgd conss, 246695 impls, 0 clqs
3.68/3.73 c (round 7) 144 del vars, 284 del conss, 0 add conss, 8927 chg bounds, 136 chg sides, 278 chg coeffs, 17137 upgd conss, 246695 impls, 0 clqs
7.79/7.89 c (7.9s) probing: 1000/17753 (5.6%) - 4 fixings, 23 aggregations, 1473 implications, 0 bound changes
10.99/11.03 c (11.0s) probing: 1481/17753 (8.3%) - 4 fixings, 27 aggregations, 1723 implications, 0 bound changes
10.99/11.03 c (11.0s) probing aborted: 50/50 successive totally useless probings
10.99/11.03 c (round 8) 150 del vars, 7676 del conss, 2464 add conss, 8927 chg bounds, 136 chg sides, 278 chg coeffs, 17137 upgd conss, 250820 impls, 0 clqs
11.09/11.12 c (round 9) 154 del vars, 7740 del conss, 2524 add conss, 8927 chg bounds, 136 chg sides, 278 chg coeffs, 17137 upgd conss, 250820 impls, 0 clqs
11.29/11.36 c (round 10) 154 del vars, 7747 del conss, 2528 add conss, 8927 chg bounds, 136 chg sides, 278 chg coeffs, 17140 upgd conss, 250820 impls, 55 clqs
11.58/11.65 c (11.7s) probing: 1486/17753 (8.4%) - 4 fixings, 27 aggregations, 1723 implications, 0 bound changes
11.58/11.65 c (11.7s) probing aborted: 50/50 successive totally useless probings
11.58/11.67 c presolving (11 rounds):
11.58/11.67 c 154 deleted vars, 7750 deleted constraints, 2528 added constraints, 8927 tightened bounds, 0 added holes, 136 changed sides, 278 changed coefficients
11.58/11.67 c 259735 implications, 56 cliques
11.58/11.67 c presolved problem has 26627 variables (17712 bin, 0 int, 8915 impl, 0 cont) and 30020 constraints
11.58/11.67 c 182 constraints of type <knapsack>
11.58/11.67 c 6455 constraints of type <setppc>
11.58/11.67 c 2400 constraints of type <and>
11.58/11.67 c 8915 constraints of type <linear>
11.58/11.67 c 8915 constraints of type <indicator>
11.58/11.67 c 3153 constraints of type <logicor>
11.58/11.67 c transformed objective value is always integral (scale: 1)
11.58/11.67 c Presolving Time: 11.54
11.58/11.67 c - non default parameters ----------------------------------------------------------------------
11.58/11.67 c # SCIP version 2.1.1.4
11.58/11.67 c
11.58/11.67 c # maximal time in seconds to run
11.58/11.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.58/11.67 c limits/time = 1797
11.58/11.67 c
11.58/11.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.58/11.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.58/11.67 c limits/memory = 13950
11.58/11.67 c
11.58/11.67 c # default clock type (1: CPU user seconds, 2: wall clock time)
11.58/11.67 c # [type: int, range: [1,2], default: 1]
11.58/11.67 c timing/clocktype = 2
11.58/11.67 c
11.58/11.67 c # belongs reading time to solving time?
11.58/11.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.58/11.67 c timing/reading = TRUE
11.58/11.67 c
11.58/11.67 c # force restart if we have a max FS instance and gap is 1?
11.58/11.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.58/11.67 c constraints/indicator/forcerestart = TRUE
11.58/11.67 c
11.58/11.67 c # priority of branching rule <inference>
11.58/11.67 c # [type: int, range: [-536870912,536870911], default: 1000]
11.58/11.67 c branching/inference/priority = 1000000
11.58/11.67 c
11.58/11.67 c # frequency offset for calling primal heuristic <coefdiving>
11.58/11.67 c # [type: int, range: [0,2147483647], default: 1]
11.58/11.67 c heuristics/coefdiving/freqofs = 0
11.58/11.67 c
11.58/11.67 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
11.58/11.67 c # [type: int, range: [-1,2147483647], default: 0]
11.58/11.67 c heuristics/shiftandpropagate/freq = -1
11.58/11.67 c
11.58/11.67 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
11.58/11.67 c # [type: int, range: [-1,2147483647], default: 0]
11.58/11.67 c heuristics/undercover/freq = -1
11.58/11.67 c
11.58/11.67 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
11.58/11.67 c # [type: int, range: [-1,2147483647], default: -1]
11.58/11.67 c separating/rapidlearning/freq = 0
11.58/11.67 c
11.58/11.67 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
11.58/11.67 c # [type: int, range: [-1,2147483647], default: -1]
11.58/11.67 c heuristics/indrounding/freq = 1
11.58/11.67 c
11.58/11.67 c -----------------------------------------------------------------------------------------------
11.58/11.67 c start solving
11.69/11.72 c
12.89/12.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.89/12.93 c 12.9s| 1 | 0 | 1945 | - | 114M| 0 | 929 | 26k| 30k| 26k| 32k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
18.48/18.60 c 18.6s| 1 | 0 | 10957 | - | 117M| 0 |1250 | 26k| 30k| 26k| 32k| 402 | 0 | 0 | 0.000000e+00 | -- | Inf
20.89/20.91 c 20.9s| 1 | 0 | 13274 | - | 118M| 0 |1239 | 26k| 30k| 26k| 33k| 747 | 0 | 0 | 0.000000e+00 | -- | Inf
24.38/24.42 c 24.4s| 1 | 0 | 17197 | - | 118M| 0 |1528 | 26k| 30k| 26k| 33k|1066 | 0 | 0 | 0.000000e+00 | -- | Inf
27.49/27.53 c 27.5s| 1 | 0 | 20225 | - | 119M| 0 |1833 | 26k| 30k| 26k| 33k|1488 | 0 | 0 | 0.000000e+00 | -- | Inf
30.49/30.59 c 30.6s| 1 | 0 | 22624 | - | 121M| 0 |1943 | 26k| 30k| 26k| 34k|1759 | 0 | 0 | 0.000000e+00 | -- | Inf
41.88/41.93 c 41.9s| 1 | 0 | 24614 | - | 121M| 0 |1918 | 26k| 30k| 26k| 34k|1892 | 0 | 0 | 0.000000e+00 | -- | Inf
70.07/70.19 o 1702
70.07/70.19 c c70.2s| 1 | 0 | 41680 | - | 132M| 0 | - | 26k| 30k| 26k| 34k|1892 | 38 | 0 | 0.000000e+00 | 1.702000e+03 | Inf
71.18/71.21 c 71.2s| 1 | 0 | 41684 | - | 122M| 0 |1918 | 26k| 30k| 26k| 34k|1892 | 38 | 0 | 0.000000e+00 | 1.702000e+03 | Inf
72.37/72.44 o 1073
72.37/72.44 c 672.4s| 1 | 0 | 41684 | - | 123M| 0 |1918 | 26k| 30k| 26k| 34k|1892 | 38 | 0 | 0.000000e+00 | 1.073000e+03 | Inf
84.77/84.81 c 84.8s| 1 | 0 | 45936 | - | 123M| 0 |2118 | 26k| 30k| 26k| 34k|2063 | 38 | 0 | 0.000000e+00 | 1.073000e+03 | Inf
85.48/85.59 c 85.6s| 1 | 2 | 45936 | - | 123M| 0 |2118 | 26k| 30k| 26k| 34k|2063 | 38 | 0 | 0.000000e+00 | 1.073000e+03 | Inf
140.77/140.88 o 1069
140.77/140.88 c f 141s| 6 | 7 | 95338 |13294.4 | 134M| 3 | - | 26k| 30k| 26k| 33k|2517 | 105 | 0 | 0.000000e+00 | 1.069000e+03 | Inf
141.37/141.49 o 836
141.37/141.49 c 6 141s| 7 | 6 | 95338 |11078.7 | 130M| 4 | - | 26k| 30k| 0 | 0 |2517 | 105 | 0 | 0.000000e+00 | 8.360000e+02 | Inf
144.17/144.26 o 805
144.17/144.26 c 6 144s| 7 | 6 |100611 |11957.5 | 131M| 4 |1746 | 26k| 30k| 26k| 33k|2517 | 105 | 0 | 0.000000e+00 | 8.050000e+02 | Inf
233.84/233.92 o 804
233.84/233.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.84/233.92 c g 234s| 28 | 29 |223101 |7193.9 | 138M| 8 | - | 26k| 30k| 26k| 33k|3679 | 131 | 0 | 0.000000e+00 | 8.040000e+02 | Inf
234.25/234.37 o 463
234.25/234.38 c 6 234s| 28 | 29 |223101 |7193.9 | 133M| 8 |1444 | 26k| 30k| 26k| 33k|3679 | 131 | 0 | 0.000000e+00 | 4.630000e+02 | Inf
234.64/234.70 o 371
234.64/234.70 c 6 235s| 29 | 28 |223101 |6937.0 | 133M| 9 | - | 26k| 30k| 0 | 0 |3679 | 131 | 0 | 0.000000e+00 | 3.710000e+02 | Inf
466.50/466.67 c 467s| 100 | 101 |448154 |4235.2 | 135M| 39 |1076 | 26k| 30k| 26k| 33k|4489 | 245 | 0 | 0.000000e+00 | 3.710000e+02 | Inf
471.19/471.31 o 364
471.19/471.31 c c 471s| 112 | 111 |453415 |3824.8 | 138M| 50 | - | 26k| 30k| 26k| 33k|4614 | 258 | 0 | 0.000000e+00 | 3.640000e+02 | Inf
471.39/471.59 o 149
471.39/471.59 c 6 472s| 113 | 96 |453415 |3790.6 | 138M| 51 | - | 26k| 30k| 0 | 0 |4614 | 258 | 0 | 0.000000e+00 | 1.490000e+02 | Inf
471.59/471.75 o 141
471.59/471.75 c 6 472s| 113 | 96 |453415 |3790.6 | 139M| 51 | - | 26k| 30k| 0 | 0 |4614 | 259 | 0 | 0.000000e+00 | 1.410000e+02 | Inf
477.09/477.23 o 130
477.09/477.23 c z 477s| 129 | 99 |458827 |3359.1 | 140M| 51 | - | 26k| 30k| 26k| 33k|4708 | 284 | 0 | 0.000000e+00 | 1.300000e+02 | Inf
477.20/477.36 o 99
477.20/477.36 c 6 477s| 130 | 89 |458827 |3333.0 | 141M| 51 | - | 26k| 30k| 0 | 0 |4708 | 284 | 0 | 0.000000e+00 | 9.900000e+01 | Inf
477.30/477.46 o 91
477.30/477.46 c 6 477s| 130 | 87 |458827 |3333.0 | 141M| 51 | - | 26k| 30k| 0 | 0 |4708 | 285 | 0 | 0.000000e+00 | 9.100000e+01 | Inf
509.10/509.26 o 90
509.10/509.26 c * 509s| 190 | 102 |501485 |2500.6 | 141M| 51 | - | 26k| 29k| 26k| 33k|5211 | 428 | 0 | 0.000000e+00 | 9.000000e+01 | Inf
554.98/555.10 c 555s| 200 | 112 |550628 |2621.9 | 142M| 51 | 265 | 26k| 29k| 26k| 33k|5341 | 443 | 0 | 0.000000e+00 | 9.000000e+01 | Inf
555.48/555.63 o 88
555.48/555.63 c * 556s| 207 | 103 |550826 |2533.8 | 142M| 51 | - | 26k| 29k| 26k| 33k|5342 | 453 | 0 | 0.000000e+00 | 8.800000e+01 | Inf
660.16/660.37 c 660s| 300 | 191 |659712 |2109.9 | 145M| 51 | 409 | 26k| 29k| 26k| 33k|6175 | 497 | 0 | 0.000000e+00 | 8.800000e+01 | Inf
661.46/661.62 o 84
661.46/661.62 c * 662s| 313 | 180 |660545 |2024.6 | 146M| 51 | - | 26k| 29k| 26k| 33k|6187 | 507 | 0 | 0.000000e+00 | 8.400000e+01 | Inf
661.56/661.73 o 78
661.56/661.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.56/661.73 c 6 662s| 313 | 171 |660545 |2024.6 | 146M| 51 | - | 26k| 29k| 26k| 33k|6187 | 507 | 0 | 0.000000e+00 | 7.800000e+01 | Inf
662.65/662.83 o 73
662.65/662.83 c * 663s| 322 | 167 |661196 |1969.9 | 146M| 51 | - | 26k| 28k| 26k| 33k|6199 | 507 | 0 | 0.000000e+00 | 7.300000e+01 | Inf
671.86/672.05 o 68
671.86/672.05 c * 672s| 383 | 191 |668479 |1674.4 | 149M| 51 | - | 26k| 28k| 26k| 33k|6297 | 617 | 0 | 0.000000e+00 | 6.800000e+01 | Inf
671.96/672.16 o 62
671.96/672.16 c 6 672s| 383 | 183 |668479 |1674.4 | 149M| 51 | - | 26k| 28k| 26k| 33k|6297 | 617 | 0 | 0.000000e+00 | 6.200000e+01 | Inf
690.66/690.89 c 691s| 400 | 180 |694280 |1667.7 | 148M| 51 | 414 | 26k| 27k| 26k| 33k|6536 | 685 | 0 | 0.000000e+00 | 6.200000e+01 | Inf
693.05/693.20 o 58
693.05/693.20 c * 693s| 429 | 198 |695448 |1557.4 | 149M| 51 | - | 26k| 27k| 26k| 33k|6552 | 699 | 0 | 0.000000e+00 | 5.800000e+01 | Inf
693.16/693.31 o 33
693.16/693.31 c 6 693s| 429 | 178 |695448 |1557.4 | 149M| 51 | - | 26k| 27k| 26k| 33k|6552 | 699 | 0 | 0.000000e+00 | 3.300000e+01 | Inf
694.96/695.17 o 28
694.96/695.17 c * 695s| 440 | 175 |696867 |1521.6 | 148M| 51 | - | 26k| 24k| 26k| 33k|6569 | 699 | 0 | 0.000000e+00 | 2.800000e+01 | Inf
695.06/695.24 o 22
695.06/695.24 c 6 695s| 440 | 164 |696867 |1521.6 | 149M| 51 | - | 26k| 24k| 26k| 33k|6569 | 699 | 0 | 0.000000e+00 | 2.200000e+01 | Inf
715.74/715.94 o 18
715.74/715.94 c * 716s| 470 | 178 |711307 |1455.1 | 148M| 51 | - | 26k| 23k| 26k| 33k|6693 | 726 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
724.15/724.33 o 17
724.15/724.33 c * 724s| 478 | 176 |718984 |1446.8 | 149M| 51 | - | 26k| 23k| 26k| 33k|6778 | 729 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
725.05/725.29 o 12
725.05/725.29 c z 725s| 492 | 174 |719315 |1406.2 | 148M| 51 | - | 26k| 23k| 26k| 33k|6779 | 732 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
725.15/725.37 o 6
725.15/725.37 c 6 725s| 493 | 169 |719315 |1403.4 | 149M| 51 | - | 26k| 23k| 0 | 0 |6779 | 732 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
725.25/725.43 c Forcing restart, since 8024 binary variables among 8915 have been fixed.
725.55/725.71 c (run 1, node 494) performing user restart
725.55/725.71 c
725.55/725.76 c (restart) converted 9349 cuts from the global cut pool into linear constraints
725.55/725.76 c
725.75/725.92 c presolving:
726.54/726.73 c (round 1) 17177 del vars, 8750 del conss, 0 add conss, 184 chg bounds, 1 chg sides, 83 chg coeffs, 0 upgd conss, 524429 impls, 68 clqs
726.54/726.80 c (round 2) 17483 del vars, 9577 del conss, 0 add conss, 274 chg bounds, 1 chg sides, 126 chg coeffs, 56 upgd conss, 534724 impls, 67 clqs
726.65/726.84 c (round 3) 17629 del vars, 9924 del conss, 0 add conss, 285 chg bounds, 1 chg sides, 135 chg coeffs, 68 upgd conss, 538965 impls, 64 clqs
726.65/726.87 c (round 4) 17653 del vars, 10036 del conss, 0 add conss, 286 chg bounds, 1 chg sides, 137 chg coeffs, 68 upgd conss, 539511 impls, 64 clqs
726.75/726.90 c (round 5) 17657 del vars, 10049 del conss, 0 add conss, 286 chg bounds, 1 chg sides, 137 chg coeffs, 68 upgd conss, 539617 impls, 64 clqs
726.75/726.94 c (round 6) 17660 del vars, 10056 del conss, 0 add conss, 287 chg bounds, 1 chg sides, 137 chg coeffs, 68 upgd conss, 539617 impls, 64 clqs
726.75/726.97 c (round 7) 17663 del vars, 10059 del conss, 0 add conss, 288 chg bounds, 1 chg sides, 137 chg coeffs, 68 upgd conss, 539801 impls, 64 clqs
726.85/727.00 c (round 8) 17664 del vars, 10063 del conss, 0 add conss, 288 chg bounds, 1 chg sides, 137 chg coeffs, 68 upgd conss, 539801 impls, 64 clqs
726.95/727.14 c (round 9) 17665 del vars, 10077 del conss, 0 add conss, 288 chg bounds, 1 chg sides, 137 chg coeffs, 8863 upgd conss, 539801 impls, 63 clqs
727.04/727.20 c (round 10) 17708 del vars, 10173 del conss, 74 add conss, 289 chg bounds, 6 chg sides, 159 chg coeffs, 8863 upgd conss, 555584 impls, 63 clqs
727.04/727.25 c (round 11) 17753 del vars, 10283 del conss, 74 add conss, 289 chg bounds, 6 chg sides, 163 chg coeffs, 8868 upgd conss, 555942 impls, 121 clqs
727.04/727.29 c (round 12) 17756 del vars, 10293 del conss, 74 add conss, 289 chg bounds, 6 chg sides, 163 chg coeffs, 8868 upgd conss, 555950 impls, 122 clqs
727.15/727.33 c (round 13) 17759 del vars, 10301 del conss, 74 add conss, 289 chg bounds, 6 chg sides, 163 chg coeffs, 8868 upgd conss, 555950 impls, 122 clqs
727.15/727.38 c (round 14) 17760 del vars, 10303 del conss, 74 add conss, 289 chg bounds, 6 chg sides, 164 chg coeffs, 8884 upgd conss, 555950 impls, 122 clqs
727.25/727.45 c (round 15) 17763 del vars, 10339 del conss, 89 add conss, 289 chg bounds, 6 chg sides, 164 chg coeffs, 8884 upgd conss, 556084 impls, 122 clqs
727.45/727.67 c (round 16) 17763 del vars, 10353 del conss, 92 add conss, 289 chg bounds, 6 chg sides, 164 chg coeffs, 8884 upgd conss, 556084 impls, 123 clqs
727.75/727.95 c (round 17) 17763 del vars, 25598 del conss, 5171 add conss, 289 chg bounds, 6 chg sides, 164 chg coeffs, 8884 upgd conss, 556084 impls, 123 clqs
727.85/728.03 c (round 18) 17869 del vars, 25889 del conss, 5425 add conss, 289 chg bounds, 6 chg sides, 178 chg coeffs, 8884 upgd conss, 570260 impls, 130 clqs
727.85/728.07 c (round 19) 17908 del vars, 25911 del conss, 5425 add conss, 289 chg bounds, 6 chg sides, 184 chg coeffs, 8925 upgd conss, 570468 impls, 378 clqs
727.95/728.10 c (round 20) 17909 del vars, 25913 del conss, 5425 add conss, 289 chg bounds, 6 chg sides, 185 chg coeffs, 8925 upgd conss, 570480 impls, 379 clqs
727.95/728.17 c (round 21) 17928 del vars, 26037 del conss, 5510 add conss, 289 chg bounds, 6 chg sides, 186 chg coeffs, 8925 upgd conss, 570866 impls, 379 clqs
727.95/728.20 c (round 22) 17932 del vars, 26039 del conss, 5510 add conss, 289 chg bounds, 6 chg sides, 187 chg coeffs, 8925 upgd conss, 570866 impls, 386 clqs
728.05/728.23 c (round 23) 17933 del vars, 26053 del conss, 5510 add conss, 289 chg bounds, 6 chg sides, 188 chg coeffs, 8925 upgd conss, 570866 impls, 386 clqs
728.05/728.28 c (round 24) 17936 del vars, 26067 del conss, 5524 add conss, 289 chg bounds, 6 chg sides, 188 chg coeffs, 8925 upgd conss, 570868 impls, 386 clqs
728.34/728.50 c (round 25) 17992 del vars, 26129 del conss, 5527 add conss, 289 chg bounds, 6 chg sides, 188 chg coeffs, 8925 upgd conss, 582142 impls, 388 clqs
728.34/728.55 c (round 26) 17993 del vars, 26129 del conss, 5527 add conss, 289 chg bounds, 6 chg sides, 188 chg coeffs, 8925 upgd conss, 582142 impls, 388 clqs
728.55/728.76 c (round 27) 18023 del vars, 26160 del conss, 5528 add conss, 289 chg bounds, 6 chg sides, 188 chg coeffs, 8925 upgd conss, 586990 impls, 388 clqs
728.75/728.99 c presolving (28 rounds):
728.75/728.99 c 18023 deleted vars, 26160 deleted constraints, 5528 added constraints, 289 tightened bounds, 0 added holes, 6 changed sides, 188 changed coefficients
728.75/728.99 c 586990 implications, 388 cliques
728.75/728.99 c presolved problem has 8604 variables (8148 bin, 0 int, 456 impl, 0 cont) and 10656 constraints
728.75/728.99 c 456 constraints of type <varbound>
728.75/728.99 c 333 constraints of type <knapsack>
728.75/728.99 c 1638 constraints of type <setppc>
728.75/728.99 c 6653 constraints of type <and>
728.75/728.99 c 459 constraints of type <linear>
728.75/728.99 c 456 constraints of type <indicator>
728.75/728.99 c 589 constraints of type <logicor>
728.75/728.99 c 72 constraints of type <bounddisjunction>
728.75/728.99 c transformed objective value is always integral (scale: 1)
728.75/728.99 c Presolving Time: 14.68
728.85/729.00 c
728.95/729.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.95/729.18 c 729s| 1 | 0 |720251 | - | 130M| 0 | 430 |8604 | 10k|8604 | 16k| 0 | 734 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
730.25/730.44 c 730s| 1 | 0 |721718 | - | 130M| 0 | 903 |8604 | 10k|8604 | 17k| 520 | 734 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
730.25/730.45 c 730s| 1 | 2 |721718 | - | 130M| 0 | 903 |8604 | 10k|8604 | 17k| 520 | 734 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
787.04/787.22 o 5
787.04/787.22 c s 787s| 94 | 82 |835699 |1371.0 | 133M| 40 | - |8604 | 10k|8604 | 18k|8659 | 867 | 0 | 0.000000e+00 | 5.000000e+00 | Inf
787.54/787.75 c 788s| 100 | 77 |836121 |1357.8 | 133M| 40 | - |8604 | 10k| 0 | 0 |8665 | 908 | 0 | 0.000000e+00 | 5.000000e+00 | Inf
791.94/792.16 o 3
791.94/792.16 c z 792s| 172 | 73 |841625 |1219.1 | 133M| 44 | - |8604 | 10k|8604 | 18k|9025 | 977 | 0 | 0.000000e+00 | 3.000000e+00 | Inf
802.24/802.49 c 802s| 200 | 63 |863733 |1201.7 | 133M| 44 | - |8604 | 10k|8604 | 18k| 10k|1022 | 0 | 0.000000e+00 | 3.000000e+00 | Inf
823.13/823.36 c
823.13/823.36 c SCIP Status : problem is solved [optimal solution found]
823.13/823.36 c Solving Time (sec) : 823.37
823.13/823.36 c Solving Nodes : 246 (total of 740 nodes in 2 runs)
823.13/823.36 c Primal Bound : +3.00000000000000e+00 (42 solutions)
823.13/823.36 c Dual Bound : +3.00000000000000e+00
823.13/823.36 c Gap : 0.00 %
823.13/823.38 s OPTIMUM FOUND
823.13/823.39 v -x8937 x8936 -x8935 x8934 x8933 x8932 x8931 -x8930 x8929 x8928 -x8927 x8926 x8925 -x8924 x8923 -x8922 x8921 x8920 -x8919 x8918
823.13/823.39 v -x8917 x8916 -x8915 x8914 x8913 x8912 x8911 -x8910 -x8909 x8908 x8907 x8906 x8905 x8904 -x8903 x8902 -x8901 x8900 x8899 x8898
823.13/823.39 v x8897 x8896 x8895 x8894 x8893 x8892 -x8891 x8890 -x8889 x8888 x8887 x8886 x8885 -x8884 -x8883 -x8882 -x8881 -x8880 -x8879 -x8878
823.13/823.39 v -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864 -x8863 -x8862 -x8861 -x8860
823.13/823.39 v -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846 -x8845 -x8844 -x8843
823.13/823.39 v -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828 -x8827 -x8826 -x8825
823.13/823.39 v -x8824 -x8823 -x8822 -x8821 -x8820 -x8819 -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8809 -x8808 -x8807
823.13/823.39 v -x8806 -x8805 -x8804 -x8803 -x8802 -x8801 -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789
823.13/823.39 v -x8788 -x8787 -x8786 -x8785 -x8784 -x8783 -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771
823.13/823.39 v -x8770 -x8769 -x8768 -x8767 -x8766 -x8765 -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753
823.13/823.39 v -x8752 -x8751 -x8750 -x8749 -x8748 -x8747 -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8738 -x8737 -x8736 -x8735
823.13/823.39 v -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728 -x8727 -x8726 -x8725 -x8724 x8723 -x8722 -x8721 -x8720 x8719 -x8718 -x8717
823.13/823.39 v -x8716 x8715 -x8714 -x8713 -x8712 -x8711 -x8710 -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699
823.13/823.39 v -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692 -x8691 -x8690 -x8689 -x8688 -x8687 x8686 -x8685 -x8684 x8683 x8682 -x8681
823.13/823.39 v -x8680 x8679 x8678 x8677 x8676 -x8675 -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8667 -x8666 -x8665 -x8664 -x8663
823.13/823.39 v -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 -x8655 -x8654 -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645
823.13/823.39 v -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 -x8637 x8636 x8635 x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626
823.13/823.39 v -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 x8613 x8612 x8611 -x8610 x8609 -x8608
823.13/823.39 v x8607 x8606 -x8605 -x8604 x8603 x8602 -x8601 -x8600 -x8599 x8598 x8597 x8596 -x8595 x8594 x8593 x8592 x8591 x8590 -x8589 -x8588
823.13/823.39 v x8587 x8586 -x8585 -x8584 -x8583 x8582 x8581 x8580 x8579 -x8578 x8577 -x8576 x8575 x8574 -x8573 -x8572 -x8571 x8570 x8569
823.13/823.39 v x8568 -x8567 x8566 x8565 x8564 x8563 -x8562 -x8561 -x8560 -x8559 x8558 x8557 x8556 x8555 x8554 -x8553 -x8552 -x8551 -x8550
823.13/823.39 v -x8549 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532
823.13/823.39 v -x8531 -x8530 -x8529 -x8528 -x8527 -x8526 -x8525 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514
823.13/823.39 v -x8513 -x8512 -x8511 -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 x8501 -x8500 -x8499 -x8498 -x8497 -x8496
823.13/823.39 v -x8495 -x8494 -x8493 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478
823.13/823.39 v -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460
823.13/823.39 v -x8459 -x8458 -x8457 -x8456 -x8455 -x8454 -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442
823.13/823.39 v -x8441 -x8440 -x8439 -x8438 -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425
823.13/823.39 v -x8424 -x8423 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407
823.13/823.39 v -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389
823.13/823.39 v -x8388 -x8387 -x8386 -x8385 -x8384 -x8383 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371
823.13/823.39 v -x8370 -x8369 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353
823.13/823.39 v -x8352 -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335
823.13/823.39 v -x8334 -x8333 -x8332 -x8331 -x8330 -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317
823.13/823.39 v -x8316 -x8315 -x8314 -x8313 -x8312 -x8311 -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300
823.13/823.39 v -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282
823.13/823.39 v -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264
823.13/823.39 v -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246
823.13/823.39 v -x8245 -x8244 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228
823.13/823.39 v -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210
823.13/823.39 v -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192
823.13/823.39 v -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175
823.13/823.39 v -x8174 -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157
823.13/823.39 v -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139
823.13/823.39 v -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121
823.13/823.39 v -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 -x8105 -x8104 -x8103
823.13/823.39 v -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092 -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085
823.13/823.39 v -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067
823.13/823.39 v -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 x8052 -x8051 -x8050 -x8049
823.13/823.39 v -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 x8032 -x8031
823.13/823.39 v -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014
823.13/823.39 v -x8013 x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996
823.13/823.39 v -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 x7983 -x7982 x7981 -x7980 -x7979 -x7978 -x7977
823.13/823.39 v -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960
823.13/823.39 v -x7959 -x7958 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942
823.13/823.39 v -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924
823.13/823.39 v -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906
823.13/823.39 v -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888
823.13/823.39 v -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870
823.13/823.39 v -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 -x7858 -x7857 -x7856 x7855 x7854 x7853 -x7852
823.13/823.39 v -x7851 -x7850 x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834
823.13/823.39 v -x7833 -x7832 -x7831 -x7830 x7829 -x7828 -x7827 -x7826 -x7825 x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7816
823.13/823.39 v -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798
823.13/823.39 v -x7797 -x7796 -x7795 -x7794 -x7793 x7792 x7791 x7790 -x7789 -x7788 x7787 x7786 x7785 x7784 x7783 x7782 x7781 x7780 x7779 -x7778
823.13/823.39 v x7777 -x7776 x7775 x7774 x7773 x7772 x7771 x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760
823.13/823.39 v -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 x7752 x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741
823.13/823.39 v -x7740 -x7739 -x7738 -x7737 -x7736 x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723
823.13/823.39 v -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706
823.13/823.39 v -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688
823.13/823.39 v -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 -x7672 -x7671 -x7670
823.13/823.39 v -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652
823.13/823.39 v -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634
823.13/823.39 v -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616
823.13/823.39 v -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598
823.13/823.39 v -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581
823.13/823.39 v -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563
823.13/823.39 v -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545
823.13/823.39 v -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527
823.13/823.39 v -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509
823.13/823.39 v -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491
823.13/823.39 v -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473
823.13/823.39 v -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456
823.13/823.39 v -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438
823.13/823.39 v -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420
823.13/823.39 v -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402
823.13/823.39 v -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 -x7385 -x7384
823.13/823.39 v -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368 -x7367 -x7366
823.13/823.39 v -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 -x7350 -x7349 -x7348
823.13/823.39 v -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331
823.13/823.39 v -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313
823.13/823.39 v -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295
823.13/823.39 v -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277
823.13/823.39 v -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259
823.13/823.39 v -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241
823.13/823.39 v -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223
823.13/823.39 v -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206
823.13/823.39 v -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188
823.13/823.39 v -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170
823.13/823.39 v -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152
823.13/823.39 v -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134
823.13/823.39 v -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116
823.13/823.39 v -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098
823.13/823.39 v -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081
823.13/823.39 v -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063
823.13/823.39 v -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045
823.13/823.39 v -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7027
823.13/823.39 v -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009
823.13/823.39 v -x7008 -x7007 -x7006 -x7005 -x7004 x7003 x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991
823.13/823.39 v -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973
823.13/823.39 v -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955
823.13/823.39 v -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 x6937
823.13/823.39 v -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919
823.13/823.39 v -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901
823.13/823.39 v -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 -x6884
823.13/823.39 v -x6883 -x6882 -x6881 -x6880 -x6879 x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866
823.13/823.39 v -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 -x6848
823.13/823.39 v -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830
823.13/823.39 v -x6829 -x6828 -x6827 x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812
823.13/823.39 v -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794
823.13/823.39 v -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776
823.13/823.39 v -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 x6763 x6762 x6761 x6760 x6759 x6758 x6757
823.13/823.39 v x6756 x6755 x6754 x6753 x6752 x6751 x6750 x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738
823.13/823.39 v -x6737 -x6736 -x6735 x6734 -x6733 x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720
823.13/823.39 v -x6719 -x6718 -x6717 -x6716 -x6715 x6714 -x6713 x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702
823.13/823.39 v -x6701 -x6700 x6699 x6698 -x6697 x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684
823.13/823.39 v -x6683 -x6682 x6681 -x6680 x6679 -x6678 x6677 -x6676 -x6675 -x6674 -x6673 -x6672 x6671 -x6670 -x6669 x6668 x6667 -x6666 -x6665
823.13/823.39 v -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647
823.13/823.39 v -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629
823.13/823.39 v -x6628 -x6627 x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 x6615 -x6614 -x6613 -x6612 x6611
823.13/823.39 v -x6610 -x6609 -x6608 x6607 -x6606 -x6605 -x6604 x6603 -x6602 -x6601 -x6600 x6599 -x6598 -x6597 -x6596 x6595 -x6594 -x6593
823.13/823.39 v -x6592 x6591 -x6590 -x6589 -x6588 x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574
823.13/823.39 v -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557
823.13/823.39 v -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539
823.13/823.39 v -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521
823.13/823.39 v -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503
823.13/823.39 v -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485
823.13/823.39 v -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467
823.13/823.39 v -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449
823.13/823.39 v -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432
823.13/823.39 v -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414
823.13/823.39 v -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396
823.13/823.39 v -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378
823.13/823.39 v -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360
823.13/823.39 v -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342
823.13/823.39 v -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324
823.13/823.39 v -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307
823.13/823.39 v -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289
823.13/823.39 v -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271
823.13/823.39 v -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253
823.13/823.39 v -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235
823.13/823.39 v -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217
823.13/823.39 v -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199
823.13/823.39 v -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181
823.13/823.39 v -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164
823.13/823.39 v -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146
823.13/823.39 v -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128
823.13/823.39 v -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110
823.13/823.39 v -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092
823.13/823.39 v -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074
823.13/823.39 v -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056
823.13/823.39 v -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039
823.13/823.39 v -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021
823.13/823.39 v -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003
823.13/823.39 v -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985
823.13/823.39 v -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967
823.13/823.39 v -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949
823.13/823.39 v -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931
823.13/823.39 v -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914
823.13/823.39 v -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896
823.13/823.39 v -x5895 -x5894 -x5893 x5892 x5891 x5890 x5889 x5888 x5887 x5886 x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877
823.13/823.39 v -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859
823.13/823.39 v -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841
823.13/823.39 v -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 x5823
823.13/823.39 v -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805
823.13/823.39 v -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787
823.13/823.39 v -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769
823.13/823.39 v -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751
823.13/823.39 v -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734
823.13/823.39 v -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716
823.13/823.39 v -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 x5701 -x5700 -x5699 -x5698
823.13/823.39 v -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680
823.13/823.39 v -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662
823.13/823.39 v -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 x5654 x5653 x5652 x5651 x5650 x5649 x5648 x5647 -x5646 -x5645 -x5644 -x5643
823.13/823.39 v x5642 x5641 x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625
823.13/823.39 v -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607
823.13/823.39 v -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589
823.13/823.39 v -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 x5579 x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571
823.13/823.39 v -x5570 -x5569 -x5568 x5567 -x5566 x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553
823.13/823.39 v -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535
823.13/823.39 v -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 x5518 -x5517
823.13/823.39 v -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 x5503 -x5502 -x5501 -x5500 -x5499
823.13/823.39 v -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481
823.13/823.39 v -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463
823.13/823.39 v -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 x5446 -x5445
823.13/823.39 v -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427
823.13/823.39 v -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409
823.13/823.39 v -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391
823.13/823.39 v -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373
823.13/823.39 v -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355
823.13/823.39 v -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337
823.13/823.39 v -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319
823.13/823.39 v -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301
823.13/823.39 v -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283
823.13/823.39 v -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266
823.13/823.39 v -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248
823.13/823.39 v -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230
823.13/823.39 v -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212
823.13/823.39 v -x5211 -x5210 x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194
823.13/823.39 v x5193 x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 x5179 -x5178 x5177 -x5176
823.13/823.39 v -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158
823.13/823.39 v -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140
823.13/823.39 v -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122
823.13/823.39 v -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104
823.13/823.39 v -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086
823.13/823.39 v -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068
823.13/823.39 v -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050
823.13/823.39 v -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032
823.13/823.39 v -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 x5023 -x5022 -x5021 x5020 x5019 x5018 -x5017 -x5016 -x5015 -x5014
823.13/823.39 v -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996
823.13/823.39 v -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978
823.13/823.39 v -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960
823.13/823.39 v -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943
823.13/823.39 v -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925
823.13/823.39 v -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907
823.13/823.39 v -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 x4892 -x4891 -x4890 -x4889
823.13/823.39 v -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 x4874 x4873 -x4872 -x4871
823.13/823.39 v -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853
823.13/823.39 v -x4852 x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835
823.13/823.39 v -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817
823.13/823.39 v -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799
823.13/823.39 v -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781
823.13/823.39 v -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763
823.13/823.39 v -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746
823.13/823.39 v -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728
823.13/823.39 v -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710
823.13/823.39 v -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 x4700 x4699 -x4698 x4697 -x4696 -x4695 -x4694 -x4693 -x4692
823.13/823.39 v -x4691 -x4690 -x4689 -x4688 -x4687 x4686 x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 x4676 x4675 -x4674 -x4673
823.13/823.39 v -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655
823.13/823.39 v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637
823.13/823.39 v -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620
823.13/823.39 v -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 x4610 x4609 x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601
823.13/823.39 v -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 x4590 -x4589 x4588 x4587 x4586 x4585 -x4584 x4583
823.13/823.39 v -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 x4568 -x4567 x4566 x4565 -x4564
823.13/823.39 v -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546
823.13/823.39 v -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529
823.13/823.39 v -x4528 x4527 -x4526 -x4525 -x4524 x4523 -x4522 -x4521 -x4520 x4519 -x4518 -x4517 -x4516 -x4515 -x4514 x4513 -x4512 -x4511 x4510
823.13/823.39 v x4509 -x4508 -x4507 x4506 x4505 -x4504 -x4503 x4502 x4501 x4500 -x4499 -x4498 -x4497 x4496 x4495 -x4494 -x4493 -x4492 -x4491
823.13/823.39 v x4490 x4489 x4488 x4487 x4486 x4485 -x4484 -x4483 -x4482 -x4481 -x4480 x4479 -x4478 -x4477 -x4476 -x4475 -x4474 x4473 -x4472
823.13/823.39 v -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454
823.13/823.39 v -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 x4443 x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436
823.13/823.39 v -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 x4421 -x4420 -x4419 -x4418
823.13/823.39 v -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400
823.13/823.39 v -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382
823.13/823.39 v -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364
823.13/823.39 v -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347
823.13/823.39 v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329
823.13/823.39 v -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311
823.13/823.39 v -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293
823.13/823.39 v -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275
823.13/823.39 v -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257
823.13/823.39 v -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239
823.13/823.39 v -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222
823.13/823.39 v -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204
823.13/823.39 v -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186
823.13/823.39 v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168
823.13/823.39 v -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150
823.13/823.39 v -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132
823.13/823.39 v -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114
823.13/823.39 v -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 x4105 -x4104 x4103 x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096
823.13/823.39 v -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078
823.13/823.39 v -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060
823.13/823.39 v -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042
823.13/823.39 v -x4041 -x4040 -x4039 -x4038 -x4037 x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024
823.13/823.39 v -x4023 -x4022 -x4021 -x4020 -x4019 x4018 -x4017 -x4016 x4015 x4014 -x4013 x4012 x4011 -x4010 x4009 x4008 -x4007 x4006 x4005
823.13/823.39 v -x4004 x4003 x4002 -x4001 x4000 x3999 -x3998 x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 x3988 x3987 x3986
823.13/823.39 v x3985 x3984 x3983 x3982 x3981 x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 x3971 x3970 -x3969 -x3968 -x3967
823.13/823.39 v -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949
823.13/823.39 v -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931
823.13/823.39 v -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913
823.13/823.39 v -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896
823.13/823.39 v -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878
823.13/823.39 v -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860
823.13/823.39 v -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842
823.13/823.39 v -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824
823.13/823.39 v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806
823.13/823.39 v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788
823.13/823.39 v -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770
823.13/823.39 v -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753
823.13/823.39 v -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735
823.13/823.39 v -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717
823.13/823.39 v -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699
823.13/823.39 v -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681
823.13/823.39 v -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663
823.13/823.39 v -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645
823.13/823.39 v x3644 -x3643 -x3642 x3641 x3640 x3639 x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627
823.13/823.39 v -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609
823.13/823.39 v -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591
823.13/823.39 v -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573
823.13/823.39 v -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 x3560 x3559 x3558 -x3557 -x3556 -x3555
823.13/823.39 v -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537
823.13/823.39 v -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519
823.13/823.39 v -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501
823.13/823.39 v x3500 x3499 x3498 -x3497 x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 x3486 x3485 x3484 -x3483
823.13/823.39 v -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 x3475 -x3474 x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464
823.13/823.39 v -x3463 -x3462 -x3461 x3460 -x3459 x3458 -x3457 x3456 -x3455 -x3454 -x3453 -x3452 -x3451 x3450 -x3449 x3448 -x3447 -x3446
823.13/823.39 v x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428
823.13/823.39 v -x3427 x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 x3416 -x3415 -x3414 -x3413 x3412 -x3411 -x3410
823.13/823.39 v -x3409 x3408 -x3407 -x3406 -x3405 x3404 -x3403 -x3402 -x3401 x3400 -x3399 -x3398 -x3397 x3396 -x3395 -x3394 -x3393 x3392 -x3391
823.13/823.39 v x3390 x3389 x3388 x3387 x3386 x3385 x3384 x3383 x3382 x3381 x3380 x3379 x3378 x3377 x3376 x3375 x3374 x3373 x3372 x3371 x3370
823.13/823.39 v x3369 x3368 x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352
823.13/823.39 v -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334
823.13/823.39 v -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316
823.13/823.39 v -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298
823.13/823.39 v -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280
823.13/823.39 v -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263
823.13/823.39 v -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245
823.13/823.39 v -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227
823.13/823.39 v -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209
823.13/823.39 v -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191
823.13/823.39 v -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173
823.13/823.39 v -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155
823.13/823.39 v -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 x3147 x3146 x3145 x3144 x3143 x3142 -x3141 -x3140 -x3139 -x3138 -x3137
823.13/823.39 v -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119
823.13/823.39 v -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101
823.13/823.39 v -x3100 -x3099 -x3098 -x3097 -x3096 x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083
823.13/823.39 v -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065
823.13/823.39 v -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 x3047
823.13/823.39 v -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029
823.13/823.39 v -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011
823.13/823.39 v -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993
823.13/823.39 v -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976
823.13/823.39 v -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 x2968 x2967 x2966 x2965 x2964 x2963 x2962 x2961 -x2960 -x2959 -x2958 -x2957
823.13/823.39 v -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939
823.13/823.39 v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 x2922 -x2921
823.13/823.39 v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 x2908 -x2907 -x2906 -x2905 -x2904 -x2903
823.13/823.39 v -x2902 -x2901 -x2900 -x2899 -x2898 x2897 x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885
823.13/823.39 v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867
823.13/823.39 v -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 x2858 -x2857 -x2856 x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849
823.13/823.39 v -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831
823.13/823.39 v -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813
823.13/823.39 v -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795
823.13/823.39 v -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 x2786 -x2785 -x2784 -x2783 -x2782 x2781 -x2780 -x2779 -x2778 -x2777
823.13/823.39 v -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759
823.13/823.39 v -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741
823.13/823.39 v -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723
823.13/823.39 v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705
823.13/823.39 v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 x2687
823.13/823.39 v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 x2674 -x2673 -x2672 -x2671 -x2670 -x2669
823.13/823.39 v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651
823.13/823.39 v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633
823.13/823.39 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615
823.13/823.39 v -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598
823.13/823.39 v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580
823.13/823.39 v -x2579 -x2578 -x2577 -x2576 -x2575 x2574 -x2573 x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562
823.13/823.39 v -x2561 x2560 -x2559 x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543
823.13/823.39 v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
823.13/823.39 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
823.13/823.39 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490
823.13/823.39 v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472
823.13/823.39 v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454
823.13/823.39 v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436
823.13/823.39 v -x2435 x2434 -x2433 -x2432 x2431 x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418
823.13/823.39 v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400
823.13/823.39 v -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382
823.13/823.39 v -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364
823.13/823.39 v -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 x2350 x2349 x2348 -x2347 -x2346
823.13/823.39 v -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328
823.13/823.39 v -x2327 -x2326 -x2325 x2324 -x2323 -x2322 -x2321 x2320 x2319 -x2318 x2317 x2316 -x2315 x2314 x2313 -x2312 x2311 x2310 -x2309
823.13/823.39 v x2308 x2307 x2306 -x2305 -x2304 -x2303 -x2302 x2301 x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290
823.13/823.39 v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273
823.13/823.39 v -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255
823.13/823.39 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 x2237
823.13/823.39 v -x2236 x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 x2227 -x2226 x2225 x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218
823.13/823.39 v -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 x2201 -x2200
823.13/823.39 v -x2199 -x2198 x2197 -x2196 -x2195 -x2194 -x2193 -x2192 x2191 -x2190 -x2189 x2188 x2187 -x2186 -x2185 x2184 x2183 -x2182
823.13/823.39 v x2181 x2180 x2179 -x2178 -x2177 -x2176 x2175 x2174 x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163
823.13/823.39 v -x2162 x2161 -x2160 -x2159 -x2158 -x2157 -x2156 x2155 x2154 -x2153 x2152 -x2151 x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144
823.13/823.39 v -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 x2133 x2132 x2131 -x2130 -x2129 -x2128 -x2127 -x2126
823.13/823.39 v -x2125 -x2124 x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108
823.13/823.39 v -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090
823.13/823.39 v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072
823.13/823.39 v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054
823.13/823.39 v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036
823.13/823.39 v -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 x2025 x2024 x2023 -x2022 -x2021 -x2020 -x2019 -x2018
823.13/823.39 v -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000
823.13/823.39 v -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982
823.13/823.39 v -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965
823.13/823.39 v -x1964 x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947
823.13/823.39 v -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929
823.13/823.39 v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911
823.13/823.39 v -x1910 -x1909 -x1908 -x1907 x1906 x1905 x1904 x1903 x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 x1894 x1893 -x1892
823.13/823.39 v x1891 x1890 x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873
823.13/823.39 v -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856
823.13/823.39 v -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 x1849 -x1848 x1847 x1846 -x1845 x1844 x1843 x1842 -x1841 -x1840 -x1839 -x1838 -x1837
823.13/823.39 v -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 x1824 x1823 -x1822 -x1821 -x1820 -x1819
823.13/823.39 v -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 x1811 x1810 x1809 -x1808 x1807 -x1806 x1805 x1804 -x1803 -x1802 x1801 x1800
823.13/823.39 v -x1799 -x1798 -x1797 -x1796 x1795 x1794 x1793 x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781
823.13/823.39 v -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763
823.13/823.39 v -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746
823.13/823.39 v -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728
823.13/823.39 v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 x1714 -x1713 -x1712 -x1711 -x1710
823.13/823.39 v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692
823.13/823.39 v -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674
823.13/823.39 v -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656
823.13/823.39 v -x1655 -x1654 -x1653 x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638
823.13/823.39 v -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 x1629 x1628 x1627 x1626 x1625 x1624 x1623 x1622 -x1621 -x1620 -x1619
823.13/823.39 v -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601
823.13/823.39 v -x1600 -x1599 -x1598 -x1597 -x1596 x1595 -x1594 x1593 x1592 x1591 x1590 x1589 x1588 -x1587 x1586 -x1585 x1584 -x1583 -x1582
823.13/823.39 v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564
823.13/823.39 v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546
823.13/823.39 v -x1545 x1544 -x1543 -x1542 -x1541 x1540 -x1539 -x1538 x1537 x1536 x1535 -x1534 x1533 -x1532 -x1531 -x1530 x1529 -x1528 x1527
823.13/823.39 v -x1526 -x1525 -x1524 -x1523 x1522 x1521 x1520 -x1519 x1518 -x1517 x1516 -x1515 -x1514 x1513 x1512 -x1511 -x1510 -x1509 -x1508
823.13/823.39 v -x1507 x1506 -x1505 x1504 x1503 -x1502 -x1501 -x1500 -x1499 -x1498 x1497 -x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490
823.13/823.39 v x1489 -x1488 -x1487 x1486 x1485 x1484 x1483 x1482 x1481 x1480 -x1479 -x1478 x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471
823.13/823.39 v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453
823.13/823.39 v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435
823.13/823.39 v -x1434 -x1433 x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417
823.13/823.39 v -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
823.13/823.39 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381
823.13/823.39 v -x1380 -x1379 -x1378 -x1377 x1376 -x1375 -x1374 x1373 x1372 x1371 x1370 x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362
823.13/823.39 v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345
823.13/823.39 v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327
823.13/823.39 v -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 x1318 x1317 x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
823.13/823.39 v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291
823.13/823.39 v -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273
823.13/823.39 v -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255
823.13/823.39 v -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237
823.13/823.39 v -x1236 -x1235 -x1234 -x1233 -x1232 x1231 x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 x1218
823.13/823.39 v -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200
823.13/823.39 v -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182
823.13/823.39 v -x1181 x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164
823.13/823.39 v x1163 -x1162 x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146
823.13/823.39 v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128
823.13/823.39 v -x1127 -x1126 -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110
823.13/823.39 v -x1109 x1108 x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092
823.13/823.39 v -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074
823.13/823.39 v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056
823.13/823.39 v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038
823.13/823.39 v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020
823.13/823.39 v -x1019 -x1018 x1017 x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002
823.13/823.39 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981
823.13/823.39 v -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961
823.13/823.39 v -x960 -x959 -x958 -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 x942 -x941 -x940 -x939
823.13/823.39 v -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918
823.13/823.39 v -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897
823.13/823.39 v -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877
823.13/823.39 v -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855
823.13/823.39 v -x854 -x853 -x852 x851 x850 x849 x848 x847 x846 x845 x844 x843 x842 x841 x840 x839 x838 x837 x836 -x835 -x834 -x833 -x832
823.13/823.39 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
823.13/823.39 v -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
823.13/823.39 v -x789 x788 x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
823.13/823.39 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
823.13/823.39 v -x746 -x745 -x744 -x743 -x742 -x741 x740 x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726
823.13/823.39 v -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705
823.13/823.39 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684
823.13/823.39 v x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662
823.13/823.39 v -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 -x641
823.13/823.39 v -x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620
823.13/823.39 v -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599
823.13/823.39 v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579
823.13/823.39 v -x578 -x577 -x576 x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557
823.13/823.39 v -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
823.13/823.39 v -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 x521 x520 x519 -x518 -x517 -x516 -x515
823.13/823.39 v -x514 -x513 x512 -x511 x510 -x509 x508 x507 -x506 x505 x504 -x503 x502 x501 x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492
823.13/823.39 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472
823.13/823.39 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 x459 x458 x457 -x456 x455 -x454 x453 -x452 x451 x450 -x449
823.13/823.39 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 x431 x430 -x429 -x428
823.13/823.39 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
823.13/823.39 v -x406 -x405 x404 -x403 x402 -x401 -x400 x399 x398 x397 x396 x395 -x394 -x393 x392 x391 -x390 -x389 x388 x387 -x386 -x385
823.13/823.39 v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 x369 -x368 x367 -x366 -x365 -x364 -x363
823.13/823.39 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 x347 -x346 -x345 -x344 -x343 -x342
823.13/823.39 v -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 x328 x327 x326 x325 -x324 -x323 -x322 -x321 -x320
823.13/823.39 v -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 x309 x308 x307 x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298
823.13/823.39 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 x279 x278 x277
823.13/823.39 v x276 x275 x274 -x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255
823.13/823.39 v -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
823.13/823.39 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213
823.13/823.39 v -x212 -x211 -x210 x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192
823.13/823.39 v -x191 -x190 -x189 -x188 -x187 x186 -x185 x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171
823.13/823.39 v -x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 x160 x159 x158 -x157 x156 -x155 x154 -x153 x152 -x151 x150 -x149
823.13/823.39 v x148 -x147 -x146 x145 x144 x143 x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 x134 x133 x132 -x131 x130 -x129 -x128 -x127 -x126
823.13/823.39 v -x125 -x124 -x123 -x122 x121 x120 x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 x109 -x108 x107 x106 x105 x104
823.13/823.39 v -x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79
823.13/823.39 v -x78 -x77 -x76 x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 x59 x58 -x57 -x56 -x55 -x54 -x53
823.13/823.39 v -x52 -x51 x50 x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 x33 -x32 -x31 x30 -x29 x28 x27 -x26 x25
823.13/823.39 v -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 -x13 -x12 x11 x10 x9 x8 x7 -x6 -x5 x4 -x3 x2 -x1
823.13/823.39 c SCIP Status : problem is solved [optimal solution found]
823.13/823.39 c Total Time : 823.37
823.13/823.39 c solving : 823.37
823.13/823.39 c presolving : 14.68 (included in solving)
823.13/823.39 c reading : 0.08 (included in solving)
823.13/823.39 c copying : 0.12 (1 #copies) (minimal 0.12, maximal 0.12, average 0.12)
823.13/823.39 c Original Problem :
823.13/823.39 c Problem name : HOME/instance-3717541-1338195640.wbo
823.13/823.39 c Variables : 17859 (17859 binary, 0 integer, 0 implicit integer, 0 continuous)
823.13/823.39 c Constraints : 26320 initial, 26320 maximal
823.13/823.39 c Objective sense : minimize
823.13/823.39 c Presolved Problem :
823.13/823.39 c Problem name : t_HOME/instance-3717541-1338195640.wbo
823.13/823.39 c Variables : 8604 (8148 binary, 0 integer, 456 implicit integer, 0 continuous)
823.13/823.39 c Constraints : 10656 initial, 10787 maximal
823.13/823.39 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
823.13/823.39 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
823.13/823.39 c trivial : 0.08 0.00 17209 0 0 0 0 0 0 0 0
823.13/823.39 c dualfix : 0.03 0.00 27 0 0 0 0 0 0 0 0
823.13/823.39 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
823.13/823.39 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
823.13/823.39 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
823.13/823.39 c gateextraction : 0.13 0.00 0 0 0 0 0 22637 7543 0 0
823.13/823.39 c implics : 0.12 0.00 0 338 0 0 0 0 0 0 0
823.13/823.39 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
823.13/823.39 c pseudoobj : 0.00 0.03 0 0 0 0 0 0 0 0 0
823.13/823.39 c probing : 10.02 0.00 4 27 0 0 0 0 0 0 0
823.13/823.39 c varbound : 0.01 0.00 0 0 0 0 0 2 0 0 0
823.13/823.39 c knapsack : 0.04 0.00 0 0 0 0 0 1 5 5 21
823.13/823.39 c setppc : 0.39 0.00 47 3 0 0 0 799 0 0 0
823.13/823.39 c and : 1.81 0.00 67 273 0 0 0 684 508 0 78
823.13/823.39 c linear : 1.36 0.02 153 2 0 9139 0 9403 0 137 367
823.13/823.39 c indicator : 0.01 0.01 23 0 0 0 0 23 0 0 0
823.13/823.39 c logicor : 0.35 0.01 4 0 0 77 0 307 0 0 0
823.13/823.39 c bounddisjunction : 0.00 0.00 0 0 0 0 0 54 0 0 0
823.13/823.39 c root node : - - 21738 - - 21738 - - - - -
823.13/823.39 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
823.13/823.39 c integral : 0 0 0 0 656 0 1356 0 0 0 0 0 1294
823.13/823.39 c varbound : 456 456 1 10976 0 0 0 4 0 633 0 0 0
823.13/823.39 c knapsack : 333 333 8 40668 9 0 1352 2307 83 2209 728 0 0
823.13/823.39 c setppc : 1638 1638 8 40578 8 0 444 4693 21 43165 1 0 0
823.13/823.39 c and : 6653 6653 1746 40558 8 0 321 10126 71 104940 20554 0 0
823.13/823.39 c linear : 459 459 8 41379 8 0 163 4208 56 44872 0 0 0
823.13/823.39 c indicator : 456 456 0 40784 7 0 148 451 0 17677 0 0 0
823.13/823.39 c logicor : 589+ 902 8 17703 9 0 148 1532 37 10712 35 0 0
823.13/823.39 c bounddisjunction : 72 72 0 1033 0 0 0 25 4 37 0 0 0
823.13/823.39 c countsols : 0 0 0 0 9 0 83 0 0 0 0 0 0
823.13/823.39 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
823.13/823.39 c integral : 1.68 0.00 0.00 0.00 0.14 0.00 1.54 0.00
823.13/823.39 c varbound : 0.10 0.00 0.00 0.10 0.00 0.00 0.00 0.00
823.13/823.39 c knapsack : 0.49 0.00 0.01 0.40 0.00 0.00 0.07 0.00
823.13/823.39 c setppc : 7.67 0.00 0.00 6.67 0.00 0.00 0.99 0.01
823.13/823.39 c and : 6.90 0.00 2.82 3.84 0.00 0.00 0.22 0.01
823.13/823.39 c linear : 7.00 0.02 0.01 6.03 0.00 0.00 0.92 0.01
823.13/823.39 c indicator : 12.44 0.01 0.00 11.05 0.00 0.00 1.37 0.00
823.13/823.39 c logicor : 0.62 0.01 0.00 0.41 0.00 0.00 0.19 0.00
823.13/823.39 c bounddisjunction : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
823.13/823.39 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
823.13/823.39 c Propagators : #Propagate #ResProp Cutoffs DomReds
823.13/823.39 c rootredcost : 18 0 0 8718
823.13/823.39 c pseudoobj : 38964 2680 6 43497
823.13/823.39 c vbounds : 475 2972 0 98243
823.13/823.39 c redcost : 1949 0 0 39792
823.13/823.39 c probing : 0 0 0 0
823.13/823.39 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
823.13/823.39 c rootredcost : 0.10 0.00 0.00 0.10 0.00
823.13/823.39 c pseudoobj : 1.71 0.03 0.00 0.79 0.89
823.13/823.39 c vbounds : 1.59 0.02 0.00 1.57 0.00
823.13/823.39 c redcost : 2.09 0.00 0.00 2.09 0.00
823.13/823.39 c probing : 10.02 0.00 10.02 0.00 0.00
823.13/823.39 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
823.13/823.39 c propagation : 0.96 277 277 1383 33.6 60 18.4 -
823.13/823.39 c infeasible LP : 0.65 147 147 202 9.5 7 9.1 0
823.13/823.39 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
823.13/823.39 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
823.13/823.39 c pseudo solution : 0.01 4 4 4 1.8 1 28.0 -
823.13/823.39 c applied globally : - - - 1072 21.8 - - -
823.13/823.39 c applied locally : - - - 0 0.0 - - -
823.13/823.39 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
823.13/823.39 c cut pool : 0.00 0 - - 0 - (maximal pool size: 1237)
823.13/823.39 c closecuts : 0.00 0.00 0 0 0 0 0
823.13/823.39 c impliedbounds : 0.03 0.00 8 0 0 3388 0
823.13/823.39 c intobj : 0.00 0.00 0 0 0 0 0
823.13/823.39 c gomory : 3.65 0.00 8 0 0 400 0
823.13/823.39 c cgmip : 0.00 0.00 0 0 0 0 0
823.13/823.39 c strongcg : 15.91 0.00 8 0 0 3852 0
823.13/823.39 c cmir : 3.96 0.00 8 0 0 207 0
823.13/823.39 c flowcover : 5.59 0.00 8 0 0 954 0
823.13/823.39 c clique : 0.58 0.00 8 0 0 53 0
823.13/823.39 c zerohalf : 0.00 0.00 0 0 0 0 0
823.13/823.39 c mcf : 0.08 0.00 2 0 0 0 0
823.13/823.39 c oddcycle : 0.00 0.00 0 0 0 0 0
823.13/823.39 c rapidlearning : 0.00 0.00 0 0 0 0 0
823.13/823.39 c Pricers : ExecTime SetupTime Calls Vars
823.13/823.39 c problem variables: 0.00 - 0 0
823.13/823.39 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
823.13/823.39 c inference : 0.14 0.00 647 0 0 0 0 1294
823.13/823.39 c relpscost : 0.00 0.00 0 0 0 0 0 0
823.13/823.39 c pscost : 0.00 0.00 0 0 0 0 0 0
823.13/823.39 c mostinf : 0.00 0.00 0 0 0 0 0 0
823.13/823.39 c leastinf : 0.00 0.00 0 0 0 0 0 0
823.13/823.39 c fullstrong : 0.00 0.00 0 0 0 0 0 0
823.13/823.39 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
823.13/823.39 c random : 0.00 0.00 0 0 0 0 0 0
823.13/823.39 c Primal Heuristics : ExecTime SetupTime Calls Found
823.13/823.39 c LP solutions : 0.04 - - 9
823.13/823.39 c pseudo solutions : 0.00 - - 0
823.13/823.39 c crossover : 0.00 0.00 0 0
823.13/823.39 c intshifting : 0.00 0.00 0 0
823.13/823.39 c oneopt : 0.25 0.00 18 0
823.13/823.39 c feaspump : 3.10 0.00 1 0
823.13/823.39 c indoneopt : 6.56 0.01 33 14
823.13/823.39 c pscostdiving : 47.81 0.00 6 0
823.13/823.39 c veclendiving : 26.82 0.00 7 0
823.13/823.39 c guideddiving : 79.49 0.00 8 2
823.13/823.39 c linesearchdiving : 43.33 0.00 9 0
823.13/823.39 c fracdiving : 75.74 0.00 14 1
823.13/823.39 c smallcard : 0.00 0.00 0 0
823.13/823.39 c trivial : 0.03 0.00 2 0
823.13/823.39 c shiftandpropagate: 0.00 0.00 0 0
823.13/823.39 c simplerounding : 0.14 0.00 1860 0
823.13/823.39 c zirounding : 0.73 0.00 29 3
823.13/823.39 c rounding : 1.47 0.00 569 0
823.13/823.39 c shifting : 1.31 0.00 167 1
823.13/823.39 c twoopt : 0.00 0.00 0 0
823.13/823.39 c indtwoopt : 0.00 0.01 0 0
823.13/823.39 c fixandinfer : 0.00 0.00 0 0
823.13/823.39 c clique : 0.00 0.00 0 0
823.13/823.39 c indrounding : 7.52 0.00 643 6
823.13/823.39 c coefdiving : 209.19 0.00 33 2
823.13/823.39 c indcoefdiving : 0.00 0.00 0 0
823.13/823.39 c nlpdiving : 0.00 0.00 0 0
823.13/823.39 c intdiving : 0.00 0.00 0 0
823.13/823.39 c actconsdiving : 0.00 0.00 0 0
823.13/823.39 c objpscostdiving : 18.18 0.00 2 0
823.13/823.39 c rootsoldiving : 13.17 0.00 2 0
823.13/823.39 c octane : 0.00 0.00 0 0
823.13/823.39 c rens : 0.93 0.00 1 0
823.13/823.39 c rins : 0.00 0.00 0 0
823.13/823.39 c localbranching : 0.00 0.00 0 0
823.13/823.39 c mutation : 0.00 0.00 0 0
823.13/823.39 c dins : 0.00 0.00 0 0
823.13/823.39 c vbounds : 0.00 0.00 0 0
823.13/823.39 c undercover : 0.00 0.00 0 0
823.13/823.39 c subnlp : 0.00 0.00 0 0
823.13/823.39 c trysol : 0.13 0.00 5 4
823.13/823.39 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
823.13/823.39 c primal LP : 0.02 2 0 0.00 0.00 0.02 2
823.13/823.39 c dual LP : 216.78 1973 429750 227.86 1982.40 0.76 87
823.13/823.39 c lex dual LP : 0.00 0 0 0.00 -
823.13/823.39 c barrier LP : 0.00 0 0 0.00 - 0.00 0
823.13/823.39 c diving/probing LP: 405.09 11002 477351 43.39 1178.38
823.13/823.39 c strong branching : 0.00 0 0 0.00 -
823.13/823.39 c (at root node) : - 0 0 0.00 -
823.13/823.39 c conflict analysis: 0.00 0 0 0.00 -
823.13/823.39 c B&B Tree :
823.13/823.39 c number of runs : 2
823.13/823.39 c nodes : 246
823.13/823.39 c nodes (total) : 740
823.13/823.39 c nodes left : 0
823.13/823.39 c max depth : 44
823.13/823.39 c max depth (total): 51
823.13/823.39 c backtracks : 60 (24.4%)
823.13/823.39 c delayed cutoffs : 157
823.13/823.39 c repropagations : 214 (36871 domain reductions, 20 cutoffs)
823.13/823.39 c avg switch length: 3.47
823.13/823.39 c switching time : 2.02
823.13/823.39 c Solution :
823.13/823.39 c Solutions found : 42 (31 improvements)
823.13/823.39 c First Solution : +1.70200000000000e+03 (in run 1, after 1 nodes, 70.17 seconds, depth 654, found by <coefdiving>)
823.13/823.39 c Primal Bound : +3.00000000000000e+00 (in run 2, after 172 nodes, 792.15 seconds, depth 39, found by <zirounding>)
823.13/823.39 c Dual Bound : +3.00000000000000e+00
823.13/823.39 c Gap : 0.00 %
823.13/823.39 c Root Dual Bound : +0.00000000000000e+00
823.13/823.39 c Root Iterations : 30946
823.33/823.53 c Time complete: 823.37.
OK 3
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717541-1338195640/watcher-3717541-1338195640 -o /tmp/evaluation-result-3717541-1338195640/solver-3717541-1338195640 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717541-1338195640.wbo -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.48 1.78 1.91 3/177 2026 /proc/meminfo: memFree=30760944/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=10292 CPUtime=0 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 1316 0 0 0 0 0 0 0 20 0 1 0 285688387 10539008 1271 33554432000 4194304 10173063 140734235346272 140737168634312 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 2573 1271 416 1460 0 1104 0 [startup+0.050538 s] /proc/loadavg: 1.48 1.78 1.91 3/177 2026 /proc/meminfo: memFree=30760944/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=23084 CPUtime=0.04 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 4507 0 0 0 4 0 0 0 20 0 1 0 285688387 23638016 4462 33554432000 4194304 10173063 140734235346272 140734235209752 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 5771 4462 416 1460 0 4302 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 23084 [startup+0.100386 s] /proc/loadavg: 1.48 1.78 1.91 3/177 2026 /proc/meminfo: memFree=30760944/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=45948 CPUtime=0.09 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 10221 0 0 0 8 1 0 0 20 0 1 0 285688387 47050752 10141 33554432000 4194304 10173063 140734235346272 140734235209752 5474314 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 11487 10141 469 1460 0 10018 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 45948 [startup+0.300296 s] /proc/loadavg: 1.48 1.78 1.91 3/177 2026 /proc/meminfo: memFree=30760944/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=109660 CPUtime=0.29 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 25065 0 0 0 26 3 0 0 20 0 1 0 285688387 112291840 24957 33554432000 4194304 10173063 140734235346272 140734235209752 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 27415 24957 537 1460 0 25946 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 109660 [startup+0.700319 s] /proc/loadavg: 1.48 1.78 1.91 3/177 2026 /proc/meminfo: memFree=30760944/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=120332 CPUtime=0.69 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 28216 0 0 0 53 16 0 0 20 0 1 0 285688387 123219968 27762 33554432000 4194304 10173063 140734235346272 140734235209752 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 30083 27762 592 1460 0 28614 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 120332 [startup+1.50032 s] /proc/loadavg: 1.48 1.78 1.91 3/178 2027 /proc/meminfo: memFree=30650756/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=122128 CPUtime=1.48 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 28683 0 0 0 132 16 0 0 20 0 1 0 285688387 125059072 28229 33554432000 4194304 10173063 140734235346272 140734235342648 6919659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 30532 28229 592 1460 0 29063 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 122128 [startup+3.10034 s] /proc/loadavg: 1.48 1.78 1.91 3/178 2027 /proc/meminfo: memFree=30649384/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=122128 CPUtime=3.09 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 28683 0 0 0 292 17 0 0 20 0 1 0 285688387 125059072 28229 33554432000 4194304 10173063 140734235346272 140734235342632 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 30532 28229 592 1460 0 29063 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 122128 [startup+6.30033 s] /proc/loadavg: 1.52 1.78 1.91 3/178 2027 /proc/meminfo: memFree=30627868/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=138016 CPUtime=6.29 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 33045 0 0 0 594 35 0 0 20 0 1 0 285688387 141328384 32263 33554432000 4194304 10173063 140734235346272 140734235342632 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 34504 32263 635 1460 0 33035 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 138016 [startup+12.7003 s] /proc/loadavg: 1.56 1.78 1.91 3/178 2027 /proc/meminfo: memFree=30615644/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=215680 CPUtime=12.69 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 50456 0 0 0 1192 77 0 0 20 0 1 0 285688387 220856320 49914 33554432000 4194304 10173063 140734235346272 140734235342552 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 53920 49914 782 1460 0 52451 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 215680 [startup+25.5003 s] /proc/loadavg: 1.66 1.79 1.91 3/178 2050 /proc/meminfo: memFree=30532112/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=228732 CPUtime=25.49 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 55595 0 0 0 2453 96 0 0 20 0 1 0 285688387 234221568 54399 33554432000 4194304 10173063 140734235346272 140734235341112 7283389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 57183 54399 841 1460 0 55714 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 228732 [startup+51.1003 s] /proc/loadavg: 1.83 1.82 1.92 3/178 2050 /proc/meminfo: memFree=30513100/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=247440 CPUtime=51.09 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 58763 0 0 0 5005 104 0 0 20 0 1 0 285688387 253378560 58556 33554432000 4194304 10173063 140734235346272 140734235339368 7684048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 61860 58556 842 1460 0 60391 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 247440 [startup+102.307 s] /proc/loadavg: 1.92 1.85 1.92 3/177 2050 /proc/meminfo: memFree=30488532/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=253364 CPUtime=102.28 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 90688 0 0 0 10096 132 0 0 20 0 1 0 285688387 259444736 60310 33554432000 4194304 10173063 140734235346272 140734235339608 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 63341 60310 871 1460 0 61872 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 253364 [startup+162.3 s] /proc/loadavg: 1.97 1.87 1.92 3/177 2050 /proc/meminfo: memFree=30460800/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=279060 CPUtime=162.26 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 97369 0 0 0 16079 147 0 0 20 0 1 0 285688387 285757440 67044 33554432000 4194304 10173063 140734235346272 140734235339448 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 69765 67044 871 1460 0 68296 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 279060 [startup+222.3 s] /proc/loadavg: 1.99 1.89 1.92 3/177 2051 /proc/meminfo: memFree=30452716/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=284044 CPUtime=222.24 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 102291 0 0 0 22061 163 0 0 20 0 1 0 285688387 290861056 68765 33554432000 4194304 10173063 140734235346272 140734235339128 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 71011 68765 871 1460 0 69542 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 284044 [startup+282.3 s] /proc/loadavg: 1.99 1.91 1.92 3/177 2051 /proc/meminfo: memFree=30440596/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=293772 CPUtime=282.22 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 104703 0 0 0 28046 176 0 0 20 0 1 0 285688387 300822528 71885 33554432000 4194304 10173063 140734235346272 140734235339912 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 73443 71885 871 1460 0 71974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 293772 [startup+342.3 s] /proc/loadavg: 1.99 1.92 1.92 3/177 2051 /proc/meminfo: memFree=30430916/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=302612 CPUtime=342.21 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 106968 0 0 0 34031 190 0 0 20 0 1 0 285688387 309874688 74108 33554432000 4194304 10173063 140734235346272 140734235339512 7587422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 75653 74108 871 1460 0 74184 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 302612 [startup+402.3 s] /proc/loadavg: 2.03 1.95 1.92 3/177 2051 /proc/meminfo: memFree=30421608/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=309268 CPUtime=402.2 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 110549 0 0 0 40014 206 0 0 20 0 1 0 285688387 316690432 75806 33554432000 4194304 10173063 140734235346272 140734235341096 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 77317 75806 873 1460 0 75848 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 309268 [startup+462.3 s] /proc/loadavg: 2.01 1.95 1.92 3/177 2051 /proc/meminfo: memFree=30418136/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=312592 CPUtime=462.2 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 115313 0 0 0 46000 220 0 0 20 0 1 0 285688387 320094208 76649 33554432000 4194304 10173063 140734235346272 140734235339752 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 78148 76649 873 1460 0 76679 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 312592 [startup+522.3 s] /proc/loadavg: 2.07 1.97 1.93 3/177 2052 /proc/meminfo: memFree=30406604/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=324080 CPUtime=522.19 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 128562 0 0 0 51981 238 0 0 20 0 1 0 285688387 331857920 79535 33554432000 4194304 10173063 140734235346272 140734235338984 7684813 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 81020 79535 875 1460 0 79551 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 324080 [startup+582.3 s] /proc/loadavg: 2.03 1.97 1.93 3/178 2055 /proc/meminfo: memFree=30390992/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=331932 CPUtime=582.17 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 130506 0 0 0 57967 250 0 0 20 0 1 0 285688387 339898368 81472 33554432000 4194304 10173063 140734235346272 140734235339512 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 82983 81472 875 1460 0 81514 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 331932 [startup+642.3 s] /proc/loadavg: 2.01 1.97 1.93 3/177 2055 /proc/meminfo: memFree=30385668/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=334436 CPUtime=642.17 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 131129 0 0 0 63954 263 0 0 20 0 1 0 285688387 342462464 82095 33554432000 4194304 10173063 140734235346272 140734235342792 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 83609 82095 875 1460 0 82140 0 Current children cumulated CPU time (s) 642.17 Current children cumulated vsize (KiB) 334436 [startup+702.3 s] /proc/loadavg: 2.00 1.97 1.93 3/177 2055 /proc/meminfo: memFree=30366944/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=350220 CPUtime=702.15 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 135563 0 0 0 69937 278 0 0 20 0 1 0 285688387 358625280 86367 33554432000 4194304 10173063 140734235346272 140734235339176 5122385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 87555 86367 875 1460 0 86086 0 Current children cumulated CPU time (s) 702.15 Current children cumulated vsize (KiB) 350220 [startup+762.307 s] /proc/loadavg: 2.00 1.97 1.93 3/177 2055 /proc/meminfo: memFree=30352040/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=366156 CPUtime=762.15 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 140387 0 0 0 75765 450 0 0 20 0 1 0 285688387 374943744 90072 33554432000 4194304 10173063 140734235346272 140734235339576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 91539 90072 884 1460 0 90070 0 Current children cumulated CPU time (s) 762.15 Current children cumulated vsize (KiB) 366156 [startup+822.3 s] /proc/loadavg: 2.00 1.97 1.93 3/176 2055 /proc/meminfo: memFree=30338532/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=368512 CPUtime=822.13 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 141065 0 0 0 81734 479 0 0 20 0 1 0 285688387 377356288 90750 33554432000 4194304 10173063 140734235346272 140734235339208 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 92128 90750 884 1460 0 90659 0 Current children cumulated CPU time (s) 822.13 Current children cumulated vsize (KiB) 368512 Solver just ended. Dumping a history of the last processes samples [startup+823.1 s] /proc/loadavg: 2.00 1.97 1.93 3/177 2056 /proc/meminfo: memFree=30338284/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=368512 CPUtime=822.93 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 141065 0 0 0 81813 480 0 0 20 0 1 0 285688387 377356288 90750 33554432000 4194304 10173063 140734235346272 140734235339912 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 92128 90750 884 1460 0 90659 0 Current children cumulated CPU time (s) 822.93 Current children cumulated vsize (KiB) 368512 [startup+823.5 s] /proc/loadavg: 2.00 1.97 1.93 3/177 2056 /proc/meminfo: memFree=30338284/32873844 swapFree=7620/7620 [pid=2026] ppid=2024 vsize=366164 CPUtime=823.33 cores=1,3,5,7 /proc/2026/stat : 2026 (scip-2.1.1.4fix) R 2024 2026 1906 0 -1 4202496 141077 0 0 0 81853 480 0 0 20 0 1 0 285688387 374951936 90189 33554432000 4194304 10173063 140734235346272 140734235342728 5885472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/2026/statm: 91541 90189 886 1460 0 90072 0 Current children cumulated CPU time (s) 823.33 Current children cumulated vsize (KiB) 366164 Child status: 0 Real time (s): 823.537 CPU time (s): 823.379 CPU user time (s): 818.557 CPU system time (s): 4.82227 CPU usage (%): 99.9809 Max. virtual memory (cumulated for all children) (KiB): 372368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 818.557 system time used= 4.82227 maximum resident set size= 364016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141079 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= 42 involuntary context switches= 844 runsolver used 1.55576 second user time and 3.87841 second system time The end
Begin job on node143 at 2012-05-28 11:00:40 IDJOB=3717541 IDBENCH=79037 IDSOLVER=2300 FILE ID=node143/3717541-1338195640 RUNJOBID= node143-1338195608-1923 PBS_JOBID= 14624608 Free space on /tmp= 71648 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717541-1338195640/watcher-3717541-1338195640 -o /tmp/evaluation-result-3717541-1338195640/solver-3717541-1338195640 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717541-1338195640.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d386dfc8e47349268f453a2b59efbfb7 RANDOM SEED=560664633 node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5298.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30761588 kB Buffers: 390432 kB Cached: 639664 kB SwapCached: 0 kB Active: 876984 kB Inactive: 397052 kB Active(anon): 234940 kB Inactive(anon): 11300 kB Active(file): 642044 kB Inactive(file): 385752 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 28852 kB Writeback: 4 kB AnonPages: 251488 kB Mapped: 17560 kB Shmem: 200 kB Slab: 698132 kB SReclaimable: 140144 kB SUnreclaim: 557988 kB KernelStack: 1472 kB PageTables: 4628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 369608 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71636 MiB End job on node143 at 2012-05-28 11:14:24