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 | MSAT | 1796.98 | 1797.28 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo |
| MD5SUM | 6d82afa4a3cb51b65db40c85a755382b |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.6539 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 7578 |
| Total number of constraints | 21401 |
| Number of soft constraints | 14255 |
| Number of constraints which are clauses | 20501 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 900 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 718356 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 718355 |
| Biggest number in a constraint | 33 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 126 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-3717543-1338195609.wbo>
0.01/0.08 c original problem has 21833 variables (21833 bin, 0 int, 0 impl, 0 cont) and 21402 constraints
0.01/0.08 c problem read in 0.08
0.19/0.29 c presolving:
0.39/0.40 c (round 1) 40 del vars, 3 del conss, 0 add conss, 0 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 21356 impls, 0 clqs
0.39/0.43 c (round 2) 40 del vars, 81 del conss, 0 add conss, 0 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 21356 impls, 0 clqs
0.39/0.48 c (round 3) 40 del vars, 81 del conss, 0 add conss, 14255 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 21356 impls, 0 clqs
0.59/0.61 c (round 4) 40 del vars, 81 del conss, 0 add conss, 14255 chg bounds, 450 chg sides, 900 chg coeffs, 7069 upgd conss, 21356 impls, 0 clqs
0.89/0.98 c (1.0s) probing: 53/21793 (0.2%) - 0 fixings, 1 aggregations, 0 implications, 0 bound changes
0.89/0.98 c (1.0s) probing aborted: 50/50 successive totally useless probings
0.89/0.98 c (round 5) 41 del vars, 801 del conss, 240 add conss, 14255 chg bounds, 450 chg sides, 900 chg coeffs, 7069 upgd conss, 21356 impls, 0 clqs
1.29/1.36 c (1.4s) probing: 107/21793 (0.5%) - 0 fixings, 1 aggregations, 2 implications, 0 bound changes
1.29/1.36 c (1.4s) probing aborted: 50/50 successive totally useless probings
1.29/1.38 c presolving (6 rounds):
1.29/1.38 c 41 deleted vars, 803 deleted constraints, 240 added constraints, 14255 tightened bounds, 0 added holes, 450 changed sides, 900 changed coefficients
1.29/1.38 c 35620 implications, 0 cliques
1.29/1.38 c presolved problem has 36047 variables (21792 bin, 0 int, 14255 impl, 0 cont) and 35094 constraints
1.29/1.38 c 314 constraints of type <knapsack>
1.29/1.38 c 4075 constraints of type <setppc>
1.29/1.38 c 240 constraints of type <and>
1.29/1.38 c 14255 constraints of type <linear>
1.29/1.38 c 14255 constraints of type <indicator>
1.29/1.38 c 1955 constraints of type <logicor>
1.29/1.38 c transformed objective value is always integral (scale: 1)
1.29/1.38 c Presolving Time: 1.26
1.29/1.38 c - non default parameters ----------------------------------------------------------------------
1.29/1.38 c # SCIP version 2.1.1.4
1.29/1.38 c
1.29/1.38 c # maximal time in seconds to run
1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.38 c limits/time = 1797
1.29/1.38 c
1.29/1.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.38 c limits/memory = 13950
1.29/1.38 c
1.29/1.38 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.29/1.38 c # [type: int, range: [1,2], default: 1]
1.29/1.38 c timing/clocktype = 2
1.29/1.38 c
1.29/1.38 c # belongs reading time to solving time?
1.29/1.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.38 c timing/reading = TRUE
1.29/1.38 c
1.29/1.38 c # force restart if we have a max FS instance and gap is 1?
1.29/1.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.38 c constraints/indicator/forcerestart = TRUE
1.29/1.38 c
1.29/1.38 c # priority of branching rule <inference>
1.29/1.38 c # [type: int, range: [-536870912,536870911], default: 1000]
1.29/1.38 c branching/inference/priority = 1000000
1.29/1.38 c
1.29/1.38 c # frequency offset for calling primal heuristic <coefdiving>
1.29/1.38 c # [type: int, range: [0,2147483647], default: 1]
1.29/1.38 c heuristics/coefdiving/freqofs = 0
1.29/1.38 c
1.29/1.38 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
1.29/1.38 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.38 c heuristics/shiftandpropagate/freq = -1
1.29/1.38 c
1.29/1.38 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.29/1.38 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.38 c heuristics/undercover/freq = -1
1.29/1.38 c
1.29/1.38 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.29/1.38 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.38 c separating/rapidlearning/freq = 0
1.29/1.38 c
1.29/1.38 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
1.29/1.38 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.38 c heuristics/indrounding/freq = 1
1.29/1.38 c
1.29/1.38 c -----------------------------------------------------------------------------------------------
1.29/1.38 c start solving
1.39/1.43 c
4.29/4.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.29/4.40 c 4.4s| 1 | 0 | 4092 | - | 127M| 0 |1686 | 36k| 35k| 36k| 35k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
16.88/16.96 c 17.0s| 1 | 0 | 27890 | - | 130M| 0 |1835 | 36k| 35k| 36k| 35k| 111 | 0 | 0 | 0.000000e+00 | -- | Inf
18.79/18.84 c 18.8s| 1 | 0 | 28705 | - | 131M| 0 |2083 | 36k| 35k| 36k| 35k| 322 | 0 | 0 | 0.000000e+00 | -- | Inf
23.59/23.69 c 23.7s| 1 | 0 | 36826 | - | 132M| 0 |2422 | 36k| 35k| 36k| 35k| 551 | 0 | 0 | 0.000000e+00 | -- | Inf
31.28/31.30 c 31.3s| 1 | 0 | 47442 | - | 132M| 0 |3108 | 36k| 35k| 36k| 36k| 779 | 0 | 0 | 0.000000e+00 | -- | Inf
37.98/38.01 c 38.0s| 1 | 0 | 52810 | - | 133M| 0 |3010 | 36k| 35k| 36k| 36k|1053 | 0 | 0 | 0.000000e+00 | -- | Inf
44.38/44.48 c 44.5s| 1 | 0 | 56672 | - | 133M| 0 |3075 | 36k| 35k| 36k| 36k|1258 | 0 | 0 | 0.000000e+00 | -- | Inf
114.75/114.85 o 8819
114.75/114.85 c c 115s| 1 | 0 |108947 | - | 155M| 0 | - | 36k| 35k| 36k| 36k|1258 | 47 | 0 | 0.000000e+00 | 8.819000e+03 | Inf
114.95/115.07 o 8784
114.95/115.07 c c 115s| 1 | 0 |108979 | - | 157M| 0 | - | 36k| 35k| 36k| 36k|1258 | 47 | 0 | 0.000000e+00 | 8.784000e+03 | Inf
115.05/115.16 o 8782
115.05/115.16 c c 115s| 1 | 0 |108985 | - | 158M| 0 | - | 36k| 35k| 36k| 36k|1258 | 50 | 0 | 0.000000e+00 | 8.782000e+03 | Inf
116.45/116.56 c 117s| 1 | 0 |108996 | - | 139M| 0 |3075 | 36k| 35k| 36k| 36k|1258 | 51 | 0 | 0.000000e+00 | 8.782000e+03 | Inf
120.05/120.16 o 1500
120.05/120.16 c 6 120s| 1 | 0 |108996 | - | 140M| 0 |3075 | 36k| 35k| 36k| 36k|1258 | 51 | 0 | 0.000000e+00 | 1.500000e+03 | Inf
130.34/130.44 c 130s| 1 | 0 |116386 | - | 140M| 0 |3161 | 36k| 35k| 36k| 36k|1466 | 51 | 0 | 0.000000e+00 | 1.500000e+03 | Inf
130.85/130.99 o 1406
130.85/130.99 c 6 131s| 1 | 0 |116386 | - | 141M| 0 |3161 | 36k| 35k| 36k| 36k|1466 | 51 | 0 | 0.000000e+00 | 1.406000e+03 | Inf
130.94/131.00 c 131s| 1 | 2 |116386 | - | 140M| 0 |3161 | 36k| 35k| 36k| 36k|1466 | 51 | 0 | 0.000000e+00 | 1.406000e+03 | Inf
610.47/610.63 o 1371
610.47/610.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.47/610.63 c g 611s| 72 | 73 |633683 |8022.8 | 158M| 45 | - | 36k| 35k| 36k| 36k|1619 | 157 | 0 | 0.000000e+00 | 1.371000e+03 | Inf
610.77/610.92 o 1362
610.77/610.92 c g 611s| 72 | 73 |633736 |8023.6 | 160M| 45 | - | 36k| 35k| 36k| 36k|1619 | 157 | 0 | 0.000000e+00 | 1.362000e+03 | Inf
611.38/611.56 o 654
611.38/611.56 c 6 612s| 72 | 73 |633757 |8023.9 | 151M| 45 |1368 | 36k| 35k| 36k| 36k|1619 | 157 | 0 | 0.000000e+00 | 6.540000e+02 | Inf
611.67/611.83 o 607
611.67/611.83 c 6 612s| 73 | 72 |633757 |7912.4 | 152M| 45 | - | 36k| 35k| 0 | 0 |1619 | 157 | 0 | 0.000000e+00 | 6.070000e+02 | Inf
692.16/692.33 c 692s| 100 | 101 |709709 |6521.7 | 153M| 57 |1021 | 36k| 35k| 36k| 36k|1626 | 178 | 0 | 0.000000e+00 | 6.070000e+02 | Inf
811.35/811.57 c 812s| 200 | 201 |852808 |3963.5 | 157M| 101 | 762 | 36k| 35k| 36k| 36k|1703 | 221 | 0 | 0.000000e+00 | 6.070000e+02 | Inf
981.92/982.11 c 982s| 300 | 249 | 1032k|3239.2 | 162M| 133 |3102 | 36k| 35k| 36k| 35k|1837 | 289 | 0 | 0.000000e+00 | 6.070000e+02 | Inf
1060.41/1060.63 o 606
1060.41/1060.63 c s1061s| 388 | 283 | 1156k|2821.8 | 166M| 160 | - | 36k| 35k| 36k| 36k|1890 | 310 | 0 | 0.000000e+00 | 6.060000e+02 | Inf
1060.61/1060.85 o 274
1060.61/1060.85 c 61061s| 388 | 192 | 1156k|2821.8 | 162M| 160 | - | 36k| 35k| 36k| 36k|1890 | 310 | 0 | 0.000000e+00 | 2.740000e+02 | Inf
1065.21/1065.42 c 1065s| 400 | 194 | 1163k|2756.3 | 161M| 160 | 924 | 36k| 35k| 36k| 36k|1902 | 322 | 0 | 0.000000e+00 | 2.740000e+02 | Inf
1182.39/1182.63 c 1183s| 500 | 262 | 1316k|2509.2 | 164M| 160 | - | 36k| 35k| 0 | 0 |2027 | 367 | 0 | 0.000000e+00 | 2.740000e+02 | Inf
1224.38/1224.65 c 1225s| 600 | 303 | 1356k|2157.0 | 166M| 160 | 18 | 36k| 35k| 36k| 36k|2037 | 463 | 0 | 0.000000e+00 | 2.740000e+02 | Inf
1224.88/1225.16 o 273
1224.88/1225.16 c s1225s| 614 | 280 | 1356k|2107.8 | 167M| 160 | - | 36k| 35k| 36k| 36k|2037 | 486 | 0 | 0.000000e+00 | 2.730000e+02 | Inf
1225.09/1225.33 o 178
1225.09/1225.33 c 61225s| 614 | 219 | 1356k|2107.8 | 166M| 160 | - | 36k| 35k| 36k| 36k|2037 | 486 | 0 | 0.000000e+00 | 1.780000e+02 | Inf
1237.58/1237.82 c 1238s| 700 | 248 | 1370k|1869.0 | 165M| 160 | 519 | 36k| 35k| 36k| 36k|2055 | 613 | 0 | 0.000000e+00 | 1.780000e+02 | Inf
1241.18/1241.47 o 177
1241.18/1241.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.18/1241.47 c z1241s| 774 | 253 | 1371k|1690.9 | 170M| 160 | - | 36k| 35k| 36k| 36k|2055 | 662 | 0 | 0.000000e+00 | 1.770000e+02 | Inf
1241.38/1241.60 o 166
1241.38/1241.60 c 61242s| 775 | 224 | 1371k|1688.7 | 171M| 160 | - | 36k| 35k| 0 | 0 |2055 | 662 | 0 | 0.000000e+00 | 1.660000e+02 | Inf
1255.58/1255.85 c 1256s| 800 | 244 | 1392k|1663.2 | 171M| 160 | 705 | 36k| 35k| 36k| 36k|2072 | 702 | 0 | 0.000000e+00 | 1.660000e+02 | Inf
1277.68/1277.96 c 1278s| 900 | 294 | 1415k|1503.4 | 174M| 160 | 67 | 36k| 35k| 36k| 36k|2095 | 789 | 0 | 0.000000e+00 | 1.660000e+02 | Inf
1277.98/1278.22 o 164
1277.98/1278.22 c s1278s| 905 | 283 | 1415k|1495.1 | 175M| 160 | - | 36k| 35k| 36k| 36k|2095 | 789 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
1278.08/1278.38 o 153
1278.08/1278.38 c 61278s| 905 | 239 | 1415k|1495.1 | 174M| 160 | - | 36k| 35k| 36k| 36k|2095 | 789 | 0 | 0.000000e+00 | 1.530000e+02 | Inf
1316.97/1317.20 c 1317s| 1000 | 297 | 1461k|1398.8 | 176M| 160 | - | 36k| 35k| 0 | 0 |2130 | 843 | 0 | 0.000000e+00 | 1.530000e+02 | Inf
1322.37/1322.63 o 152
1322.37/1322.63 c s1323s| 1064 | 326 | 1464k|1317.1 | 179M| 160 | - | 36k| 35k| 36k| 36k|2132 | 888 | 0 | 0.000000e+00 | 1.520000e+02 | Inf
1322.57/1322.82 o 88
1322.57/1322.82 c 61323s| 1064 | 210 | 1464k|1317.1 | 173M| 160 | - | 36k| 35k| 36k| 36k|2132 | 888 | 0 | 0.000000e+00 | 8.800000e+01 | Inf
1333.67/1333.98 c 1334s| 1100 | 246 | 1481k|1290.1 | 172M| 160 | 588 | 36k| 33k| 36k| 36k|2159 | 888 | 0 | 0.000000e+00 | 8.800000e+01 | Inf
1388.26/1388.56 c 1389s| 1200 | 269 | 1544k|1235.0 | 174M| 160 | 344 | 36k| 34k| 36k| 36k|2226 |1017 | 0 | 0.000000e+00 | 8.800000e+01 | Inf
1390.07/1390.31 o 87
1390.07/1390.31 c *1390s| 1234 | 263 | 1545k|1201.5 | 174M| 160 | - | 36k| 34k| 36k| 36k|2227 |1038 | 0 | 0.000000e+00 | 8.700000e+01 | Inf
1390.17/1390.41 o 76
1390.17/1390.41 c 61390s| 1234 | 250 | 1545k|1201.5 | 175M| 160 | - | 36k| 34k| 36k| 36k|2227 |1038 | 0 | 0.000000e+00 | 7.600000e+01 | Inf
1395.86/1396.18 c 1396s| 1300 | 288 | 1549k|1143.5 | 175M| 160 | 60 | 36k| 32k| 36k| 36k|2232 |1096 | 0 | 0.000000e+00 | 7.600000e+01 | Inf
1397.25/1397.57 o 75
1397.25/1397.57 c *1398s| 1332 | 257 | 1549k|1116.1 | 178M| 160 | - | 36k| 32k| 36k| 36k|2232 |1100 | 0 | 0.000000e+00 | 7.500000e+01 | Inf
1397.46/1397.71 o 62
1397.46/1397.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.46/1397.71 c 61398s| 1332 | 204 | 1549k|1116.1 | 177M| 160 | - | 36k| 32k| 36k| 36k|2232 |1100 | 0 | 0.000000e+00 | 6.200000e+01 | Inf
1402.56/1402.80 c 1403s| 1400 | 254 | 1553k|1064.4 | 177M| 160 | 18 | 36k| 30k| 36k| 36k|2237 |1123 | 0 | 0.000000e+00 | 6.200000e+01 | Inf
1402.96/1403.29 o 61
1402.96/1403.29 c R1403s| 1410 | 238 | 1553k|1056.9 | 179M| 160 | - | 36k| 30k| 36k| 36k|2237 |1127 | 0 | 0.000000e+00 | 6.100000e+01 | Inf
1469.45/1469.75 o 60
1469.45/1469.75 c s1470s| 1448 | 224 | 1644k|1092.3 | 179M| 160 | - | 36k| 30k| 36k| 36k|2296 |1137 | 0 | 0.000000e+00 | 6.000000e+01 | Inf
1500.05/1500.37 c 1500s| 1500 | 255 | 1689k|1084.1 | 180M| 160 | 241 | 36k| 30k| 36k| 36k|2352 |1161 | 0 | 0.000000e+00 | 6.000000e+01 | Inf
1507.14/1507.43 o 59
1507.14/1507.43 c *1507s| 1595 | 289 | 1693k|1022.3 | 183M| 160 | - | 36k| 30k| 36k| 36k|2360 |1232 | 0 | 0.000000e+00 | 5.900000e+01 | Inf
1507.24/1507.54 o 58
1507.24/1507.54 c 61508s| 1595 | 257 | 1693k|1022.3 | 184M| 160 | - | 36k| 30k| 36k| 36k|2360 |1232 | 0 | 0.000000e+00 | 5.800000e+01 | Inf
1507.94/1508.20 c 1508s| 1600 | 259 | 1693k|1019.3 | 183M| 160 | 181 | 36k| 29k| 36k| 36k|2360 |1242 | 0 | 0.000000e+00 | 5.800000e+01 | Inf
1509.64/1509.93 o 57
1509.64/1509.93 c *1510s| 1638 | 254 | 1694k| 995.8 | 185M| 160 | - | 36k| 29k| 36k| 36k|2360 |1245 | 0 | 0.000000e+00 | 5.700000e+01 | Inf
1523.14/1523.46 c 1523s| 1700 | 278 | 1711k| 969.7 | 187M| 160 | 367 | 36k| 29k| 36k| 36k|2388 |1315 | 0 | 0.000000e+00 | 5.700000e+01 | Inf
1588.73/1589.01 o 56
1588.73/1589.01 c *1589s| 1795 | 314 | 1791k| 962.7 | 188M| 160 | - | 36k| 29k| 36k| 36k|2430 |1379 | 0 | 0.000000e+00 | 5.600000e+01 | Inf
1589.23/1589.58 c 1590s| 1800 | 306 | 1791k| 960.1 | 189M| 160 | 202 | 36k| 29k| 36k| 36k|2430 |1405 | 0 | 0.000000e+00 | 5.600000e+01 | Inf
1590.93/1591.29 o 55
1590.93/1591.29 c *1591s| 1838 | 281 | 1791k| 940.5 | 189M| 160 | - | 36k| 29k| 36k| 36k|2430 |1413 | 0 | 0.000000e+00 | 5.500000e+01 | Inf
1598.23/1598.59 c 1599s| 1900 | 331 | 1797k| 913.0 | 190M| 160 | 82 | 36k| 29k| 36k| 36k|2446 |1441 | 0 | 0.000000e+00 | 5.500000e+01 | Inf
1599.82/1600.17 o 54
1599.82/1600.17 c s1600s| 1937 | 316 | 1798k| 895.7 | 190M| 160 | - | 36k| 29k| 36k| 36k|2446 |1465 | 0 | 0.000000e+00 | 5.400000e+01 | Inf
1602.03/1602.33 o 53
1602.03/1602.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.03/1602.33 c R1602s| 1981 | 310 | 1798k| 876.0 | 191M| 160 | - | 36k| 29k| 36k| 36k|2446 |1489 | 0 | 0.000000e+00 | 5.300000e+01 | Inf
1603.72/1604.00 c 1604s| 2000 | 325 | 1799k| 868.2 | 191M| 160 | 185 | 36k| 29k| 36k| 36k|2449 |1498 | 0 | 0.000000e+00 | 5.300000e+01 | Inf
1605.02/1605.33 o 52
1605.02/1605.33 c s1605s| 2029 | 315 | 1799k| 856.0 | 191M| 160 | - | 36k| 29k| 36k| 36k|2449 |1513 | 0 | 0.000000e+00 | 5.200000e+01 | Inf
1620.62/1620.90 o 51
1620.62/1620.90 c y1621s| 2094 | 342 | 1814k| 836.5 | 193M| 160 | - | 36k| 29k| 36k| 36k|2459 |1547 | 0 | 0.000000e+00 | 5.100000e+01 | Inf
1621.13/1621.43 c 1621s| 2100 | 348 | 1814k| 834.1 | 193M| 160 | 88 | 36k| 29k| 36k| 36k|2459 |1547 | 0 | 0.000000e+00 | 5.100000e+01 | Inf
1622.02/1622.34 o 50
1622.02/1622.34 c *1622s| 2120 | 327 | 1815k| 826.4 | 194M| 160 | - | 36k| 29k| 36k| 36k|2459 |1549 | 0 | 0.000000e+00 | 5.000000e+01 | Inf
1641.22/1641.56 o 49
1641.22/1641.56 c s1642s| 2172 | 316 | 1839k| 817.8 | 193M| 160 | - | 36k| 28k| 36k| 36k|2487 |1562 | 0 | 0.000000e+00 | 4.900000e+01 | Inf
1643.42/1643.72 c 1644s| 2200 | 344 | 1840k| 807.8 | 194M| 160 | 42 | 36k| 28k| 36k| 36k|2487 |1562 | 0 | 0.000000e+00 | 4.900000e+01 | Inf
1643.92/1644.25 o 48
1643.92/1644.25 c *1644s| 2212 | 314 | 1840k| 803.5 | 194M| 160 | - | 36k| 28k| 36k| 36k|2487 |1562 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
1684.71/1685.10 c 1685s| 2300 | 317 | 1884k| 791.6 | 194M| 160 | 901 | 36k| 28k| 36k| 36k|2503 |1662 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
1690.41/1690.79 o 47
1690.41/1690.79 c s1691s| 2373 | 339 | 1888k| 769.0 | 195M| 160 | - | 36k| 28k| 36k| 36k|2511 |1704 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
1692.71/1693.01 c 1693s| 2400 | 358 | 1889k| 761.0 | 195M| 160 | 134 | 36k| 28k| 36k| 36k|2513 |1718 | 0 | 0.000000e+00 | 4.700000e+01 | Inf
1694.61/1694.99 o 46
1694.61/1694.99 c s1695s| 2456 | 333 | 1890k| 743.8 | 196M| 160 | - | 36k| 28k| 36k| 36k|2513 |1796 | 0 | 0.000000e+00 | 4.600000e+01 | Inf
1729.10/1729.43 c 1729s| 2500 | 330 | 1940k| 750.7 | 195M| 160 |1520 | 36k| 28k| 36k| 36k|2587 |1827 | 0 | 0.000000e+00 | 4.600000e+01 | Inf
1767.30/1767.65 c 1768s| 2600 | 416 | 1988k| 740.3 | 197M| 160 | 140 | 36k| 28k| 36k| 36k|2632 |1870 | 0 | 0.000000e+00 | 4.600000e+01 | Inf
1773.40/1773.73 o 45
1773.40/1773.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.40/1773.73 c *1774s| 2698 | 355 | 1990k| 714.3 | 197M| 160 | - | 36k| 28k| 36k| 36k|2636 |1926 | 0 | 0.000000e+00 | 4.500000e+01 | Inf
1774.29/1774.63 c 1775s| 2700 | 357 | 1991k| 714.1 | 197M| 160 |1051 | 36k| 28k| 36k| 36k|2637 |1926 | 0 | 0.000000e+00 | 4.500000e+01 | Inf
1779.50/1779.87 o 44
1779.50/1779.87 c s1780s| 2773 | 380 | 1995k| 696.6 | 198M| 160 | - | 36k| 28k| 36k| 36k|2641 |1938 | 0 | 0.000000e+00 | 4.400000e+01 | Inf
1781.79/1782.10 c 1782s| 2800 | 389 | 1996k| 690.5 | 198M| 160 | 270 | 36k| 28k| 36k| 36k|2645 |1967 | 0 | 0.000000e+00 | 4.400000e+01 | Inf
1783.59/1783.96 o 43
1783.59/1783.96 c s1784s| 2836 | 371 | 1997k| 682.0 | 199M| 160 | - | 36k| 28k| 36k| 36k|2645 |1977 | 0 | 0.000000e+00 | 4.300000e+01 | Inf
1796.69/1797.02 c
1796.69/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.02 c Solving Time (sec) : 1797.02
1796.69/1797.02 c Solving Nodes : 2877
1796.69/1797.02 c Primal Bound : +4.30000000000000e+01 (67 solutions)
1796.69/1797.02 c Dual Bound : +0.00000000000000e+00
1796.69/1797.02 c Gap : infinite
1796.69/1797.03 s SATISFIABLE
1796.69/1797.04 v -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 x7572 x7571 x7570 x7569 -x7568 -x7567 -x7566 x7565 -x7564 -x7563 x7562 -x7561 x7560 -x7559
1796.69/1797.04 v x7558 x7557 -x7556 -x7555 x7554 x7553 -x7552 x7551 -x7550 x7549 x7548 -x7547 x7546 x7545 -x7544 x7543 x7542 -x7541 -x7540
1796.69/1797.04 v x7539 -x7538 -x7537 x7536 -x7535 -x7534 x7533 x7532 -x7531 x7530 x7529 x7528 x7527 x7526 -x7525 x7524 -x7523 x7522 -x7521
1796.69/1797.04 v -x7520 x7519 -x7518 x7517 x7516 x7515 -x7514 x7513 -x7512 x7511 x7510 -x7509 -x7508 -x7507 -x7506 x7505 x7504 -x7503 x7502 -x7501
1796.69/1797.04 v x7500 -x7499 x7498 -x7497 -x7496 x7495 -x7494 x7493 x7492 x7491 -x7490 -x7489 x7488 -x7487 x7486 x7485 x7484 x7483 -x7482
1796.69/1797.04 v x7481 x7480 x7479 -x7478 -x7477 x7476 x7475 x7474 -x7473 -x7472 x7471 x7470 x7469 -x7468 x7467 -x7466 x7465 x7464 x7463 x7462
1796.69/1797.04 v -x7461 x7460 x7459 -x7458 -x7457 x7456 -x7455 -x7454 x7453 x7452 x7451 -x7450 x7449 x7448 -x7447 -x7446 -x7445 -x7444 x7443
1796.69/1797.04 v -x7442 x7441 x7440 -x7439 x7438 -x7437 -x7436 -x7435 x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 x7425 -x7424
1796.69/1797.04 v -x7423 x7422 x7421 -x7420 x7419 -x7418 x7417 x7416 -x7415 x7414 -x7413 -x7412 x7411 x7410 -x7409 x7408 -x7407 x7406 -x7405
1796.69/1797.04 v x7404 x7403 x7402 x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387
1796.69/1797.04 v -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369
1796.69/1797.04 v -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 x7359 x7358 x7357 x7356 x7355 x7354 x7353 x7352 x7351 x7350 x7349
1796.69/1797.04 v x7348 x7347 x7346 x7345 x7344 x7343 x7342 x7341 x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 x7330
1796.69/1797.04 v -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312
1796.69/1797.04 v x7311 x7310 x7309 x7308 x7307 x7306 x7305 x7304 x7303 x7302 -x7301 -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293
1796.69/1797.04 v -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275
1796.69/1797.04 v -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 x7266 x7265 x7264 x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257
1796.69/1797.04 v -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239
1796.69/1797.04 v -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221
1796.69/1797.04 v -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203
1796.69/1797.04 v -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185
1796.69/1797.04 v -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167
1796.69/1797.04 v -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149
1796.69/1797.04 v -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132
1796.69/1797.04 v -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114
1796.69/1797.04 v -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096
1796.69/1797.04 v -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078
1796.69/1797.04 v -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060
1796.69/1797.04 v -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 x7050 x7049 x7048 x7047 x7046 -x7045 -x7044 -x7043 -x7042
1796.69/1797.04 v -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024
1796.69/1797.04 v -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006
1796.69/1797.04 v -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988
1796.69/1797.04 v -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970
1796.69/1797.04 v -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952
1796.69/1797.04 v x6951 x6950 x6949 x6948 x6947 x6946 x6945 -x6944 -x6943 -x6942 x6941 x6940 x6939 x6938 x6937 x6936 x6935 x6934 x6933 x6932 x6931
1796.69/1797.04 v -x6930 x6929 x6928 x6927 x6926 -x6925 x6924 -x6923 -x6922 x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913
1796.69/1797.04 v -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895
1796.69/1797.04 v -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 x6885 -x6884 -x6883 x6882 -x6881 -x6880 -x6879 -x6878 -x6877
1796.69/1797.04 v -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 x6860 -x6859 -x6858
1796.69/1797.04 v x6857 x6856 x6855 x6854 x6853 -x6852 x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840
1796.69/1797.04 v x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 x6827 x6826 -x6825 -x6824 -x6823 -x6822 -x6821
1796.69/1797.04 v -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804
1796.69/1797.04 v -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786
1796.69/1797.04 v -x6785 -x6784 -x6783 x6782 -x6781 -x6780 -x6779 -x6778 x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768
1796.69/1797.04 v -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750
1796.69/1797.04 v -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732
1796.69/1797.04 v -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722 x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714
1796.69/1797.04 v -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696
1796.69/1797.04 v -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678
1796.69/1797.04 v -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 x6662 -x6661 -x6660
1796.69/1797.04 v -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 x6651 -x6650 x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642
1796.69/1797.04 v -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624
1796.69/1797.04 v -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 x6609 -x6608 -x6607 -x6606
1796.69/1797.04 v -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588
1796.69/1797.04 v -x6587 -x6586 -x6585 x6584 -x6583 -x6582 -x6581 x6580 -x6579 -x6578 -x6577 -x6576 x6575 x6574 -x6573 -x6572 x6571 -x6570
1796.69/1797.04 v -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 x6562 -x6561 -x6560 -x6559 -x6558 -x6557 x6556 -x6555 -x6554 -x6553 -x6552
1796.69/1797.04 v -x6551 -x6550 x6549 -x6548 -x6547 -x6546 -x6545 -x6544 x6543 -x6542 -x6541 x6540 -x6539 -x6538 -x6537 -x6536 x6535 -x6534 -x6533
1796.69/1797.04 v -x6532 x6531 -x6530 -x6529 -x6528 x6527 x6526 x6525 x6524 x6523 x6522 x6521 x6520 x6519 x6518 x6517 x6516 x6515 x6514 x6513
1796.69/1797.04 v x6512 x6511 x6510 x6509 x6508 x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494
1796.69/1797.04 v -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476
1796.69/1797.04 v -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459
1796.69/1797.04 v -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441
1796.69/1797.04 v -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423
1796.69/1797.04 v -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405
1796.69/1797.04 v -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387
1796.69/1797.04 v -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369
1796.69/1797.04 v -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 x6354 x6353 x6352 x6351
1796.69/1797.04 v x6350 x6349 x6348 x6347 x6346 x6345 x6344 x6343 x6342 x6341 x6340 x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331
1796.69/1797.04 v -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313
1796.69/1797.04 v -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296
1796.69/1797.04 v -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278
1796.69/1797.04 v -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260
1796.69/1797.04 v -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242
1796.69/1797.04 v -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224
1796.69/1797.04 v -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206
1796.69/1797.04 v -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 x6193 x6192 -x6191 -x6190 -x6189 -x6188
1796.69/1797.04 v -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170
1796.69/1797.04 v -x6169 -x6168 -x6167 -x6166 x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 x6157 -x6156 -x6155 -x6154 -x6153 -x6152
1796.69/1797.04 v -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134
1796.69/1797.04 v -x6133 -x6132 -x6131 x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116
1796.69/1797.04 v -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 x6105 x6104 x6103 x6102 x6101 -x6100 x6099 -x6098
1796.69/1797.04 v -x6097 x6096 -x6095 -x6094 -x6093 x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079
1796.69/1797.04 v x6078 x6077 x6076 x6075 x6074 x6073 -x6072 -x6071 x6070 -x6069 -x6068 -x6067 -x6066 x6065 -x6064 -x6063 -x6062 x6061 -x6060
1796.69/1797.04 v -x6059 -x6058 -x6057 x6056 -x6055 -x6054 -x6053 x6052 -x6051 -x6050 -x6049 -x6048 x6047 -x6046 -x6045 -x6044 x6043 -x6042
1796.69/1797.04 v -x6041 x6040 -x6039 -x6038 -x6037 x6036 -x6035 -x6034 -x6033 x6032 -x6031 -x6030 x6029 x6028 -x6027 -x6026 x6025 -x6024 -x6023
1796.69/1797.04 v -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005
1796.69/1797.04 v -x6004 x6003 -x6002 x6001 -x6000 x5999 x5998 x5997 x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986
1796.69/1797.04 v -x5985 -x5984 -x5983 x5982 x5981 x5980 x5979 x5978 x5977 x5976 x5975 x5974 x5973 x5972 -x5971 -x5970 -x5969 -x5968 x5967
1796.69/1797.04 v -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 x5957 x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949
1796.69/1797.04 v -x5948 -x5947 -x5946 -x5945 x5944 -x5943 -x5942 x5941 x5940 x5939 x5938 x5937 x5936 x5935 x5934 x5933 -x5932 -x5931 -x5930 -x5929
1796.69/1797.04 v -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911
1796.69/1797.04 v -x5910 -x5909 -x5908 -x5907 -x5906 x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893
1796.69/1797.04 v -x5892 -x5891 x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875
1796.69/1797.04 v -x5874 x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 x5857
1796.69/1797.04 v -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839
1796.69/1797.04 v -x5838 -x5837 x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821
1796.69/1797.04 v -x5820 x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 x5811 -x5810 -x5809 -x5808 x5807 -x5806 -x5805 -x5804 -x5803
1796.69/1797.04 v x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 x5794 -x5793 -x5792 -x5791 x5790 -x5789 -x5788 -x5787 -x5786 x5785
1796.69/1797.04 v -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 x5772 -x5771 -x5770 x5769 -x5768 -x5767
1796.69/1797.04 v -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 x5755 -x5754 -x5753 -x5752 -x5751 x5750 -x5749 -x5748
1796.69/1797.04 v x5747 -x5746 -x5745 -x5744 -x5743 x5742 -x5741 -x5740 x5739 -x5738 -x5737 -x5736 -x5735 -x5734 x5733 -x5732 x5731 -x5730
1796.69/1797.04 v -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712
1796.69/1797.04 v -x5711 -x5710 -x5709 -x5708 -x5707 x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694
1796.69/1797.04 v -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 x5686 -x5685 -x5684 x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676
1796.69/1797.04 v -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 x5659 -x5658
1796.69/1797.04 v -x5657 -x5656 -x5655 x5654 x5653 x5652 -x5651 -x5650 -x5649 -x5648 x5647 -x5646 -x5645 -x5644 -x5643 -x5642 x5641 -x5640 -x5639
1796.69/1797.04 v -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 x5627 -x5626 -x5625 x5624 x5623 x5622 x5621 x5620
1796.69/1797.04 v x5619 -x5618 x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602
1796.69/1797.04 v -x5601 -x5600 -x5599 -x5598 x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 x5588 -x5587 x5586 -x5585 x5584
1796.69/1797.04 v -x5583 -x5582 -x5581 -x5580 -x5579 x5578 -x5577 -x5576 x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566
1796.69/1797.04 v -x5565 -x5564 x5563 -x5562 -x5561 -x5560 -x5559 -x5558 x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 x5549 -x5548 -x5547
1796.69/1797.04 v -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 x5540 -x5539 -x5538 -x5537 -x5536 x5535 -x5534 x5533 -x5532 -x5531 -x5530 x5529
1796.69/1797.04 v -x5528 -x5527 -x5526 -x5525 x5524 -x5523 -x5522 -x5521 -x5520 -x5519 x5518 -x5517 x5516 -x5515 -x5514 -x5513 -x5512 -x5511
1796.69/1797.04 v -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493
1796.69/1797.04 v -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475
1796.69/1797.04 v -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 x5465 -x5464 x5463 x5462 x5461 x5460 x5459 x5458 x5457 x5456
1796.69/1797.04 v x5455 x5454 x5453 x5452 x5451 x5450 x5449 x5448 x5447 x5446 x5445 x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 x5436
1796.69/1797.04 v x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418
1796.69/1797.04 v -x5417 -x5416 -x5415 x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400
1796.69/1797.04 v -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382
1796.69/1797.04 v -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364
1796.69/1797.04 v -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 x5356 x5355 x5354 x5353 x5352 x5351 x5350 x5349 x5348 -x5347 -x5346 -x5345
1796.69/1797.04 v -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327
1796.69/1797.04 v -x5326 -x5325 -x5324 x5323 -x5322 -x5321 -x5320 -x5319 x5318 -x5317 -x5316 -x5315 -x5314 x5313 x5312 -x5311 -x5310 -x5309
1796.69/1797.04 v -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 x5297 x5296 -x5295 -x5294 -x5293 x5292 -x5291
1796.69/1797.04 v -x5290 -x5289 x5288 x5287 x5286 x5285 x5284 x5283 x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272
1796.69/1797.04 v -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254
1796.69/1797.04 v -x5253 -x5252 -x5251 x5250 x5249 -x5248 -x5247 -x5246 x5245 -x5244 -x5243 -x5242 -x5241 x5240 -x5239 -x5238 x5237 -x5236 -x5235
1796.69/1797.04 v x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 x5224 x5223 -x5222 -x5221 -x5220 -x5219 x5218 x5217
1796.69/1797.04 v x5216 x5215 x5214 -x5213 x5212 -x5211 -x5210 -x5209 -x5208 -x5207 x5206 x5205 -x5204 -x5203 -x5202 x5201 -x5200 x5199 x5198
1796.69/1797.04 v -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 x5183 -x5182 -x5181 -x5180
1796.69/1797.04 v x5179 -x5178 -x5177 -x5176 x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 x5165 -x5164 -x5163 -x5162 -x5161
1796.69/1797.04 v -x5160 x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143
1796.69/1797.04 v -x5142 -x5141 -x5140 -x5139 -x5138 x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125
1796.69/1797.04 v -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107
1796.69/1797.04 v -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090
1796.69/1797.04 v -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072
1796.69/1797.04 v -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054
1796.69/1797.04 v -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036
1796.69/1797.04 v -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018
1796.69/1797.04 v -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000
1796.69/1797.04 v -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982
1796.69/1797.04 v -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964
1796.69/1797.04 v -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946
1796.69/1797.04 v -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 x4929 -x4928
1796.69/1797.04 v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910
1796.69/1797.04 v -x4909 -x4908 -x4907 -x4906 x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892
1796.69/1797.04 v -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875
1796.69/1797.04 v -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857
1796.69/1797.04 v -x4856 x4855 x4854 x4853 x4852 x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838
1796.69/1797.04 v -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 x4820
1796.69/1797.04 v -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 x4806 x4805 x4804 x4803 x4802 x4801
1796.69/1797.04 v x4800 x4799 x4798 x4797 -x4796 -x4795 x4794 -x4793 -x4792 x4791 x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782
1796.69/1797.04 v -x4781 x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764
1796.69/1797.04 v -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747
1796.69/1797.04 v -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 x4733 -x4732 -x4731 -x4730 -x4729
1796.69/1797.04 v -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711
1796.69/1797.04 v -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693
1796.69/1797.04 v -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675
1796.69/1797.04 v -x4674 -x4673 -x4672 -x4671 x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 x4662 -x4661 -x4660 -x4659 -x4658 -x4657
1796.69/1797.04 v -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639
1796.69/1797.04 v -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621
1796.69/1797.04 v x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603
1796.69/1797.04 v -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585
1796.69/1797.04 v -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 x4571 -x4570 -x4569 -x4568 -x4567
1796.69/1797.04 v -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549
1796.69/1797.04 v -x4548 -x4547 -x4546 x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531
1796.69/1797.04 v -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513
1796.69/1797.04 v -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495
1796.69/1797.04 v -x4494 x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477
1796.69/1797.04 v -x4476 x4475 x4474 x4473 x4472 x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459
1796.69/1797.04 v -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 x4442 x4441
1796.69/1797.04 v x4440 x4439 x4438 x4437 x4436 x4435 x4434 x4433 x4432 x4431 x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 x4422 -x4421
1796.69/1797.04 v -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403
1796.69/1797.04 v -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385
1796.69/1797.04 v -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 x4370 -x4369 -x4368 -x4367
1796.69/1797.04 v -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349
1796.69/1797.04 v -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 x4332 x4331
1796.69/1797.04 v x4330 x4329 x4328 x4327 -x4326 x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 x4315 -x4314 -x4313
1796.69/1797.04 v -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295
1796.69/1797.04 v -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277
1796.69/1797.04 v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259
1796.69/1797.04 v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
1796.69/1797.04 v x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
1796.69/1797.04 v -x4222 -x4221 -x4220 x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205
1796.69/1797.04 v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 x4190 -x4189 -x4188 -x4187
1796.69/1797.04 v -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 x4170 x4169
1796.69/1797.04 v x4168 x4167 x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151
1796.69/1797.04 v -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 x4137 x4136 x4135 x4134 x4133 x4132
1796.69/1797.04 v x4131 -x4130 -x4129 -x4128 x4127 -x4126 -x4125 -x4124 -x4123 x4122 x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 x4113
1796.69/1797.04 v -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095
1796.69/1797.04 v -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077
1796.69/1797.04 v -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059
1796.69/1797.04 v -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042
1796.69/1797.04 v x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024
1796.69/1797.04 v -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006
1796.69/1797.04 v -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988
1796.69/1797.04 v x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970
1796.69/1797.04 v -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952
1796.69/1797.04 v -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934
1796.69/1797.04 v -x3933 -x3932 -x3931 -x3930 -x3929 x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916
1796.69/1797.04 v -x3915 -x3914 -x3913 -x3912 -x3911 x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898
1796.69/1797.04 v -x3897 -x3896 -x3895 -x3894 -x3893 x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880
1796.69/1797.04 v -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 x3870 x3869 x3868 x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861
1796.69/1797.04 v -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844
1796.69/1797.04 v -x3843 x3842 x3841 x3840 x3839 x3838 x3837 x3836 -x3835 x3834 x3833 x3832 x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824
1796.69/1797.04 v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806
1796.69/1797.04 v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 x3791 x3790 x3789 x3788
1796.69/1797.04 v x3787 x3786 x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769
1796.69/1797.04 v -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 x3751
1796.69/1797.04 v -x3750 -x3749 -x3748 -x3747 -x3746 x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733
1796.69/1797.04 v -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715
1796.69/1797.04 v -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 x3699 -x3698 -x3697
1796.69/1797.04 v -x3696 -x3695 -x3694 x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679
1796.69/1797.04 v -x3678 x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 x3662 -x3661
1796.69/1797.04 v -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643
1796.69/1797.04 v -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 x3628 -x3627 -x3626 -x3625
1796.69/1797.04 v -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 x3610 -x3609 -x3608 -x3607
1796.69/1797.04 v -x3606 -x3605 -x3604 x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 x3590 -x3589
1796.69/1797.04 v -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571
1796.69/1797.04 v -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553
1796.69/1797.04 v -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535
1796.69/1797.04 v -x3534 -x3533 x3532 x3531 x3530 x3529 x3528 x3527 x3526 x3525 x3524 x3523 x3522 -x3521 -x3520 -x3519 -x3518 x3517 -x3516
1796.69/1797.04 v -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 x3501 -x3500 -x3499 -x3498 -x3497
1796.69/1797.04 v -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482 -x3481 -x3480 -x3479
1796.69/1797.04 v -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 x3465 x3464 x3463 x3462 x3461
1796.69/1797.04 v x3460 x3459 x3458 x3457 x3456 -x3455 -x3454 -x3453 -x3452 -x3451 x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442
1796.69/1797.04 v -x3441 -x3440 -x3439 -x3438 x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424
1796.69/1797.04 v -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 x3410 -x3409 x3408 -x3407 -x3406
1796.69/1797.04 v -x3405 -x3404 -x3403 -x3402 -x3401 x3400 x3399 -x3398 -x3397 x3396 -x3395 -x3394 x3393 x3392 x3391 x3390 -x3389 -x3388 -x3387
1796.69/1797.04 v -x3386 x3385 x3384 -x3383 -x3382 -x3381 x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369
1796.69/1797.04 v x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 x3354 -x3353 -x3352 -x3351
1796.69/1797.04 v -x3350 -x3349 -x3348 -x3347 -x3346 x3345 x3344 x3343 x3342 x3341 x3340 x3339 x3338 x3337 x3336 x3335 x3334 -x3333 -x3332 -x3331
1796.69/1797.04 v -x3330 -x3329 x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313
1796.69/1797.04 v -x3312 -x3311 -x3310 -x3309 -x3308 x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295
1796.69/1797.04 v -x3294 -x3293 -x3292 -x3291 x3290 -x3289 -x3288 x3287 -x3286 -x3285 -x3284 x3283 -x3282 -x3281 -x3280 x3279 -x3278 -x3277 -x3276
1796.69/1797.04 v x3275 -x3274 -x3273 -x3272 -x3271 x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 x3261 -x3260 -x3259 -x3258
1796.69/1797.04 v -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240
1796.69/1797.04 v -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 x3232 -x3231 -x3230 x3229 -x3228 x3227 -x3226 -x3225 x3224 -x3223 x3222
1796.69/1797.04 v -x3221 -x3220 -x3219 -x3218 x3217 -x3216 -x3215 -x3214 -x3213 x3212 -x3211 -x3210 -x3209 -x3208 x3207 -x3206 -x3205 -x3204 x3203
1796.69/1797.04 v -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185
1796.69/1797.04 v -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 x3176 -x3175 -x3174 -x3173 x3172 x3171 x3170 -x3169 -x3168 -x3167
1796.69/1797.04 v -x3166 x3165 x3164 x3163 x3162 x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 x3151 x3150 -x3149 -x3148
1796.69/1797.04 v x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 x3138 x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130
1796.69/1797.04 v -x3129 -x3128 -x3127 -x3126 -x3125 x3124 x3123 x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 x3113 x3112 -x3111
1796.69/1797.04 v -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 x3100 x3099 -x3098 -x3097 -x3096 -x3095 x3094 -x3093
1796.69/1797.04 v -x3092 -x3091 -x3090 -x3089 -x3088 x3087 x3086 x3085 -x3084 x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074
1796.69/1797.04 v x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 x3060 x3059 x3058 x3057 x3056
1796.69/1797.04 v x3055 x3054 x3053 x3052 x3051 x3050 x3049 x3048 x3047 x3046 x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 x3037 x3036
1796.69/1797.04 v x3035 x3034 x3033 x3032 x3031 x3030 x3029 x3028 x3027 x3026 x3025 x3024 x3023 x3022 x3021 x3020 x3019 x3018 x3017 x3016 x3015
1796.69/1797.04 v x3014 x3013 x3012 x3011 x3010 x3009 x3008 -x3007 -x3006 -x3005 -x3004 x3003 -x3002 -x3001 -x3000 x2999 x2998 -x2997 -x2996
1796.69/1797.04 v -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 x2982 -x2981 -x2980 -x2979 -x2978
1796.69/1797.04 v -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960
1796.69/1797.04 v -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942
1796.69/1797.04 v -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 x2928 -x2927 -x2926 -x2925 -x2924
1796.69/1797.04 v -x2923 -x2922 -x2921 x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906
1796.69/1797.04 v -x2905 -x2904 -x2903 -x2902 x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 x2888
1796.69/1797.04 v x2887 x2886 x2885 x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869
1796.69/1797.04 v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851
1796.69/1797.04 v -x2850 -x2849 -x2848 -x2847 x2846 x2845 x2844 x2843 x2842 -x2841 -x2840 -x2839 x2838 -x2837 -x2836 -x2835 -x2834 -x2833
1796.69/1797.04 v -x2832 -x2831 x2830 x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814
1796.69/1797.04 v -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796
1796.69/1797.04 v -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779
1796.69/1797.04 v -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761
1796.69/1797.04 v -x2760 x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743
1796.69/1797.04 v -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 x2727 -x2726 -x2725
1796.69/1797.04 v -x2724 -x2723 x2722 x2721 x2720 -x2719 -x2718 x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706
1796.69/1797.04 v -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688
1796.69/1797.04 v -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 x2673 -x2672 -x2671 -x2670
1796.69/1797.04 v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 x2652
1796.69/1797.04 v -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634
1796.69/1797.04 v x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
1796.69/1797.04 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598
1796.69/1797.04 v -x2597 -x2596 x2595 x2594 x2593 x2592 x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580
1796.69/1797.04 v -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 x2566 x2565 x2564 x2563 x2562 -x2561
1796.69/1797.04 v -x2560 -x2559 x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 x2550 -x2549 -x2548 -x2547 -x2546 -x2545 x2544 x2543
1796.69/1797.04 v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525
1796.69/1797.04 v x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 x2507
1796.69/1797.04 v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489
1796.69/1797.04 v -x2488 x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471
1796.69/1797.04 v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453
1796.69/1797.04 v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 x2439 -x2438 -x2437 -x2436 -x2435
1796.69/1797.04 v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417
1796.69/1797.04 v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399
1796.69/1797.04 v -x2398 -x2397 -x2396 x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381
1796.69/1797.04 v -x2380 x2379 x2378 x2377 x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363
1796.69/1797.04 v -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 x2355 x2354 x2353 x2352 x2351 -x2350 -x2349 x2348 -x2347 -x2346 -x2345 x2344
1796.69/1797.04 v -x2343 x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
1796.69/1797.04 v -x2325 -x2324 -x2323 -x2322 -x2321 x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 x2313 x2312 x2311 x2310 x2309 -x2308 -x2307
1796.69/1797.04 v -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289
1796.69/1797.04 v -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271
1796.69/1797.04 v -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 x2264 -x2263 -x2262 -x2261 -x2260 -x2259 x2258 -x2257 -x2256 -x2255 -x2254 -x2253
1796.69/1797.04 v -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 x2245 -x2244 -x2243 -x2242 -x2241 -x2240 x2239 -x2238 x2237 x2236 x2235 x2234
1796.69/1797.04 v -x2233 x2232 -x2231 -x2230 x2229 -x2228 -x2227 -x2226 x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
1796.69/1797.04 v -x2215 -x2214 -x2213 -x2212 -x2211 x2210 -x2209 -x2208 -x2207 -x2206 -x2205 x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
1796.69/1797.04 v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 x2190 -x2189 -x2188 -x2187 -x2186 -x2185 x2184 -x2183 -x2182 -x2181 -x2180
1796.69/1797.04 v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162
1796.69/1797.04 v -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 x2149 x2148 x2147 x2146 x2145 x2144 -x2143
1796.69/1797.04 v x2142 -x2141 -x2140 x2139 -x2138 -x2137 x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 x2128 -x2127 -x2126 -x2125 -x2124
1796.69/1797.04 v -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 x2108 -x2107 -x2106
1796.69/1797.04 v -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 x2094 x2093 x2092 x2091 x2090 -x2089 x2088
1796.69/1797.04 v -x2087 -x2086 x2085 -x2084 -x2083 -x2082 x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 x2070 -x2069
1796.69/1797.04 v x2068 -x2067 -x2066 -x2065 x2064 x2063 -x2062 -x2061 -x2060 x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051
1796.69/1797.04 v -x2050 x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 x2042 -x2041 -x2040 -x2039 -x2038 -x2037 x2036 -x2035 -x2034 -x2033
1796.69/1797.04 v -x2032 -x2031 -x2030 x2029 -x2028 x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014
1796.69/1797.04 v x2013 -x2012 -x2011 -x2010 -x2009 -x2008 x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 x2000 x1999 x1998 x1997 -x1996
1796.69/1797.04 v x1995 -x1994 -x1993 x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 x1981 -x1980 -x1979 -x1978 -x1977
1796.69/1797.04 v -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959
1796.69/1797.04 v -x1958 x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941
1796.69/1797.04 v x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 x1931 x1930 x1929 x1928 x1927 -x1926 -x1925 -x1924 -x1923
1796.69/1797.04 v -x1922 -x1921 -x1920 x1919 x1918 -x1917 -x1916 x1915 x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904
1796.69/1797.04 v x1903 -x1902 -x1901 x1900 -x1899 -x1898 -x1897 -x1896 -x1895 x1894 x1893 -x1892 x1891 -x1890 -x1889 -x1888 -x1887 -x1886
1796.69/1797.04 v -x1885 x1884 -x1883 -x1882 x1881 x1880 x1879 x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867
1796.69/1797.04 v -x1866 x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849
1796.69/1797.04 v -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831
1796.69/1797.04 v -x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813
1796.69/1797.04 v -x1812 -x1811 -x1810 -x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 x1795
1796.69/1797.04 v -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777
1796.69/1797.04 v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759
1796.69/1797.04 v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 x1741
1796.69/1797.04 v -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723
1796.69/1797.04 v -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 x1710 x1709 x1708 x1707 x1706 -x1705
1796.69/1797.04 v -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687
1796.69/1797.04 v -x1686 -x1685 -x1684 -x1683 -x1682 x1681 x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 x1670 -x1669 -x1668
1796.69/1797.04 v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 x1661 x1660 x1659 x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 -x1650
1796.69/1797.04 v x1649 x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634 -x1633 -x1632
1796.69/1797.04 v -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614
1796.69/1797.04 v -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597 x1596
1796.69/1797.04 v -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 x1580 x1579 x1578 x1577
1796.69/1797.04 v -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 x1569 x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 -x1560 -x1559
1796.69/1797.04 v -x1558 x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541
1796.69/1797.04 v -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523
1796.69/1797.04 v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505
1796.69/1797.04 v -x1504 -x1503 -x1502 -x1501 x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 x1491 -x1490 -x1489 -x1488 -x1487
1796.69/1797.04 v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469
1796.69/1797.04 v -x1468 x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 x1454 -x1453 -x1452 -x1451
1796.69/1797.04 v -x1450 x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 x1435 -x1434 -x1433
1796.69/1797.04 v -x1432 x1431 -x1430 x1429 x1428 x1427 x1426 x1425 x1424 -x1423 -x1422 x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414
1796.69/1797.04 v -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 x1396
1796.69/1797.04 v -x1395 -x1394 -x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378
1796.69/1797.04 v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 x1371 -x1370 -x1369 -x1368 x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359
1796.69/1797.04 v -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341
1796.69/1797.04 v x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330 x1329 x1328 x1327 -x1326 x1325 x1324 x1323 x1322
1796.69/1797.04 v -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304
1796.69/1797.04 v -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286
1796.69/1797.04 v -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 x1270 x1269 x1268
1796.69/1797.04 v x1267 -x1266 x1265 x1264 x1263 x1262 -x1261 -x1260 -x1259 -x1258 -x1257 x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249
1796.69/1797.04 v -x1248 -x1247 -x1246 -x1245 -x1244 x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231
1796.69/1797.04 v x1230 x1229 x1228 x1227 x1226 x1225 x1224 x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212
1796.69/1797.04 v -x1211 x1210 -x1209 -x1208 -x1207 x1206 x1205 x1204 x1203 x1202 x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 x1193
1796.69/1797.04 v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 x1179 -x1178 -x1177 -x1176 -x1175
1796.69/1797.04 v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162 x1161 -x1160 -x1159 x1158 -x1157
1796.69/1797.04 v -x1156 -x1155 -x1154 x1153 -x1152 x1151 -x1150 x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138
1796.69/1797.04 v -x1137 -x1136 x1135 x1134 x1133 x1132 x1131 x1130 x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119
1796.69/1797.04 v -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101
1796.69/1797.04 v -x1100 x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083
1796.69/1797.04 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065
1796.69/1797.04 v -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046
1796.69/1797.04 v -x1045 -x1044 x1043 x1042 x1041 x1040 x1039 x1038 x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 x1028 -x1027
1796.69/1797.04 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 x1017 x1016 x1015 x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008
1796.69/1797.04 v -x1007 -x1006 -x1005 x1004 x1003 x1002 x1001 x1000 x999 x998 x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987
1796.69/1797.04 v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 x966
1796.69/1797.04 v -x965 -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945
1796.69/1797.04 v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 -x924
1796.69/1797.04 v -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903
1796.69/1797.04 v -x902 x901 x900 x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
1796.69/1797.04 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864 -x863 -x862 x861 -x860
1796.69/1797.04 v -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839
1796.69/1797.04 v -x838 -x837 -x836 -x835 -x834 x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 x825 x824 x823 x822 x821 x820 x819 x818 x817 x816
1796.69/1797.04 v -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 x800 x799 -x798 -x797 -x796 -x795 -x794
1796.69/1797.04 v -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 x778 -x777 -x776 -x775 x774 x773
1796.69/1797.04 v -x772 -x771 -x770 x769 x768 -x767 -x766 x765 x764 -x763 -x762 -x761 x760 x759 x758 x757 -x756 -x755 -x754 -x753 -x752 -x751
1796.69/1797.04 v -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741 x740 x739 x738 x737 x736 x735 x734 -x733 -x732 x731 -x730 -x729 -x728
1796.69/1797.04 v x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707
1796.69/1797.04 v x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686
1796.69/1797.04 v x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 -x670 x669 -x668 x667 -x666 -x665 -x664
1796.69/1797.04 v x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643
1796.69/1797.04 v x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 x622 x621
1796.69/1797.04 v -x620 -x619 x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600
1796.69/1797.04 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 -x580 -x579
1796.69/1797.04 v x578 -x577 x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 x563 -x562 -x561 x560 -x559 -x558 -x557
1796.69/1797.04 v x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 x546 -x545 -x544 x543 x542 x541 x540 x539 x538 x537 -x536 -x535 x534
1796.69/1797.04 v x533 x532 x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 x514 -x513 -x512
1796.69/1797.04 v -x511 x510 -x509 -x508 -x507 -x506 x505 x504 -x503 -x502 -x501 -x500 -x499 x498 x497 x496 -x495 -x494 x493 -x492 -x491 -x490
1796.69/1797.04 v x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 x476 -x475 -x474 -x473 x472 -x471 -x470 -x469
1796.69/1797.04 v -x468 x467 -x466 -x465 -x464 x463 -x462 x461 -x460 -x459 x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 x449 x448 x447
1796.69/1797.04 v -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425
1796.69/1797.04 v -x424 x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 x415 -x414 x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404
1796.69/1797.04 v x403 -x402 -x401 -x400 x399 x398 x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382
1796.69/1797.04 v x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 x363 -x362 x361 -x360 -x359
1796.69/1797.04 v -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 x349 -x348 x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 x339 -x338 -x337
1796.69/1797.04 v x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 x318 -x317 x316 -x315
1796.69/1797.04 v -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294
1796.69/1797.04 v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 x283 x282 x281 -x280 x279 -x278 -x277 x276 x275 x274 x273 x272
1796.69/1797.04 v x271 x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 x260 -x259 x258 -x257 -x256 -x255 -x254 x253 -x252 -x251 -x250
1796.69/1797.04 v -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
1796.69/1797.04 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207
1796.69/1797.04 v x206 -x205 x204 x203 x202 x201 x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 x190 -x189 -x188 x187 x186 x185 x184
1796.69/1797.04 v x183 x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 x173 x172 x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162
1796.69/1797.04 v -x161 x160 -x159 -x158 x157 -x156 -x155 -x154 x153 x152 x151 -x150 -x149 -x148 x147 x146 x145 -x144 x143 -x142 -x141 x140
1796.69/1797.04 v -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 x130 -x129 x128 -x127 -x126 x125 x124 x123 x122 -x121 -x120 x119 -x118 -x117
1796.69/1797.04 v -x116 x115 -x114 -x113 x112 x111 x110 -x109 -x108 -x107 x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 x97 -x96 -x95 -x94
1796.69/1797.04 v -x93 -x92 -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
1796.69/1797.04 v x66 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 -x39
1796.69/1797.04 v 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 x12 -x11 x10
1796.69/1797.04 v -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1796.69/1797.04 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.04 c Total Time : 1797.02
1796.69/1797.04 c solving : 1797.02
1796.69/1797.04 c presolving : 1.26 (included in solving)
1796.69/1797.04 c reading : 0.08 (included in solving)
1796.69/1797.04 c copying : 0.46 (4 #copies) (minimal 0.10, maximal 0.12, average 0.11)
1796.69/1797.04 c Original Problem :
1796.69/1797.04 c Problem name : HOME/instance-3717543-1338195609.wbo
1796.69/1797.04 c Variables : 21833 (21833 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.04 c Constraints : 21402 initial, 21402 maximal
1796.69/1797.04 c Objective sense : minimize
1796.69/1797.04 c Presolved Problem :
1796.69/1797.04 c Problem name : t_HOME/instance-3717543-1338195609.wbo
1796.69/1797.04 c Variables : 36047 (21792 binary, 0 integer, 14255 implicit integer, 0 continuous)
1796.69/1797.04 c Constraints : 35094 initial, 35803 maximal
1796.69/1797.04 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.04 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c trivial : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c gateextraction : 0.01 0.00 0 0 0 0 0 720 240 0 0
1796.69/1797.04 c implics : 0.00 0.00 0 39 0 0 0 0 0 0 0
1796.69/1797.04 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c probing : 0.61 0.00 0 1 0 0 0 0 0 0 0
1796.69/1797.04 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c setppc : 0.02 0.00 0 0 0 0 0 1 0 0 0
1796.69/1797.04 c and : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c linear : 0.34 0.00 0 1 0 14255 0 81 0 450 900
1796.69/1797.04 c indicator : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c logicor : 0.03 0.00 0 0 0 0 0 1 0 0 0
1796.69/1797.04 c bounddisjunction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.04 c root node : - - 16542 - - 16542 - - - - -
1796.69/1797.04 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.04 c integral : 0 0 0 0 2556 0 3931 0 0 0 0 0 5094
1796.69/1797.04 c knapsack : 314 314 7 43846 9 0 3928 1858 88 3913 940 0 0
1796.69/1797.04 c setppc : 4075 4075 7 43758 9 0 670 5297 12 48790 0 0 0
1796.69/1797.04 c and : 240 240 2959 43620 8 0 466 763 2 8366 1300 0 0
1796.69/1797.04 c linear : 14255 14255 7 43744 9 0 451 17716 221 186644 0 0 0
1796.69/1797.04 c indicator : 14255 14255 0 34807 0 0 338 1373 0 68422 0 0 0
1796.69/1797.04 c logicor : 1955+ 2558 7 20000 9 0 338 2163 86 22179 38 0 0
1796.69/1797.04 c bounddisjunction : 0+ 818 0 4017 0 0 0 117 8 428 0 0 0
1796.69/1797.04 c countsols : 0 0 0 0 9 0 249 0 0 0 0 0 0
1796.69/1797.04 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.04 c integral : 4.94 0.00 0.00 0.00 0.28 0.00 4.66 0.00
1796.69/1797.04 c knapsack : 0.78 0.00 0.02 0.56 0.00 0.00 0.20 0.00
1796.69/1797.04 c setppc : 4.34 0.00 0.00 3.77 0.00 0.00 0.56 0.01
1796.69/1797.04 c and : 0.47 0.00 0.12 0.32 0.00 0.00 0.03 0.00
1796.69/1797.04 c linear : 11.76 0.00 0.01 9.54 0.00 0.00 2.18 0.03
1796.69/1797.04 c indicator : 17.68 0.02 0.00 14.41 0.00 0.00 3.25 0.00
1796.69/1797.04 c logicor : 0.90 0.00 0.00 0.67 0.00 0.00 0.22 0.01
1796.69/1797.04 c bounddisjunction : 0.11 0.00 0.00 0.11 0.00 0.00 0.00 0.00
1796.69/1797.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.04 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.04 c rootredcost : 29 0 0 8271
1796.69/1797.04 c pseudoobj : 46208 3682 20 110714
1796.69/1797.04 c vbounds : 1210 10936 0 440297
1796.69/1797.04 c redcost : 3204 0 0 233104
1796.69/1797.04 c probing : 0 0 0 0
1796.69/1797.04 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.04 c rootredcost : 0.11 0.00 0.00 0.11 0.00
1796.69/1797.04 c pseudoobj : 4.54 0.01 0.00 1.17 3.36
1796.69/1797.04 c vbounds : 4.46 0.02 0.00 4.43 0.01
1796.69/1797.04 c redcost : 5.26 0.00 0.00 5.26 0.00
1796.69/1797.04 c probing : 0.61 0.00 0.61 0.00 0.00
1796.69/1797.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.04 c propagation : 3.40 437 429 2372 78.2 104 17.1 -
1796.69/1797.04 c infeasible LP : 1.37 255 255 327 6.9 8 12.0 0
1796.69/1797.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.04 c pseudo solution : 0.02 3 3 18 26.2 0 0.0 -
1796.69/1797.04 c applied globally : - - - 2100 51.9 - - -
1796.69/1797.04 c applied locally : - - - 0 0.0 - - -
1796.69/1797.04 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.04 c cut pool : 0.00 6 - - 431 - (maximal pool size: 16911)
1796.69/1797.04 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.04 c impliedbounds : 0.01 0.00 7 0 0 285 0
1796.69/1797.04 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.04 c gomory : 1.37 0.00 7 0 0 350 0
1796.69/1797.04 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.04 c strongcg : 7.55 0.00 7 0 0 3500 0
1796.69/1797.04 c cmir : 4.44 0.00 7 0 0 0 0
1796.69/1797.04 c flowcover : 5.88 0.00 7 0 0 1402 0
1796.69/1797.04 c clique : 0.06 0.00 7 0 0 3 0
1796.69/1797.04 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.04 c mcf : 0.11 0.00 1 0 0 0 0
1796.69/1797.04 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.04 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.04 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.04 c problem variables: 0.00 - 0 0
1796.69/1797.04 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.04 c inference : 0.27 0.00 2547 0 0 0 0 5094
1796.69/1797.04 c relpscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.04 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.04 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.04 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.04 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.04 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.04 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.04 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.04 c LP solutions : 0.04 - - 9
1796.69/1797.04 c pseudo solutions : 0.00 - - 0
1796.69/1797.04 c intshifting : 0.00 0.00 0 0
1796.69/1797.04 c feaspump : 10.37 0.00 1 0
1796.69/1797.04 c objpscostdiving : 63.20 0.00 1 0
1796.69/1797.04 c veclendiving : 96.77 0.00 3 0
1796.69/1797.04 c oneopt : 0.37 0.00 30 0
1796.69/1797.04 c rootsoldiving : 37.56 0.00 2 0
1796.69/1797.04 c indoneopt : 11.05 0.01 40 12
1796.69/1797.04 c pscostdiving : 100.63 0.00 6 0
1796.69/1797.04 c guideddiving : 93.16 0.00 7 3
1796.69/1797.04 c fracdiving : 77.52 0.00 8 0
1796.69/1797.04 c linesearchdiving : 93.36 0.00 8 0
1796.69/1797.04 c crossover : 3.12 0.00 3 0
1796.69/1797.04 c smallcard : 0.00 0.00 0 0
1796.69/1797.04 c trivial : 0.03 0.00 2 0
1796.69/1797.04 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.04 c simplerounding : 0.39 0.00 2982 0
1796.69/1797.04 c zirounding : 1.66 0.00 1000 1
1796.69/1797.04 c rounding : 2.73 0.00 1946 2
1796.69/1797.04 c shifting : 2.21 0.00 306 16
1796.69/1797.04 c twoopt : 0.00 0.00 0 0
1796.69/1797.04 c indtwoopt : 0.00 0.01 0 0
1796.69/1797.04 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.04 c clique : 0.00 0.00 0 0
1796.69/1797.04 c coefdiving : 574.76 0.00 30 6
1796.69/1797.04 c indrounding : 38.19 0.00 2546 12
1796.69/1797.04 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.04 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.04 c intdiving : 0.00 0.00 0 0
1796.69/1797.04 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.04 c octane : 0.00 0.00 0 0
1796.69/1797.04 c rens : 1.22 0.00 1 0
1796.69/1797.04 c rins : 0.00 0.00 0 0
1796.69/1797.04 c localbranching : 0.00 0.00 0 0
1796.69/1797.04 c mutation : 0.00 0.00 0 0
1796.69/1797.04 c dins : 0.00 0.00 0 0
1796.69/1797.04 c vbounds : 0.00 0.00 0 0
1796.69/1797.04 c undercover : 0.00 0.00 0 0
1796.69/1797.04 c subnlp : 0.00 0.00 0 0
1796.69/1797.04 c trysol : 0.19 0.00 9 6
1796.69/1797.04 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.04 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.69/1797.04 c dual LP : 513.48 3268 859403 282.98 1673.68 2.37 231
1796.69/1797.04 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.04 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.04 c diving/probing LP: 1006.28 12707 1151611 90.63 1144.43
1796.69/1797.04 c strong branching : 0.00 0 0 0.00 -
1796.69/1797.04 c (at root node) : - 0 0 0.00 -
1796.69/1797.04 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.04 c B&B Tree :
1796.69/1797.04 c number of runs : 1
1796.69/1797.04 c nodes : 2877
1796.69/1797.04 c nodes (total) : 2877
1796.69/1797.04 c nodes left : 378
1796.69/1797.04 c max depth : 160
1796.69/1797.04 c max depth (total): 160
1796.69/1797.04 c backtracks : 216 (7.5%)
1796.69/1797.04 c delayed cutoffs : 517
1796.69/1797.04 c repropagations : 4754 (307943 domain reductions, 105 cutoffs)
1796.69/1797.04 c avg switch length: 5.66
1796.69/1797.04 c switching time : 7.03
1796.69/1797.04 c Solution :
1796.69/1797.04 c Solutions found : 67 (42 improvements)
1796.69/1797.04 c First Solution : +8.81900000000000e+03 (in run 1, after 1 nodes, 114.82 seconds, depth 1056, found by <coefdiving>)
1796.69/1797.04 c Primal Bound : +4.30000000000000e+01 (in run 1, after 2836 nodes, 1783.94 seconds, depth 110, found by <shifting>)
1796.69/1797.04 c Dual Bound : +0.00000000000000e+00
1796.69/1797.04 c Gap : infinite
1796.69/1797.04 c Root Dual Bound : +0.00000000000000e+00
1796.69/1797.04 c Root Iterations : 64062
1796.89/1797.27 c Time complete: 1796.97.
OK 43
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-3717543-1338195609/watcher-3717543-1338195609 -o /tmp/evaluation-result-3717543-1338195609/solver-3717543-1338195609 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717543-1338195609.wbo -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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.15 1.75 1.91 3/177 1988 /proc/meminfo: memFree=30943520/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=10800 CPUtime=0 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 1440 0 0 0 0 0 0 0 20 0 1 0 285685243 11059200 1394 33554432000 4194304 10173063 140737451880320 140737451879000 8886411 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 2700 1394 416 1460 0 1231 0 [startup+0.013477 s] /proc/loadavg: 1.15 1.75 1.91 3/177 1988 /proc/meminfo: memFree=30943520/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=13948 CPUtime=0.01 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 2230 0 0 0 1 0 0 0 20 0 1 0 285685243 14282752 2184 33554432000 4194304 10173063 140737451880320 140737451879000 8886864 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 3487 2184 416 1460 0 2018 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13948 [startup+0.100283 s] /proc/loadavg: 1.15 1.75 1.91 3/177 1988 /proc/meminfo: memFree=30943520/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=54776 CPUtime=0.09 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 12450 0 0 0 8 1 0 0 20 0 1 0 285685243 56090624 12337 33554432000 4194304 10173063 140737451880320 140737451879000 7395964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 13694 12337 469 1460 0 12225 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 54776 [startup+0.300283 s] /proc/loadavg: 1.15 1.75 1.91 3/177 1988 /proc/meminfo: memFree=30943520/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=125900 CPUtime=0.29 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 29072 0 0 0 26 3 0 0 20 0 1 0 285685243 128921600 28959 33554432000 4194304 10173063 140737451880320 140737451874872 4419739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 31475 28959 543 1460 0 30006 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 125900 [startup+0.700292 s] /proc/loadavg: 1.15 1.75 1.91 3/177 1988 /proc/meminfo: memFree=30943520/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=139664 CPUtime=0.69 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 33114 0 0 0 52 17 0 0 20 0 1 0 285685243 143015936 32392 33554432000 4194304 10173063 140737451880320 140737451874872 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 34916 32392 630 1460 0 33447 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 139664 [startup+1.50028 s] /proc/loadavg: 1.15 1.75 1.91 3/178 1989 /proc/meminfo: memFree=30813860/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=151000 CPUtime=1.49 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 35643 0 0 0 127 22 0 0 20 0 1 0 285685243 154624000 34563 33554432000 4194304 10173063 140737451880320 140737451877176 5760720 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 37750 34563 669 1460 0 36281 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 151000 [startup+3.1003 s] /proc/loadavg: 1.15 1.75 1.91 3/178 1989 /proc/meminfo: memFree=30802824/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=151000 CPUtime=3.09 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 35643 0 0 0 287 22 0 0 20 0 1 0 285685243 154624000 34563 33554432000 4194304 10173063 140737451880320 140737451876616 5762618 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 37750 34563 669 1460 0 36281 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 151000 [startup+6.30028 s] /proc/loadavg: 1.22 1.76 1.91 3/178 1989 /proc/meminfo: memFree=30721980/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=231992 CPUtime=6.29 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 54647 0 0 0 604 25 0 0 20 0 1 0 285685243 237559808 53971 33554432000 4194304 10173063 140737451880320 140737451870744 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 57998 53971 804 1460 0 56529 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 231992 [startup+12.7003 s] /proc/loadavg: 1.28 1.76 1.91 3/178 1989 /proc/meminfo: memFree=30716736/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=231992 CPUtime=12.68 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 54765 0 0 0 1242 26 0 0 20 0 1 0 285685243 237559808 54089 33554432000 4194304 10173063 140737451880320 140737451871576 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 57998 54089 807 1460 0 56529 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 231992 [startup+25.5002 s] /proc/loadavg: 1.44 1.77 1.91 3/178 1989 /proc/meminfo: memFree=30693336/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=245288 CPUtime=25.49 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 58782 0 0 0 2514 35 0 0 20 0 1 0 285685243 251174912 58199 33554432000 4194304 10173063 140737451880320 140737451875480 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 61322 58199 842 1460 0 59853 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 245288 [startup+51.1003 s] /proc/loadavg: 1.63 1.79 1.91 3/178 2027 /proc/meminfo: memFree=30539996/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=257488 CPUtime=51.08 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 61524 0 0 0 5067 41 0 0 20 0 1 0 285685243 263667712 61772 33554432000 4194304 10173063 140737451880320 140737451873416 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 64372 61772 843 1460 0 62903 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 257488 [startup+102.306 s] /proc/loadavg: 1.88 1.83 1.92 3/178 2050 /proc/meminfo: memFree=30400912/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=269452 CPUtime=102.26 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 64240 0 0 0 10177 49 0 0 20 0 1 0 285685243 275918848 65030 33554432000 4194304 10173063 140737451880320 140737451873416 8033091 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 67363 65030 849 1460 0 65894 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 269452 [startup+162.3 s] /proc/loadavg: 1.95 1.86 1.92 3/177 2050 /proc/meminfo: memFree=30468412/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=273192 CPUtime=162.25 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 98348 0 0 0 16144 81 0 0 20 0 1 0 285685243 279748608 67100 33554432000 4194304 10173063 140737451880320 140737451873576 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 68298 67100 875 1460 0 66829 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 273192 [startup+222.3 s] /proc/loadavg: 1.98 1.88 1.92 3/177 2050 /proc/meminfo: memFree=30458600/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=274424 CPUtime=222.24 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 98387 0 0 0 22131 93 0 0 20 0 1 0 285685243 281010176 67139 33554432000 4194304 10173063 140737451880320 140737451873576 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 68606 67139 875 1460 0 67137 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 274424 [startup+282.3 s] /proc/loadavg: 1.99 1.90 1.92 3/177 2051 /proc/meminfo: memFree=30449088/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=276572 CPUtime=282.22 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 98880 0 0 0 28118 104 0 0 20 0 1 0 285685243 283209728 67632 33554432000 4194304 10173063 140737451880320 140737451873416 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 69143 67632 875 1460 0 67674 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 276572 [startup+342.3 s] /proc/loadavg: 1.99 1.92 1.92 3/177 2051 /proc/meminfo: memFree=30434264/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=276572 CPUtime=342.21 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 98882 0 0 0 34104 117 0 0 20 0 1 0 285685243 283209728 67634 33554432000 4194304 10173063 140737451880320 140737451875144 7396603 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 69143 67634 875 1460 0 67674 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 276572 [startup+402.3 s] /proc/loadavg: 2.05 1.94 1.92 3/177 2051 /proc/meminfo: memFree=30427692/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=277596 CPUtime=402.21 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 99097 0 0 0 40088 133 0 0 20 0 1 0 285685243 284258304 67849 33554432000 4194304 10173063 140737451880320 140737451873576 6817245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 69399 67849 875 1460 0 67930 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 277596 [startup+462.3 s] /proc/loadavg: 2.02 1.95 1.92 3/177 2051 /proc/meminfo: memFree=30418136/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=280608 CPUtime=462.2 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 99644 0 0 0 46078 142 0 0 20 0 1 0 285685243 287342592 68396 33554432000 4194304 10173063 140737451880320 140737451873864 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 70152 68396 875 1460 0 68683 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 280608 [startup+522.3 s] /proc/loadavg: 2.00 1.95 1.92 3/177 2051 /proc/meminfo: memFree=30412184/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=280608 CPUtime=522.19 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 99644 0 0 0 52066 153 0 0 20 0 1 0 285685243 287342592 68396 33554432000 4194304 10173063 140737451880320 140737451873480 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 70152 68396 875 1460 0 68683 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 280608 [startup+582.3 s] /proc/loadavg: 2.04 1.97 1.93 3/177 2052 /proc/meminfo: memFree=30401768/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=280608 CPUtime=582.18 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 100014 0 0 0 58053 165 0 0 20 0 1 0 285685243 287342592 68766 33554432000 4194304 10173063 140737451880320 140737451873720 8046674 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 70152 68766 875 1460 0 68683 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 280608 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30181420/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=326760 CPUtime=1122.1 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 174928 0 0 0 111906 304 0 0 20 0 1 0 285685243 334602240 79419 33554432000 4194304 10173063 140737451880320 140737451872456 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 81690 79419 883 1460 0 80221 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 326760 [startup+1182.3 s] /proc/loadavg: 2.02 2.00 1.94 3/177 2095 /proc/meminfo: memFree=30164304/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=333364 CPUtime=1182.09 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 184920 0 0 0 117890 319 0 0 20 0 1 0 285685243 341364736 81763 33554432000 4194304 10173063 140737451880320 140737451877688 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 83341 81763 883 1460 0 81872 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 333364 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 1.94 3/178 2098 /proc/meminfo: memFree=30151424/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=350156 CPUtime=1242.08 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 227014 0 0 0 123856 352 0 0 20 0 1 0 285685243 358559744 85047 33554432000 4194304 10173063 140737451880320 140737451873576 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 87539 85047 883 1460 0 86070 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 350156 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2098 /proc/meminfo: memFree=30134804/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=361020 CPUtime=1302.08 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 240933 0 0 0 129838 370 0 0 20 0 1 0 285685243 369684480 88836 33554432000 4194304 10173063 140737451880320 140737451873192 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 90255 88836 883 1460 0 88786 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 361020 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2098 /proc/meminfo: memFree=30124636/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=371952 CPUtime=1362.07 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 251981 0 0 0 135822 385 0 0 20 0 1 0 285685243 380878848 91396 33554432000 4194304 10173063 140737451880320 140737451873416 7887637 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 92988 91396 883 1460 0 91519 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 371952 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2098 /proc/meminfo: memFree=30109568/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=386912 CPUtime=1422.06 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 261079 0 0 0 141802 404 0 0 20 0 1 0 285685243 396197888 95036 33554432000 4194304 10173063 140737451880320 140737451873080 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 96728 95036 884 1460 0 95259 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 386912 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2099 /proc/meminfo: memFree=30115152/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=383732 CPUtime=1482.05 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 268496 0 0 0 147790 415 0 0 20 0 1 0 285685243 392941568 94199 33554432000 4194304 10173063 140737451880320 140737451873960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 95933 94199 884 1460 0 94464 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 383732 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2099 /proc/meminfo: memFree=30105340/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=397604 CPUtime=1542.04 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 280407 0 0 0 153770 434 0 0 20 0 1 0 285685243 407146496 97645 33554432000 4194304 10173063 140737451880320 140737451873416 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 99401 97645 884 1460 0 97932 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 397604 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2099 /proc/meminfo: memFree=30100380/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=401580 CPUtime=1602.03 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 283904 0 0 0 159753 450 0 0 20 0 1 0 285685243 411217920 98845 33554432000 4194304 10173063 140737451880320 140737451873992 7888024 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 100395 98845 884 1460 0 98926 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 401580 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2099 /proc/meminfo: memFree=30089840/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=412316 CPUtime=1662.02 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 288766 0 0 0 165737 465 0 0 20 0 1 0 285685243 422211584 101516 33554432000 4194304 10173063 140737451880320 140737451873560 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 103079 101516 884 1460 0 101610 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 412316 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2099 /proc/meminfo: memFree=30085916/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=416304 CPUtime=1722 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 293405 0 0 0 171717 483 0 0 20 0 1 0 285685243 426295296 102553 33554432000 4194304 10173063 140737451880320 140737451873592 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 104076 102553 884 1460 0 102607 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 416304 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2100 /proc/meminfo: memFree=30082764/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=419696 CPUtime=1781.99 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 328624 0 0 0 177693 506 0 0 20 0 1 0 285685243 429768704 103170 33554432000 4194304 10173063 140737451880320 140737451874040 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 104924 103170 884 1460 0 103455 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 419696 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2100 /proc/meminfo: memFree=30080036/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=422984 CPUtime=1785.2 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 329355 0 0 0 178012 508 0 0 20 0 1 0 285685243 433135616 103901 33554432000 4194304 10173063 140737451880320 140737451876792 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 105746 103901 884 1460 0 104277 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 422984 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.94 3/177 2100 /proc/meminfo: memFree=30079044/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=424896 CPUtime=1791.6 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333412 0 0 0 178650 510 0 0 20 0 1 0 285685243 435093504 104092 33554432000 4194304 10173063 140737451880320 140737451875144 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 106224 104092 884 1460 0 104755 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 424896 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.94 3/178 2103 /proc/meminfo: memFree=30079252/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=424896 CPUtime=1794.8 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333450 0 0 0 178969 511 0 0 20 0 1 0 285685243 435093504 104130 33554432000 4194304 10173063 140737451880320 140737451873496 5122959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 106224 104130 884 1460 0 104755 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 424896 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.94 3/178 2103 /proc/meminfo: memFree=30079252/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=424896 CPUtime=1795.59 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333495 0 0 0 179048 511 0 0 20 0 1 0 285685243 435093504 104175 33554432000 4194304 10173063 140737451880320 140737451877144 7662114 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 106224 104175 884 1460 0 104755 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 424896 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.94 3/178 2103 /proc/meminfo: memFree=30079004/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=424896 CPUtime=1796.39 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333509 0 0 0 179128 511 0 0 20 0 1 0 285685243 435093504 104189 33554432000 4194304 10173063 140737451880320 140737451873960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 106224 104189 884 1460 0 104755 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 424896 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.94 3/178 2103 /proc/meminfo: memFree=30079004/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=424896 CPUtime=1796.79 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333514 0 0 0 179168 511 0 0 20 0 1 0 285685243 435093504 104194 33554432000 4194304 10173063 140737451880320 140737451873960 5061270 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 106224 104194 888 1460 0 104755 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 424896 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 1.94 3/178 2103 /proc/meminfo: memFree=30079004/32873844 swapFree=7620/7620 [pid=1988] ppid=1986 vsize=422280 CPUtime=1796.89 cores=0,2,4,6 /proc/1988/stat : 1988 (scip-2.1.1.4fix) R 1986 1988 1906 0 -1 4202496 333526 0 0 0 179178 511 0 0 20 0 1 0 285685243 432414720 103552 33554432000 4194304 10173063 140737451880320 140737451873960 4424201 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/1988/statm: 105570 103552 888 1460 0 104101 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 422280 Child status: 0 Real time (s): 1797.28 CPU time (s): 1796.98 CPU user time (s): 1791.84 CPU system time (s): 5.13422 CPU usage (%): 99.9833 Max. virtual memory (cumulated for all children) (KiB): 538992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.84 system time used= 5.13422 maximum resident set size= 530348 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 333528 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= 1848 runsolver used 2.75358 second user time and 7.29289 second system time The end
Begin job on node143 at 2012-05-28 11:00:09 IDJOB=3717543 IDBENCH=79032 IDSOLVER=2300 FILE ID=node143/3717543-1338195609 RUNJOBID= node143-1338195608-1922 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-dlx1c.rwmem1.ucl--soft-33-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-3717543-1338195609/watcher-3717543-1338195609 -o /tmp/evaluation-result-3717543-1338195609/solver-3717543-1338195609 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717543-1338195609.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6d82afa4a3cb51b65db40c85a755382b 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: 30943860 kB Buffers: 390396 kB Cached: 638872 kB SwapCached: 0 kB Active: 694324 kB Inactive: 397304 kB Active(anon): 53496 kB Inactive(anon): 11300 kB Active(file): 640828 kB Inactive(file): 386004 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 28012 kB Writeback: 12 kB AnonPages: 69988 kB Mapped: 18080 kB Shmem: 200 kB Slab: 698764 kB SReclaimable: 140612 kB SUnreclaim: 558152 kB KernelStack: 1440 kB PageTables: 3644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 180320 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71632 MiB End job on node143 at 2012-05-28 11:30:06