Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 27562740203 | 21.9467 | 21.9514 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand27da90.cudf.trendy.opb |
| MD5SUM | 1db531ec7fbea38dd353f31b0fba98ed |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 27562740203 |
| Best CPU time to get the best result obtained on this benchmark | 7.31989 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6757 |
| Total number of constraints | 28229 |
| Number of constraints which are clauses | 27934 |
| Number of constraints which are cardinality constraints (but not clauses) | 295 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 553 |
| Number of terms in the objective function | 3152 |
| Biggest coefficient in the objective function | 3929352552 |
| Number of bits for the biggest coefficient in the objective function | 32 |
| Sum of the numbers in the objective function | 2168997629561 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 3929352552 |
| Number of bits of the biggest number in a constraint | 32 |
| Biggest sum of numbers in a constraint | 2168997629561 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2704835-1278580098.opb>
0.39/0.46 c original problem has 6757 variables (6757 bin, 0 int, 0 impl, 0 cont) and 28229 constraints
0.39/0.46 c problem read
0.39/0.46 c presolving settings loaded
0.59/0.60 c presolving:
0.69/0.76 c (round 1) 1069 del vars, 2095 del conss, 17 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 60304 impls, 292 clqs
0.69/0.79 c (round 2) 1153 del vars, 2342 del conss, 43 chg bounds, 0 chg sides, 3 chg coeffs, 0 upgd conss, 67761 impls, 291 clqs
0.79/0.82 c (round 3) 1330 del vars, 4119 del conss, 165 chg bounds, 12 chg sides, 22 chg coeffs, 0 upgd conss, 68557 impls, 283 clqs
0.79/0.86 c (round 4) 2090 del vars, 8228 del conss, 323 chg bounds, 18 chg sides, 34 chg coeffs, 0 upgd conss, 69659 impls, 277 clqs
0.79/0.88 c (round 5) 2183 del vars, 9536 del conss, 356 chg bounds, 23 chg sides, 59 chg coeffs, 0 upgd conss, 70331 impls, 273 clqs
0.79/0.89 c (round 6) 2230 del vars, 9826 del conss, 359 chg bounds, 25 chg sides, 64 chg coeffs, 0 upgd conss, 70457 impls, 273 clqs
0.89/0.90 c (round 7) 2242 del vars, 9852 del conss, 359 chg bounds, 26 chg sides, 66 chg coeffs, 0 upgd conss, 70461 impls, 273 clqs
0.89/0.91 c (round 8) 2245 del vars, 9856 del conss, 359 chg bounds, 26 chg sides, 66 chg coeffs, 0 upgd conss, 70461 impls, 273 clqs
0.89/0.92 c (round 9) 2246 del vars, 9857 del conss, 359 chg bounds, 26 chg sides, 66 chg coeffs, 0 upgd conss, 70461 impls, 273 clqs
1.00/1.10 c (round 10) 2246 del vars, 11282 del conss, 359 chg bounds, 27 chg sides, 66 chg coeffs, 16913 upgd conss, 70461 impls, 273 clqs
1.10/1.16 c (round 11) 2252 del vars, 11288 del conss, 359 chg bounds, 27 chg sides, 66 chg coeffs, 16913 upgd conss, 70461 impls, 273 clqs
1.19/1.20 c (round 12) 2252 del vars, 11288 del conss, 359 chg bounds, 27 chg sides, 66 chg coeffs, 16940 upgd conss, 70461 impls, 273 clqs
1.19/1.27 c (round 13) 2252 del vars, 11292 del conss, 359 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 70461 impls, 273 clqs
1.39/1.45 c (round 14) 2306 del vars, 11292 del conss, 359 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 72056 impls, 270 clqs
1.39/1.46 c (round 15) 2323 del vars, 11848 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 72453 impls, 270 clqs
1.39/1.48 c (round 16) 2339 del vars, 11902 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 72459 impls, 269 clqs
1.49/1.53 c (round 17) 2339 del vars, 11948 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 72459 impls, 269 clqs
1.79/1.80 c (round 18) 2389 del vars, 11948 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 74627 impls, 266 clqs
1.79/1.81 c (round 19) 2392 del vars, 12545 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 74637 impls, 266 clqs
1.79/1.83 c (round 20) 2394 del vars, 12560 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 74637 impls, 266 clqs
1.79/1.85 c (round 21) 2395 del vars, 12566 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 74637 impls, 266 clqs
2.69/2.77 c (round 22) 2445 del vars, 12566 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 81099 impls, 266 clqs
2.69/2.79 c (round 23) 2446 del vars, 12724 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 81101 impls, 266 clqs
2.79/2.82 c (round 24) 2450 del vars, 12746 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 81101 impls, 266 clqs
2.79/2.89 c (round 25) 2450 del vars, 12791 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 81101 impls, 266 clqs
3.59/3.61 c (round 26) 2500 del vars, 12791 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 84313 impls, 263 clqs
3.59/3.62 c (round 27) 2501 del vars, 12878 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 84317 impls, 263 clqs
3.59/3.66 c (round 28) 2501 del vars, 12914 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 84317 impls, 263 clqs
4.19/4.25 c (round 29) 2551 del vars, 12914 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 86104 impls, 263 clqs
4.30/4.31 c (round 30) 2552 del vars, 12983 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 86112 impls, 263 clqs
4.30/4.35 c (round 31) 2552 del vars, 12985 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 86112 impls, 263 clqs
4.30/4.39 c (round 32) 2552 del vars, 13019 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 86112 impls, 263 clqs
4.40/4.44 c (round 33) 2552 del vars, 13022 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 86112 impls, 263 clqs
4.49/4.53 c (round 34) 2552 del vars, 13029 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 86112 impls, 263 clqs
4.59/4.64 c (round 35) 2552 del vars, 13157 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 86112 impls, 263 clqs
4.59/4.69 c (round 36) 2552 del vars, 13160 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 86112 impls, 263 clqs
5.50/5.57 c (5.1s) probing: 1000/4505 (22.2%) - 114 fixings, 189 aggregations, 5941 implications, 0 bound changes
5.50/5.58 c (round 37) 2602 del vars, 13160 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 88850 impls, 261 clqs
5.50/5.59 c (round 38) 2602 del vars, 13231 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 88864 impls, 261 clqs
5.59/5.63 c (round 39) 2602 del vars, 13275 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 88864 impls, 261 clqs
5.59/5.68 c (round 40) 2602 del vars, 13279 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 88864 impls, 261 clqs
6.39/6.40 c (round 41) 2653 del vars, 13279 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 90506 impls, 260 clqs
6.39/6.41 c (round 42) 2654 del vars, 13367 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 90578 impls, 260 clqs
6.39/6.45 c (round 43) 2654 del vars, 13369 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 90578 impls, 260 clqs
6.39/6.48 c (round 44) 2654 del vars, 13408 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 90578 impls, 260 clqs
6.50/6.55 c (round 45) 2654 del vars, 13411 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 90578 impls, 260 clqs
7.29/7.38 c (round 46) 2704 del vars, 13411 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 92716 impls, 257 clqs
7.39/7.40 c (round 47) 2705 del vars, 13474 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 92726 impls, 257 clqs
7.39/7.44 c (round 48) 2705 del vars, 13511 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 92726 impls, 257 clqs
8.19/8.29 c (round 49) 2755 del vars, 13512 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 94332 impls, 257 clqs
8.29/8.32 c (round 50) 2755 del vars, 13566 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 94332 impls, 257 clqs
8.49/8.51 c (round 51) 2755 del vars, 13858 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 94332 impls, 257 clqs
8.49/8.54 c (round 52) 2758 del vars, 13865 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 94332 impls, 257 clqs
8.99/9.06 c (8.6s) probing: 2000/4505 (44.4%) - 137 fixings, 356 aggregations, 8947 implications, 0 bound changes
9.19/9.20 c (round 53) 2808 del vars, 13865 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 95359 impls, 257 clqs
9.19/9.27 c (round 54) 2809 del vars, 13958 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 95361 impls, 257 clqs
9.80/9.85 c (round 55) 2859 del vars, 13959 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 96108 impls, 256 clqs
9.80/9.87 c (round 56) 2861 del vars, 14015 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 96113 impls, 256 clqs
9.90/9.91 c (round 57) 2862 del vars, 14017 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 96113 impls, 256 clqs
9.90/9.95 c (round 58) 2862 del vars, 14107 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 96113 impls, 256 clqs
10.39/10.48 c (round 59) 2912 del vars, 14107 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 96537 impls, 255 clqs
10.39/10.50 c (round 60) 2912 del vars, 14170 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 96537 impls, 255 clqs
10.49/10.53 c (round 61) 2912 del vars, 14212 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 96537 impls, 255 clqs
11.39/11.43 c (round 62) 2912 del vars, 14799 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 96537 impls, 255 clqs
11.39/11.47 c (round 63) 2917 del vars, 14818 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 96537 impls, 255 clqs
11.89/11.93 c (round 64) 2967 del vars, 14819 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97173 impls, 255 clqs
11.89/11.96 c (round 65) 2968 del vars, 14874 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97175 impls, 255 clqs
12.00/12.03 c (round 66) 2968 del vars, 14896 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97175 impls, 255 clqs
12.00/12.07 c (round 67) 2968 del vars, 14941 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97175 impls, 255 clqs
12.10/12.12 c (round 68) 2968 del vars, 14945 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97175 impls, 255 clqs
12.49/12.59 c (round 69) 3018 del vars, 14946 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97615 impls, 255 clqs
12.59/12.63 c (round 70) 3018 del vars, 15017 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97615 impls, 255 clqs
12.69/12.73 c (round 71) 3018 del vars, 15070 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97615 impls, 255 clqs
14.39/14.41 c (round 72) 3018 del vars, 15655 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97615 impls, 255 clqs
14.39/14.44 c (round 73) 3021 del vars, 15665 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97615 impls, 255 clqs
14.39/14.47 c (round 74) 3022 del vars, 15668 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97615 impls, 255 clqs
14.49/14.51 c (round 75) 3023 del vars, 15671 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97615 impls, 255 clqs
14.89/14.93 c (14.5s) probing: 3000/4505 (66.6%) - 157 fixings, 589 aggregations, 10243 implications, 0 bound changes
14.89/14.99 c (round 76) 3073 del vars, 15672 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97971 impls, 255 clqs
14.99/15.04 c (round 77) 3073 del vars, 15737 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97971 impls, 255 clqs
14.99/15.07 c (round 78) 3073 del vars, 15780 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97971 impls, 255 clqs
15.09/15.14 c (round 79) 3073 del vars, 15787 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97971 impls, 255 clqs
15.19/15.25 c (round 80) 3073 del vars, 15819 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 97971 impls, 255 clqs
15.59/15.64 c (round 81) 3123 del vars, 15819 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 99013 impls, 255 clqs
15.59/15.68 c (round 82) 3123 del vars, 15881 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 99013 impls, 255 clqs
15.69/15.74 c (round 83) 3123 del vars, 15930 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 99013 impls, 255 clqs
16.39/16.43 c (round 84) 3173 del vars, 15930 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 100483 impls, 255 clqs
16.39/16.46 c (round 85) 3173 del vars, 15986 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 100483 impls, 255 clqs
16.49/16.51 c (round 86) 3173 del vars, 16030 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 100483 impls, 255 clqs
17.09/17.11 c (round 87) 3223 del vars, 16030 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 101447 impls, 255 clqs
17.09/17.15 c (round 88) 3226 del vars, 16119 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 101457 impls, 255 clqs
17.09/17.18 c (round 89) 3226 del vars, 16122 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 101457 impls, 255 clqs
17.19/17.25 c (round 90) 3226 del vars, 16156 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 101457 impls, 255 clqs
17.78/17.85 c (17.4s) probing: 4000/4505 (88.8%) - 199 fixings, 744 aggregations, 13146 implications, 0 bound changes
18.08/18.14 c (round 91) 3276 del vars, 16156 del conss, 373 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 104789 impls, 255 clqs
18.08/18.15 c (round 92) 3293 del vars, 16250 del conss, 376 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 104842 impls, 255 clqs
18.08/18.17 c (round 93) 3297 del vars, 16273 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 104849 impls, 255 clqs
18.18/18.22 c (round 94) 3298 del vars, 16282 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 104849 impls, 255 clqs
18.18/18.26 c (round 95) 3299 del vars, 16286 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 104849 impls, 255 clqs
18.28/18.31 c (round 96) 3299 del vars, 16291 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 104849 impls, 255 clqs
18.28/18.36 c (round 97) 3299 del vars, 16306 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 104849 impls, 255 clqs
18.88/18.98 c (round 98) 3338 del vars, 16306 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 110153 impls, 255 clqs
18.98/19.02 c (round 99) 3377 del vars, 16388 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 110283 impls, 255 clqs
18.98/19.06 c (round 100) 3377 del vars, 16427 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 110283 impls, 255 clqs
19.18/19.23 c (round 101) 3377 del vars, 16666 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 110283 impls, 255 clqs
19.18/19.27 c (round 102) 3377 del vars, 16671 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 110283 impls, 255 clqs
19.38/19.46 c (round 103) 3377 del vars, 16694 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 110283 impls, 255 clqs
19.48/19.50 c (round 104) 3377 del vars, 16697 del conss, 377 chg bounds, 27 chg sides, 66 chg coeffs, 16941 upgd conss, 110283 impls, 255 clqs
19.48/19.54 c presolving (105 rounds):
19.48/19.54 c 3377 deleted vars, 16697 deleted constraints, 377 tightened bounds, 0 added holes, 27 changed sides, 66 changed coefficients
19.48/19.54 c 110283 implications, 255 cliques
19.48/19.54 c presolved problem has 3380 variables (3380 bin, 0 int, 0 impl, 0 cont) and 11535 constraints
19.48/19.54 c 5048 constraints of type <setppc>
19.48/19.54 c 6487 constraints of type <logicor>
19.48/19.54 c transformed objective value is always integral (scale: 1)
19.48/19.54 c Presolving Time: 18.98
19.48/19.54 c - non default parameters ----------------------------------------------------------------------
19.48/19.54 c # SCIP version 1.2.1.3
19.48/19.54 c
19.48/19.54 c # frequency for displaying node information lines
19.48/19.54 c # [type: int, range: [-1,2147483647], default: 100]
19.48/19.54 c display/freq = 10000
19.48/19.54 c
19.48/19.54 c # maximal time in seconds to run
19.48/19.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.48/19.54 c limits/time = 1789.55
19.48/19.54 c
19.48/19.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
19.48/19.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
19.48/19.54 c limits/memory = 1620
19.48/19.54 c
19.48/19.54 c # default clock type (1: CPU user seconds, 2: wall clock time)
19.48/19.54 c # [type: int, range: [1,2], default: 1]
19.48/19.54 c timing/clocktype = 2
19.48/19.54 c
19.48/19.54 c # should presolving try to simplify inequalities
19.48/19.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.48/19.54 c constraints/linear/simplifyinequalities = TRUE
19.48/19.54 c
19.48/19.54 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
19.48/19.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.48/19.54 c constraints/indicator/addCouplingCons = TRUE
19.48/19.54 c
19.48/19.54 c # should presolving try to simplify knapsacks
19.48/19.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
19.48/19.54 c constraints/knapsack/simplifyinequalities = TRUE
19.48/19.54 c
19.48/19.54 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
19.48/19.54 c # [type: int, range: [-1,2147483647], default: -1]
19.48/19.54 c separating/rapidlearning/freq = 0
19.48/19.54 c
19.48/19.54 c -----------------------------------------------------------------------------------------------
19.48/19.54 c start solving
19.48/19.54 c
19.69/19.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.69/19.76 c 19.3s| 1 | 0 | 982 | - | 38M| 0 | 340 |3380 | 11k|3380 |9777 | 0 | 0 | 0 | 2.755859e+10 | -- | Inf
19.69/19.78 o -2147483648
19.69/19.78 c s19.3s| 1 | 0 | 982 | - | 38M| 0 | 340 |3380 | 11k|3380 |9777 | 0 | 0 | 0 | 2.755859e+10 | 5.121107e+10 | 85.83%
20.49/20.55 c 20.1s| 1 | 0 | 1186 | - | 38M| 0 | 48 |3380 | 11k|3380 | 10k| 585 | 0 | 0 | 2.756274e+10 | 5.121107e+10 | 85.80%
20.49/20.56 o -2147483648
20.49/20.56 c b20.1s| 1 | 0 | 1186 | - | 38M| 0 | 48 |3380 | 11k|3380 | 10k| 585 | 0 | 0 | 2.756274e+10 | 5.121107e+10 | 85.80%
20.49/20.58 o -2147483648
20.49/20.58 c s20.1s| 1 | 0 | 1186 | - | 38M| 0 | 48 |3380 | 11k|3380 | 10k| 585 | 0 | 0 | 2.756274e+10 | 2.756772e+10 | 0.02%
21.18/21.26 c 20.8s| 1 | 0 | 1192 | - | 37M| 0 | 15 |3380 | 10k|3380 |9079 | 593 | 0 | 0 | 2.756274e+10 | 2.756772e+10 | 0.02%
21.18/21.27 o -2147483648
21.18/21.27 c s20.8s| 1 | 0 | 1192 | - | 37M| 0 | 15 |3380 | 10k|3380 |9079 | 593 | 0 | 0 | 2.756274e+10 | 2.756772e+10 | 0.02%
21.18/21.28 o -2147483648
21.18/21.28 c b20.8s| 1 | 0 | 1192 | - | 38M| 0 | 15 |3380 | 10k|3380 |9079 | 593 | 0 | 0 | 2.756274e+10 | 2.756523e+10 | 0.01%
21.68/21.76 c 21.3s| 1 | 0 | 1193 | - | 37M| 0 | 0 |3380 | 10k|3380 |9022 | 594 | 0 | 0 | 2.756274e+10 | 2.756523e+10 | 0.01%
21.68/21.79 o -2147483648
21.68/21.79 c *21.3s| 1 | 0 | 1193 | - | 37M| 0 | - |3380 | 10k|3380 |9022 | 594 | 0 | 0 | 2.756274e+10 | 2.756274e+10 | 0.00%
21.68/21.79 c
21.68/21.79 c SCIP Status : problem is solved [optimal solution found]
21.68/21.79 c Solving Time (sec) : 21.33
21.68/21.79 c Solving Nodes : 1
21.68/21.79 c Primal Bound : +2.75627402030000e+10 (6 solutions)
21.68/21.79 c Dual Bound : +2.75627402030000e+10
21.68/21.79 c Gap : 0.00 %
21.78/21.83 s OPTIMUM FOUND
21.78/21.83 v -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587
21.78/21.83 v -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570
21.78/21.83 v -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552
21.78/21.83 v -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534
21.78/21.83 v -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516
21.78/21.83 v -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498
21.78/21.83 v -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480
21.78/21.83 v -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462
21.78/21.83 v -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445
21.78/21.83 v -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427
21.78/21.83 v -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409
21.78/21.83 v -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391
21.78/21.83 v -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373
21.78/21.83 v -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355
21.78/21.83 v -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337
21.78/21.83 v -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320
21.78/21.83 v -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302
21.78/21.83 v -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284
21.78/21.83 v -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266
21.78/21.83 v -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248
21.78/21.83 v -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230
21.78/21.83 v -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212
21.78/21.83 v -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194
21.78/21.83 v -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177
21.78/21.83 v -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159
21.78/21.83 v -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141
21.78/21.83 v -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123
21.78/21.83 v -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105
21.78/21.83 v -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087
21.78/21.83 v -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069
21.78/21.83 v -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 x3053 x3052 x3051
21.78/21.83 v x3050 -x3049 -x3048 x3047 -x3046 x3045 -x3044 x3043 -x3042 x3041 -x3040 -x3039 -x3038 x3037 -x3036 x3035 -x3034 -x3033 -x3032
21.78/21.83 v x3031 -x3030 x3029 x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014
21.78/21.83 v -x3013 -x3012 x3011 -x3010 -x3009 x3008 x3007 -x3006 -x3005 -x3004 x3003 x3002 x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995
21.78/21.83 v -x2994 -x2993 -x2992 x2991 -x2990 x2989 -x2988 -x2987 x2986 x2985 -x2984 x2983 x2982 -x2981 x2980 -x2979 -x2978 -x2977 -x2976
21.78/21.83 v -x2975 x2974 -x2973 -x2972 x2971 -x2970 -x2969 x2968 -x2967 x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958
21.78/21.83 v x2957 -x2956 x2955 -x2954 x2953 -x2952 x2951 x2950 -x2949 x2948 -x2947 -x2946 -x2945 x2944 x2943 x2942 x2941 -x2940 x2939 -x2938
21.78/21.83 v x2937 -x2936 x2935 -x2934 -x2933 -x2932 x2931 -x2930 -x2929 -x2928 -x2927 -x2926 x2925 -x2924 -x2923 -x2922 -x2921 x2920
21.78/21.83 v -x2919 -x2918 -x2917 -x2916 x2915 -x2914 -x2913 x2912 -x2911 x2910 -x2909 -x2908 -x2907 x2906 -x2905 x2904 -x2903 -x2902 x2901
21.78/21.83 v -x2900 x2899 -x2898 -x2897 -x2896 x2895 -x2894 -x2893 -x2892 -x2891 -x2890 x2889 -x2888 -x2887 -x2886 -x2885 x2884 -x2883
21.78/21.83 v -x2882 x2881 -x2880 -x2879 x2878 -x2877 -x2876 -x2875 x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 x2867 -x2866 x2865 x2864
21.78/21.83 v -x2863 x2862 -x2861 -x2860 -x2859 -x2858 -x2857 x2856 -x2855 x2854 -x2853 x2852 -x2851 -x2850 x2849 -x2848 -x2847 -x2846 x2845
21.78/21.83 v -x2844 -x2843 -x2842 -x2841 x2840 -x2839 -x2838 -x2837 x2836 -x2835 -x2834 -x2833 -x2832 -x2831 x2830 x2829 x2828 x2827
21.78/21.83 v -x2826 -x2825 -x2824 x2823 -x2822 -x2821 x2820 -x2819 x2818 x2817 -x2816 x2815 x2814 -x2813 -x2812 x2811 -x2810 -x2809 -x2808
21.78/21.83 v -x2807 x2806 x2805 -x2804 -x2803 -x2802 x2801 -x2800 x2799 -x2798 x2797 -x2796 x2795 -x2794 x2793 -x2792 -x2791 x2790 x2789
21.78/21.83 v -x2788 -x2787 -x2786 x2785 -x2784 -x2783 -x2782 x2781 -x2780 x2779 -x2778 x2777 -x2776 -x2775 x2774 -x2773 x2772 -x2771 -x2770
21.78/21.83 v -x2769 -x2768 -x2767 -x2766 x2765 -x2764 -x2763 -x2762 x2761 -x2760 x2759 -x2758 -x2757 x2756 -x2755 -x2754 x2753 -x2752 -x2751
21.78/21.83 v -x2750 x2749 -x2748 -x2747 -x2746 -x2745 x2744 x2743 -x2742 -x2741 -x2740 -x2739 x2738 x2737 x2736 -x2735 -x2734 -x2733
21.78/21.83 v -x2732 -x2731 x2730 -x2729 x2728 x2727 -x2726 -x2725 x2724 x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 x2716 -x2715 -x2714
21.78/21.83 v x2713 -x2712 x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696
21.78/21.83 v -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 x2684 -x2683 -x2682 x2681 x2680 -x2679 -x2678 -x2677
21.78/21.83 v x2676 -x2675 -x2674 -x2673 x2672 -x2671 -x2670 -x2669 -x2668 x2667 x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659
21.78/21.83 v x2658 -x2657 x2656 -x2655 x2654 -x2653 x2652 x2651 x2650 -x2649 x2648 -x2647 -x2646 x2645 -x2644 x2643 -x2642 x2641 -x2640
21.78/21.83 v x2639 -x2638 -x2637 x2636 x2635 -x2634 -x2633 -x2632 -x2631 x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 x2623 x2622 x2621
21.78/21.83 v x2620 x2619 -x2618 -x2617 -x2616 x2615 x2614 x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 x2605 -x2604 x2603 -x2602
21.78/21.83 v -x2601 -x2600 x2599 x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 x2588 -x2587 x2586 x2585 x2584 -x2583
21.78/21.83 v x2582 x2581 -x2580 -x2579 x2578 -x2577 -x2576 x2575 -x2574 x2573 -x2572 x2571 x2570 x2569 -x2568 -x2567 -x2566 -x2565 -x2564
21.78/21.83 v -x2563 x2562 -x2561 -x2560 -x2559 -x2558 -x2557 x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546
21.78/21.83 v -x2545 -x2544 x2543 x2542 -x2541 -x2540 -x2539 -x2538 x2537 -x2536 x2535 x2534 x2533 -x2532 -x2531 x2530 x2529 x2528 x2527
21.78/21.83 v x2526 -x2525 -x2524 x2523 -x2522 x2521 -x2520 -x2519 -x2518 x2517 -x2516 x2515 -x2514 x2513 -x2512 -x2511 x2510 -x2509 x2508
21.78/21.83 v -x2507 -x2506 x2505 x2504 x2503 -x2502 x2501 -x2500 -x2499 -x2498 -x2497 x2496 -x2495 -x2494 -x2493 x2492 -x2491 x2490 -x2489
21.78/21.83 v -x2488 -x2487 -x2486 -x2485 x2484 x2483 -x2482 x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471
21.78/21.83 v -x2470 -x2469 -x2468 x2467 x2466 -x2465 -x2464 x2463 -x2462 -x2461 x2460 x2459 -x2458 -x2457 x2456 -x2455 -x2454 -x2453 -x2452
21.78/21.83 v -x2451 x2450 -x2449 x2448 -x2447 -x2446 x2445 -x2444 x2443 x2442 -x2441 x2440 -x2439 x2438 -x2437 x2436 x2435 x2434 x2433
21.78/21.83 v -x2432 -x2431 x2430 -x2429 -x2428 x2427 -x2426 -x2425 x2424 -x2423 -x2422 -x2421 x2420 -x2419 x2418 x2417 x2416 x2415 x2414 x2413
21.78/21.83 v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 x2398 -x2397 x2396 -x2395
21.78/21.83 v x2394 -x2393 -x2392 x2391 -x2390 -x2389 -x2388 -x2387 -x2386 x2385 -x2384 -x2383 -x2382 x2381 -x2380 x2379 -x2378 -x2377
21.78/21.83 v x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 x2368 -x2367 x2366 -x2365 -x2364 -x2363 x2362 -x2361 x2360 -x2359 x2358
21.78/21.83 v x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 x2350 -x2349 -x2348 -x2347 -x2346 -x2345 x2344 -x2343 -x2342 -x2341 x2340 -x2339
21.78/21.83 v -x2338 -x2337 -x2336 x2335 -x2334 -x2333 x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 x2325 -x2324 -x2323 x2322 -x2321
21.78/21.83 v -x2320 -x2319 -x2318 x2317 -x2316 -x2315 -x2314 -x2313 -x2312 x2311 -x2310 -x2309 x2308 -x2307 -x2306 x2305 -x2304 x2303 -x2302
21.78/21.83 v x2301 -x2300 x2299 -x2298 -x2297 -x2296 x2295 x2294 -x2293 -x2292 x2291 -x2290 -x2289 -x2288 -x2287 -x2286 x2285 x2284
21.78/21.83 v -x2283 -x2282 x2281 -x2280 x2279 -x2278 -x2277 -x2276 -x2275 x2274 -x2273 x2272 x2271 -x2270 x2269 -x2268 -x2267 -x2266 -x2265
21.78/21.83 v -x2264 -x2263 x2262 x2261 x2260 x2259 -x2258 x2257 -x2256 x2255 -x2254 x2253 -x2252 x2251 -x2250 x2249 x2248 -x2247 x2246 x2245
21.78/21.83 v -x2244 -x2243 x2242 -x2241 -x2240 -x2239 -x2238 x2237 -x2236 -x2235 -x2234 -x2233 -x2232 x2231 -x2230 x2229 -x2228 x2227
21.78/21.83 v -x2226 x2225 -x2224 -x2223 -x2222 x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 x2213 -x2212 -x2211 -x2210 -x2209 -x2208
21.78/21.83 v -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 x2201 -x2200 x2199 -x2198 x2197 x2196 x2195 x2194 x2193 -x2192 -x2191 -x2190
21.78/21.83 v -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 x2174 -x2173 -x2172
21.78/21.83 v x2171 -x2170 -x2169 -x2168 x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 x2155 -x2154 -x2153
21.78/21.83 v x2152 -x2151 x2150 -x2149 -x2148 -x2147 -x2146 -x2145 x2144 -x2143 -x2142 -x2141 -x2140 x2139 -x2138 -x2137 -x2136 -x2135
21.78/21.83 v -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 x2128 -x2127 -x2126 x2125 -x2124 x2123 x2122 -x2121 -x2120 x2119 -x2118 -x2117 x2116
21.78/21.83 v x2115 x2114 x2113 -x2112 -x2111 -x2110 -x2109 x2108 -x2107 -x2106 x2105 x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097
21.78/21.83 v -x2096 -x2095 x2094 x2093 -x2092 -x2091 -x2090 -x2089 x2088 -x2087 -x2086 -x2085 x2084 x2083 x2082 -x2081 x2080 -x2079
21.78/21.83 v x2078 -x2077 -x2076 x2075 -x2074 -x2073 x2072 x2071 -x2070 -x2069 -x2068 -x2067 x2066 -x2065 -x2064 -x2063 -x2062 -x2061 x2060
21.78/21.83 v -x2059 -x2058 x2057 x2056 x2055 -x2054 -x2053 -x2052 x2051 -x2050 -x2049 -x2048 x2047 x2046 -x2045 x2044 x2043 -x2042 x2041
21.78/21.83 v x2040 x2039 x2038 x2037 x2036 x2035 -x2034 -x2033 x2032 x2031 -x2030 x2029 -x2028 x2027 x2026 -x2025 x2024 x2023 x2022 -x2021
21.78/21.83 v x2020 x2019 -x2018 x2017 x2016 x2015 x2014 x2013 -x2012 -x2011 x2010 x2009 x2008 x2007 -x2006 x2005 -x2004 x2003 x2002 -x2001
21.78/21.83 v x2000 -x1999 x1998 x1997 -x1996 x1995 x1994 x1993 x1992 -x1991 x1990 -x1989 x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982
21.78/21.83 v x1981 -x1980 -x1979 x1978 x1977 -x1976 x1975 -x1974 -x1973 -x1972 -x1971 x1970 -x1969 -x1968 -x1967 -x1966 x1965 -x1964 -x1963
21.78/21.83 v -x1962 -x1961 x1960 x1959 -x1958 -x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 x1950 -x1949 x1948 -x1947 -x1946 x1945 -x1944
21.78/21.83 v x1943 -x1942 x1941 -x1940 x1939 -x1938 -x1937 -x1936 -x1935 -x1934 x1933 -x1932 -x1931 x1930 -x1929 x1928 -x1927 x1926
21.78/21.83 v x1925 -x1924 -x1923 x1922 -x1921 x1920 -x1919 x1918 -x1917 x1916 -x1915 x1914 -x1913 x1912 -x1911 -x1910 x1909 x1908 -x1907 x1906
21.78/21.83 v -x1905 -x1904 x1903 x1902 -x1901 x1900 x1899 -x1898 x1897 -x1896 x1895 -x1894 -x1893 x1892 x1891 x1890 -x1889 x1888 x1887
21.78/21.83 v x1886 -x1885 -x1884 x1883 -x1882 -x1881 -x1880 -x1879 -x1878 x1877 x1876 -x1875 -x1874 -x1873 -x1872 x1871 -x1870 x1869 x1868
21.78/21.83 v -x1867 x1866 x1865 -x1864 x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 x1854 -x1853 -x1852 x1851 -x1850 -x1849
21.78/21.83 v -x1848 x1847 x1846 -x1845 -x1844 -x1843 -x1842 x1841 -x1840 x1839 x1838 x1837 x1836 x1835 -x1834 -x1833 -x1832 -x1831 -x1830
21.78/21.83 v x1829 -x1828 x1827 x1826 -x1825 -x1824 x1823 x1822 -x1821 -x1820 -x1819 x1818 x1817 x1816 x1815 -x1814 x1813 -x1812 x1811
21.78/21.83 v x1810 x1809 x1808 x1807 -x1806 x1805 x1804 -x1803 -x1802 -x1801 x1800 -x1799 x1798 -x1797 x1796 x1795 -x1794 x1793 -x1792
21.78/21.83 v -x1791 x1790 -x1789 x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773
21.78/21.83 v -x1772 -x1771 -x1770 x1769 -x1768 -x1767 -x1766 -x1765 -x1764 x1763 -x1762 -x1761 x1760 -x1759 -x1758 -x1757 -x1756 -x1755
21.78/21.83 v -x1754 -x1753 x1752 -x1751 x1750 x1749 -x1748 -x1747 x1746 -x1745 x1744 x1743 x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736
21.78/21.83 v -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 x1728 -x1727 -x1726 -x1725 -x1724 x1723 x1722 -x1721 -x1720 x1719 -x1718 x1717
21.78/21.83 v -x1716 x1715 x1714 -x1713 x1712 x1711 -x1710 -x1709 -x1708 -x1707 x1706 -x1705 x1704 x1703 x1702 -x1701 -x1700 x1699 -x1698
21.78/21.83 v x1697 -x1696 x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689 x1688 -x1687 x1686 -x1685 -x1684 -x1683 x1682 -x1681 -x1680 x1679
21.78/21.83 v x1678 x1677 -x1676 x1675 -x1674 -x1673 x1672 x1671 -x1670 x1669 -x1668 x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 x1660
21.78/21.83 v -x1659 -x1658 -x1657 x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 x1649 -x1648 -x1647 -x1646 x1645 -x1644 x1643 x1642 x1641
21.78/21.83 v x1640 x1639 x1638 -x1637 x1636 -x1635 -x1634 -x1633 x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623
21.78/21.83 v -x1622 -x1621 -x1620 x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610 x1609 x1608 -x1607 -x1606 x1605 x1604
21.78/21.83 v x1603 x1602 x1601 x1600 x1599 x1598 -x1597 x1596 x1595 x1594 -x1593 x1592 -x1591 x1590 x1589 -x1588 -x1587 -x1586 -x1585 x1584
21.78/21.83 v -x1583 x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x1572 x1571 x1570 x1569 x1568 x1567 -x1566 -x1565
21.78/21.83 v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 -x1547
21.78/21.83 v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 x1535 -x1534 -x1533 x1532 -x1531 -x1530 -x1529
21.78/21.83 v -x1528 -x1527 -x1526 x1525 -x1524 -x1523 -x1522 -x1521 x1520 -x1519 x1518 -x1517 x1516 -x1515 x1514 -x1513 -x1512 x1511
21.78/21.83 v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503 x1502 -x1501 x1500 x1499 -x1498 -x1497 x1496 -x1495 -x1494 x1493 -x1492
21.78/21.83 v x1491 -x1490 -x1489 x1488 -x1487 -x1486 x1485 -x1484 x1483 -x1482 -x1481 -x1480 x1479 -x1478 x1477 -x1476 -x1475 x1474 x1473
21.78/21.83 v -x1472 x1471 x1470 -x1469 x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455
21.78/21.83 v -x1454 x1453 -x1452 -x1451 -x1450 -x1449 x1448 -x1447 -x1446 x1445 -x1444 x1443 -x1442 x1441 -x1440 -x1439 x1438 -x1437 -x1436
21.78/21.83 v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 x1419 x1418
21.78/21.83 v -x1417 -x1416 -x1415 -x1414 x1413 -x1412 -x1411 -x1410 x1409 -x1408 -x1407 -x1406 x1405 -x1404 x1403 -x1402 -x1401 -x1400 -x1399
21.78/21.83 v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 x1388 -x1387 x1386 -x1385 -x1384 x1383 -x1382 -x1381
21.78/21.83 v -x1380 -x1379 -x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 x1369 -x1368 x1367 -x1366 x1365 -x1364 -x1363
21.78/21.83 v x1362 -x1361 -x1360 x1359 -x1358 x1357 -x1356 -x1355 -x1354 x1353 x1352 -x1351 x1350 x1349 -x1348 -x1347 -x1346 x1345 x1344 -x1343
21.78/21.83 v -x1342 -x1341 -x1340 -x1339 -x1338 x1337 x1336 x1335 -x1334 x1333 -x1332 -x1331 -x1330 x1329 x1328 x1327 x1326 -x1325 -x1324
21.78/21.83 v x1323 -x1322 x1321 -x1320 x1319 x1318 -x1317 -x1316 x1315 -x1314 -x1313 x1312 -x1311 x1310 -x1309 x1308 -x1307 x1306 x1305
21.78/21.83 v -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287
21.78/21.83 v -x1286 -x1285 -x1284 x1283 -x1282 -x1281 -x1280 -x1279 -x1278 x1277 -x1276 -x1275 x1274 x1273 -x1272 -x1271 -x1270 -x1269
21.78/21.83 v -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250
21.78/21.83 v x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232
21.78/21.83 v -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1223 x1222 -x1221 -x1220 -x1219 x1218 -x1217 -x1216 x1215 -x1214
21.78/21.83 v -x1213 -x1212 -x1211 x1210 -x1209 x1208 -x1207 x1206 x1205 -x1204 x1203 -x1202 x1201 -x1200 x1199 -x1198 x1197 -x1196 x1195
21.78/21.83 v -x1194 x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 x1184 -x1183 -x1182 -x1181 x1180 x1179 -x1178 -x1177 x1176
21.78/21.83 v -x1175 -x1174 x1173 -x1172 -x1171 -x1170 x1169 -x1168 -x1167 x1166 -x1165 -x1164 x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
21.78/21.83 v -x1156 x1155 x1154 -x1153 -x1152 x1151 -x1150 -x1149 x1148 x1147 x1146 x1145 x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138
21.78/21.83 v x1137 x1136 -x1135 -x1134 -x1133 x1132 x1131 -x1130 x1129 -x1128 -x1127 -x1126 -x1125 -x1124 x1123 -x1122 -x1121 -x1120
21.78/21.83 v x1119 x1118 -x1117 -x1116 -x1115 -x1114 x1113 -x1112 -x1111 -x1110 -x1109 x1108 -x1107 x1106 -x1105 x1104 -x1103 -x1102 -x1101
21.78/21.83 v -x1100 x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083
21.78/21.83 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065
21.78/21.83 v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 x1048 x1047
21.78/21.83 v -x1046 -x1045 -x1044 -x1043 x1042 -x1041 -x1040 x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028
21.78/21.83 v -x1027 -x1026 -x1025 -x1024 x1023 -x1022 -x1021 x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 x1010
21.78/21.83 v -x1009 -x1008 x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991
21.78/21.83 v -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969
21.78/21.83 v -x968 -x967 x966 -x965 -x964 x963 x962 -x961 x960 -x959 x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947
21.78/21.83 v -x946 x945 -x944 x943 -x942 x941 x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 x926 -x925
21.78/21.83 v -x924 -x923 -x922 -x921 x920 -x919 x918 -x917 -x916 -x915 x914 -x913 x912 -x911 -x910 -x909 x908 -x907 x906 -x905 x904 -x903
21.78/21.83 v -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882
21.78/21.83 v x881 -x880 -x879 x878 -x877 x876 -x875 -x874 -x873 x872 -x871 -x870 -x869 -x868 x867 x866 -x865 -x864 x863 -x862 x861 -x860
21.78/21.83 v x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 x840 -x839 -x838
21.78/21.83 v x837 x836 -x835 -x834 x833 -x832 x831 -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 x822 -x821 x820 -x819 -x818 x817 -x816
21.78/21.83 v -x815 x814 x813 -x812 -x811 -x810 x809 x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 x799 -x798 -x797 x796 -x795 -x794
21.78/21.83 v x793 -x792 -x791 x790 x789 x788 -x787 x786 -x785 x784 -x783 x782 -x781 -x780 x779 x778 -x777 x776 x775 -x774 x773 -x772 -x771
21.78/21.83 v x770 -x769 -x768 x767 -x766 x765 -x764 -x763 -x762 x761 x760 -x759 x758 -x757 x756 -x755 -x754 -x753 -x752 x751 x750 -x749
21.78/21.83 v x748 -x747 -x746 -x745 x744 -x743 x742 -x741 x740 -x739 x738 x737 x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728 x727
21.78/21.83 v -x726 x725 x724 x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 x714 x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705
21.78/21.83 v -x704 -x703 -x702 x701 x700 -x699 -x698 -x697 -x696 x695 -x694 -x693 -x692 -x691 x690 -x689 x688 -x687 x686 -x685 -x684 x683
21.78/21.83 v -x682 x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661
21.78/21.83 v -x660 -x659 -x658 -x657 x656 x655 -x654 -x653 -x652 x651 -x650 x649 -x648 -x647 -x646 -x645 x644 x643 -x642 x641 -x640 -x639
21.78/21.83 v x638 x637 x636 -x635 x634 -x633 -x632 -x631 -x630 x629 -x628 x627 -x626 x625 x624 -x623 -x622 x621 -x620 x619 -x618 x617
21.78/21.83 v -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 x607 -x606 x605 -x604 x603 -x602 -x601 -x600 x599 -x598 -x597 x596 -x595
21.78/21.83 v -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 x585 x584 -x583 -x582 x581 -x580 -x579 -x578 x577 -x576 -x575 x574 -x573
21.78/21.83 v -x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 x553 -x552
21.78/21.83 v -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 x543 x542 -x541 -x540 -x539 x538 -x537 x536 -x535 -x534 x533 -x532 x531 x530 -x529
21.78/21.83 v -x528 -x527 -x526 x525 -x524 x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508
21.78/21.83 v x507 -x506 -x505 -x504 -x503 x502 -x501 x500 -x499 -x498 x497 -x496 -x495 x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486
21.78/21.83 v x485 -x484 -x483 x482 -x481 x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465
21.78/21.83 v x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 x454 x453 -x452 -x451 x450 -x449 x448 -x447 -x446 -x445 x444 x443 -x442
21.78/21.83 v -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433 -x432 x431 -x430 -x429 -x428 x427 -x426 x425 x424 -x423 -x422 -x421
21.78/21.83 v -x420 -x419 x418 -x417 x416 x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 x406 x405 x404 x403 x402 x401 -x400 -x399 x398
21.78/21.83 v -x397 x396 -x395 -x394 -x393 -x392 x391 x390 x389 x388 x387 x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376
21.78/21.83 v -x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 x359 -x358 -x357 x356 -x355 x354
21.78/21.83 v -x353 -x352 x351 -x350 x349 -x348 x347 -x346 -x345 -x344 x343 -x342 x341 x340 x339 -x338 x337 x336 -x335 -x334 x333 -x332
21.78/21.83 v -x331 x330 -x329 x328 x327 -x326 x325 -x324 -x323 x322 -x321 -x320 x319 -x318 x317 -x316 -x315 -x314 x313 x312 -x311 -x310 x309
21.78/21.83 v x308 -x307 -x306 x305 -x304 -x303 x302 x301 -x300 -x299 -x298 x297 -x296 x295 -x294 x293 x292 -x291 -x290 x289 -x288 -x287
21.78/21.83 v x286 x285 -x284 x283 -x282 -x281 -x280 -x279 x278 x277 -x276 x275 x274 -x273 x272 x271 -x270 -x269 x268 -x267 -x266 -x265 x264
21.78/21.83 v -x263 x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 x245 -x244 -x243
21.78/21.83 v -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
21.78/21.83 v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
21.78/21.83 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180
21.78/21.83 v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 x163 -x162 -x161 x160 -x159
21.78/21.83 v -x158 x157 x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 x142 -x141 x140 x139 -x138 -x137
21.78/21.83 v x136 x135 -x134 -x133 -x132 -x131 x130 -x129 x128 x127 x126 -x125 x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
21.78/21.83 v -x113 -x112 -x111 x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92
21.78/21.83 v -x91 -x90 x89 -x88 x87 -x86 -x85 x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66
21.78/21.83 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 x43 x42 -x41 -x40
21.78/21.83 v x39 -x38 -x37 x36 -x35 x34 -x33 -x32 x31 -x30 x29 -x28 x27 x26 -x25 -x24 x23 x22 -x21 -x20 x19 -x18 x17 -x16 -x15 x14 x13
21.78/21.83 v -x12 x11 -x10 -x9 x8 -x7 -x6 x5 -x4 -x3 x2 -x1 -x6757 x6756 x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746
21.78/21.83 v -x6745 -x6744 x6743 x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 x6730 -x6729 -x6728
21.78/21.83 v x6727 -x6726 -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 x6712 x6711 -x6710
21.78/21.83 v -x6709 x6708 x6707 -x6706 x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 x6698 x6697 x6696 x6695 -x6694 x6693 -x6692 -x6691
21.78/21.83 v -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 x6682 -x6681 -x6680 -x6679 x6678 x6677 -x6676 -x6675 -x6674 -x6673 -x6672
21.78/21.83 v -x6671 -x6670 -x6669 x6668 x6667 x6666 x6665 -x6664 -x6663 x6662 -x6661 x6660 -x6659 -x6658 -x6657 -x6656 x6655 x6654 -x6653
21.78/21.83 v -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 x6646 x6645 -x6644 -x6643 x6642 -x6641 -x6640 -x6639 x6638 x6637 -x6636 -x6635
21.78/21.83 v -x6634 x6633 x6632 x6631 x6630 x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 x6616
21.78/21.83 v x6615 x6614 -x6613 -x6612 -x6611 -x6610 -x6609 x6608 -x6607 x6606 x6605 x6604 -x6603 x6602 x6601 -x6600 -x6599 -x6598 -x6597
21.78/21.83 v -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 x6585 -x6584 -x6583 x6582 -x6581 x6580 -x6579
21.78/21.83 v -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 x6572 x6571 -x6570 -x6569 -x6568 -x6567 x6566 -x6565 x6564 x6563 x6562 x6561 x6560
21.78/21.83 v x6559 x6558 -x6557 x6556 -x6555 x6554 -x6553 x6552 x6551 x6550 -x6549 -x6548 x6547 x6546 x6545 x6544 x6543 x6542 x6541 x6540
21.78/21.83 v x6539 -x6538 -x6537 -x6536 x6535 x6534 x6533 x6532 x6531 -x6530 -x6529 x6528 x6527 -x6526 -x6525 x6524 -x6523 -x6522 -x6521
21.78/21.83 v x6520 x6519 x6518 -x6517 -x6516 -x6515 -x6514 x6513 x6512 x6511 -x6510 x6509 x6508 -x6507 -x6506 x6505 x6504 x6503 x6502 x6501
21.78/21.83 v -x6500 x6499 -x6498 x6497 x6496 -x6495 -x6494 x6493 -x6492 -x6491 x6490 x6489 -x6488 x6487 x6486 x6485 x6484 x6483 x6482 x6481
21.78/21.83 v x6480 -x6479 -x6478 -x6477 x6476 -x6475 x6474 x6473 x6472 x6471 -x6470 x6469 x6468 x6467 -x6466 x6465 -x6464 x6463 x6462
21.78/21.83 v x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 x6453 -x6452 x6451 x6450 x6449 x6448 -x6447 -x6446 -x6445 -x6444 -x6443
21.78/21.83 v x6442 x6441 x6440 x6439 -x6438 x6437 x6436 x6435 x6434 x6433 x6432 x6431 x6430 -x6429 x6428 x6427 x6426 x6425 x6424 x6423 -x6422
21.78/21.83 v x6421 x6420 -x6419 -x6418 x6417 x6416 x6415 x6414 -x6413 x6412 -x6411 x6410 -x6409 -x6408 x6407 x6406 -x6405 -x6404 x6403
21.78/21.83 v x6402 x6401 x6400 -x6399 -x6398 x6397 -x6396 -x6395 -x6394 x6393 -x6392 -x6391 -x6390 x6389 x6388 -x6387 x6386 x6385 -x6384
21.78/21.83 v x6383 -x6382 -x6381 x6380 -x6379 x6378 -x6377 -x6376 -x6375 -x6374 -x6373 x6372 x6371 -x6370 x6369 x6368 x6367 x6366 x6365
21.78/21.83 v -x6364 x6363 x6362 x6361 -x6360 -x6359 -x6358 x6357 x6356 x6355 x6354 x6353 -x6352 x6351 -x6350 x6349 x6348 x6347 x6346 x6345
21.78/21.83 v x6344 x6343 x6342 x6341 x6340 -x6339 x6338 x6337 x6336 x6335 -x6334 x6333 x6332 x6331 x6330 x6329 x6328 x6327 x6326 -x6325 -x6324
21.78/21.83 v x6323 x6322 x6321 -x6320 x6319 x6318 -x6317 -x6316 x6315 x6314 x6313 -x6312 -x6311 -x6310 x6309 -x6308 -x6307 x6306 -x6305
21.78/21.83 v x6304 -x6303 -x6302 x6301 x6300 x6299 x6298 x6297 x6296 -x6295 x6294 x6293 x6292 x6291 x6290 -x6289 -x6288 -x6287 -x6286
21.78/21.83 v x6285 x6284 x6283 x6282 x6281 x6280 x6279 -x6278 x6277 x6276 x6275 x6274 -x6273 x6272 x6271 -x6270 x6269 -x6268 x6267 -x6266
21.78/21.83 v -x6265 -x6264 x6263 -x6262 -x6261 -x6260 x6259 -x6258 -x6257 -x6256 x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 x6248 -x6247
21.78/21.83 v -x6246 x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 x6232 x6231 -x6230 -x6229
21.78/21.83 v -x6228 -x6227 -x6226 -x6225 x6224 x6223 x6222 x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210
21.78/21.83 v -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 x6198 x6197 -x6196 -x6195 -x6194 -x6193 x6192
21.78/21.83 v -x6191 -x6190 -x6189 -x6188 x6187 -x6186 -x6185 -x6184 -x6183 x6182 x6181 -x6180 -x6179 x6178 x6177 -x6176 x6175 -x6174 -x6173
21.78/21.83 v -x6172 -x6171 -x6170 x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 x6157 -x6156 -x6155
21.78/21.83 v -x6154 -x6153 x6152 x6151 -x6150 -x6149 x6148 x6147 x6146 x6145 x6144 -x6143 x6142 x6141 -x6140 -x6139 x6138 x6137 -x6136
21.78/21.83 v -x6135 -x6134 -x6133 x6132 -x6131 -x6130 -x6129 x6128 x6127 x6126 -x6125 x6124 -x6123 x6122 x6121 -x6120 x6119 x6118 x6117
21.78/21.83 v x6116 x6115 x6114 x6113 -x6112 -x6111 x6110 x6109 x6108 x6107 x6106 x6105 x6104 x6103 x6102 x6101 x6100 x6099 x6098 x6097 x6096
21.78/21.83 v x6095 x6094 x6093 -x6092 -x6091 x6090 -x6089 -x6088 x6087 -x6086 -x6085 -x6084 x6083 x6082 x6081 x6080 -x6079 -x6078 -x6077
21.78/21.83 v x6076 -x6075 -x6074 -x6073 x6072 -x6071 x6070 x6069 x6068 x6067 x6066 -x6065 x6064 x6063 -x6062 -x6061 -x6060 -x6059 -x6058
21.78/21.83 v -x6057 x6056 -x6055 x6054 x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 x6046 x6045 x6044 x6043 x6042 x6041 x6040 -x6039 -x6038
21.78/21.83 v -x6037 -x6036 x6035 -x6034 -x6033 x6032 x6031 x6030 x6029 x6028 x6027 x6026 -x6025 -x6024 -x6023 -x6022 x6021 x6020 x6019
21.78/21.83 v x6018 -x6017 -x6016 x6015 x6014 -x6013 -x6012 -x6011 x6010 x6009 -x6008 x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000
21.78/21.83 v -x5999 x5998 -x5997 x5996 x5995 x5994 x5993 -x5992 -x5991 -x5990 -x5989 -x5988 x5987 -x5986 -x5985 x5984 x5983 -x5982 -x5981
21.78/21.83 v -x5980 x5979 x5978 -x5977 -x5976 x5975 x5974 x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963
21.78/21.83 v -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 x5956 x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 x5945 -x5944
21.78/21.83 v -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926
21.78/21.83 v -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 x5910 -x5909 -x5908
21.78/21.83 v -x5907 x5906 -x5905 x5904 x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 x5896 -x5895 -x5894 -x5893 x5892 x5891 x5890
21.78/21.83 v x5889 x5888 x5887 x5886 x5885 x5884 x5883 -x5882 -x5881 x5880 -x5879 x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 x5871 x5870
21.78/21.83 v -x5869 x5868 x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852
21.78/21.83 v -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834
21.78/21.83 v -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816
21.78/21.83 v -x5815 x5814 x5813 x5812 x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 x5803 -x5802 -x5801 x5800 -x5799 -x5798
21.78/21.83 v x5797 x5796 x5795 x5794 -x5793 x5792 x5791 x5790 x5789 -x5788 -x5787 x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778
21.78/21.83 v -x5777 x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 x5761 -x5760
21.78/21.83 v -x5759 -x5758 -x5757 x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 x5747 -x5746 -x5745 -x5744 -x5743 -x5742
21.78/21.83 v -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 x5735 -x5734 x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724
21.78/21.83 v -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706
21.78/21.83 v -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688
21.78/21.83 v -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670
21.78/21.83 v -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653
21.78/21.83 v -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635
21.78/21.83 v -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617
21.78/21.83 v -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599
21.78/21.83 v -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581
21.78/21.83 v -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563
21.78/21.83 v -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545
21.78/21.83 v -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527
21.78/21.83 v -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510
21.78/21.83 v -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492
21.78/21.83 v -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 x5475 x5474
21.78/21.83 v x5473 x5472 x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455
21.78/21.83 v -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 x5441 -x5440 -x5439 -x5438 -x5437
21.78/21.83 v -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419
21.78/21.83 v -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402
21.78/21.83 v -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384
21.78/21.83 v -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366
21.78/21.83 v -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348
21.78/21.83 v -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330
21.78/21.83 v -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312
21.78/21.83 v -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294
21.78/21.83 v -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277
21.78/21.83 v -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259
21.78/21.83 v -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241
21.78/21.83 v -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223
21.78/21.83 v -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205
21.78/21.83 v -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 x5189 x5188 x5187
21.78/21.83 v -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169
21.78/21.83 v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151
21.78/21.83 v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133
21.78/21.83 v -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 x5116 x5115
21.78/21.83 v -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097
21.78/21.83 v -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 x5085 x5084 -x5083 -x5082 -x5081 -x5080 -x5079
21.78/21.83 v -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061
21.78/21.83 v -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043
21.78/21.83 v -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025
21.78/21.83 v -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008
21.78/21.83 v -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990
21.78/21.83 v -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972
21.78/21.83 v -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954
21.78/21.83 v -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936
21.78/21.83 v -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918
21.78/21.83 v -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900
21.78/21.83 v -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883
21.78/21.83 v -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865
21.78/21.83 v -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847
21.78/21.83 v -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829
21.78/21.83 v -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811
21.78/21.83 v -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793
21.78/21.83 v -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775
21.78/21.83 v -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757
21.78/21.83 v -x4756 -x4755 -x4754 -x4753 -x4752 x4751 x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739
21.78/21.83 v -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721
21.78/21.83 v -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704
21.78/21.83 v -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686
21.78/21.83 v -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668
21.78/21.83 v -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650
21.78/21.83 v -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632
21.78/21.83 v -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614
21.78/21.83 v -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596
21.78/21.83 v -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578
21.78/21.83 v -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561
21.78/21.83 v -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543
21.78/21.83 v -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525
21.78/21.83 v -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 x4511 -x4510 -x4509 -x4508 -x4507
21.78/21.83 v -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489
21.78/21.83 v -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471
21.78/21.83 v -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453
21.78/21.83 v -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435
21.78/21.83 v -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418
21.78/21.83 v -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400
21.78/21.83 v -x4399 -x4398 -x4397 x4396 x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382
21.78/21.83 v -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364
21.78/21.83 v -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346
21.78/21.83 v -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328
21.78/21.83 v -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310
21.78/21.83 v -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292
21.78/21.83 v -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274
21.78/21.83 v -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257
21.78/21.83 v -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239
21.78/21.83 v x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221
21.78/21.83 v -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203
21.78/21.83 v -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185
21.78/21.83 v -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167
21.78/21.83 v -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149
21.78/21.83 v -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131
21.78/21.83 v -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114
21.78/21.83 v -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096
21.78/21.83 v -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078
21.78/21.83 v -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060
21.78/21.83 v -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042
21.78/21.83 v -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024
21.78/21.83 v -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006
21.78/21.83 v -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988
21.78/21.83 v -x3987 -x3986 -x3985 -x3984 -x3983 x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970
21.78/21.83 v -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952
21.78/21.83 v -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935
21.78/21.83 v -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917
21.78/21.83 v -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 x3902 -x3901 -x3900 -x3899
21.78/21.83 v -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881
21.78/21.83 v -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863
21.78/21.83 v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845
21.78/21.83 v -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827
21.78/21.83 v -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809
21.78/21.83 v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792
21.78/21.83 v -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 x3776 -x3775 -x3774
21.78/21.83 v x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756
21.78/21.83 v -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738
21.78/21.83 v -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720
21.78/21.83 v -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702
21.78/21.83 v -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684
21.78/21.83 v -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666
21.78/21.83 v -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648
21.78/21.83 v -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630
21.78/21.83 v -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613
21.78/21.83 v -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606
21.78/21.83 c SCIP Status : problem is solved [optimal solution found]
21.78/21.83 c Solving Time : 21.33
21.78/21.83 c Original Problem :
21.78/21.83 c Problem name : HOME/instance-2704835-1278580098.opb
21.78/21.83 c Variables : 6757 (6757 binary, 0 integer, 0 implicit integer, 0 continuous)
21.78/21.83 c Constraints : 28229 initial, 28229 maximal
21.78/21.83 c Presolved Problem :
21.78/21.83 c Problem name : t_HOME/instance-2704835-1278580098.opb
21.78/21.83 c Variables : 3380 (3380 binary, 0 integer, 0 implicit integer, 0 continuous)
21.78/21.83 c Constraints : 11535 initial, 11535 maximal
21.78/21.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
21.78/21.83 c trivial : 0.08 27 0 0 0 0 0 0 0
21.78/21.83 c dualfix : 0.05 1136 0 0 0 0 0 0 0
21.78/21.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
21.78/21.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
21.78/21.83 c implics : 0.13 0 175 0 0 0 0 0 0
21.78/21.83 c probing : 11.52 250 744 0 0 0 0 0 0
21.78/21.83 c setppc : 0.96 0 2 0 0 0 2848 0 0
21.78/21.83 c linear : 0.38 354 689 0 359 0 11288 27 66
21.78/21.83 c logicor : 5.70 0 0 0 18 0 2561 0 0
21.78/21.83 c root node : - 468 - - 468 - - - -
21.78/21.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
21.78/21.83 c integral : 0 0 0 1 0 0 0 0 0 0
21.78/21.83 c setppc : 5048 4 12221 1 0 54 49 0 0 0
21.78/21.83 c logicor : 6487 4 10235 1 0 108 19 0 0 0
21.78/21.83 c countsols : 0 0 0 1 0 0 0 0 0 0
21.78/21.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
21.78/21.83 c integral : 0.00 0.00 0.00 0.00 0.00
21.78/21.83 c setppc : 7.92 0.01 7.91 0.00 0.00
21.78/21.83 c logicor : 0.31 0.01 0.30 0.00 0.00
21.78/21.83 c countsols : 0.00 0.00 0.00 0.00 0.00
21.78/21.83 c Propagators : Time Calls Cutoffs DomReds
21.78/21.83 c vbounds : 0.00 2 0 0
21.78/21.83 c rootredcost : 0.00 0 0 0
21.78/21.83 c pseudoobj : 0.01 9 0 0
21.78/21.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
21.78/21.83 c propagation : 0.00 0 0 0 0.0 0 0.0 -
21.78/21.83 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
21.78/21.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
21.78/21.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
21.78/21.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
21.78/21.83 c applied globally : - - - 0 0.0 - - -
21.78/21.83 c applied locally : - - - 0 0.0 - - -
21.78/21.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
21.78/21.83 c cut pool : 0.00 3 - - 0 - (maximal pool size: 670)
21.78/21.83 c redcost : 0.01 4 0 400 0 0
21.78/21.83 c impliedbounds : 0.01 3 0 0 570 0
21.78/21.83 c intobj : 0.00 0 0 0 0 0
21.78/21.83 c cgmip : 0.00 0 0 0 0 0
21.78/21.83 c gomory : 0.18 3 0 0 770 0
21.78/21.83 c strongcg : 0.18 3 0 0 770 0
21.78/21.83 c cmir : 0.46 3 0 0 0 0
21.78/21.83 c flowcover : 0.77 3 0 0 0 0
21.78/21.83 c clique : 0.10 3 0 0 10 0
21.78/21.83 c zerohalf : 0.00 0 0 0 0 0
21.78/21.83 c mcf : 0.04 1 0 0 0 0
21.78/21.83 c rapidlearning : 0.00 0 0 0 0 0
21.78/21.83 c Pricers : Time Calls Vars
21.78/21.83 c problem variables: 0.00 0 0
21.78/21.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
21.78/21.83 c pscost : 0.00 0 0 0 0 0 0
21.78/21.83 c inference : 0.00 0 0 0 0 0 0
21.78/21.83 c mostinf : 0.00 0 0 0 0 0 0
21.78/21.83 c leastinf : 0.00 0 0 0 0 0 0
21.78/21.83 c fullstrong : 0.00 0 0 0 0 0 0
21.78/21.83 c allfullstrong : 0.00 0 0 0 0 0 0
21.78/21.83 c random : 0.00 0 0 0 0 0 0
21.78/21.83 c relpscost : 0.00 0 0 0 0 0 0
21.78/21.83 c Primal Heuristics : Time Calls Found
21.78/21.83 c LP solutions : 0.00 - 0
21.78/21.83 c pseudo solutions : 0.00 - 0
21.78/21.83 c crossover : 0.00 0 0
21.78/21.83 c trivial : 0.02 2 0
21.78/21.83 c simplerounding : 0.00 2 0
21.78/21.83 c zirounding : 0.00 0 0
21.78/21.83 c rounding : 0.00 3 0
21.78/21.83 c shifting : 0.04 3 3
21.78/21.83 c intshifting : 0.00 0 0
21.78/21.83 c oneopt : 0.02 3 2
21.78/21.83 c twoopt : 0.00 0 0
21.78/21.83 c fixandinfer : 0.00 0 0
21.78/21.83 c feaspump : 0.00 0 0
21.78/21.83 c coefdiving : 0.00 0 0
21.78/21.83 c pscostdiving : 0.00 0 0
21.78/21.83 c fracdiving : 0.00 0 0
21.78/21.83 c veclendiving : 0.00 0 0
21.78/21.83 c intdiving : 0.00 0 0
21.78/21.83 c actconsdiving : 0.00 0 0
21.78/21.83 c objpscostdiving : 0.00 0 0
21.78/21.83 c rootsoldiving : 0.00 0 0
21.78/21.83 c linesearchdiving : 0.00 0 0
21.78/21.83 c guideddiving : 0.00 0 0
21.78/21.83 c octane : 0.00 0 0
21.78/21.83 c rens : 0.00 0 0
21.78/21.83 c rins : 0.00 0 0
21.78/21.83 c localbranching : 0.00 0 0
21.78/21.83 c mutation : 0.00 0 0
21.78/21.83 c dins : 0.00 0 0
21.78/21.83 c undercover : 0.00 0 0
21.78/21.83 c nlp : 0.00 0 0
21.78/21.83 c trysol : 0.00 0 0
21.78/21.83 c LP : Time Calls Iterations Iter/call Iter/sec
21.78/21.83 c primal LP : 0.00 0 0 0.00 -
21.78/21.83 c dual LP : 0.27 4 1193 298.25 4451.54
21.78/21.83 c lex dual LP : 0.00 0 0 0.00 -
21.78/21.83 c barrier LP : 0.00 0 0 0.00 -
21.78/21.83 c diving/probing LP: 0.00 0 0 0.00 -
21.78/21.83 c strong branching : 0.00 0 0 0.00 -
21.78/21.83 c (at root node) : - 0 0 0.00 -
21.78/21.83 c conflict analysis: 0.00 0 0 0.00 -
21.78/21.83 c B&B Tree :
21.78/21.83 c number of runs : 1
21.78/21.83 c nodes : 1
21.78/21.83 c nodes (total) : 1
21.78/21.83 c nodes left : 0
21.78/21.83 c max depth : 0
21.78/21.83 c max depth (total): 0
21.78/21.83 c backtracks : 0 (0.0%)
21.78/21.83 c delayed cutoffs : 0
21.78/21.83 c repropagations : 0 (0 domain reductions, 0 cutoffs)
21.78/21.83 c avg switch length: 2.00
21.78/21.83 c switching time : 0.00
21.78/21.83 c Solution :
21.78/21.83 c Solutions found : 6 (6 improvements)
21.78/21.83 c First Solution : +5.12110679769998e+10 (in run 1, after 1 nodes, 19.31 seconds, depth 0, found by <shifting>)
21.78/21.83 c Primal Bound : +2.75627402030000e+10 (in run 1, after 1 nodes, 21.32 seconds, depth 0, found by <relaxation>)
21.78/21.83 c Dual Bound : +2.75627402030000e+10
21.78/21.83 c Gap : 0.00 %
21.78/21.83 c Root Dual Bound : +2.75627402030000e+10
21.78/21.83 c Root Iterations : 1193
21.89/21.95 c Time complete: 21.93.
OK 27562740203
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704835-1278580098/watcher-2704835-1278580098 -o /tmp/evaluation-result-2704835-1278580098/solver-2704835-1278580098 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704835-1278580098.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.97 3/106 27711 /proc/meminfo: memFree=1616944/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=7904 CPUtime=0 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 1060 0 0 0 0 0 0 0 18 0 1 0 26223370 8093696 971 1992294400 4194304 8395647 140737460641904 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27711/statm: 1976 979 365 1026 0 946 0 [startup+0.087643 s] /proc/loadavg: 0.92 0.98 0.97 3/106 27711 /proc/meminfo: memFree=1616944/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=16724 CPUtime=0.08 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 3489 0 0 0 7 1 0 0 20 0 1 0 26223370 17125376 3399 1992294400 4194304 8395647 140737460641904 18446744073709551615 7382027 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27711/statm: 4181 3399 393 1026 0 3151 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16724 [startup+0.101644 s] /proc/loadavg: 0.92 0.98 0.97 3/106 27711 /proc/meminfo: memFree=1616944/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=17388 CPUtime=0.09 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 3648 0 0 0 8 1 0 0 20 0 1 0 26223370 17805312 3558 1992294400 4194304 8395647 140737460641904 18446744073709551615 7382036 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27711/statm: 4347 3558 393 1026 0 3317 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17388 [startup+0.301665 s] /proc/loadavg: 0.92 0.98 0.97 3/106 27711 /proc/meminfo: memFree=1616944/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=23188 CPUtime=0.29 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 5120 0 0 0 28 1 0 0 20 0 1 0 26223370 23744512 5030 1992294400 4194304 8395647 140737460641904 18446744073709551615 5759659 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27711/statm: 5797 5030 393 1026 0 4767 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23188 [startup+0.700707 s] /proc/loadavg: 0.92 0.98 0.97 3/106 27711 /proc/meminfo: memFree=1616944/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=55984 CPUtime=0.69 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 13277 0 0 0 65 4 0 0 20 0 1 0 26223370 57327616 12833 1992294400 4194304 8395647 140737460641904 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27711/statm: 13996 12833 475 1026 0 12966 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 55984 [startup+1.50079 s] /proc/loadavg: 0.92 0.98 0.97 2/107 27712 /proc/meminfo: memFree=1562624/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=65516 CPUtime=1.49 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 16468 0 0 0 144 5 0 0 23 0 1 0 26223370 67088384 15270 1992294400 4194304 8395647 140737460641904 18446744073709551615 5091026 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27711/statm: 16379 15270 498 1026 0 15349 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 65516 [startup+3.10096 s] /proc/loadavg: 0.92 0.98 0.97 2/107 27712 /proc/meminfo: memFree=1556548/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=66284 CPUtime=3.09 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 16660 0 0 0 304 5 0 0 25 0 1 0 26223370 67874816 15462 1992294400 4194304 8395647 140737460641904 18446744073709551615 5604545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27711/statm: 16571 15462 498 1026 0 15541 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66284 [startup+6.30129 s] /proc/loadavg: 0.93 0.98 0.97 2/107 27712 /proc/meminfo: memFree=1556052/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=66924 CPUtime=6.29 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 16826 0 0 0 624 5 0 0 25 0 1 0 26223370 68530176 15628 1992294400 4194304 8395647 140737460641904 18446744073709551615 5210648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27711/statm: 16731 15628 504 1026 0 15701 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66924 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.97 2/107 27712 /proc/meminfo: memFree=1555432/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=66924 CPUtime=12.69 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 16826 0 0 0 1264 5 0 0 25 0 1 0 26223370 68530176 15628 1992294400 4194304 8395647 140737460641904 18446744073709551615 5093784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27711/statm: 16731 15628 504 1026 0 15701 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66924 Solver just ended. Dumping a history of the last processes samples [startup+15.9013 s] /proc/loadavg: 0.94 0.98 0.97 2/107 27712 /proc/meminfo: memFree=1555432/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=67948 CPUtime=15.89 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 17082 0 0 0 1584 5 0 0 25 0 1 0 26223370 69578752 15884 1992294400 4194304 8395647 140737460641904 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27711/statm: 16987 15884 504 1026 0 15957 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 67948 [startup+19.1006 s] /proc/loadavg: 0.94 0.98 0.97 2/107 27712 /proc/meminfo: memFree=1553448/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=68972 CPUtime=19.08 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 17338 0 0 0 1903 5 0 0 25 0 1 0 26223370 70627328 16140 1992294400 4194304 8395647 140737460641904 18446744073709551615 5093852 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27711/statm: 17243 16140 504 1026 0 16213 0 Current children cumulated CPU time (s) 19.08 Current children cumulated vsize (KiB) 68972 [startup+20.7008 s] /proc/loadavg: 0.94 0.98 0.97 2/107 27712 /proc/meminfo: memFree=1542164/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=86152 CPUtime=20.68 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 21966 0 0 0 2061 7 0 0 25 0 1 0 26223370 88219648 20489 1992294400 4194304 8395647 140737460641904 18446744073709551615 7385670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27711/statm: 21538 20489 623 1026 0 20508 0 Current children cumulated CPU time (s) 20.68 Current children cumulated vsize (KiB) 86152 [startup+21.5009 s] /proc/loadavg: 0.94 0.98 0.97 2/107 27712 /proc/meminfo: memFree=1536460/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=86320 CPUtime=21.48 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 21990 0 0 0 2141 7 0 0 25 0 1 0 26223370 88391680 20513 1992294400 4194304 8395647 140737460641904 18446744073709551615 5849644 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27711/statm: 21580 20513 623 1026 0 20550 0 Current children cumulated CPU time (s) 21.48 Current children cumulated vsize (KiB) 86320 [startup+21.9009 s] /proc/loadavg: 0.94 0.98 0.97 2/107 27712 /proc/meminfo: memFree=1536336/2059040 swapFree=4161224/4192956 [pid=27711] ppid=27709 vsize=86320 CPUtime=21.89 /proc/27711/stat : 27711 (pbscip.linux.x8) R 27709 27711 27321 0 -1 4202496 22011 0 0 0 2182 7 0 0 25 0 1 0 26223370 88391680 20534 1992294400 4194304 8395647 140737460641904 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27711/statm: 21580 20534 633 1026 0 20550 0 Current children cumulated CPU time (s) 21.89 Current children cumulated vsize (KiB) 86320 Child status: 0 Real time (s): 21.9514 CPU time (s): 21.9467 CPU user time (s): 21.8577 CPU system time (s): 0.088986 CPU usage (%): 99.9783 Max. virtual memory (cumulated for all children) (KiB): 86320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 21.8577 system time used= 0.088986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22017 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= 4 involuntary context switches= 50 runsolver used 0.039993 second user time and 0.121981 second system time The end
Begin job on node007 at 2010-07-08 11:08:18 IDJOB=2704835 IDBENCH=72299 IDSOLVER=1213 FILE ID=node007/2704835-1278580098 PBS_JOBID= 11240108 Free space on /tmp= 62528 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand27da90.cudf.trendy.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704835-1278580098/watcher-2704835-1278580098 -o /tmp/evaluation-result-2704835-1278580098/solver-2704835-1278580098 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704835-1278580098.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1db531ec7fbea38dd353f31b0fba98ed RANDOM SEED=1192109551 node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1617348 kB Buffers: 93500 kB Cached: 230004 kB SwapCached: 1860 kB Active: 157388 kB Inactive: 195980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1617348 kB SwapTotal: 4192956 kB SwapFree: 4161224 kB Dirty: 11316 kB Writeback: 12 kB AnonPages: 28060 kB Mapped: 13092 kB Slab: 66392 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180904 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62520 MiB End job on node007 at 2010-07-08 11:08:40