Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | OPTIMUM | 1561.18 | 1561.45 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo |
| MD5SUM | 912ca607d723e7995f4e9e6209c25e32 |
| 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.502923 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 9051 |
| Total number of constraints | 25833 |
| Number of soft constraints | 8852 |
| Number of constraints which are clauses | 24941 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 892 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 443736 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 443735 |
| 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-3717542-1338193324.wbo>
0.00/0.08 c original problem has 17903 variables (17903 bin, 0 int, 0 impl, 0 cont) and 25834 constraints
0.00/0.08 c problem read in 0.08
0.19/0.26 c presolving:
0.29/0.38 c (round 1) 174 del vars, 81 del conss, 0 add conss, 22 chg bounds, 446 chg sides, 908 chg coeffs, 0 upgd conss, 181856 impls, 0 clqs
0.39/0.40 c (round 2) 216 del vars, 409 del conss, 0 add conss, 22 chg bounds, 446 chg sides, 908 chg coeffs, 0 upgd conss, 181856 impls, 0 clqs
0.39/0.43 c (round 3) 218 del vars, 412 del conss, 0 add conss, 8852 chg bounds, 446 chg sides, 908 chg coeffs, 0 upgd conss, 181856 impls, 0 clqs
0.49/0.54 c (round 4) 218 del vars, 412 del conss, 0 add conss, 8852 chg bounds, 446 chg sides, 908 chg coeffs, 16619 upgd conss, 181856 impls, 0 clqs
5.19/5.24 c (5.2s) probing: 1000/17707 (5.6%) - 3 fixings, 6 aggregations, 5383 implications, 3 bound changes
5.59/5.62 c (5.6s) probing: 1089/17707 (6.2%) - 3 fixings, 6 aggregations, 5534 implications, 3 bound changes
5.59/5.62 c (5.6s) probing aborted: 50/50 successive totally useless probings
5.59/5.62 c (round 5) 227 del vars, 7348 del conss, 2311 add conss, 8855 chg bounds, 446 chg sides, 908 chg coeffs, 16619 upgd conss, 285113 impls, 0 clqs
5.59/5.66 c (round 6) 230 del vars, 7401 del conss, 2357 add conss, 8855 chg bounds, 446 chg sides, 908 chg coeffs, 16619 upgd conss, 285281 impls, 1 clqs
5.69/5.74 c (round 7) 236 del vars, 7409 del conss, 2358 add conss, 8855 chg bounds, 446 chg sides, 908 chg coeffs, 16619 upgd conss, 285281 impls, 40 clqs
5.79/5.84 c (round 8) 236 del vars, 7410 del conss, 2358 add conss, 8855 chg bounds, 446 chg sides, 908 chg coeffs, 16621 upgd conss, 285281 impls, 41 clqs
7.99/8.04 c (8.0s) probing: 1546/17707 (8.7%) - 3 fixings, 6 aggregations, 7100 implications, 3 bound changes
7.99/8.04 c (8.0s) probing aborted: 50/50 successive totally useless probings
7.99/8.05 c presolving (9 rounds):
7.99/8.05 c 236 deleted vars, 7410 deleted constraints, 2358 added constraints, 8855 tightened bounds, 0 added holes, 446 changed sides, 908 changed coefficients
7.99/8.05 c 300229 implications, 41 cliques
7.99/8.05 c presolved problem has 26519 variables (17692 bin, 0 int, 8827 impl, 0 cont) and 29633 constraints
7.99/8.05 c 588 constraints of type <knapsack>
7.99/8.05 c 6117 constraints of type <setppc>
7.99/8.05 c 2262 constraints of type <and>
7.99/8.05 c 8827 constraints of type <linear>
7.99/8.05 c 8827 constraints of type <indicator>
7.99/8.05 c 3012 constraints of type <logicor>
7.99/8.05 c transformed objective value is always integral (scale: 1)
7.99/8.05 c Presolving Time: 7.93
7.99/8.05 c - non default parameters ----------------------------------------------------------------------
7.99/8.05 c # SCIP version 2.1.1.4
7.99/8.05 c
7.99/8.05 c # maximal time in seconds to run
7.99/8.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.05 c limits/time = 1797
7.99/8.05 c
7.99/8.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.99/8.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.05 c limits/memory = 13950
7.99/8.05 c
7.99/8.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
7.99/8.05 c # [type: int, range: [1,2], default: 1]
7.99/8.05 c timing/clocktype = 2
7.99/8.05 c
7.99/8.05 c # belongs reading time to solving time?
7.99/8.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.05 c timing/reading = TRUE
7.99/8.05 c
7.99/8.05 c # force restart if we have a max FS instance and gap is 1?
7.99/8.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.05 c constraints/indicator/forcerestart = TRUE
7.99/8.05 c
7.99/8.05 c # priority of branching rule <inference>
7.99/8.05 c # [type: int, range: [-536870912,536870911], default: 1000]
7.99/8.05 c branching/inference/priority = 1000000
7.99/8.05 c
7.99/8.05 c # frequency offset for calling primal heuristic <coefdiving>
7.99/8.05 c # [type: int, range: [0,2147483647], default: 1]
7.99/8.05 c heuristics/coefdiving/freqofs = 0
7.99/8.05 c
7.99/8.05 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
7.99/8.05 c # [type: int, range: [-1,2147483647], default: 0]
7.99/8.05 c heuristics/shiftandpropagate/freq = -1
7.99/8.05 c
7.99/8.05 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
7.99/8.05 c # [type: int, range: [-1,2147483647], default: 0]
7.99/8.05 c heuristics/undercover/freq = -1
7.99/8.05 c
7.99/8.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.99/8.05 c # [type: int, range: [-1,2147483647], default: -1]
7.99/8.05 c separating/rapidlearning/freq = 0
7.99/8.05 c
7.99/8.05 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
7.99/8.05 c # [type: int, range: [-1,2147483647], default: -1]
7.99/8.05 c heuristics/indrounding/freq = 1
7.99/8.05 c
7.99/8.05 c -----------------------------------------------------------------------------------------------
7.99/8.05 c start solving
7.99/8.09 c
9.68/9.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.68/9.70 c 9.7s| 1 | 0 | 3220 | - | 114M| 0 |1816 | 26k| 29k| 26k| 31k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
17.19/17.22 c 17.2s| 1 | 0 | 21616 | - | 118M| 0 |2323 | 26k| 29k| 26k| 32k|1092 | 0 | 0 | 0.000000e+00 | -- | Inf
20.39/20.48 c 20.5s| 1 | 0 | 27109 | - | 119M| 0 |2626 | 26k| 29k| 26k| 33k|1813 | 0 | 0 | 0.000000e+00 | -- | Inf
25.18/25.24 c 25.2s| 1 | 0 | 31500 | - | 120M| 0 |2647 | 26k| 29k| 26k| 34k|2490 | 0 | 0 | 0.000000e+00 | -- | Inf
33.88/33.90 c 33.9s| 1 | 0 | 38727 | - | 120M| 0 |2820 | 26k| 29k| 26k| 34k|3001 | 0 | 0 | 0.000000e+00 | -- | Inf
38.68/38.78 c 38.8s| 1 | 0 | 42171 | - | 121M| 0 |3020 | 26k| 29k| 26k| 35k|3463 | 0 | 0 | 0.000000e+00 | -- | Inf
51.58/51.70 c 51.7s| 1 | 0 | 50306 | - | 121M| 0 |3073 | 26k| 29k| 26k| 35k|3745 | 0 | 0 | 0.000000e+00 | -- | Inf
114.97/115.04 o 3069
114.97/115.04 c c 115s| 1 | 0 |103628 | - | 138M| 0 | - | 26k| 29k| 26k| 35k|3745 | 70 | 0 | 0.000000e+00 | 3.069000e+03 | Inf
115.07/115.10 o 3068
115.07/115.10 c c 115s| 1 | 0 |103633 | - | 138M| 0 | - | 26k| 29k| 26k| 35k|3745 | 70 | 0 | 0.000000e+00 | 3.068000e+03 | Inf
115.97/116.02 c 116s| 1 | 0 |103657 | - | 124M| 0 |3073 | 26k| 29k| 26k| 35k|3745 | 73 | 0 | 0.000000e+00 | 3.068000e+03 | Inf
117.06/117.11 o 1206
117.06/117.11 c 6 117s| 1 | 0 |103657 | - | 125M| 0 |3073 | 26k| 29k| 26k| 35k|3745 | 73 | 0 | 0.000000e+00 | 1.206000e+03 | Inf
127.96/128.07 c 128s| 1 | 0 |109149 | - | 124M| 0 |3165 | 26k| 29k| 26k| 36k|4124 | 73 | 0 | 0.000000e+00 | 1.206000e+03 | Inf
128.46/128.56 o 985
128.46/128.56 c 6 129s| 1 | 0 |109149 | - | 125M| 0 |3165 | 26k| 29k| 26k| 36k|4124 | 73 | 0 | 0.000000e+00 | 9.850000e+02 | Inf
128.46/128.56 c 129s| 1 | 2 |109149 | - | 125M| 0 |3165 | 26k| 29k| 26k| 36k|4124 | 73 | 0 | 0.000000e+00 | 9.850000e+02 | Inf
382.62/382.71 o 799
382.62/382.71 c g 383s| 35 | 36 |363328 |9045.0 | 139M| 19 | - | 26k| 29k| 26k| 33k|5377 | 244 | 0 | 0.000000e+00 | 7.990000e+02 | Inf
382.62/382.75 o 771
382.62/382.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.62/382.75 c g 383s| 35 | 36 |363329 |9045.0 | 139M| 19 | - | 26k| 29k| 26k| 33k|5377 | 244 | 0 | 0.000000e+00 | 7.710000e+02 | Inf
383.32/383.47 o 429
383.32/383.47 c 6 383s| 36 | 35 |363345 |8787.1 | 132M| 19 | - | 26k| 29k| 0 | 0 |5377 | 244 | 0 | 0.000000e+00 | 4.290000e+02 | Inf
783.85/784.03 c 784s| 100 | 101 |746400 |6975.8 | 137M| 22 |1700 | 26k| 30k| 26k| 33k|6386 | 577 | 0 | 0.000000e+00 | 4.290000e+02 | Inf
1017.22/1017.44 c 1017s| 200 | 201 |978248 |4635.4 | 138M| 42 |1435 | 26k| 30k| 26k| 34k|7628 | 685 | 0 | 0.000000e+00 | 4.290000e+02 | Inf
1095.61/1095.82 o 412
1095.61/1095.82 c C1096s| 236 | 237 | 1052k|4239.4 | 139M| 48 | 859 | 26k| 30k| 26k| 33k|8064 | 743 | 0 | 0.000000e+00 | 4.120000e+02 | Inf
1115.59/1115.82 c 1116s| 300 | 299 | 1073k|3405.2 | 141M| 102 | 471 | 26k| 30k| 26k| 34k|8340 | 747 | 0 | 0.000000e+00 | 4.120000e+02 | Inf
1119.20/1119.43 o 409
1119.20/1119.43 c z1119s| 355 | 334 | 1075k|2880.4 | 144M| 142 | - | 26k| 30k| 26k| 34k|8350 | 769 | 0 | 0.000000e+00 | 4.090000e+02 | Inf
1119.40/1119.68 o 173
1119.40/1119.68 c 61120s| 356 | 269 | 1075k|2872.2 | 143M| 142 | - | 26k| 30k| 0 | 0 |8350 | 769 | 0 | 0.000000e+00 | 1.730000e+02 | Inf
1169.39/1169.69 c 1170s| 400 | 313 | 1137k|2712.2 | 144M| 142 |1377 | 26k| 30k| 26k| 33k|8743 | 844 | 0 | 0.000000e+00 | 1.730000e+02 | Inf
1189.59/1189.81 o 171
1189.59/1189.81 c s1190s| 456 | 339 | 1159k|2426.5 | 148M| 142 | - | 26k| 30k| 26k| 34k|8824 | 873 | 0 | 0.000000e+00 | 1.710000e+02 | Inf
1189.69/1189.93 o 51
1189.69/1189.93 c 61190s| 456 | 258 | 1159k|2426.5 | 147M| 142 | - | 26k| 30k| 26k| 34k|8824 | 873 | 0 | 0.000000e+00 | 5.100000e+01 | Inf
1200.19/1200.42 c 1200s| 500 | 302 | 1169k|2232.8 | 145M| 142 | 311 | 26k| 26k| 26k| 33k|8942 | 890 | 0 | 0.000000e+00 | 5.100000e+01 | Inf
1224.89/1225.14 o 50
1224.89/1225.14 c R1225s| 575 | 319 | 1200k|1993.8 | 147M| 142 | - | 26k| 26k| 26k| 34k|9156 | 925 | 0 | 0.000000e+00 | 5.000000e+01 | Inf
1226.48/1226.79 c 1227s| 600 | 342 | 1200k|1911.2 | 147M| 142 | 139 | 26k| 26k| 26k| 34k|9159 | 926 | 0 | 0.000000e+00 | 5.000000e+01 | Inf
1227.58/1227.80 o 48
1227.58/1227.80 c s1228s| 621 | 306 | 1200k|1846.8 | 148M| 142 | - | 26k| 26k| 26k| 34k|9161 | 926 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
1230.88/1231.15 o 44
1230.88/1231.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.88/1231.15 c R1231s| 672 | 282 | 1202k|1708.4 | 147M| 142 | - | 26k| 25k| 26k| 34k|9177 | 940 | 0 | 0.000000e+00 | 4.400000e+01 | Inf
1232.59/1232.81 c 1233s| 700 | 304 | 1202k|1640.6 | 148M| 142 | - | 26k| 25k| 0 | 0 |9181 | 970 | 0 | 0.000000e+00 | 4.400000e+01 | Inf
1236.18/1236.49 o 42
1236.18/1236.49 c *1236s| 764 | 282 | 1204k|1505.2 | 148M| 142 | - | 26k| 25k| 26k| 33k|9203 |1021 | 0 | 0.000000e+00 | 4.200000e+01 | Inf
1238.58/1238.83 c 1239s| 800 | 314 | 1205k|1438.4 | 148M| 142 | 58 | 26k| 25k| 26k| 33k|9209 |1031 | 0 | 0.000000e+00 | 4.200000e+01 | Inf
1238.78/1239.02 o 40
1238.78/1239.02 c s1239s| 804 | 284 | 1205k|1431.3 | 148M| 142 | - | 26k| 25k| 26k| 33k|9209 |1031 | 0 | 0.000000e+00 | 4.000000e+01 | Inf
1251.58/1251.86 c 1252s| 900 | 293 | 1216k|1290.7 | 148M| 142 | 195 | 26k| 25k| 26k| 34k|9313 |1180 | 0 | 0.000000e+00 | 4.000000e+01 | Inf
1253.17/1253.44 o 36
1253.17/1253.44 c *1253s| 930 | 296 | 1216k|1249.5 | 149M| 142 | - | 26k| 25k| 26k| 34k|9321 |1180 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
1276.58/1276.84 o 33
1276.58/1276.84 c c1277s| 948 | 278 | 1246k|1257.4 | 149M| 142 | - | 26k| 24k| 26k| 34k|9500 |1189 | 0 | 0.000000e+00 | 3.300000e+01 | Inf
1286.27/1286.57 o 32
1286.27/1286.57 c c1287s| 984 | 314 | 1250k|1215.7 | 151M| 142 | - | 26k| 24k| 26k| 34k|9536 |1228 | 0 | 0.000000e+00 | 3.200000e+01 | Inf
1286.47/1286.72 o 27
1286.47/1286.72 c 61287s| 985 | 313 | 1250k|1214.5 | 150M| 142 | - | 26k| 24k| 0 | 0 |9536 |1228 | 0 | 0.000000e+00 | 2.700000e+01 | Inf
1289.57/1289.84 o 26
1289.57/1289.84 c c1290s| 992 | 298 | 1252k|1207.1 | 152M| 142 | - | 26k| 24k| 26k| 34k|9549 |1254 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1290.17/1290.48 c 1290s| 1000 | 306 | 1252k|1197.5 | 150M| 142 | 269 | 26k| 24k| 26k| 34k|9550 |1254 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1292.07/1292.37 o 25
1292.07/1292.37 c c1292s| 1002 | 308 | 1252k|1195.5 | 152M| 142 | - | 26k| 24k| 26k| 34k|9550 |1268 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
1294.27/1294.57 o 21
1294.27/1294.57 c c1295s| 1012 | 313 | 1253k|1184.2 | 152M| 142 | - | 26k| 23k| 26k| 34k|9559 |1268 | 0 | 0.000000e+00 | 2.100000e+01 | Inf
1297.68/1297.96 o 19
1297.68/1297.96 c c1298s| 1027 | 259 | 1254k|1168.1 | 152M| 142 | - | 26k| 23k| 26k| 33k|9560 |1307 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
1303.77/1304.03 o 18
1303.77/1304.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1303.77/1304.03 c c1304s| 1038 | 260 | 1256k|1157.9 | 152M| 142 | - | 26k| 23k| 26k| 34k|9586 |1344 | 0 | 0.000000e+00 | 1.800000e+01 | Inf
1303.87/1304.14 o 13
1303.87/1304.14 c 61304s| 1039 | 246 | 1256k|1156.8 | 151M| 142 | - | 26k| 23k| 0 | 0 |9586 |1344 | 0 | 0.000000e+00 | 1.300000e+01 | Inf
1349.96/1350.22 c 1350s| 1100 | 285 | 1291k|1124.6 | 152M| 142 |1066 | 26k| 23k| 26k| 33k|9820 |1502 | 0 | 0.000000e+00 | 1.300000e+01 | Inf
1358.76/1359.06 o 12
1358.76/1359.06 c c1359s| 1140 | 133 | 1296k|1089.0 | 150M| 142 | - | 26k| 23k| 26k| 33k|9830 |1570 | 0 | 0.000000e+00 | 1.200000e+01 | Inf
1360.96/1361.28 o 11
1360.96/1361.28 c c1361s| 1149 | 135 | 1296k|1080.9 | 150M| 142 | - | 26k| 23k| 26k| 33k|9842 |1599 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
1362.26/1362.51 o 6
1362.26/1362.51 c c1363s| 1160 | 127 | 1296k|1070.8 | 150M| 142 | - | 26k| 22k| 26k| 33k|9842 |1602 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
1362.26/1362.54 c Forcing restart, since 7945 binary variables among 8827 have been fixed.
1362.96/1363.23 c (run 1, node 1161) performing user restart
1362.96/1363.23 c
1362.96/1363.27 c (restart) converted 9520 cuts from the global cut pool into linear constraints
1362.96/1363.27 c
1363.16/1363.43 c presolving:
1363.66/1363.98 c (round 1) 17103 del vars, 9270 del conss, 0 add conss, 605 chg bounds, 17 chg sides, 44 chg coeffs, 0 upgd conss, 489907 impls, 56 clqs
1363.76/1364.04 c (round 2) 17360 del vars, 10257 del conss, 0 add conss, 681 chg bounds, 18 chg sides, 92 chg coeffs, 4 upgd conss, 521333 impls, 58 clqs
1363.76/1364.07 c (round 3) 17553 del vars, 10742 del conss, 0 add conss, 695 chg bounds, 18 chg sides, 127 chg coeffs, 4 upgd conss, 528871 impls, 58 clqs
1363.76/1364.10 c (round 4) 17583 del vars, 10894 del conss, 0 add conss, 697 chg bounds, 18 chg sides, 138 chg coeffs, 4 upgd conss, 529422 impls, 58 clqs
1363.86/1364.13 c (round 5) 17587 del vars, 10943 del conss, 0 add conss, 697 chg bounds, 18 chg sides, 139 chg coeffs, 112 upgd conss, 529486 impls, 58 clqs
1363.86/1364.16 c (round 6) 17628 del vars, 11077 del conss, 98 add conss, 700 chg bounds, 20 chg sides, 142 chg coeffs, 112 upgd conss, 544657 impls, 58 clqs
1363.86/1364.18 c (round 7) 17645 del vars, 11132 del conss, 98 add conss, 700 chg bounds, 20 chg sides, 143 chg coeffs, 112 upgd conss, 544743 impls, 144 clqs
1363.96/1364.24 c (round 8) 17646 del vars, 11161 del conss, 114 add conss, 700 chg bounds, 20 chg sides, 143 chg coeffs, 112 upgd conss, 544957 impls, 144 clqs
1364.06/1364.37 c (round 9) 17646 del vars, 11191 del conss, 114 add conss, 700 chg bounds, 20 chg sides, 143 chg coeffs, 8613 upgd conss, 544957 impls, 145 clqs
1364.16/1364.47 c (round 10) 17646 del vars, 11231 del conss, 121 add conss, 700 chg bounds, 24 chg sides, 157 chg coeffs, 8614 upgd conss, 544957 impls, 147 clqs
1364.26/1364.58 c (round 11) 17646 del vars, 11235 del conss, 121 add conss, 700 chg bounds, 25 chg sides, 157 chg coeffs, 8614 upgd conss, 544957 impls, 147 clqs
1364.46/1364.72 c (round 12) 17646 del vars, 25763 del conss, 4936 add conss, 700 chg bounds, 25 chg sides, 157 chg coeffs, 8614 upgd conss, 544957 impls, 147 clqs
1364.56/1364.80 c (round 13) 17681 del vars, 26076 del conss, 5188 add conss, 700 chg bounds, 25 chg sides, 157 chg coeffs, 8614 upgd conss, 552621 impls, 229 clqs
1364.56/1364.84 c (round 14) 17684 del vars, 26111 del conss, 5223 add conss, 700 chg bounds, 25 chg sides, 157 chg coeffs, 8614 upgd conss, 553753 impls, 481 clqs
1364.56/1364.87 c (round 15) 17686 del vars, 26116 del conss, 5228 add conss, 700 chg bounds, 26 chg sides, 159 chg coeffs, 8614 upgd conss, 554523 impls, 482 clqs
1364.66/1364.96 c (round 16) 17692 del vars, 26126 del conss, 5230 add conss, 700 chg bounds, 26 chg sides, 159 chg coeffs, 8614 upgd conss, 557819 impls, 482 clqs
1364.66/1364.98 c (round 17) 17694 del vars, 26135 del conss, 5230 add conss, 700 chg bounds, 26 chg sides, 160 chg coeffs, 8616 upgd conss, 557979 impls, 482 clqs
1364.76/1365.02 c (round 18) 17695 del vars, 26136 del conss, 5231 add conss, 700 chg bounds, 26 chg sides, 160 chg coeffs, 8616 upgd conss, 558147 impls, 482 clqs
1364.76/1365.09 c (round 19) 17696 del vars, 26143 del conss, 5232 add conss, 700 chg bounds, 26 chg sides, 160 chg coeffs, 8616 upgd conss, 558155 impls, 482 clqs
1364.86/1365.18 c presolving (20 rounds):
1364.86/1365.18 c 17696 deleted vars, 26144 deleted constraints, 5232 added constraints, 700 tightened bounds, 0 added holes, 26 changed sides, 160 changed coefficients
1364.86/1365.18 c 558155 implications, 483 cliques
1364.86/1365.18 c presolved problem has 8823 variables (8371 bin, 0 int, 452 impl, 0 cont) and 11454 constraints
1364.86/1365.18 c 452 constraints of type <varbound>
1364.86/1365.18 c 1006 constraints of type <knapsack>
1364.86/1365.18 c 1458 constraints of type <setppc>
1364.86/1365.18 c 6377 constraints of type <and>
1364.86/1365.18 c 457 constraints of type <linear>
1364.86/1365.18 c 452 constraints of type <indicator>
1364.86/1365.18 c 1126 constraints of type <logicor>
1364.86/1365.18 c 126 constraints of type <bounddisjunction>
1364.86/1365.18 c transformed objective value is always integral (scale: 1)
1364.86/1365.18 c Presolving Time: 9.76
1364.86/1365.19 c
1365.16/1365.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1365.16/1365.46 c 1365s| 1 | 0 | 1299k| - | 132M| 0 |1034 |8823 | 11k|8823 | 16k| 0 |1602 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
1366.15/1366.47 c 1366s| 1 | 0 | 1301k| - | 133M| 0 |1352 |8823 | 11k|8823 | 17k| 934 |1602 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
1368.95/1369.20 c 1369s| 1 | 2 | 1304k| - | 133M| 0 |1352 |8823 | 11k|8823 | 17k| 934 |1614 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
1408.96/1409.21 c 1409s| 100 | 99 | 1346k|1021.6 | 135M| 66 |1058 |8823 | 11k|8823 | 19k|4338 |1832 | 0 | 0.000000e+00 | 6.000000e+00 | Inf
1412.06/1412.37 o 3
1412.06/1412.37 c c1412s| 115 | 112 | 1349k|1012.0 | 136M| 80 | - |8823 | 11k|8823 | 19k|4405 |1873 | 0 | 0.000000e+00 | 3.000000e+00 | Inf
1413.55/1413.88 o 2
1413.55/1413.88 c c1414s| 125 | 122 | 1350k|1005.1 | 136M| 90 | - |8823 | 11k|8823 | 19k|4428 |1888 | 0 | 0.000000e+00 | 2.000000e+00 | Inf
1424.45/1424.79 o 1
1424.45/1424.79 c Forcing restart, since the absolute gap is 1.000000.
1424.45/1424.79 c c1425s| 142 | 92 | 1380k|1014.9 | 137M| 95 | - |8823 | 10k|8823 | 19k|6632 |1914 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1424.55/1424.81 c (run 2, node 142) performing user restart
1424.55/1424.81 c
1424.55/1424.83 c (restart) converted 702 cuts from the global cut pool into linear constraints
1424.55/1424.83 c
1424.55/1424.88 c presolving:
1424.65/1424.92 c (round 1) 998 del vars, 529 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 126 chg coeffs, 0 upgd conss, 574713 impls, 474 clqs
1424.65/1424.95 c (round 2) 1001 del vars, 627 del conss, 44 add conss, 0 chg bounds, 3 chg sides, 130 chg coeffs, 0 upgd conss, 575415 impls, 474 clqs
1424.75/1425.04 c (round 3) 1002 del vars, 636 del conss, 47 add conss, 0 chg bounds, 3 chg sides, 130 chg coeffs, 692 upgd conss, 575631 impls, 513 clqs
1424.85/1425.12 c (round 4) 1002 del vars, 752 del conss, 59 add conss, 0 chg bounds, 13 chg sides, 159 chg coeffs, 692 upgd conss, 575633 impls, 515 clqs
1424.95/1425.21 c (round 5) 1002 del vars, 753 del conss, 59 add conss, 0 chg bounds, 14 chg sides, 166 chg coeffs, 692 upgd conss, 575633 impls, 516 clqs
1425.05/1425.31 c (round 6) 1002 del vars, 800 del conss, 59 add conss, 0 chg bounds, 14 chg sides, 172 chg coeffs, 692 upgd conss, 575633 impls, 516 clqs
1425.05/1425.39 c (round 7) 1002 del vars, 801 del conss, 59 add conss, 96 chg bounds, 14 chg sides, 173 chg coeffs, 692 upgd conss, 575633 impls, 516 clqs
1425.15/1425.47 c (round 8) 1208 del vars, 1018 del conss, 59 add conss, 198 chg bounds, 14 chg sides, 173 chg coeffs, 692 upgd conss, 578705 impls, 516 clqs
1425.15/1425.49 c (round 9) 1236 del vars, 1061 del conss, 59 add conss, 199 chg bounds, 14 chg sides, 186 chg coeffs, 692 upgd conss, 579713 impls, 512 clqs
1425.25/1425.51 c (round 10) 1315 del vars, 1109 del conss, 59 add conss, 199 chg bounds, 14 chg sides, 214 chg coeffs, 693 upgd conss, 582547 impls, 496 clqs
1425.25/1425.56 c (round 11) 1359 del vars, 1141 del conss, 59 add conss, 199 chg bounds, 14 chg sides, 228 chg coeffs, 779 upgd conss, 584783 impls, 491 clqs
1425.25/1425.59 c (round 12) 1366 del vars, 1148 del conss, 59 add conss, 199 chg bounds, 14 chg sides, 230 chg coeffs, 779 upgd conss, 585907 impls, 492 clqs
1425.35/1425.63 c (round 13) 1368 del vars, 1149 del conss, 60 add conss, 199 chg bounds, 14 chg sides, 230 chg coeffs, 779 upgd conss, 585919 impls, 492 clqs
1425.45/1425.70 c (round 14) 1368 del vars, 1151 del conss, 62 add conss, 199 chg bounds, 14 chg sides, 230 chg coeffs, 779 upgd conss, 585919 impls, 492 clqs
1425.45/1425.77 c (round 15) 1368 del vars, 2241 del conss, 424 add conss, 199 chg bounds, 14 chg sides, 230 chg coeffs, 779 upgd conss, 585919 impls, 493 clqs
1425.54/1425.82 c (round 16) 1370 del vars, 2259 del conss, 441 add conss, 199 chg bounds, 14 chg sides, 230 chg coeffs, 779 upgd conss, 585981 impls, 496 clqs
1425.54/1425.85 c (round 17) 1371 del vars, 2261 del conss, 443 add conss, 199 chg bounds, 14 chg sides, 230 chg coeffs, 779 upgd conss, 586037 impls, 513 clqs
1425.65/1425.93 c (round 18) 1372 del vars, 2263 del conss, 444 add conss, 199 chg bounds, 14 chg sides, 230 chg coeffs, 779 upgd conss, 586191 impls, 514 clqs
1425.75/1426.00 c presolving (19 rounds):
1425.75/1426.00 c 1372 deleted vars, 2263 deleted constraints, 444 added constraints, 199 tightened bounds, 0 added holes, 14 changed sides, 230 changed coefficients
1425.75/1426.00 c 586191 implications, 514 cliques
1425.75/1426.00 c presolved problem has 7451 variables (7451 bin, 0 int, 0 impl, 0 cont) and 9681 constraints
1425.75/1426.00 c 1051 constraints of type <knapsack>
1425.75/1426.00 c 1124 constraints of type <setppc>
1425.75/1426.00 c 6306 constraints of type <and>
1425.75/1426.00 c 1081 constraints of type <logicor>
1425.75/1426.00 c 119 constraints of type <bounddisjunction>
1425.75/1426.00 c transformed objective value is always integral (scale: 1)
1425.75/1426.00 c Presolving Time: 10.89
1425.75/1426.00 c
1425.95/1426.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.95/1426.23 c 1426s| 1 | 0 | 1382k| - | 131M| 0 | 894 |7451 |9681 |7451 | 14k| 0 |1914 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1433.44/1433.76 c 1434s| 1 | 0 | 1383k| - | 123M| 0 |1205 |7451 |7343 |7451 | 10k| 400 |1914 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1433.44/1433.77 c 1434s| 1 | 2 | 1383k| - | 123M| 0 |1205 |7451 |7343 |7451 | 10k| 400 |1914 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1433.44/1433.77 c (run 3, node 1) restarting after 2324 global fixings of integer variables
1433.44/1433.77 c
1433.44/1433.78 c (restart) converted 77 cuts from the global cut pool into linear constraints
1433.44/1433.78 c
1433.55/1433.81 c presolving:
1433.55/1433.87 c (round 1) 3378 del vars, 1117 del conss, 14 add conss, 0 chg bounds, 8 chg sides, 913 chg coeffs, 4 upgd conss, 654675 impls, 280 clqs
1433.55/1433.88 c (round 2) 3492 del vars, 1229 del conss, 16 add conss, 0 chg bounds, 11 chg sides, 951 chg coeffs, 10 upgd conss, 655153 impls, 267 clqs
1433.65/1433.91 c (round 3) 3510 del vars, 1265 del conss, 16 add conss, 0 chg bounds, 14 chg sides, 959 chg coeffs, 18 upgd conss, 655183 impls, 267 clqs
1433.65/1433.92 c (round 4) 3519 del vars, 1281 del conss, 16 add conss, 1 chg bounds, 14 chg sides, 961 chg coeffs, 18 upgd conss, 655185 impls, 267 clqs
1433.65/1433.94 c (round 5) 3522 del vars, 1297 del conss, 16 add conss, 1 chg bounds, 14 chg sides, 963 chg coeffs, 326 upgd conss, 655185 impls, 267 clqs
1433.65/1433.96 c (round 6) 3558 del vars, 1379 del conss, 95 add conss, 1 chg bounds, 14 chg sides, 965 chg coeffs, 329 upgd conss, 656715 impls, 267 clqs
1433.65/1433.98 c (round 7) 3560 del vars, 1386 del conss, 95 add conss, 1 chg bounds, 14 chg sides, 966 chg coeffs, 329 upgd conss, 656715 impls, 342 clqs
1433.65/1433.99 c (round 8) 3562 del vars, 1407 del conss, 95 add conss, 1 chg bounds, 14 chg sides, 966 chg coeffs, 329 upgd conss, 656715 impls, 342 clqs
1433.75/1434.00 c (round 9) 3563 del vars, 1407 del conss, 95 add conss, 1 chg bounds, 14 chg sides, 966 chg coeffs, 329 upgd conss, 656715 impls, 342 clqs
1433.75/1434.00 c (round 10) 3567 del vars, 1408 del conss, 95 add conss, 1 chg bounds, 14 chg sides, 967 chg coeffs, 329 upgd conss, 656715 impls, 342 clqs
1433.75/1434.01 c (round 11) 3569 del vars, 1409 del conss, 95 add conss, 1 chg bounds, 14 chg sides, 968 chg coeffs, 329 upgd conss, 656715 impls, 342 clqs
1433.84/1434.10 c (round 12) 3663 del vars, 1537 del conss, 126 add conss, 1 chg bounds, 14 chg sides, 968 chg coeffs, 329 upgd conss, 674346 impls, 342 clqs
1433.84/1434.10 c (round 13) 3671 del vars, 1543 del conss, 126 add conss, 2 chg bounds, 14 chg sides, 970 chg coeffs, 332 upgd conss, 674527 impls, 342 clqs
1433.84/1434.12 c (round 14) 3675 del vars, 1562 del conss, 126 add conss, 2 chg bounds, 14 chg sides, 972 chg coeffs, 337 upgd conss, 674579 impls, 342 clqs
1433.84/1434.13 c (round 15) 3679 del vars, 1577 del conss, 141 add conss, 2 chg bounds, 14 chg sides, 972 chg coeffs, 337 upgd conss, 674593 impls, 342 clqs
1433.84/1434.14 c (round 16) 3683 del vars, 1582 del conss, 141 add conss, 2 chg bounds, 14 chg sides, 974 chg coeffs, 337 upgd conss, 674593 impls, 354 clqs
1433.95/1434.20 c (round 17) 3749 del vars, 1652 del conss, 143 add conss, 2 chg bounds, 14 chg sides, 974 chg coeffs, 337 upgd conss, 690187 impls, 354 clqs
1433.95/1434.21 c (round 18) 3753 del vars, 1659 del conss, 143 add conss, 2 chg bounds, 14 chg sides, 978 chg coeffs, 337 upgd conss, 690289 impls, 355 clqs
1433.95/1434.23 c (round 19) 3758 del vars, 1662 del conss, 146 add conss, 2 chg bounds, 14 chg sides, 978 chg coeffs, 337 upgd conss, 691081 impls, 355 clqs
1433.95/1434.29 c (round 20) 3802 del vars, 1715 del conss, 151 add conss, 2 chg bounds, 14 chg sides, 978 chg coeffs, 337 upgd conss, 698201 impls, 357 clqs
1434.06/1434.31 c (round 21) 3804 del vars, 1727 del conss, 151 add conss, 2 chg bounds, 14 chg sides, 980 chg coeffs, 337 upgd conss, 698395 impls, 358 clqs
1434.06/1434.32 c (round 22) 3806 del vars, 1727 del conss, 151 add conss, 2 chg bounds, 14 chg sides, 980 chg coeffs, 337 upgd conss, 698395 impls, 358 clqs
1434.06/1434.38 c (round 23) 3844 del vars, 1767 del conss, 153 add conss, 2 chg bounds, 14 chg sides, 980 chg coeffs, 338 upgd conss, 703605 impls, 358 clqs
1434.06/1434.40 c (round 24) 3854 del vars, 1770 del conss, 155 add conss, 2 chg bounds, 14 chg sides, 980 chg coeffs, 338 upgd conss, 705499 impls, 358 clqs
1434.15/1434.45 c (round 25) 3874 del vars, 1803 del conss, 165 add conss, 2 chg bounds, 14 chg sides, 980 chg coeffs, 338 upgd conss, 710133 impls, 359 clqs
1434.15/1434.47 c (round 26) 3879 del vars, 1814 del conss, 165 add conss, 2 chg bounds, 14 chg sides, 985 chg coeffs, 338 upgd conss, 710407 impls, 360 clqs
1434.15/1434.48 c (round 27) 3883 del vars, 1816 del conss, 167 add conss, 2 chg bounds, 14 chg sides, 985 chg coeffs, 338 upgd conss, 711241 impls, 360 clqs
1434.25/1434.54 c (round 28) 3899 del vars, 1836 del conss, 171 add conss, 2 chg bounds, 14 chg sides, 985 chg coeffs, 338 upgd conss, 715247 impls, 361 clqs
1434.25/1434.55 c (round 29) 3901 del vars, 1840 del conss, 171 add conss, 2 chg bounds, 14 chg sides, 987 chg coeffs, 338 upgd conss, 715337 impls, 362 clqs
1434.25/1434.59 c (round 30) 3905 del vars, 1844 del conss, 171 add conss, 2 chg bounds, 14 chg sides, 987 chg coeffs, 338 upgd conss, 715989 impls, 362 clqs
1434.35/1434.66 c presolving (31 rounds):
1434.35/1434.66 c 3905 deleted vars, 1844 deleted constraints, 171 added constraints, 2 tightened bounds, 0 added holes, 14 changed sides, 987 changed coefficients
1434.35/1434.66 c 715989 implications, 362 cliques
1434.35/1434.66 c presolved problem has 3546 variables (3546 bin, 0 int, 0 impl, 0 cont) and 5633 constraints
1434.35/1434.66 c 1049 constraints of type <knapsack>
1434.35/1434.66 c 729 constraints of type <setppc>
1434.35/1434.66 c 2559 constraints of type <and>
1434.35/1434.66 c 1183 constraints of type <logicor>
1434.35/1434.66 c 113 constraints of type <bounddisjunction>
1434.35/1434.66 c transformed objective value is always integral (scale: 1)
1434.35/1434.66 c Presolving Time: 11.74
1434.35/1434.66 c
1434.45/1434.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.45/1434.76 c 1435s| 1 | 0 | 1384k| - | 116M| 0 | 703 |3546 |5633 |3546 |6891 | 0 |1914 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1434.85/1435.14 c 1435s| 1 | 0 | 1386k| - | 117M| 0 | 990 |3546 |5631 |3546 |7307 | 423 |1914 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1435.65/1435.90 c 1436s| 1 | 2 | 1387k| - | 117M| 0 | 990 |3546 |5636 |3546 |7307 | 423 |1919 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1447.04/1447.30 c 1447s| 100 | 66 | 1415k| 962.5 | 117M| 33 | 867 |3546 |5587 |3546 |7313 |1704 |2047 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1455.55/1455.82 c 1456s| 200 | 141 | 1429k| 907.8 | 118M| 48 | 455 |3546 |5790 |3546 |7412 |2094 |2250 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1460.85/1461.15 c 1461s| 300 | 114 | 1438k| 857.0 | 118M| 54 | 793 |3546 |5888 |3546 |7372 |2560 |2357 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1471.45/1471.72 c 1472s| 400 | 36 | 1462k| 820.9 | 117M| 54 | 838 |3546 |5986 |3546 |7581 |4199 |2570 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1483.64/1483.93 c 1484s| 500 | 42 | 1494k| 793.1 | 118M| 54 | - |3546 |6158 | 0 | 0 |6300 |2760 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1494.34/1494.61 c 1495s| 600 | 61 | 1520k| 765.2 | 118M| 54 | 959 |3546 |6286 |3546 |7625 |7816 |2924 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1506.23/1506.53 c 1507s| 700 | 78 | 1547k| 740.1 | 119M| 54 | 856 |3546 |6418 |3546 |7680 |8935 |3094 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1514.84/1515.18 c 1515s| 800 | 101 | 1570k| 715.9 | 119M| 54 | 798 |3546 |6507 |3546 |7368 | 10k|3253 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1520.44/1520.73 c 1521s| 900 | 97 | 1584k| 690.0 | 119M| 54 | - |3546 |6584 | 0 | 0 | 12k|3380 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1527.43/1527.78 c 1528s| 1000 | 117 | 1603k| 668.1 | 120M| 54 | 960 |3546 |6643 |3546 |7473 | 14k|3494 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1533.93/1534.28 c 1534s| 1100 | 118 | 1619k| 647.2 | 120M| 54 | 925 |3546 |6693 |3546 |7380 | 16k|3611 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1540.03/1540.30 c 1540s| 1200 | 129 | 1637k| 628.2 | 120M| 54 | - |3546 |6771 | 0 | 0 | 17k|3718 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1546.13/1546.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.13/1546.48 c 1546s| 1300 | 137 | 1650k| 609.3 | 121M| 54 | 796 |3546 |6839 |3546 |7409 | 18k|3815 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1550.63/1550.92 c 1551s| 1400 | 134 | 1662k| 590.9 | 121M| 54 | - |3546 |6895 | 0 | 0 | 19k|3894 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1556.24/1556.53 c 1557s| 1500 | 147 | 1676k| 575.1 | 121M| 54 | 842 |3546 |6993 |3546 |7478 | 21k|4026 | 0 | 0.000000e+00 | 1.000000e+00 | Inf
1561.02/1561.32 c
1561.02/1561.32 c SCIP Status : problem is solved [optimal solution found]
1561.02/1561.32 c Solving Time (sec) : 1561.32
1561.02/1561.32 c Solving Nodes : 1569 (total of 2873 nodes in 4 runs)
1561.02/1561.32 c Primal Bound : +1.00000000000000e+00 (48 solutions)
1561.02/1561.32 c Dual Bound : +1.00000000000000e+00
1561.02/1561.32 c Gap : 0.00 %
1561.02/1561.33 s OPTIMUM FOUND
1561.02/1561.33 v x9051 x9050 -x9049 -x9048 x9047 -x9046 -x9045 -x9044 x9043 x9042 -x9041 -x9040 x9039 -x9038 -x9037 -x9036 -x9035 -x9034 -x9033
1561.02/1561.33 v -x9032 -x9031 x9030 x9029 x9028 -x9027 x9026 -x9025 -x9024 x9023 -x9022 x9021 x9020 x9019 x9018 x9017 x9016 x9015 x9014 x9013
1561.02/1561.33 v x9012 -x9011 x9010 -x9009 x9008 x9007 -x9006 x9005 x9004 x9003 x9002 x9001 x9000 x8999 x8998 -x8997 x8996 x8995 x8994 -x8993
1561.02/1561.33 v x8992 x8991 x8990 x8989 x8988 -x8987 -x8986 x8985 -x8984 -x8983 -x8982 x8981 x8980 x8979 -x8978 x8977 x8976 -x8975 -x8974 x8973
1561.02/1561.33 v x8972 x8971 -x8970 x8969 -x8968 -x8967 -x8966 x8965 x8964 x8963 x8962 x8961 -x8960 x8959 x8958 x8957 x8956 x8955 x8954 -x8953
1561.02/1561.33 v x8952 x8951 x8950 -x8949 -x8948 x8947 -x8946 -x8945 -x8944 -x8943 x8942 -x8941 -x8940 -x8939 -x8938 x8937 -x8936 -x8935
1561.02/1561.33 v -x8934 x8933 -x8932 -x8931 -x8930 x8929 x8928 x8927 x8926 x8925 -x8924 -x8923 x8922 x8921 -x8920 -x8919 x8918 x8917 x8916 x8915
1561.02/1561.33 v -x8914 -x8913 -x8912 x8911 -x8910 x8909 -x8908 -x8907 x8906 x8905 -x8904 x8903 x8902 x8901 -x8900 x8899 x8898 x8897 -x8896
1561.02/1561.33 v -x8895 x8894 x8893 x8892 x8891 x8890 x8889 x8888 x8887 -x8886 -x8885 -x8884 -x8883 -x8882 x8881 -x8880 x8879 -x8878 -x8877 -x8876
1561.02/1561.33 v x8875 x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864 -x8863 -x8862 -x8861 -x8860 -x8859 -x8858
1561.02/1561.33 v -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846 -x8845 -x8844 -x8843 -x8842 -x8841 -x8840
1561.02/1561.33 v -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828 -x8827 -x8826 -x8825 -x8824 -x8823
1561.02/1561.33 v -x8822 -x8821 -x8820 -x8819 -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8809 -x8808 -x8807 -x8806 -x8805
1561.02/1561.33 v -x8804 -x8803 -x8802 -x8801 -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787
1561.02/1561.33 v -x8786 -x8785 -x8784 -x8783 -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769
1561.02/1561.33 v -x8768 -x8767 -x8766 -x8765 -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751
1561.02/1561.33 v -x8750 -x8749 -x8748 -x8747 -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8738 -x8737 -x8736 -x8735 -x8734 -x8733
1561.02/1561.33 v -x8732 -x8731 -x8730 -x8729 -x8728 -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715
1561.02/1561.33 v -x8714 -x8713 -x8712 -x8711 -x8710 -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698
1561.02/1561.33 v -x8697 -x8696 -x8695 -x8694 -x8693 -x8692 -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680
1561.02/1561.33 v -x8679 -x8678 -x8677 -x8676 -x8675 -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8667 -x8666 -x8665 -x8664 -x8663 -x8662
1561.02/1561.33 v -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 x8655 -x8654 -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644
1561.02/1561.33 v -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626
1561.02/1561.33 v -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608
1561.02/1561.33 v -x8607 -x8606 -x8605 -x8604 -x8603 -x8602 -x8601 -x8600 -x8599 -x8598 -x8597 -x8596 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590
1561.02/1561.33 v -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583 -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 -x8572
1561.02/1561.33 v -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565 -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555
1561.02/1561.33 v -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537
1561.02/1561.33 v -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8529 -x8528 -x8527 -x8526 -x8525 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519
1561.02/1561.33 v -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501
1561.02/1561.33 v -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483
1561.02/1561.33 v -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475 -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465
1561.02/1561.33 v -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 x8458 -x8457 x8456 x8455 -x8454 x8453 x8452 x8451 -x8450 -x8449 -x8448 -x8447
1561.02/1561.33 v -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429
1561.02/1561.33 v -x8428 -x8427 -x8426 -x8425 x8424 -x8423 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411
1561.02/1561.33 v -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393
1561.02/1561.33 v -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 -x8384 -x8383 -x8382 -x8381 -x8380 -x8379 -x8378 x8377 x8376 -x8375
1561.02/1561.33 v -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357
1561.02/1561.33 v -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339
1561.02/1561.33 v -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321
1561.02/1561.33 v -x8320 x8319 x8318 x8317 x8316 x8315 x8314 x8313 x8312 x8311 x8310 x8309 -x8308 x8307 x8306 x8305 x8304 -x8303 -x8302 -x8301
1561.02/1561.33 v -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294 -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283
1561.02/1561.33 v -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265
1561.02/1561.33 v -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248
1561.02/1561.33 v -x8247 -x8246 -x8245 x8244 x8243 x8242 x8241 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229
1561.02/1561.33 v -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 x8211
1561.02/1561.33 v x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193
1561.02/1561.33 v -x8192 x8191 -x8190 -x8189 -x8188 -x8187 x8186 x8185 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175
1561.02/1561.33 v -x8174 -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157
1561.02/1561.33 v -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139
1561.02/1561.33 v -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121
1561.02/1561.33 v -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 -x8105 -x8104 -x8103
1561.02/1561.33 v -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 x8092 -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085
1561.02/1561.33 v -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067
1561.02/1561.33 v -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 -x8052 -x8051 -x8050
1561.02/1561.33 v -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032
1561.02/1561.33 v -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014
1561.02/1561.33 v -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996
1561.02/1561.33 v -x7995 -x7994 -x7993 -x7992 x7991 x7990 x7989 x7988 x7987 x7986 x7985 x7984 x7983 x7982 x7981 x7980 x7979 -x7978 -x7977 -x7976
1561.02/1561.33 v -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7958
1561.02/1561.33 v -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941
1561.02/1561.33 v -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 x7926 x7925 x7924 -x7923 -x7922
1561.02/1561.33 v -x7921 -x7920 -x7919 -x7918 -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904
1561.02/1561.33 v -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7887
1561.02/1561.33 v -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 -x7878 -x7877 x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869
1561.02/1561.33 v -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851
1561.02/1561.33 v -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833
1561.02/1561.33 v -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7816 -x7815
1561.02/1561.33 v -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806 x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 -x7797
1561.02/1561.33 v -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779
1561.02/1561.33 v -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761
1561.02/1561.33 v -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 x7753 -x7752 -x7751 -x7750 x7749 x7748 x7747 x7746 x7745 x7744 x7743 -x7742
1561.02/1561.33 v -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 x7731 -x7730 -x7729 x7728 x7727 -x7726 x7725 -x7724
1561.02/1561.33 v -x7723 x7722 x7721 -x7720 -x7719 -x7718 -x7717 x7716 -x7715 -x7714 -x7713 x7712 -x7711 x7710 -x7709 -x7708 x7707 -x7706 -x7705
1561.02/1561.33 v x7704 -x7703 -x7702 x7701 x7700 x7699 -x7698 -x7697 x7696 -x7695 x7694 x7693 x7692 x7691 x7690 x7689 x7688 x7687 x7686 x7685
1561.02/1561.33 v x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667
1561.02/1561.33 v -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649
1561.02/1561.33 v -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631
1561.02/1561.33 v -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614
1561.02/1561.33 v -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596
1561.02/1561.33 v -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578
1561.02/1561.33 v -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560
1561.02/1561.33 v -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542
1561.02/1561.33 v -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524
1561.02/1561.33 v -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506
1561.02/1561.33 v -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489
1561.02/1561.33 v -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471
1561.02/1561.33 v -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453
1561.02/1561.33 v -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435
1561.02/1561.33 v -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417
1561.02/1561.33 v -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399
1561.02/1561.33 v -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381
1561.02/1561.33 v -x7380 -x7379 -x7378 -x7377 x7376 x7375 x7374 x7373 x7372 x7371 x7370 x7369 x7368 x7367 x7366 x7365 x7364 x7363 x7362 x7361
1561.02/1561.33 v x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343
1561.02/1561.33 v -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 x7325
1561.02/1561.33 v -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307
1561.02/1561.33 v -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 x7291 -x7290 -x7289
1561.02/1561.33 v -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271
1561.02/1561.33 v -x7270 -x7269 -x7268 -x7267 x7266 -x7265 -x7264 -x7263 -x7262 -x7261 x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 x7253
1561.02/1561.33 v -x7252 -x7251 -x7250 -x7249 -x7248 x7247 -x7246 -x7245 -x7244 x7243 -x7242 -x7241 -x7240 -x7239 x7238 -x7237 -x7236 -x7235
1561.02/1561.33 v -x7234 x7233 -x7232 -x7231 -x7230 x7229 -x7228 -x7227 -x7226 -x7225 x7224 -x7223 -x7222 -x7221 x7220 -x7219 -x7218 -x7217 x7216
1561.02/1561.33 v -x7215 -x7214 -x7213 -x7212 x7211 -x7210 -x7209 -x7208 x7207 -x7206 -x7205 x7204 -x7203 -x7202 x7201 -x7200 -x7199 -x7198
1561.02/1561.33 v x7197 -x7196 x7195 -x7194 x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179
1561.02/1561.33 v -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 x7171 -x7170 x7169 -x7168 -x7167 x7166 -x7165 x7164 -x7163 -x7162 -x7161
1561.02/1561.33 v -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143
1561.02/1561.33 v -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125
1561.02/1561.33 v -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107
1561.02/1561.33 v -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 x7093 -x7092 -x7091 -x7090 -x7089
1561.02/1561.33 v -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 x7080 x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071
1561.02/1561.33 v -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053
1561.02/1561.33 v -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035
1561.02/1561.33 v -x7034 -x7033 -x7032 x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017
1561.02/1561.33 v -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 x7007 x7006 x7005 x7004 -x7003 x7002 -x7001 -x7000 -x6999
1561.02/1561.33 v -x6998 -x6997 -x6996 -x6995 -x6994 x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 x6986 -x6985 -x6984 x6983 -x6982 -x6981 -x6980
1561.02/1561.33 v -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 x6971 x6970 x6969 x6968 x6967 x6966 x6965 x6964 x6963 x6962 x6961
1561.02/1561.33 v -x6960 x6959 -x6958 -x6957 -x6956 x6955 x6954 -x6953 x6952 -x6951 -x6950 -x6949 x6948 x6947 -x6946 -x6945 -x6944 -x6943 -x6942
1561.02/1561.33 v -x6941 -x6940 -x6939 x6938 x6937 x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 x6927 x6926 x6925 -x6924 -x6923
1561.02/1561.33 v -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906
1561.02/1561.33 v -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888
1561.02/1561.33 v -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870
1561.02/1561.33 v -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852
1561.02/1561.33 v -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 x6838 -x6837 -x6836 -x6835 -x6834
1561.02/1561.33 v -x6833 -x6832 -x6831 -x6830 -x6829 x6828 -x6827 -x6826 x6825 -x6824 -x6823 -x6822 -x6821 x6820 -x6819 -x6818 -x6817 -x6816
1561.02/1561.33 v -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 x6801 -x6800 -x6799 -x6798
1561.02/1561.33 v -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 x6791 x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780
1561.02/1561.33 v x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 x6761
1561.02/1561.33 v -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 x6744 -x6743
1561.02/1561.33 v x6742 -x6741 x6740 -x6739 -x6738 x6737 x6736 -x6735 x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725
1561.02/1561.33 v -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 x6717 -x6716 -x6715 x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706
1561.02/1561.33 v -x6705 -x6704 -x6703 x6702 x6701 -x6700 -x6699 -x6698 x6697 -x6696 -x6695 x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688
1561.02/1561.33 v x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 x6677 -x6676 -x6675 -x6674 -x6673 x6672 -x6671 -x6670
1561.02/1561.33 v -x6669 -x6668 -x6667 -x6666 x6665 -x6664 -x6663 -x6662 -x6661 x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652
1561.02/1561.33 v -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634
1561.02/1561.33 v -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616
1561.02/1561.33 v -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598
1561.02/1561.33 v -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580
1561.02/1561.33 v -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 x6567 x6566 -x6565 -x6564 -x6563 x6562
1561.02/1561.33 v -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 x6553 x6552 x6551 -x6550 -x6549 -x6548 x6547 x6546 x6545 x6544 x6543
1561.02/1561.33 v x6542 x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525
1561.02/1561.33 v -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507
1561.02/1561.33 v -x6506 -x6505 -x6504 x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489
1561.02/1561.33 v -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 x6472 -x6471
1561.02/1561.33 v -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453
1561.02/1561.33 v -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435
1561.02/1561.33 v -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417
1561.02/1561.33 v -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399
1561.02/1561.33 v -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382
1561.02/1561.33 v x6381 x6380 x6379 x6378 x6377 x6376 x6375 x6374 x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362
1561.02/1561.33 v -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 x6345 x6344
1561.02/1561.33 v -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326
1561.02/1561.33 v -x6325 -x6324 -x6323 -x6322 -x6321 x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308
1561.02/1561.33 v -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291
1561.02/1561.33 v -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 x6274 x6273 x6272
1561.02/1561.33 v x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 x6264 -x6263 x6262 x6261 x6260 x6259 x6258 x6257 -x6256 -x6255 -x6254 -x6253
1561.02/1561.33 v -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235
1561.02/1561.33 v -x6234 x6233 x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217
1561.02/1561.33 v -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 x6207 x6206 -x6205 x6204 -x6203 -x6202 x6201 -x6200 -x6199
1561.02/1561.33 v -x6198 -x6197 x6196 -x6195 -x6194 -x6193 x6192 x6191 x6190 x6189 x6188 x6187 x6186 x6185 x6184 x6183 x6182 x6181 x6180 x6179
1561.02/1561.33 v -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161
1561.02/1561.33 v -x6160 -x6159 -x6158 x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143
1561.02/1561.33 v -x6142 -x6141 -x6140 x6139 -x6138 -x6137 -x6136 x6135 -x6134 -x6133 x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125
1561.02/1561.33 v -x6124 -x6123 -x6122 x6121 -x6120 -x6119 -x6118 -x6117 -x6116 x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106
1561.02/1561.33 v -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 x6091 x6090 x6089 x6088
1561.02/1561.33 v x6087 x6086 x6085 x6084 x6083 x6082 x6081 x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069
1561.02/1561.33 v -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051
1561.02/1561.33 v -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033
1561.02/1561.33 v -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015
1561.02/1561.33 v -x6014 x6013 x6012 x6011 x6010 x6009 x6008 x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996
1561.02/1561.33 v -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979
1561.02/1561.33 v -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961
1561.02/1561.33 v -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 x5948 -x5947 -x5946 -x5945 -x5944 -x5943
1561.02/1561.33 v -x5942 -x5941 -x5940 x5939 x5938 x5937 x5936 x5935 x5934 x5933 x5932 x5931 x5930 x5929 x5928 -x5927 -x5926 -x5925 -x5924 -x5923
1561.02/1561.33 v x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 x5915 x5914 x5913 x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905
1561.02/1561.33 v -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887
1561.02/1561.33 v -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869
1561.02/1561.33 v -x5868 -x5867 -x5866 -x5865 x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 x5851
1561.02/1561.33 v -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833
1561.02/1561.33 v -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815
1561.02/1561.33 v -x5814 -x5813 -x5812 -x5811 -x5810 x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797
1561.02/1561.33 v -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779
1561.02/1561.33 v -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 x5763 x5762 x5761
1561.02/1561.33 v x5760 x5759 x5758 x5757 x5756 x5755 x5754 x5753 x5752 x5751 x5750 x5749 x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741
1561.02/1561.33 v -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 x5731 x5730 x5729 x5728 x5727 x5726 x5725 x5724 x5723 x5722
1561.02/1561.33 v x5721 x5720 x5719 x5718 x5717 x5716 x5715 x5714 x5713 x5712 x5711 x5710 x5709 x5708 x5707 x5706 x5705 x5704 x5703 x5702 x5701
1561.02/1561.33 v x5700 x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 x5683 x5682
1561.02/1561.33 v x5681 x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664
1561.02/1561.33 v -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646
1561.02/1561.33 v -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 x5631 -x5630 -x5629 -x5628
1561.02/1561.33 v -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610
1561.02/1561.33 v -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593
1561.02/1561.33 v -x5592 x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575
1561.02/1561.33 v -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 x5560 -x5559 -x5558 -x5557 -x5556
1561.02/1561.33 v -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 x5539 -x5538
1561.02/1561.33 v -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521
1561.02/1561.33 v -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503
1561.02/1561.33 v -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 x5487 x5486 x5485 x5484
1561.02/1561.33 v x5483 -x5482 -x5481 x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466
1561.02/1561.33 v -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448
1561.02/1561.33 v -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430
1561.02/1561.33 v -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412
1561.02/1561.33 v -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 x5395 -x5394
1561.02/1561.33 v -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377
1561.02/1561.33 v -x5376 -x5375 -x5374 x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359
1561.02/1561.33 v -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 x5343 -x5342 -x5341
1561.02/1561.33 v -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323
1561.02/1561.33 v -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305
1561.02/1561.33 v -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287
1561.02/1561.33 v -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269
1561.02/1561.33 v -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251
1561.02/1561.33 v -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 x5235 -x5234 -x5233
1561.02/1561.33 v -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 x5220 -x5219 -x5218 -x5217 -x5216 -x5215
1561.02/1561.33 v -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197
1561.02/1561.33 v -x5196 -x5195 -x5194 x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179
1561.02/1561.33 v -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 x5172 x5171 x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161
1561.02/1561.33 v -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 x5145 -x5144 -x5143
1561.02/1561.33 v -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 x5129 -x5128 -x5127 -x5126 -x5125
1561.02/1561.33 v -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107
1561.02/1561.33 v -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089
1561.02/1561.33 v -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071
1561.02/1561.33 v -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054
1561.02/1561.33 v -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036
1561.02/1561.33 v -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 x5021 -x5020 -x5019 -x5018
1561.02/1561.33 v -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000
1561.02/1561.33 v -x4999 -x4998 -x4997 -x4996 -x4995 x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982
1561.02/1561.33 v -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964
1561.02/1561.33 v -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946
1561.02/1561.33 v -x4945 x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928
1561.02/1561.33 v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910
1561.02/1561.33 v -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892
1561.02/1561.33 v -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874
1561.02/1561.33 v -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857
1561.02/1561.33 v -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839
1561.02/1561.33 v x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 x4825 -x4824 -x4823 -x4822 -x4821
1561.02/1561.33 v -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803
1561.02/1561.33 v -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785
1561.02/1561.33 v -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767
1561.02/1561.33 v -x4766 -x4765 -x4764 -x4763 -x4762 x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749
1561.02/1561.33 v -x4748 -x4747 -x4746 -x4745 -x4744 x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731
1561.02/1561.33 v -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713
1561.02/1561.33 v -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695
1561.02/1561.33 v -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677
1561.02/1561.33 v -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659
1561.02/1561.33 v -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641
1561.02/1561.33 v -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623
1561.02/1561.33 v -x4622 -x4621 -x4620 -x4619 -x4618 x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605
1561.02/1561.33 v -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587
1561.02/1561.33 v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569
1561.02/1561.33 v -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552
1561.02/1561.34 v -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534
1561.02/1561.34 v -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516
1561.02/1561.34 v -x4515 -x4514 -x4513 -x4512 x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498
1561.02/1561.34 v -x4497 -x4496 -x4495 x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480
1561.02/1561.34 v -x4479 -x4478 x4477 x4476 x4475 -x4474 -x4473 -x4472 -x4471 x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461
1561.02/1561.34 v -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443
1561.02/1561.34 v -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426
1561.02/1561.34 v -x4425 x4424 -x4423 -x4422 -x4421 x4420 x4419 x4418 x4417 x4416 x4415 x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407
1561.02/1561.34 v -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 x4389
1561.02/1561.34 v x4388 x4387 -x4386 x4385 x4384 x4383 x4382 x4381 x4380 x4379 x4378 x4377 x4376 x4375 -x4374 x4373 -x4372 -x4371 x4370 -x4369
1561.02/1561.34 v -x4368 -x4367 x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 x4351 -x4350
1561.02/1561.34 v -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 x4334 -x4333 -x4332
1561.02/1561.34 v -x4331 -x4330 -x4329 -x4328 x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314
1561.02/1561.34 v -x4313 -x4312 -x4311 -x4310 x4309 x4308 x4307 -x4306 -x4305 -x4304 -x4303 -x4302 x4301 -x4300 -x4299 -x4298 -x4297 -x4296
1561.02/1561.34 v -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278
1561.02/1561.34 v -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260
1561.02/1561.34 v -x4259 -x4258 -x4257 -x4256 -x4255 x4254 x4253 x4252 -x4251 -x4250 -x4249 -x4248 -x4247 x4246 -x4245 -x4244 -x4243 -x4242
1561.02/1561.34 v -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224
1561.02/1561.34 v -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 x4207 -x4206
1561.02/1561.34 v -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188
1561.02/1561.34 v -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170
1561.02/1561.34 v -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 x4154 -x4153 -x4152
1561.02/1561.34 v -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 x4138 -x4137 -x4136 -x4135 -x4134
1561.02/1561.34 v -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 x4119 -x4118 -x4117 -x4116
1561.02/1561.34 v -x4115 -x4114 -x4113 x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 x4105 -x4104 -x4103 -x4102 x4101 -x4100 -x4099 -x4098 -x4097
1561.02/1561.34 v x4096 x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079
1561.02/1561.34 v -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061
1561.02/1561.34 v -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 x4045 -x4044 -x4043
1561.02/1561.34 v -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026
1561.02/1561.34 v -x4025 -x4024 -x4023 -x4022 -x4021 x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008
1561.02/1561.34 v -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990
1561.02/1561.34 v -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972
1561.02/1561.34 v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 x3964 x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954
1561.02/1561.34 v -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 x3937 -x3936
1561.02/1561.34 v -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918
1561.02/1561.34 v -x3917 -x3916 -x3915 -x3914 -x3913 x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900
1561.02/1561.34 v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 x3887 x3886 -x3885 -x3884 x3883 x3882 x3881
1561.02/1561.34 v x3880 x3879 x3878 x3877 -x3876 -x3875 -x3874 -x3873 x3872 x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862
1561.02/1561.34 v -x3861 -x3860 -x3859 -x3858 -x3857 x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 x3848 -x3847 -x3846 -x3845 -x3844
1561.02/1561.34 v -x3843 -x3842 x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 x3833 x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826
1561.02/1561.34 v -x3825 -x3824 x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 x3808
1561.02/1561.34 v -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 x3794 -x3793 -x3792 -x3791 -x3790
1561.02/1561.34 v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 x3778 -x3777 -x3776 -x3775 x3774 -x3773 -x3772 -x3771
1561.02/1561.34 v -x3770 x3769 -x3768 -x3767 x3766 -x3765 -x3764 -x3763 x3762 -x3761 -x3760 -x3759 x3758 -x3757 -x3756 -x3755 -x3754 -x3753
1561.02/1561.34 v -x3752 -x3751 -x3750 x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 x3735
1561.02/1561.34 v -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 x3719 -x3718 -x3717
1561.02/1561.34 v -x3716 -x3715 x3714 -x3713 -x3712 x3711 -x3710 x3709 -x3708 -x3707 -x3706 -x3705 -x3704 x3703 -x3702 -x3701 -x3700 -x3699 x3698
1561.02/1561.34 v -x3697 -x3696 -x3695 x3694 -x3693 -x3692 -x3691 x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 x3683 -x3682 -x3681 -x3680
1561.02/1561.34 v -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 x3663 -x3662
1561.02/1561.34 v -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 x3652 x3651 x3650 x3649 x3648 x3647 x3646 x3645 x3644 x3643
1561.02/1561.34 v x3642 x3641 x3640 x3639 x3638 x3637 x3636 x3635 -x3634 x3633 -x3632 x3631 x3630 x3629 x3628 -x3627 -x3626 -x3625 x3624 -x3623
1561.02/1561.34 v -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605
1561.02/1561.34 v -x3604 x3603 -x3602 -x3601 -x3600 x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587
1561.02/1561.34 v -x3586 -x3585 x3584 -x3583 -x3582 x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 x3570 -x3569
1561.02/1561.34 v -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551
1561.02/1561.34 v -x3550 x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533
1561.02/1561.34 v -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515
1561.02/1561.34 v -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 x3502 -x3501 -x3500 -x3499 -x3498 -x3497
1561.02/1561.34 v -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482 -x3481 -x3480 -x3479
1561.02/1561.34 v -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461
1561.02/1561.34 v x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443
1561.02/1561.34 v -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425
1561.02/1561.34 v -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 x3407
1561.02/1561.34 v -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389
1561.02/1561.34 v -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371
1561.02/1561.34 v -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353
1561.02/1561.34 v -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335
1561.02/1561.34 v -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317
1561.02/1561.34 v -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300
1561.02/1561.34 v x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282
1561.02/1561.34 v -x3281 x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263
1561.02/1561.34 v -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 x3246 -x3245
1561.02/1561.34 v -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228
1561.02/1561.34 v -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210
1561.02/1561.34 v -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 x3193 -x3192
1561.02/1561.34 v -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 x3176 -x3175 -x3174
1561.02/1561.34 v -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156
1561.02/1561.34 v -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138
1561.02/1561.34 v -x3137 -x3136 -x3135 -x3134 -x3133 x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120
1561.02/1561.34 v -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102
1561.02/1561.34 v -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084
1561.02/1561.34 v -x3083 -x3082 -x3081 x3080 x3079 x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066
1561.02/1561.34 v -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048
1561.02/1561.34 v -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030
1561.02/1561.34 v -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 x3015 -x3014 -x3013 -x3012
1561.02/1561.34 v -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994
1561.02/1561.34 v -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976
1561.02/1561.34 v -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958
1561.02/1561.34 v -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940
1561.02/1561.34 v -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 x2929 -x2928 -x2927 -x2926 -x2925 x2924 -x2923 -x2922
1561.02/1561.34 v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904
1561.02/1561.34 v -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886
1561.02/1561.34 v -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868
1561.02/1561.34 v -x2867 -x2866 x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850
1561.02/1561.34 v -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833
1561.02/1561.34 v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815
1561.02/1561.34 v -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797
1561.02/1561.34 v -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779
1561.02/1561.34 v x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 x2764 -x2763 -x2762 -x2761
1561.02/1561.34 v -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743
1561.02/1561.34 v -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725
1561.02/1561.34 v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
1561.02/1561.34 v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
1561.02/1561.34 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671
1561.02/1561.34 v -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
1561.02/1561.34 v -x2652 -x2651 -x2650 x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 x2635
1561.02/1561.34 v -x2634 -x2633 -x2632 -x2631 x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617
1561.02/1561.34 v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599
1561.02/1561.34 v x2598 -x2597 -x2596 -x2595 x2594 x2593 x2592 x2591 x2590 x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580
1561.02/1561.34 v -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 x2570 x2569 x2568 x2567 x2566 x2565 x2564 x2563 x2562 x2561
1561.02/1561.34 v x2560 x2559 x2558 x2557 x2556 -x2555 -x2554 -x2553 x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542
1561.02/1561.34 v -x2541 x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 x2525 -x2524
1561.02/1561.34 v -x2523 -x2522 -x2521 -x2520 x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506
1561.02/1561.34 v -x2505 x2504 -x2503 -x2502 -x2501 -x2500 -x2499 x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488
1561.02/1561.34 v -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470
1561.02/1561.34 v -x2469 -x2468 -x2467 x2466 -x2465 -x2464 -x2463 -x2462 -x2461 x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452
1561.02/1561.34 v -x2451 -x2450 x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434
1561.02/1561.34 v -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416
1561.02/1561.34 v -x2415 -x2414 x2413 -x2412 -x2411 -x2410 -x2409 -x2408 x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 x2399 -x2398
1561.02/1561.34 v -x2397 -x2396 -x2395 -x2394 x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380
1561.02/1561.34 v -x2379 x2378 -x2377 -x2376 -x2375 -x2374 -x2373 x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362
1561.02/1561.34 v -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344
1561.02/1561.34 v -x2343 -x2342 -x2341 x2340 -x2339 -x2338 -x2337 -x2336 -x2335 x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
1561.02/1561.34 v -x2325 -x2324 x2323 -x2322 -x2321 -x2320 -x2319 -x2318 x2317 x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307
1561.02/1561.34 v -x2306 -x2305 -x2304 -x2303 x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 x2295 -x2294 -x2293 -x2292 -x2291 -x2290 x2289
1561.02/1561.34 v -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 x2282 x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 x2273 -x2272 -x2271
1561.02/1561.34 v -x2270 -x2269 -x2268 -x2267 x2266 -x2265 -x2264 -x2263 -x2262 -x2261 x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253
1561.02/1561.34 v -x2252 -x2251 -x2250 -x2249 x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 x2235
1561.02/1561.34 v -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217
1561.02/1561.34 v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 x2210 -x2209 -x2208 x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
1561.02/1561.34 v -x2197 -x2196 -x2195 -x2194 x2193 -x2192 -x2191 -x2190 x2189 x2188 x2187 x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
1561.02/1561.34 v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 x2170 -x2169 -x2168 x2167 -x2166 -x2165 -x2164 -x2163 -x2162
1561.02/1561.34 v -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 x2155 -x2154 x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 x2144 -x2143
1561.02/1561.34 v -x2142 -x2141 -x2140 -x2139 x2138 x2137 -x2136 -x2135 x2134 x2133 x2132 x2131 -x2130 -x2129 -x2128 x2127 x2126 -x2125 -x2124
1561.02/1561.34 v -x2123 -x2122 -x2121 -x2120 -x2119 x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106
1561.02/1561.34 v -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089
1561.02/1561.34 v -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071
1561.02/1561.34 v -x2070 x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 x2058 x2057 -x2056 -x2055 -x2054 -x2053 -x2052
1561.02/1561.34 v x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 x2043 x2042 -x2041 -x2040 x2039 -x2038 -x2037 -x2036 -x2035 -x2034
1561.02/1561.34 v -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016
1561.02/1561.34 v -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998
1561.02/1561.34 v -x1997 -x1996 -x1995 -x1994 -x1993 x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 x1985 -x1984 -x1983 -x1982 -x1981 -x1980
1561.02/1561.34 v -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962
1561.02/1561.34 v -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944
1561.02/1561.34 v -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 x1930 x1929 x1928 x1927 x1926
1561.02/1561.34 v x1925 x1924 x1923 x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907
1561.02/1561.34 v -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 x1892 x1891 -x1890 -x1889
1561.02/1561.34 v -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872 x1871
1561.02/1561.34 v -x1870 -x1869 -x1868 -x1867 x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853
1561.02/1561.34 v x1852 x1851 -x1850 -x1849 -x1848 -x1847 x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835
1561.02/1561.34 v -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817
1561.02/1561.34 v -x1816 -x1815 x1814 x1813 x1812 -x1811 -x1810 -x1809 x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 -x1799 -x1798
1561.02/1561.34 v -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 x1791 x1790 x1789 x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780
1561.02/1561.34 v -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762
1561.02/1561.34 v -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 x1747 -x1746 x1745 x1744
1561.02/1561.34 v -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726
1561.02/1561.34 v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708
1561.02/1561.34 v -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690
1561.02/1561.34 v -x1689 -x1688 -x1687 x1686 x1685 x1684 -x1683 -x1682 -x1681 -x1680 x1679 -x1678 -x1677 -x1676 -x1675 -x1674 x1673 -x1672
1561.02/1561.34 v x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 x1656 -x1655 -x1654 -x1653
1561.02/1561.34 v -x1652 -x1651 -x1650 -x1649 -x1648 x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635
1561.02/1561.34 v -x1634 x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 x1625 x1624 x1623 x1622 x1621 x1620 x1619 -x1618 -x1617 -x1616
1561.02/1561.34 v x1615 -x1614 -x1613 x1612 x1611 -x1610 -x1609 -x1608 -x1607 x1606 -x1605 -x1604 -x1603 -x1602 x1601 -x1600 -x1599 -x1598
1561.02/1561.34 v -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580
1561.02/1561.34 v -x1579 -x1578 -x1577 x1576 -x1575 -x1574 -x1573 x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562
1561.02/1561.34 v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544
1561.02/1561.34 v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 x1529 -x1528 -x1527 -x1526
1561.02/1561.34 v x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 x1510 -x1509 -x1508
1561.02/1561.34 v -x1507 x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 x1497 x1496 x1495 x1494 -x1493 -x1492 -x1491 -x1490 -x1489
1561.02/1561.34 v -x1488 -x1487 -x1486 x1485 -x1484 x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470
1561.02/1561.34 v -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452
1561.02/1561.34 v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434
1561.02/1561.34 v -x1433 -x1432 -x1431 -x1430 -x1429 x1428 x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420 -x1419 -x1418 -x1417 x1416 -x1415
1561.02/1561.34 v -x1414 -x1413 -x1412 -x1411 -x1410 x1409 -x1408 x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397
1561.02/1561.34 v -x1396 x1395 -x1394 -x1393 -x1392 -x1391 x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379
1561.02/1561.34 v -x1378 -x1377 x1376 x1375 x1374 -x1373 -x1372 x1371 -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 -x1363 -x1362 x1361 -x1360
1561.02/1561.34 v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342
1561.02/1561.34 v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330 -x1329 -x1328 -x1327 x1326 -x1325 -x1324
1561.02/1561.34 v -x1323 x1322 x1321 x1320 x1319 x1318 x1317 -x1316 x1315 x1314 -x1313 x1312 -x1311 x1310 x1309 -x1308 x1307 -x1306 -x1305 -x1304
1561.02/1561.34 v -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287
1561.02/1561.34 v -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269
1561.02/1561.34 v -x1268 -x1267 x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 x1255 -x1254 -x1253 -x1252 -x1251 -x1250
1561.02/1561.34 v x1249 -x1248 -x1247 -x1246 -x1245 -x1244 x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232
1561.02/1561.34 v -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 x1214
1561.02/1561.34 v -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 x1205 -x1204 -x1203 x1202 x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195
1561.02/1561.34 v -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 -x1180 -x1179 x1178 -x1177
1561.02/1561.34 v -x1176 -x1175 -x1174 -x1173 x1172 -x1171 -x1170 -x1169 x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158
1561.02/1561.34 v x1157 x1156 x1155 x1154 x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 x1142 x1141 x1140 x1139
1561.02/1561.34 v x1138 x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121
1561.02/1561.34 v -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 x1108 x1107 -x1106 -x1105 -x1104 -x1103
1561.02/1561.34 v -x1102 -x1101 x1100 x1099 x1098 x1097 -x1096 -x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 x1086 -x1085 -x1084
1561.02/1561.34 v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1561.02/1561.34 v -x1065 x1064 -x1063 -x1062 -x1061 -x1060 -x1059 x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 x1051 -x1050 x1049 -x1048 -x1047
1561.02/1561.34 v -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029
1561.02/1561.34 v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 x1017 x1016 x1015 x1014 x1013 x1012 x1011
1561.02/1561.34 v x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991
1561.02/1561.34 v -x990 -x989 x988 x987 x986 x985 x984 x983 x982 x981 x980 x979 x978 x977 x976 x975 x974 x973 -x972 -x971 x970 -x969 -x968
1561.02/1561.34 v -x967 x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946
1561.02/1561.34 v -x945 -x944 x943 -x942 -x941 -x940 x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925
1561.02/1561.34 v -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 -x916 -x915 -x914 -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904
1561.02/1561.34 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1561.02/1561.34 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1561.02/1561.34 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 x853 x852 x851 -x850 -x849 -x848 x847 x846 x845 x844 x843 x842 x841 -x840 x839
1561.02/1561.34 v -x838 -x837 x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 x828 -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820 -x819 -x818
1561.02/1561.34 v -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797
1561.02/1561.34 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 -x776
1561.02/1561.34 v -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754
1561.02/1561.34 v -x753 -x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733
1561.02/1561.34 v -x732 -x731 -x730 x729 -x728 x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 x716 -x715 -x714 x713 -x712
1561.02/1561.34 v -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691
1561.02/1561.34 v x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 x670 x669
1561.02/1561.34 v -x668 -x667 x666 x665 x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647
1561.02/1561.34 v -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626
1561.02/1561.34 v -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 x609 x608 x607 -x606 -x605
1561.02/1561.34 v x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 x585 -x584 -x583
1561.02/1561.34 v -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 x567 -x566 -x565 -x564 -x563 x562
1561.02/1561.34 v x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 x543 x542 -x541
1561.02/1561.34 v x540 -x539 -x538 x537 -x536 x535 x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 x519
1561.02/1561.34 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 x498 -x497
1561.02/1561.34 v -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476
1561.02/1561.34 v -x475 -x474 x473 -x472 x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454
1561.02/1561.34 v x453 x452 x451 x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 x439 x438 -x437 -x436 -x435 -x434 x433 -x432
1561.02/1561.34 v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1561.02/1561.34 v -x410 x409 x408 x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 -x390 x389
1561.02/1561.34 v x388 x387 x386 x385 x384 x383 x382 x381 x380 -x379 x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 x366
1561.02/1561.34 v -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 x349 -x348 -x347 -x346 -x345
1561.02/1561.34 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323
1561.02/1561.34 v -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1561.02/1561.34 v -x301 x300 x299 x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 x287 x286 -x285 -x284 -x283 -x282 x281 -x280
1561.02/1561.34 v -x279 -x278 x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 x260 -x259
1561.02/1561.34 v -x258 x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 -x239 x238 x237
1561.02/1561.34 v x236 -x235 -x234 -x233 x232 -x231 -x230 x229 -x228 x227 x226 -x225 -x224 -x223 x222 x221 x220 x219 x218 x217 x216 -x215 x214
1561.02/1561.34 v -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 x199 x198 x197 x196 x195 x194 x193 x192 -x191
1561.02/1561.34 v x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 x181 -x180 -x179 -x178 -x177 x176 x175 -x174 -x173 -x172 -x171 -x170
1561.02/1561.34 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 x158 x157 x156 x155 -x154 x153 x152 -x151 -x150 -x149 -x148 -x147
1561.02/1561.34 v x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126
1561.02/1561.34 v -x125 x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 x105 -x104
1561.02/1561.34 v -x103 x102 x101 x100 x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 x87 x86 -x85 -x84 -x83 x82 x81 x80 x79 x78 x77
1561.02/1561.34 v x76 x75 -x74 -x73 x72 -x71 -x70 -x69 x68 -x67 -x66 x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51
1561.02/1561.34 v -x50 -x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 -x30 -x29 x28 -x27 -x26 x25 -x24
1561.02/1561.34 v -x23 -x22 -x21 -x20 x19 -x18 -x17 x16 x15 -x14 -x13 x12 x11 -x10 -x9 x8 x7 -x6 -x5 x4 x3 -x2 -x1
1561.02/1561.34 c SCIP Status : problem is solved [optimal solution found]
1561.02/1561.34 c Total Time : 1561.32
1561.02/1561.34 c solving : 1561.32
1561.02/1561.34 c presolving : 11.74 (included in solving)
1561.02/1561.34 c reading : 0.08 (included in solving)
1561.02/1561.34 c copying : 0.27 (5 #copies) (minimal 0.02, maximal 0.10, average 0.05)
1561.02/1561.34 c Original Problem :
1561.02/1561.34 c Problem name : HOME/instance-3717542-1338193324.wbo
1561.02/1561.34 c Variables : 17903 (17903 binary, 0 integer, 0 implicit integer, 0 continuous)
1561.02/1561.34 c Constraints : 25834 initial, 25834 maximal
1561.02/1561.34 c Objective sense : minimize
1561.02/1561.34 c Presolved Problem :
1561.02/1561.34 c Problem name : t_HOME/instance-3717542-1338193324.wbo
1561.02/1561.34 c Variables : 3546 (3546 binary, 0 integer, 0 implicit integer, 0 continuous)
1561.02/1561.34 c Constraints : 5633 initial, 7004 maximal
1561.02/1561.34 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1561.02/1561.34 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1561.02/1561.34 c trivial : 0.09 0.00 19649 0 0 0 0 0 0 0 0
1561.02/1561.34 c dualfix : 0.04 0.00 48 0 0 0 0 0 0 0 0
1561.02/1561.34 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1561.02/1561.34 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1561.02/1561.34 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1561.02/1561.34 c gateextraction : 0.11 0.00 0 0 0 0 0 22552 7488 0 0
1561.02/1561.34 c implics : 0.13 0.00 0 572 0 0 0 0 0 0 0
1561.02/1561.34 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1561.02/1561.34 c pseudoobj : 0.00 0.02 0 0 0 96 0 0 0 0 0
1561.02/1561.34 c probing : 7.09 0.00 3 6 0 3 0 0 0 0 0
1561.02/1561.34 c varbound : 0.00 0.00 0 0 0 96 0 195 0 0 0
1561.02/1561.34 c knapsack : 0.10 0.00 0 0 0 0 0 17 38 27 88
1561.02/1561.34 c setppc : 0.26 0.00 68 208 0 0 0 1259 0 2 0
1561.02/1561.34 c and : 2.08 0.02 169 1619 0 0 0 2178 679 0 1206
1561.02/1561.34 c linear : 0.90 0.03 807 6 0 9542 0 10217 0 471 991
1561.02/1561.34 c indicator : 0.01 0.01 47 0 0 0 0 596 0 0 0
1561.02/1561.34 c logicor : 0.60 0.01 7 0 0 19 0 608 0 0 0
1561.02/1561.34 c bounddisjunction : 0.01 0.00 0 0 0 0 0 39 0 0 0
1561.02/1561.34 c root node : - - 21101 - - 21101 - - - - -
1561.02/1561.34 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1561.02/1561.34 c integral : 0 0 0 0 2550 0 3569 0 0 0 0 0 5096
1561.02/1561.34 c knapsack : 1049 1049 11 108477 2 0 3563 2603 133 4213 2207 0 0
1561.02/1561.34 c setppc : 729 729 11 108344 2 0 438 16824 105 47394 14 0 0
1561.02/1561.34 c and : 2559 2559 5654 108239 2 0 352 45689 434 203695 42143 0 0
1561.02/1561.34 c logicor : 1183+ 2809 11 44544 2 0 157 9356 176 20138 180 0 0
1561.02/1561.34 c bounddisjunction : 113 113 0 3908 0 0 0 67 5 153 0 0 0
1561.02/1561.34 c countsols : 0 0 0 0 2 0 110 0 0 0 0 0 0
1561.02/1561.34 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1561.02/1561.34 c integral : 2.98 0.00 0.00 0.00 0.33 0.00 2.65 0.00
1561.02/1561.34 c knapsack : 2.59 0.00 0.03 2.36 0.00 0.00 0.19 0.00
1561.02/1561.34 c setppc : 9.71 0.00 0.00 8.92 0.00 0.00 0.77 0.01
1561.02/1561.34 c and : 9.74 0.02 4.10 5.37 0.00 0.00 0.22 0.03
1561.02/1561.34 c logicor : 0.76 0.01 0.00 0.57 0.00 0.00 0.16 0.01
1561.02/1561.34 c bounddisjunction : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
1561.02/1561.34 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1561.02/1561.34 c Propagators : #Propagate #ResProp Cutoffs DomReds
1561.02/1561.34 c rootredcost : 26 0 0 8709
1561.02/1561.34 c pseudoobj : 61387 1160 4 31278
1561.02/1561.34 c vbounds : 511 2630 1 61016
1561.02/1561.34 c redcost : 5979 0 0 19640
1561.02/1561.34 c probing : 0 0 0 0
1561.02/1561.34 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1561.02/1561.34 c rootredcost : 0.10 0.00 0.00 0.10 0.00
1561.02/1561.34 c pseudoobj : 1.66 0.02 0.00 0.94 0.70
1561.02/1561.34 c vbounds : 1.65 0.02 0.00 1.64 0.00
1561.02/1561.34 c redcost : 3.06 0.00 0.00 3.06 0.00
1561.02/1561.34 c probing : 7.09 0.00 7.09 0.00 0.00
1561.02/1561.34 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1561.02/1561.34 c propagation : 0.75 949 948 4282 28.0 207 10.2 -
1561.02/1561.34 c infeasible LP : 3.45 1215 1215 1521 6.0 46 6.3 0
1561.02/1561.34 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1561.02/1561.34 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1561.02/1561.34 c pseudo solution : 0.00 1 1 1 2.0 0 0.0 -
1561.02/1561.34 c applied globally : - - - 4099 15.3 - - -
1561.02/1561.34 c applied locally : - - - 0 0.0 - - -
1561.02/1561.34 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1561.02/1561.34 c cut pool : 0.00 0 - - 0 - (maximal pool size: 831)
1561.02/1561.34 c closecuts : 0.00 0.00 0 0 0 0 0
1561.02/1561.34 c impliedbounds : 0.04 0.00 10 0 0 7130 0
1561.02/1561.34 c intobj : 0.00 0.00 0 0 0 0 0
1561.02/1561.34 c gomory : 1.46 0.00 10 0 0 500 0
1561.02/1561.34 c cgmip : 0.00 0.00 0 0 0 0 0
1561.02/1561.34 c strongcg : 14.85 0.00 10 0 0 5000 0
1561.02/1561.34 c cmir : 3.92 0.00 10 0 0 0 0
1561.02/1561.34 c flowcover : 5.44 0.00 10 0 0 2003 0
1561.02/1561.34 c clique : 0.66 0.00 10 0 0 72 0
1561.02/1561.34 c zerohalf : 0.00 0.00 0 0 0 0 0
1561.02/1561.34 c mcf : 0.06 0.00 4 0 0 0 0
1561.02/1561.34 c oddcycle : 0.00 0.00 0 0 0 0 0
1561.02/1561.34 c rapidlearning : 6.73 0.00 1 0 2324 0 621
1561.02/1561.34 c Pricers : ExecTime SetupTime Calls Vars
1561.02/1561.34 c problem variables: 0.00 - 0 0
1561.02/1561.34 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1561.02/1561.34 c inference : 0.33 0.00 2548 0 0 0 0 5096
1561.02/1561.34 c relpscost : 0.00 0.00 0 0 0 0 0 0
1561.02/1561.34 c pscost : 0.00 0.00 0 0 0 0 0 0
1561.02/1561.34 c mostinf : 0.00 0.00 0 0 0 0 0 0
1561.02/1561.34 c leastinf : 0.00 0.00 0 0 0 0 0 0
1561.02/1561.34 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1561.02/1561.34 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1561.02/1561.34 c random : 0.00 0.00 0 0 0 0 0 0
1561.02/1561.34 c Primal Heuristics : ExecTime SetupTime Calls Found
1561.02/1561.34 c LP solutions : 0.01 - - 2
1561.02/1561.34 c pseudo solutions : 0.00 - - 0
1561.02/1561.34 c oneopt : 0.32 0.00 24 0
1561.02/1561.34 c objpscostdiving : 34.88 0.00 2 0
1561.02/1561.34 c rootsoldiving : 25.58 0.00 3 0
1561.02/1561.34 c veclendiving : 48.14 0.00 8 0
1561.02/1561.34 c pscostdiving : 70.88 0.00 8 0
1561.02/1561.34 c crossover : 0.80 0.00 3 1
1561.02/1561.34 c linesearchdiving : 64.68 0.00 13 0
1561.02/1561.34 c fracdiving : 76.01 0.00 14 0
1561.02/1561.34 c guideddiving : 311.95 0.00 18 8
1561.02/1561.34 c coefdiving : 459.10 0.00 142 16
1561.02/1561.34 c smallcard : 0.00 0.00 0 0
1561.02/1561.34 c trivial : 0.03 0.00 2 0
1561.02/1561.34 c shiftandpropagate: 0.00 0.00 0 0
1561.02/1561.34 c simplerounding : 0.07 0.00 5939 0
1561.02/1561.34 c zirounding : 1.93 0.00 445 1
1561.02/1561.34 c rounding : 4.41 0.00 3713 2
1561.02/1561.34 c shifting : 6.42 0.00 660 4
1561.02/1561.34 c intshifting : 0.00 0.00 0 0
1561.02/1561.34 c twoopt : 0.00 0.00 0 0
1561.02/1561.34 c indtwoopt : 0.00 0.01 0 0
1561.02/1561.34 c indoneopt : 5.54 0.01 32 7
1561.02/1561.34 c fixandinfer : 0.00 0.00 0 0
1561.02/1561.34 c feaspump : 4.24 0.00 1 0
1561.02/1561.34 c clique : 0.00 0.00 0 0
1561.02/1561.34 c indcoefdiving : 0.00 0.00 0 0
1561.02/1561.34 c indrounding : 15.73 0.00 2542 5
1561.02/1561.34 c nlpdiving : 0.00 0.00 0 0
1561.02/1561.34 c intdiving : 0.00 0.00 0 0
1561.02/1561.34 c actconsdiving : 0.00 0.00 0 0
1561.02/1561.34 c octane : 0.00 0.00 0 0
1561.02/1561.34 c rens : 0.71 0.00 1 0
1561.02/1561.34 c rins : 0.00 0.00 0 0
1561.02/1561.34 c localbranching : 0.00 0.00 0 0
1561.02/1561.34 c mutation : 0.00 0.00 0 0
1561.02/1561.34 c dins : 0.00 0.00 0 0
1561.02/1561.34 c vbounds : 0.00 0.00 0 0
1561.02/1561.34 c undercover : 0.00 0.00 0 0
1561.02/1561.34 c subnlp : 0.00 0.00 0 0
1561.02/1561.34 c trysol : 0.05 0.00 2 2
1561.02/1561.34 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1561.02/1561.34 c primal LP : 0.03 4 0 0.00 0.00 0.03 4
1561.02/1561.34 c dual LP : 342.28 6010 667749 112.00 1950.86 0.45 48
1561.02/1561.34 c lex dual LP : 0.00 0 0 0.00 -
1561.02/1561.34 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1561.02/1561.34 c diving/probing LP: 884.72 29943 1021875 34.13 1155.02
1561.02/1561.34 c strong branching : 0.00 0 0 0.00 -
1561.02/1561.34 c (at root node) : - 0 0 0.00 -
1561.02/1561.34 c conflict analysis: 0.00 0 0 0.00 -
1561.02/1561.34 c B&B Tree :
1561.02/1561.34 c number of runs : 4
1561.02/1561.34 c nodes : 1569
1561.02/1561.34 c nodes (total) : 2873
1561.02/1561.34 c nodes left : 0
1561.02/1561.34 c max depth : 54
1561.02/1561.34 c max depth (total): 142
1561.02/1561.34 c backtracks : 332 (21.2%)
1561.02/1561.34 c delayed cutoffs : 1045
1561.02/1561.34 c repropagations : 1359 (62847 domain reductions, 236 cutoffs)
1561.02/1561.34 c avg switch length: 3.37
1561.02/1561.34 c switching time : 3.30
1561.02/1561.34 c Solution :
1561.02/1561.34 c Solutions found : 48 (33 improvements)
1561.02/1561.34 c First Solution : +3.06900000000000e+03 (in run 1, after 1 nodes, 115.03 seconds, depth 932, found by <coefdiving>)
1561.02/1561.34 c Primal Bound : +1.00000000000000e+00 (in run 2, after 142 nodes, 1424.79 seconds, depth 142, found by <coefdiving>)
1561.02/1561.34 c Dual Bound : +1.00000000000000e+00
1561.02/1561.34 c Gap : 0.00 %
1561.02/1561.34 c Root Dual Bound : +0.00000000000000e+00
1561.02/1561.34 c Root Iterations : 64730
1561.12/1561.44 c Time complete: 1561.18.
OK 1
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-3717542-1338193324/watcher-3717542-1338193324 -o /tmp/evaluation-result-3717542-1338193324/solver-3717542-1338193324 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717542-1338193324.wbo -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 1.96 1.93 3/176 331 /proc/meminfo: memFree=27718920/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=9160 CPUtime=0 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 889 0 0 0 0 0 0 0 20 0 1 0 285457838 9379840 844 33554432000 4194304 10173063 140733738902272 140735405023928 8801789 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/331/statm: 2290 854 391 1460 0 821 0 [startup+0.084839 s] /proc/loadavg: 2.01 1.96 1.93 3/176 331 /proc/meminfo: memFree=27718920/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=34684 CPUtime=0.08 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 7217 0 0 0 7 1 0 0 20 0 1 0 285457838 35516416 7137 33554432000 4194304 10173063 140733738902272 140735405023928 8846909 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/331/statm: 8671 7161 466 1460 0 7202 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 34684 [startup+0.100269 s] /proc/loadavg: 2.01 1.96 1.93 3/176 331 /proc/meminfo: memFree=27718920/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=50164 CPUtime=0.09 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 11261 0 0 0 8 1 0 0 20 0 1 0 285457838 51367936 11180 33554432000 4194304 10173063 140733738902272 140735405023928 7545739 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/331/statm: 12541 11180 469 1460 0 11072 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 50164 [startup+0.300222 s] /proc/loadavg: 2.01 1.96 1.93 3/176 331 /proc/meminfo: memFree=27718920/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=111860 CPUtime=0.29 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 25770 0 0 0 26 3 0 0 20 0 1 0 285457838 114544640 25660 33554432000 4194304 10173063 140733738902272 140735405023928 8963895 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/331/statm: 27965 25660 571 1460 0 26496 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 111860 [startup+0.700174 s] /proc/loadavg: 2.01 1.96 1.93 3/176 331 /proc/meminfo: memFree=27718920/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=134224 CPUtime=0.69 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 31528 0 0 0 63 6 0 0 20 0 1 0 285457838 137445376 31354 33554432000 4194304 10173063 140733738902272 140733738899272 4780448 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/331/statm: 33556 31354 635 1460 0 32087 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 134224 [startup+1.50023 s] /proc/loadavg: 2.01 1.96 1.93 3/177 332 /proc/meminfo: memFree=27593356/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=137440 CPUtime=1.49 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 32349 0 0 0 143 6 0 0 20 0 1 0 285457838 140738560 32175 33554432000 4194304 10173063 140733738902272 140733738898648 4261743 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/331/statm: 34360 32175 635 1460 0 32891 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 137440 [startup+3.10024 s] /proc/loadavg: 2.01 1.96 1.93 3/177 332 /proc/meminfo: memFree=27591744/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=138236 CPUtime=3.09 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 32533 0 0 0 302 7 0 0 20 0 1 0 285457838 141553664 32359 33554432000 4194304 10173063 140733738902272 140733738898648 6918842 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/331/statm: 34559 32359 635 1460 0 33090 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 138236 [startup+6.30025 s] /proc/loadavg: 2.09 1.98 1.94 3/177 332 /proc/meminfo: memFree=27589496/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=141308 CPUtime=6.28 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 33353 0 0 0 612 16 0 0 20 0 1 0 285457838 144699392 33130 33554432000 4194304 10173063 140733738902272 140733738899528 6116448 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/331/statm: 35327 33130 638 1460 0 33858 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 141308 [startup+12.7002 s] /proc/loadavg: 2.08 1.98 1.94 3/177 332 /proc/meminfo: memFree=27512820/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=220788 CPUtime=12.69 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 52004 0 0 0 1248 21 0 0 20 0 1 0 285457838 226086912 52187 33554432000 4194304 10173063 140733738902272 140733738893432 6687020 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/331/statm: 55197 52187 805 1460 0 53728 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 220788 [startup+25.5002 s] /proc/loadavg: 2.06 1.98 1.94 3/177 332 /proc/meminfo: memFree=27503388/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=229792 CPUtime=25.49 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 54651 0 0 0 2520 29 0 0 20 0 1 0 285457838 235307008 54673 33554432000 4194304 10173063 140733738902272 140733738897144 5107543 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 /proc/331/statm: 57448 54673 840 1460 0 55979 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 229792 [startup+51.1003 s] /proc/loadavg: 2.04 1.98 1.94 3/177 332 /proc/meminfo: memFree=27498080/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=239664 CPUtime=51.08 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 57178 0 0 0 5073 35 0 0 20 0 1 0 285457838 245415936 57195 33554432000 4194304 10173063 140733738902272 140733738895624 8012341 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 59916 57195 840 1460 0 58447 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 239664 [startup+102.306 s] /proc/loadavg: 2.09 1.99 1.94 3/176 332 /proc/meminfo: memFree=27487916/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=248816 CPUtime=102.28 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 58713 0 0 0 10185 43 0 0 20 0 1 0 285457838 254787584 59241 33554432000 4194304 10173063 140733738902272 140733738895368 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 62204 59241 846 1460 0 60735 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 248816 [startup+162.3 s] /proc/loadavg: 2.03 1.99 1.94 3/177 333 /proc/meminfo: memFree=27473556/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=257320 CPUtime=162.25 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 86776 0 0 0 16162 63 0 0 20 0 1 0 285457838 263495680 62701 33554432000 4194304 10173063 140733738902272 140733738897256 8024410 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 64330 62701 871 1460 0 62861 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 257320 [startup+222.3 s] /proc/loadavg: 2.01 1.99 1.94 3/177 333 /proc/meminfo: memFree=27465600/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=261224 CPUtime=222.24 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 87326 0 0 0 22148 76 0 0 20 0 1 0 285457838 267493376 63822 33554432000 4194304 10173063 140733738902272 140733738895576 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 65306 63822 871 1460 0 63837 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 261224 [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.94 3/177 333 /proc/meminfo: memFree=27463588/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=261224 CPUtime=282.23 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 87543 0 0 0 28135 88 0 0 20 0 1 0 285457838 267493376 64039 33554432000 4194304 10173063 140733738902272 140733738895528 8026174 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 65306 64039 874 1460 0 63837 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 261224 [startup+342.3 s] /proc/loadavg: 2.00 1.99 1.94 3/177 333 /proc/meminfo: memFree=27457396/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=268028 CPUtime=342.22 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 89115 0 0 0 34124 98 0 0 20 0 1 0 285457838 274460672 65611 33554432000 4194304 10173063 140733738902272 140733738898568 7911886 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 67007 65611 874 1460 0 65538 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 268028 [startup+402.3 s] /proc/loadavg: 2.00 1.99 1.94 3/177 333 /proc/meminfo: memFree=27452500/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=274848 CPUtime=402.21 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 92535 0 0 0 40110 111 0 0 20 0 1 0 285457838 281444352 67293 33554432000 4194304 10173063 140733738902272 140733738894920 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 68712 67293 874 1460 0 67243 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 274848 [startup+462.3 s] /proc/loadavg: 2.00 1.99 1.94 3/177 334 /proc/meminfo: memFree=27447708/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=279580 CPUtime=462.2 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 96791 0 0 0 46098 122 0 0 20 0 1 0 285457838 286289920 68363 33554432000 4194304 10173063 140733738902272 140733738895128 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 69895 68363 874 1460 0 68426 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 279580 [startup+522.3 s] /proc/loadavg: 2.00 1.99 1.94 3/178 337 /proc/meminfo: memFree=27448044/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=280976 CPUtime=522.19 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 98941 0 0 0 52086 133 0 0 20 0 1 0 285457838 287719424 68814 33554432000 4194304 10173063 140733738902272 140733738895368 7911710 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 70244 68814 874 1460 0 68775 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 280976 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.94 3/177 337 /proc/meminfo: memFree=27444204/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=285064 CPUtime=582.18 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 103109 0 0 0 58074 144 0 0 20 0 1 0 285457838 291905536 69304 33554432000 4194304 10173063 140733738902272 140733738895560 7911892 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 71266 69304 874 1460 0 69797 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 285064 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27415376/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=307216 CPUtime=942.13 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 131573 0 0 0 93991 222 0 0 20 0 1 0 285457838 314589184 75347 33554432000 4194304 10173063 140733738902272 140733738897240 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 76804 75347 874 1460 0 75335 0 Current children cumulated CPU time (s) 942.13 Current children cumulated vsize (KiB) 307216 [startup+1002.3 s] /proc/loadavg: 2.01 2.00 1.95 3/177 338 /proc/meminfo: memFree=27410760/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=310136 CPUtime=1002.12 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 132097 0 0 0 99979 233 0 0 20 0 1 0 285457838 317579264 76252 33554432000 4194304 10173063 140733738902272 140733738894984 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 77534 76252 874 1460 0 76065 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 310136 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 339 /proc/meminfo: memFree=27399832/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=319224 CPUtime=1062.11 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 143394 0 0 0 105963 248 0 0 20 0 1 0 285457838 326885376 78379 33554432000 4194304 10173063 140733738902272 140733738895528 7887610 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 79806 78379 874 1460 0 78337 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 319224 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 342 /proc/meminfo: memFree=27312468/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=402276 CPUtime=1122.1 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 168719 0 0 0 111948 262 0 0 20 0 1 0 285457838 411930624 99537 33554432000 4194304 10173063 140733738902272 140733738895576 8063978 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 100569 99537 883 1460 0 99100 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 402276 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 342 /proc/meminfo: memFree=27312352/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=402276 CPUtime=1182.09 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 168719 0 0 0 117933 276 0 0 20 0 1 0 285457838 411930624 99537 33554432000 4194304 10173063 140733738902272 140733738895672 7910662 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 100569 99537 883 1460 0 99100 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 402276 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 342 /proc/meminfo: memFree=27313220/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=402276 CPUtime=1242.08 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 168728 0 0 0 123920 288 0 0 20 0 1 0 285457838 411930624 99546 33554432000 4194304 10173063 140733738902272 140733738898840 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 100569 99546 884 1460 0 99100 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 402276 [startup+1302.3 s] /proc/loadavg: 2.07 2.02 1.95 3/177 342 /proc/meminfo: memFree=27305784/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=402276 CPUtime=1302.08 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 168734 0 0 0 129908 300 0 0 20 0 1 0 285457838 411930624 99556 33554432000 4194304 10173063 140733738902272 140733738895528 7396628 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 100569 99556 884 1460 0 99100 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 402276 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 1.95 3/177 343 /proc/meminfo: memFree=27300488/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=402276 CPUtime=1362.06 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 168734 0 0 0 135896 310 0 0 20 0 1 0 285457838 411930624 99566 33554432000 4194304 10173063 140733738902272 140733738899400 8846813 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 100569 99566 884 1460 0 99100 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 402276 [startup+1422.31 s] /proc/loadavg: 2.04 2.02 1.96 3/176 343 /proc/meminfo: memFree=27306220/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=396772 CPUtime=1422.05 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 168738 0 0 0 141849 356 0 0 20 0 1 0 285457838 406294528 98210 33554432000 4194304 10173063 140733738902272 140733738895384 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 99193 98210 887 1460 0 97724 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 396772 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 1.96 3/177 344 /proc/meminfo: memFree=27234700/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=466424 CPUtime=1482.04 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 187432 0 0 0 147743 461 0 0 20 0 1 0 285457838 477618176 115432 33554432000 4194304 10173063 140733738902272 140733738895368 7970967 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 116606 115432 890 1460 0 115137 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 466424 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.96 2/175 344 /proc/meminfo: memFree=27456748/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=466424 CPUtime=1542.03 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 187432 0 0 0 153712 491 0 0 20 0 1 0 285457838 477618176 115432 33554432000 4194304 10173063 140733738902272 140733738894344 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 116606 115432 890 1460 0 115137 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 466424 Solver just ended. Dumping a history of the last processes samples [startup+1548.7 s] /proc/loadavg: 2.00 2.01 1.96 3/177 388 /proc/meminfo: memFree=27358352/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=466424 CPUtime=1548.44 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 187432 0 0 0 154350 494 0 0 20 0 1 0 285457838 477618176 115432 33554432000 4194304 10173063 140733738902272 140733738898200 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 116606 115432 890 1460 0 115137 0 Current children cumulated CPU time (s) 1548.44 Current children cumulated vsize (KiB) 466424 [startup+1555.1 s] /proc/loadavg: 2.00 2.01 1.96 3/177 388 /proc/meminfo: memFree=27357888/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=466424 CPUtime=1554.83 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 187432 0 0 0 154987 496 0 0 20 0 1 0 285457838 477618176 115432 33554432000 4194304 10173063 140733738902272 140733738895528 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 116606 115432 890 1460 0 115137 0 Current children cumulated CPU time (s) 1554.83 Current children cumulated vsize (KiB) 466424 [startup+1558.3 s] /proc/loadavg: 2.00 2.01 1.96 3/177 388 /proc/meminfo: memFree=27357916/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=466424 CPUtime=1558.03 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 187432 0 0 0 155305 498 0 0 20 0 1 0 285457838 477618176 115432 33554432000 4194304 10173063 140733738902272 140733738895448 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 116606 115432 890 1460 0 115137 0 Current children cumulated CPU time (s) 1558.03 Current children cumulated vsize (KiB) 466424 [startup+1559.9 s] /proc/loadavg: 2.00 2.01 1.96 3/177 388 /proc/meminfo: memFree=27358040/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=466424 CPUtime=1559.63 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 187432 0 0 0 155464 499 0 0 20 0 1 0 285457838 477618176 115432 33554432000 4194304 10173063 140733738902272 140733738895528 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 116606 115432 890 1460 0 115137 0 Current children cumulated CPU time (s) 1559.63 Current children cumulated vsize (KiB) 466424 [startup+1560.7 s] /proc/loadavg: 2.00 2.01 1.96 3/177 388 /proc/meminfo: memFree=27358040/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=466424 CPUtime=1560.43 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 187432 0 0 0 155544 499 0 0 20 0 1 0 285457838 477618176 115432 33554432000 4194304 10173063 140733738902272 140733738894792 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 116606 115432 890 1460 0 115137 0 Current children cumulated CPU time (s) 1560.43 Current children cumulated vsize (KiB) 466424 [startup+1561.1 s] /proc/loadavg: 2.00 2.01 1.96 3/177 388 /proc/meminfo: memFree=27358040/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=466424 CPUtime=1560.83 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 187432 0 0 0 155584 499 0 0 20 0 1 0 285457838 477618176 115432 33554432000 4194304 10173063 140733738902272 140733738894792 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 116606 115432 890 1460 0 115137 0 Current children cumulated CPU time (s) 1560.83 Current children cumulated vsize (KiB) 466424 [startup+1561.3 s] /proc/loadavg: 2.00 2.01 1.96 3/177 388 /proc/meminfo: memFree=27358040/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=466424 CPUtime=1561.02 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 187432 0 0 0 155603 499 0 0 20 0 1 0 285457838 477618176 115432 33554432000 4194304 10173063 140733738902272 140733738894792 7911480 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 116606 115432 890 1460 0 115137 0 Current children cumulated CPU time (s) 1561.02 Current children cumulated vsize (KiB) 466424 [startup+1561.4 s] /proc/loadavg: 2.00 2.01 1.96 3/177 388 /proc/meminfo: memFree=27358040/32873648 swapFree=7104/7104 [pid=331] ppid=329 vsize=464328 CPUtime=1561.12 cores=1,3,5,7 /proc/331/stat : 331 (scip-2.1.1.4fix) R 329 331 32675 0 -1 4202496 187434 0 0 0 155613 499 0 0 20 0 1 0 285457838 475471872 114925 33554432000 4194304 10173063 140733738902272 140733738898936 4952359 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/331/statm: 116082 114925 892 1460 0 114613 0 Current children cumulated CPU time (s) 1561.12 Current children cumulated vsize (KiB) 464328 Child status: 0 Real time (s): 1561.45 CPU time (s): 1561.18 CPU user time (s): 1556.17 CPU system time (s): 5.01224 CPU usage (%): 99.9832 Max. virtual memory (cumulated for all children) (KiB): 472316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1556.17 system time used= 5.01224 maximum resident set size= 467612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 187436 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= 2194 runsolver used 4.22436 second user time and 10.4904 second system time The end
Begin job on node127 at 2012-05-28 10:22:04 IDJOB=3717542 IDBENCH=79004 IDSOLVER=2300 FILE ID=node127/3717542-1338193324 RUNJOBID= node127-1338192865-32692 PBS_JOBID= 14624582 Free space on /tmp= 71156 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.rwmem.ucl--soft-66-100-0.wbo COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717542-1338193324/watcher-3717542-1338193324 -o /tmp/evaluation-result-3717542-1338193324/solver-3717542-1338193324 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717542-1338193324.wbo -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 912ca607d723e7995f4e9e6209c25e32 RANDOM SEED=418326951 node127.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.348 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 : 5332.69 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.348 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.348 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.94 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.348 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.348 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.91 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.348 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 : 5331.91 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.348 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.348 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: 32873648 kB MemFree: 27718828 kB Buffers: 483432 kB Cached: 3577108 kB SwapCached: 0 kB Active: 1466212 kB Inactive: 2804240 kB Active(anon): 211876 kB Inactive(anon): 0 kB Active(file): 1254336 kB Inactive(file): 2804240 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14380 kB Writeback: 0 kB AnonPages: 273292 kB Mapped: 17928 kB Shmem: 200 kB Slab: 744352 kB SReclaimable: 188704 kB SUnreclaim: 555648 kB KernelStack: 1472 kB PageTables: 4568 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 325660 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 231424 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71144 MiB End job on node127 at 2012-05-28 10:48:05