Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 2218686 | 70.5023 | 70.7766 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_4_mh_ic.opb |
| MD5SUM | 122e0703ad162af40c09f7923c9e110e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2218686 |
| Best CPU time to get the best result obtained on this benchmark | 10.6945 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 70957944 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 2280923861 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 70957944 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 2280923861 |
| Number of bits of the biggest sum of numbers | 32 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4504812-1751458789.opb>
0.00/0.06 c original problem has 9765 variables (9765 bin, 0 int, 0 impl, 0 cont) and 21293 constraints
0.00/0.06 c problem read in 0.05
0.00/0.10 c presolving:
0.09/0.13 c (round 1, fast) 1020 del vars, 634 del conss, 0 add conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 0 upgd conss, 0 impls, 8521 clqs
0.09/0.16 c (0.1s) running MILP presolver
0.09/0.19 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.19/0.22 c (round 2, exhaustive) 1020 del vars, 739 del conss, 0 add conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 0 upgd conss, 0 impls, 8521 clqs
0.19/0.27 c (round 3, exhaustive) 1020 del vars, 739 del conss, 0 add conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 20551 upgd conss, 0 impls, 8521 clqs
0.29/0.34 c (round 4, medium) 1020 del vars, 6619 del conss, 16380 add conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 20551 upgd conss, 0 impls, 24901 clqs
0.29/0.40 c (round 5, exhaustive) 1020 del vars, 28879 del conss, 22260 add conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 20551 upgd conss, 0 impls, 24901 clqs
0.39/0.44 c (round 6, exhaustive) 2385 del vars, 30244 del conss, 22260 add conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 20551 upgd conss, 0 impls, 20806 clqs
0.39/0.45 c (round 7, exhaustive) 2385 del vars, 30349 del conss, 22260 add conss, 60 chg bounds, 105 chg sides, 525 chg coeffs, 20551 upgd conss, 0 impls, 20806 clqs
0.87/0.95 c (0.9s) probing: 366/7380 (5.0%) - 0 fixings, 0 aggregations, 27300 implications, 0 bound changes
0.87/0.95 c (0.9s) probing aborted: 50/50 successive totally useless probings
0.87/0.95 c (0.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.87/0.97 c (1.0s) no symmetry present (symcode time: 0.00)
0.87/0.98 c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
0.87/0.98 c 2385 deleted vars, 30349 deleted constraints, 22260 added constraints, 60 tightened bounds, 0 added holes, 105 changed sides, 525 changed coefficients
0.87/0.98 c 0 implications, 48106 cliques
0.87/0.98 c presolved problem has 7380 variables (7380 bin, 0 int, 0 impl, 0 cont) and 13204 constraints
0.87/0.98 c 150 constraints of type <knapsack>
0.87/0.98 c 8521 constraints of type <setppc>
0.87/0.98 c 4410 constraints of type <and>
0.87/0.98 c 3 constraints of type <linear>
0.87/0.98 c 120 constraints of type <logicor>
0.87/0.98 c transformed objective value is always integral (scale: 1)
0.87/0.98 c Presolving Time: 0.88
0.87/0.98 c - non default parameters ----------------------------------------------------------------------
0.87/0.98 c # SCIP version 10.0.0
0.87/0.98 c
0.87/0.98 c # maximal time in seconds to run
0.87/0.98 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.87/0.98 c limits/time = 3596.998008
0.87/0.98 c
0.87/0.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.87/0.98 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.87/0.98 c limits/memory = 27900
0.87/0.98 c
0.87/0.98 c # belongs reading time to solving time?
0.87/0.98 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.87/0.98 c timing/reading = TRUE
0.87/0.98 c
0.87/0.98 c -----------------------------------------------------------------------------------------------
0.87/0.98 c start solving
0.87/0.98 c
1.38/1.41 o 111908689
1.38/1.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.38/1.41 c L 1.4s| 1 | 0 | 134 | - |feasjump| 0 |7380 | 13k| 17k| 0 | 0 | 99 | 0 |-3.000000e+00 | 1.119087e+08 | Inf | unknown
1.38/1.49 c 1.5s| 1 | 0 | 863 | - | 132M | 0 |7380 | 13k| 17k| 0 | 0 | 99 | 0 | 1.893491e+06 | 1.119087e+08 |5810.18%| unknown
2.27/2.30 c 2.3s| 1 | 0 | 917 | - | 143M | 0 |7380 | 13k| 17k| 8 | 1 | 103 | 0 | 1.914706e+06 | 1.119087e+08 |5744.69%| unknown
2.77/2.85 c 2.8s| 1 | 0 | 982 | - | 150M | 0 |7380 | 13k| 17k| 16 | 2 | 103 | 0 | 1.944453e+06 | 1.119087e+08 |5655.28%| unknown
3.07/3.15 c 3.1s| 1 | 0 | 1048 | - | 153M | 0 |7380 | 13k| 17k| 30 | 3 | 105 | 0 | 1.954383e+06 | 1.119087e+08 |5626.04%| unknown
3.57/3.65 c 3.6s| 1 | 0 | 1222 | - | 157M | 0 |7380 | 13k| 17k| 44 | 4 | 105 | 0 | 1.991843e+06 | 1.119087e+08 |5518.35%| unknown
3.97/4.08 c 4.1s| 1 | 0 | 1262 | - | 163M | 0 |7380 | 13k| 17k| 55 | 5 | 106 | 0 | 2.003472e+06 | 1.119087e+08 |5485.74%| unknown
4.36/4.49 c 4.5s| 1 | 0 | 1462 | - | 169M | 0 |7380 | 13k| 17k| 67 | 6 | 112 | 0 | 2.017505e+06 | 1.119087e+08 |5446.89%| unknown
4.86/4.93 c 4.9s| 1 | 0 | 1527 | - | 175M | 0 |7380 | 13k| 17k| 72 | 7 | 114 | 0 | 2.024077e+06 | 1.119087e+08 |5428.88%| unknown
5.26/5.37 c 5.4s| 1 | 0 | 1681 | - | 182M | 0 |7380 | 13k| 17k| 83 | 8 | 114 | 0 | 2.027704e+06 | 1.119087e+08 |5418.99%| unknown
5.56/5.68 c 5.7s| 1 | 0 | 1726 | - | 189M | 0 |7380 | 13k| 17k| 90 | 9 | 115 | 0 | 2.030642e+06 | 1.119087e+08 |5411.00%| unknown
5.96/6.00 c 6.0s| 1 | 0 | 1885 | - | 196M | 0 |7380 | 13k| 17k| 98 | 10 | 116 | 0 | 2.034738e+06 | 1.119087e+08 |5399.91%| unknown
5.96/6.07 c 6.1s| 1 | 0 | 2017 | - | 197M | 0 |7380 | 13k| 17k| 100 | 11 | 116 | 0 | 2.039017e+06 | 1.119087e+08 |5388.36%| unknown
6.06/6.12 c 6.1s| 1 | 0 | 2083 | - | 199M | 0 |7380 | 13k| 17k| 104 | 12 | 118 | 0 | 2.039534e+06 | 1.119087e+08 |5386.97%| unknown
6.06/6.17 c 6.2s| 1 | 0 | 2103 | - | 201M | 0 |7380 | 13k| 17k| 108 | 13 | 119 | 0 | 2.039885e+06 | 1.119087e+08 |5386.03%| unknown
6.16/6.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.16/6.22 c 6.2s| 1 | 0 | 2110 | - | 203M | 0 |7380 | 13k| 17k| 110 | 14 | 120 | 0 | 2.039932e+06 | 1.119087e+08 |5385.90%| unknown
6.16/6.27 c 6.3s| 1 | 0 | 2158 | - | 205M | 0 |7380 | 13k| 17k| 113 | 15 | 121 | 0 | 2.040765e+06 | 1.119087e+08 |5383.66%| unknown
6.26/6.33 c 6.3s| 1 | 0 | 2167 | - | 207M | 0 |7380 | 13k| 17k| 116 | 16 | 121 | 0 | 2.040780e+06 | 1.119087e+08 |5383.62%| unknown
6.26/6.38 c 6.4s| 1 | 0 | 2216 | - | 209M | 0 |7380 | 13k| 17k| 119 | 17 | 122 | 0 | 2.041514e+06 | 1.119087e+08 |5381.65%| unknown
6.35/6.43 c 6.4s| 1 | 0 | 2224 | - | 212M | 0 |7380 | 13k| 17k| 122 | 18 | 123 | 0 | 2.041534e+06 | 1.119087e+08 |5381.60%| unknown
6.35/6.49 c 6.5s| 1 | 0 | 2259 | - | 214M | 0 |7380 | 13k| 17k| 124 | 19 | 125 | 0 | 2.042531e+06 | 1.119087e+08 |5378.92%| unknown
6.45/6.55 c 6.5s| 1 | 0 | 2286 | - | 216M | 0 |7380 | 13k| 17k| 127 | 20 | 125 | 0 | 2.043168e+06 | 1.119087e+08 |5377.21%| unknown
6.55/6.60 c 6.6s| 1 | 0 | 2303 | - | 216M | 0 |7380 | 13k| 17k| 130 | 21 | 125 | 0 | 2.043334e+06 | 1.119087e+08 |5376.77%| unknown
10.54/10.60 c 10.6s| 1 | 2 | 10541 | - | 222M | 0 |7380 | 13k| 17k| 130 | 22 | 177 | 22 | 2.053830e+06 | 1.119087e+08 |5348.78%| unknown
36.45/36.66 o 2643718
36.45/36.66 c *36.6s| 32 | 8 | 18350 | 522.0 |strongbr| 13 |7380 | 13k| 17k| 325 | 4 | 197 | 441 | 2.053830e+06 | 2.643718e+06 | 28.72%| 17.05%
38.95/39.17 o 2630054
38.95/39.17 c L39.2s| 68 | 32 | 21492 | 288.4 | alns| 20 |7380 | 13k| 17k| 439 | 0 | 198 | 442 | 2.057952e+06 | 2.630054e+06 | 27.80%| 17.89%
38.95/39.18 o 2587910
38.95/39.18 c L39.2s| 68 | 28 | 21492 | 288.4 | alns| 20 |7380 | 13k| 17k| 439 | 0 | 198 | 442 | 2.057952e+06 | 2.587910e+06 | 25.75%| 17.89%
41.73/41.96 c 42.0s| 100 | 60 | 24787 | 228.5 | 319M | 24 |7380 | 13k| 18k| 502 | 2 | 267 | 451 | 2.057952e+06 | 2.587910e+06 | 25.75%| 17.90%
47.91/48.13 c 48.1s| 200 | 135 | 35232 | 166.1 | 342M | 34 |7380 | 13k| 18k| 679 | 2 | 298 | 493 | 2.069411e+06 | 2.587910e+06 | 25.06%| 23.49%
48.21/48.41 o 2362682
48.21/48.41 c r48.4s| 210 | 109 | 35774 | 160.8 |rounding| 38 |7380 | 13k| 18k| 685 | 0 | 359 | 493 | 2.069411e+06 | 2.362682e+06 | 14.17%| 23.51%
48.21/48.43 o 2244191
48.21/48.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.21/48.43 c *48.4s| 210 | 81 | 35791 | 160.9 | LP | 38 |7380 | 13k| 18k| 686 | 3 | 359 | 493 | 2.069411e+06 | 2.244191e+06 | 8.45%| 23.64%
51.99/52.28 c 52.3s| 300 | 129 | 39247 | 124.0 | 372M | 40 |7380 | 13k| 18k| 809 | 0 | 419 | 549 | 2.080535e+06 | 2.244191e+06 | 7.87%| 24.96%
55.48/55.70 c 55.7s| 400 | 154 | 42207 | 100.3 | 399M | 45 |7380 | 12k| 18k| 918 | 2 | 483 | 559 | 2.080535e+06 | 2.244191e+06 | 7.87%| 24.99%
56.28/56.58 o 2219228
56.28/56.58 c L56.6s| 438 | 158 | 42620 | 92.6 | rins| 75 |7380 | 12k| 18k| 933 | 2 | 497 | 564 | 2.080535e+06 | 2.219228e+06 | 6.67%| 34.29%
58.88/59.10 c 59.1s| 500 | 167 | 44721 | 85.3 | 412M | 88 |7380 | 12k| 18k|1001 | 1 | 640 | 629 | 2.080535e+06 | 2.219228e+06 | 6.67%| 35.62%
64.25/64.51 c 64.5s| 600 | 177 | 50300 | 80.4 | 439M | 88 |7380 | 12k| 0 |1159 | 0 | 808 | 742 | 2.086492e+06 | 2.219228e+06 | 6.36%| 46.68%
68.03/68.33 c 68.3s| 700 | 105 | 55000 | 75.6 | 445M | 88 |7380 | 12k| 19k|1197 | 1 | 954 | 839 | 2.100643e+06 | 2.219228e+06 | 5.65%| 74.01%
69.73/70.10 o 2218686
69.73/70.10 c *70.1s| 730 | 78 | 56512 | 74.5 | LP | 88 |7380 | 11k| 19k|1223 | 1 |1026 | 900 | 2.131945e+06 | 2.218686e+06 | 4.07%| 83.10%
70.32/70.62 c
70.32/70.62 c SCIP Status : problem is solved [optimal solution found]
70.32/70.62 c Solving Time (sec) : 70.61
70.32/70.62 c Solving Nodes : 794
70.32/70.62 c Primal Bound : +2.21868600000000e+06 (12 solutions)
70.32/70.62 c Dual Bound : +2.21868600000000e+06
70.32/70.62 c Gap : 0.00 %
70.32/70.63 s OPTIMUM FOUND
70.32/70.64 v -x9165 -x9149 -x9133 -x9117 -x9101 -x9085 -x9294 -x9278 -x9262 -x9246 -x9230 -x9214 -x9198 -x9182 -x9166 -x4365 -x4364 -x4363 -x4362
70.32/70.64 v -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345
70.32/70.64 v -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327
70.32/70.64 v -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309
70.32/70.64 v -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473
70.32/70.64 v -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455
70.32/70.64 v -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437
70.32/70.64 v -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419
70.32/70.64 v -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402
70.32/70.64 v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384
70.32/70.64 v -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366
70.32/70.64 v -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166
70.32/70.64 v -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148
70.32/70.64 v -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130
70.32/70.64 v -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294
70.32/70.64 v -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277
70.32/70.64 v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259
70.32/70.64 v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
70.32/70.64 v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
70.32/70.64 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205
70.32/70.64 v -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187
70.32/70.64 v -x4186 -x4185 -x4184 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987
70.32/70.64 v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970
70.32/70.64 v -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952
70.32/70.64 v -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x4118 -x4117 -x4116
70.32/70.64 v -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098
70.32/70.64 v -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080
70.32/70.64 v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062
70.32/70.64 v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044
70.32/70.64 v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027
70.32/70.64 v -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009
70.32/70.64 v -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809
70.32/70.64 v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791
70.32/70.64 v -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773
70.32/70.64 v -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755
70.32/70.64 v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919
70.32/70.64 v -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902
70.32/70.64 v -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884
70.32/70.64 v -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866
70.32/70.64 v -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848
70.32/70.64 v -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830
70.32/70.64 v -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630
70.32/70.64 v -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612
70.32/70.64 v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595
70.32/70.64 v -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577
70.32/70.64 v -x3576 -x3575 -x3574 -x3573 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741
70.32/70.64 v -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723
70.32/70.64 v -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705
70.32/70.64 v -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687
70.32/70.64 v -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669
70.32/70.64 v -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652
70.32/70.64 v -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3455 -x3454 -x3453 -x3452
70.32/70.64 v -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434
70.32/70.64 v -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416
70.32/70.64 v -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398
70.32/70.64 v -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562
70.32/70.64 v -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544
70.32/70.64 v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527
70.32/70.64 v -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509
70.32/70.64 v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491
70.32/70.64 v -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473
70.32/70.64 v -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x6016
70.32/70.64 v -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998
70.32/70.64 v -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980
70.32/70.64 v -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963
70.32/70.64 v -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945
70.32/70.64 v -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109
70.32/70.64 v -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091
70.32/70.64 v -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073
70.32/70.64 v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055
70.32/70.64 v -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037
70.32/70.64 v -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020
70.32/70.64 v -x6019 -x6018 -x6017 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820
70.32/70.64 v -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802
70.32/70.64 v -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784
70.32/70.64 v -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766
70.32/70.64 v -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930
70.32/70.64 v -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912
70.32/70.64 v -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895
70.32/70.64 v -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877
70.32/70.64 v -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859
70.32/70.64 v -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841
70.32/70.64 v -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641
70.32/70.64 v -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623
70.32/70.64 v -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605
70.32/70.64 v -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588
70.32/70.64 v -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5756 -x5755 -x5754 -x5753 -x5752
70.32/70.64 v -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734
70.32/70.64 v -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716
70.32/70.64 v -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698
70.32/70.64 v -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680
70.32/70.64 v -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662
70.32/70.64 v -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463
70.32/70.64 v -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445
70.32/70.64 v -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427
70.32/70.64 v -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409
70.32/70.64 v -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5574 -x5573
70.32/70.64 v -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555
70.32/70.64 v -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537
70.32/70.64 v -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520
70.32/70.64 v -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502
70.32/70.64 v -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484
70.32/70.64 v -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5288 -x5287 -x5286 -x5285 -x5284
70.32/70.64 v -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266
70.32/70.64 v -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248
70.32/70.64 v -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230
70.32/70.64 v -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213
70.32/70.64 v -x5212 -x5211 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377
70.32/70.64 v -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359
70.32/70.64 v -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341
70.32/70.64 v -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323
70.32/70.64 v -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305
70.32/70.64 v -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5106 -x5105
70.32/70.64 v -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088
70.32/70.64 v -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070
70.32/70.64 v -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052
70.32/70.64 v -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034
70.32/70.64 v -x5033 -x5032 -x5031 -x5030 -x5029 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198
70.32/70.64 v -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180
70.32/70.64 v -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162
70.32/70.64 v -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145
70.32/70.64 v -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127
70.32/70.64 v -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109
70.32/70.64 v -x5108 -x5107 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909
70.32/70.64 v -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891
70.32/70.64 v -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873
70.32/70.64 v -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855
70.32/70.64 v -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020
70.32/70.64 v -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002
70.32/70.64 v -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984
70.32/70.64 v -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966
70.32/70.64 v -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948
70.32/70.64 v -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930
70.32/70.64 v -x4929 -x4928 -x4927 -x4926 -x4925 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730
70.32/70.64 v -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713
70.32/70.64 v -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695
70.32/70.64 v -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677
70.32/70.64 v -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841
70.32/70.64 v -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823
70.32/70.64 v -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805
70.32/70.64 v -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787
70.32/70.64 v -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770
70.32/70.64 v -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752
70.32/70.64 v -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552
70.32/70.64 v -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534
70.32/70.64 v -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516
70.32/70.64 v -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498
70.32/70.64 v -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4664 -x4663 -x4662
70.32/70.64 v -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645
70.32/70.64 v -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627
70.32/70.64 v -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609
70.32/70.64 v -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591
70.32/70.64 v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573
70.32/70.64 v -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315
70.32/70.64 v -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 -x7297
70.32/70.64 v -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280
70.32/70.64 v -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262
70.32/70.64 v -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426
70.32/70.64 v -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 -x7408
70.32/70.64 v -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390
70.32/70.64 v -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372
70.32/70.64 v -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354
70.32/70.64 v -x7353 -x7352 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337
70.32/70.64 v -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7138 -x7137
70.32/70.64 v -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119
70.32/70.64 v -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101
70.32/70.64 v -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083
70.32/70.64 v -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247
70.32/70.64 v -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229
70.32/70.64 v -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212
70.32/70.64 v -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194
70.32/70.64 v -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176
70.32/70.64 v -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158
70.32/70.64 v -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140
70.32/70.64 v -x7139 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940
70.32/70.64 v -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922
70.32/70.64 v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905
70.32/70.64 v -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x7073 -x7072 -x7071 -x7070 -x7069
70.32/70.64 v -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051
70.32/70.64 v -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033
70.32/70.64 v -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015
70.32/70.64 v -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997
70.32/70.64 v -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979
70.32/70.64 v -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962
70.32/70.64 v -x6961 -x6960 -x6959 -x6958 -x6957 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762
70.32/70.64 v -x6761 -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744
70.32/70.64 v -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726
70.32/70.64 v -x6725 -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6891 -x6890
70.32/70.64 v -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872
70.32/70.64 v -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854
70.32/70.64 v -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837
70.32/70.64 v -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819
70.32/70.64 v -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801
70.32/70.64 v -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783
70.32/70.64 v -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583
70.32/70.64 v -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565
70.32/70.64 v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547
70.32/70.64 v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530
70.32/70.64 v -x6529 -x6528 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694
70.32/70.64 v -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676
70.32/70.64 v -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658
70.32/70.64 v -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640
70.32/70.64 v -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622
70.32/70.64 v -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604
70.32/70.64 v -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405
70.32/70.64 v -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387
70.32/70.64 v -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 x6369
70.32/70.64 v -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351
70.32/70.64 v -x6350 -x6349 -x6348 -x6347 -x6346 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515
70.32/70.64 v -x6514 -x6513 x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497
70.32/70.64 v -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479
70.32/70.64 v -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461
70.32/70.64 v -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443
70.32/70.64 v -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426
70.32/70.64 v -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x8971 -x8970 -x8969
70.32/70.64 v -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962 -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951
70.32/70.64 v -x8950 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943 -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933
70.32/70.64 v -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925 -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915
70.32/70.64 v -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907 -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897
70.32/70.64 v -x8896 -x8895 -x8894 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070 -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061
70.32/70.64 v -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052 -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044
70.32/70.64 v -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034 -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026
70.32/70.64 v -x9025 -x9024 -x9023 -x9022 -x9021 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015 -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008
70.32/70.64 v -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998 -x8997 -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990
70.32/70.64 v -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980 -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972
70.32/70.64 v -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783 -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772
70.32/70.64 v -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765 -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754
70.32/70.64 v -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747 -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8738 -x8737
70.32/70.64 v -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728 -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719
70.32/70.64 v -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8893 -x8892 -x8891 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883
70.32/70.64 v -x8882 -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865
70.32/70.64 v -x8864 -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847
70.32/70.64 v -x8846 -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829
70.32/70.64 v -x8828 -x8827 -x8826 -x8825 -x8824 -x8823 -x8822 -x8821 -x8820 -x8819 -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811
70.32/70.64 v -x8810 -x8809 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801 -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794
70.32/70.64 v -x8793 -x8792 -x8791 -x8790 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602 -x8601 -x8600 -x8599 -x8598 -x8597 -x8596 -x8595 -x8594
70.32/70.64 v -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583 -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576
70.32/70.64 v -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565 -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558
70.32/70.64 v -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548 -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540
70.32/70.64 v -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530 -x8711 -x8710 -x8709 -x8708 -x8707 -x8706 -x8705 -x8704
70.32/70.64 v -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692 -x8691 -x8690 -x8689 -x8688 -x8687 -x8686
70.32/70.64 v -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675 -x8674 -x8673 -x8672 -x8671 -x8670 -x8669
70.32/70.64 v -x8668 -x8667 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656 -x8655 -x8654 -x8653 -x8652 -x8651
70.32/70.64 v -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638 -x8637 -x8636 -x8635 -x8634 -x8633
70.32/70.64 v -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620 -x8619 -x8618 -x8617 -x8616 -x8615
70.32/70.64 v -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8425 -x8424 -x8423 -x8422 -x8421 -x8420 -x8419 -x8418 -x8417 -x8416 -x8415
70.32/70.64 v -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403 -x8402 -x8401 -x8400 -x8399 -x8398 -x8397
70.32/70.64 v -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385 -x8384 -x8383 -x8382 -x8381 -x8380 -x8379
70.32/70.64 v -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366 -x8365 -x8364 -x8363 -x8362
70.32/70.64 v -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348 -x8529 -x8528 -x8527 -x8526
70.32/70.64 v -x8525 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511 -x8510 -x8509 -x8508
70.32/70.64 v -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493 -x8492 -x8491 -x8490
70.32/70.64 v -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475 -x8474 -x8473 -x8472
70.32/70.64 v -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457 -x8456 -x8455 -x8454
70.32/70.64 v -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438 -x8437 -x8436
70.32/70.64 v -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237
70.32/70.64 v -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219
70.32/70.64 v -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201
70.32/70.64 v -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183
70.32/70.64 v -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8347
70.32/70.64 v -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330 -x8329
70.32/70.64 v -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8312 -x8311
70.32/70.64 v -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294
70.32/70.64 v -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276
70.32/70.64 v -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258
70.32/70.64 v -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8061 -x8060 -x8059 -x8058
70.32/70.64 v -x8057 -x8056 -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040
70.32/70.64 v -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022
70.32/70.64 v -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 -x8005 -x8004
70.32/70.64 v -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988 -x7987
70.32/70.64 v -x7986 -x7985 -x7984 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151
70.32/70.64 v -x8150 -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133
70.32/70.64 v -x8132 -x8131 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 -x8119 x8118 -x8117 -x8116 -x8115
70.32/70.64 v -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097
70.32/70.64 v -x8096 -x8095 -x8094 -x8093 x8092 -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079
70.32/70.64 v -x8078 -x8077 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x7879
70.32/70.64 v -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861
70.32/70.64 v -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843
70.32/70.64 v -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825
70.32/70.64 v -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7816 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808
70.32/70.64 v -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972
70.32/70.64 v -x7971 -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7958 -x7957 -x7956 -x7955 -x7954
70.32/70.64 v -x7953 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936
70.32/70.64 v -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918
70.32/70.64 v -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900
70.32/70.64 v -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7887 -x7886 -x7885 -x7884 -x7883 -x7882
70.32/70.64 v -x7881 -x7880 x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682
70.32/70.64 v -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665
70.32/70.64 v -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647
70.32/70.64 v -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629
70.32/70.64 v -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7801 x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793
70.32/70.64 v -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775
70.32/70.64 v -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757
70.32/70.64 v -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739
70.32/70.64 v -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721
70.32/70.64 v -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703
70.32/70.64 v -x7702 -x7701 -x7700 -x7699 -x7698 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504
70.32/70.64 v -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486
70.32/70.64 v -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468
70.32/70.64 v -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450
70.32/70.64 v -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614
70.32/70.64 v -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596
70.32/70.64 v -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578
70.32/70.64 v -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561
70.32/70.64 v -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543
70.32/70.64 v -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525
70.32/70.64 v -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x9630 -x9614 -x9598 -x9582 -x9566 -x9550 -x9759 -x9743 -x9727
70.32/70.64 v -x9711 -x9695 -x9679 -x9663 -x9647 -x9631 -x6210 -x6194 -x6178 -x6162 -x6146 -x6130 -x6339 -x6323 -x6307 -x6291 -x6275 -x6259
70.32/70.64 v -x6243 -x6227 -x6211 -x9390 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217
70.32/70.64 v -x1216 -x9374 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x9358 -x750 -x749
70.32/70.64 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x9342 -x510 -x509 -x508 -x507 -x506 -x505 -x504
70.32/70.64 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x9326 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
70.32/70.64 v -x259 -x258 -x257 -x256 -x9310 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x9519 -x3390 -x3389
70.32/70.64 v -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x9503 -x3150 -x3149 -x3148 -x3147
70.32/70.64 v -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x9487 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905
70.32/70.64 v -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x9471 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663
70.32/70.64 v -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x9455 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422
70.32/70.64 v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x9439 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
70.32/70.64 v -x2179 -x2178 -x2177 -x2176 -x9423 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938
70.32/70.64 v -x1937 -x1936 -x9407 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696
70.32/70.64 v -x9391 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x15 -x14
70.32/70.64 v -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620
70.32/70.64 v -x9619 -x9618 -x9617 -x9616 -x9615 -x9613 -x9612 x9611 -x9610 -x9609 -x9608 x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601 -x9600
70.32/70.64 v -x9599 -x9597 x9596 -x9595 -x9594 -x9593 x9592 -x9591 -x9590 -x9589 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9581 -x9580
70.32/70.64 v -x9579 -x9578 -x9577 -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 x9569 x9568 -x9567 -x9565 -x9564 -x9563 x9562 -x9561
70.32/70.64 v -x9560 -x9559 -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542
70.32/70.64 v -x9541 -x9765 -x9764 -x9763 -x9762 -x9761 -x9760 -x9758 -x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9749 -x9748
70.32/70.64 v -x9747 -x9746 -x9745 -x9744 -x9742 -x9741 -x9740 -x9739 -x9738 -x9737 -x9736 -x9735 x9734 x9733 -x9732 x9731 -x9730 -x9729
70.32/70.64 v -x9728 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719 -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9710 -x9709
70.32/70.64 v -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 -x9702 -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9694 -x9693 -x9692 -x9691 -x9690
70.32/70.64 v -x9689 -x9688 -x9687 -x9686 -x9685 -x9684 -x9683 -x9682 -x9681 -x9680 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671
70.32/70.64 v -x9670 -x9669 -x9668 -x9667 -x9666 -x9665 -x9664 -x9662 -x9661 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 -x9654 -x9653
70.32/70.64 v -x9652 -x9651 -x9650 -x9649 -x9648 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 -x9636 -x9635 -x9634
70.32/70.64 v -x9633 -x9632 -x9540 x9539 x9538 -x9537 -x9536 -x9535 -x9534 -x9533 x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9164 -x9163
70.32/70.64 v -x9162 -x9161 -x9160 -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9148 -x9147 -x9146 -x9145
70.32/70.64 v -x9144 -x9143 -x9142 -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126
70.32/70.64 v -x9125 -x9124 -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107
70.32/70.64 v -x9106 -x9105 -x9104 -x9103 -x9102 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9092 -x9091 -x9090 -x9089 -x9088
70.32/70.64 v -x9087 -x9086 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9293
70.32/70.64 v -x9292 -x9291 -x9290 -x9289 -x9288 -x9287 -x9286 -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9277 -x9276 -x9275 -x9274
70.32/70.64 v -x9273 -x9272 -x9271 -x9270 -x9269 -x9268 -x9267 -x9266 -x9265 -x9264 -x9263 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255
70.32/70.64 v -x9254 -x9253 -x9252 -x9251 -x9250 -x9249 -x9248 -x9247 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237
70.32/70.64 v -x9236 -x9235 -x9234 -x9233 -x9232 -x9231 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218
70.32/70.64 v -x9217 -x9216 -x9215 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199
70.32/70.64 v -x9197 -x9196 -x9195 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9181 -x9180 -x9179
70.32/70.64 v -x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
70.32/70.64 v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
70.32/70.64 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174
70.32/70.64 v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
70.32/70.64 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1365 -x1364
70.32/70.64 v -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346
70.32/70.64 v -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328
70.32/70.64 v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310
70.32/70.64 v -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292
70.32/70.64 v -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274
70.32/70.64 v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
70.32/70.64 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
70.32/70.64 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995
70.32/70.64 v -x994 -x993 -x992 -x991 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
70.32/70.64 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939
70.32/70.64 v -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918
70.32/70.64 v -x917 -x916 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125
70.32/70.64 v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107
70.32/70.64 v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089
70.32/70.64 v -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071
70.32/70.64 v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053
70.32/70.64 v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 x1035
70.32/70.64 v -x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 -x1018 -x1017
70.32/70.64 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773
70.32/70.64 v -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752
70.32/70.64 v -x751 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
70.32/70.64 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 x698 -x697 -x696 -x695
70.32/70.64 v -x694 -x693 -x692 -x691 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899
70.32/70.64 v -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879
70.32/70.64 v -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858
70.32/70.64 v -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837
70.32/70.64 v -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816
70.32/70.64 v -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795
70.32/70.64 v -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x555 -x554 -x553 -x552 -x551 -x550 -x549
70.32/70.64 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
70.32/70.64 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x495 -x494 -x493
70.32/70.64 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472
70.32/70.64 v -x471 -x470 -x469 -x468 -x467 -x466 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676
70.32/70.64 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655
70.32/70.64 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634
70.32/70.64 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
70.32/70.64 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
70.32/70.64 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
70.32/70.64 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x330 -x329 -x328 -x327 -x326
70.32/70.64 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
70.32/70.64 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
70.32/70.64 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x255 -x254 -x253 -x252 -x251 -x250 -x249
70.32/70.64 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
70.32/70.64 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432
70.32/70.64 v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
70.32/70.64 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390
70.32/70.64 v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369
70.32/70.64 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
70.32/70.64 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x105 -x104 -x103
70.32/70.64 v -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
70.32/70.64 v -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53
70.32/70.64 v -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x240 -x239
70.32/70.64 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
70.32/70.64 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
70.32/70.64 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
70.32/70.64 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
70.32/70.64 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
70.32/70.64 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
70.32/70.64 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245
70.32/70.64 v -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227
70.32/70.64 v -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209
70.32/70.64 v -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191
70.32/70.64 v -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173
70.32/70.64 v -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365
70.32/70.64 v -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348
70.32/70.64 v -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330
70.32/70.64 v -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312
70.32/70.64 v -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294
70.32/70.64 v -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276
70.32/70.64 v -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258
70.32/70.64 v -x3257 -x3256 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015
70.32/70.64 v -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998
70.32/70.64 v -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980
70.32/70.64 v -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962
70.32/70.64 v -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944
70.32/70.64 v -x2943 -x2942 -x2941 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151
70.32/70.64 v -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
70.32/70.64 v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100
70.32/70.64 v -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083
70.32/70.64 v -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065
70.32/70.64 v -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047
70.32/70.64 v -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x2805 -x2804
70.32/70.64 v -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786
70.32/70.64 v -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768
70.32/70.64 v -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750
70.32/70.64 v -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733
70.32/70.64 v -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2940
70.32/70.64 v -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922
70.32/70.64 v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889
70.32/70.64 v -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871
70.32/70.64 v -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 x2856 x2855 -x2854 x2853
70.32/70.64 v -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835
70.32/70.64 v -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817
70.32/70.64 v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574
70.32/70.64 v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556
70.32/70.64 v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539
70.32/70.64 v -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521
70.32/70.64 v -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503
70.32/70.64 v -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710
70.32/70.64 v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692
70.32/70.64 v -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674
70.32/70.64 v -x2673 -x2672 -x2671 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641
70.32/70.64 v -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624
70.32/70.64 v -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606
70.32/70.64 v -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588
70.32/70.64 v -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345
70.32/70.64 v -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327
70.32/70.64 v -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309
70.32/70.64 v -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291
70.32/70.64 v -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274
70.32/70.64 v -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481
70.32/70.64 v -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463
70.32/70.64 v -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445
70.32/70.64 v -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2415 -x2414 -x2413 -x2412
70.32/70.64 v -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394
70.32/70.64 v -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376
70.32/70.64 v -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359
70.32/70.64 v -x2358 -x2357 -x2356 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
70.32/70.64 v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
70.32/70.64 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
70.32/70.64 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062
70.32/70.64 v -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044
70.32/70.64 v -x2043 -x2042 -x2041 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251
70.32/70.64 v -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234
70.32/70.64 v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
70.32/70.64 v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
70.32/70.64 v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165
70.32/70.64 v -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147
70.32/70.64 v -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x1905 -x1904
70.32/70.64 v -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886
70.32/70.64 v -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869
70.32/70.64 v -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851
70.32/70.64 v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833
70.32/70.64 v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x2040
70.32/70.64 v -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022
70.32/70.64 v -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004
70.32/70.64 v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986
70.32/70.64 v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969
70.32/70.64 v -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951
70.32/70.64 v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918
70.32/70.64 v -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675
70.32/70.64 v -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657
70.32/70.64 v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639
70.32/70.64 v -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621
70.32/70.64 v -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604
70.32/70.64 v -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1815 -x1814 -x1813 -x1812 -x1811
70.32/70.64 v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793
70.32/70.64 v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775
70.32/70.64 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757
70.32/70.64 v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739
70.32/70.64 v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721
70.32/70.64 v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689
70.32/70.64 v -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446
70.32/70.64 v -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428
70.32/70.64 v -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410
70.32/70.64 v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392
70.32/70.64 v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
70.32/70.64 v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581
70.32/70.64 v -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564
70.32/70.64 v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546
70.32/70.64 v -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528
70.32/70.64 v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510
70.32/70.64 v -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492
70.32/70.64 v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474
70.32/70.64 v -x1473 -x1472 -x1471 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195
70.32/70.64 v -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6177 -x6176
70.32/70.64 v -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6161 -x6160 -x6159 -x6158 -x6157
70.32/70.64 v -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138
70.32/70.64 v -x6137 -x6136 -x6135 -x6134 -x6133 x6132 -x6131 -x6129 x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6345 -x6344
70.32/70.64 v -x6343 -x6342 -x6341 -x6340 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325
70.32/70.64 v -x6324 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6306 -x6305
70.32/70.64 v -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6290 -x6289 -x6288 -x6287 -x6286
70.32/70.64 v -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267
70.32/70.64 v -x6266 -x6265 -x6264 -x6263 -x6262 x6261 x6260 x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248
70.32/70.64 v -x6247 -x6246 -x6245 -x6244 -x6242 -x6241 x6240 -x6239 -x6238 -x6237 -x6236 -x6235 x6234 -x6233 -x6232 -x6231 -x6230 -x6229
70.32/70.64 v -x6228 x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x9389 -x9388
70.32/70.64 v -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379 -x9378 -x9377 -x9376 -x9375 -x9373 -x9372 -x9371 -x9370 -x9369
70.32/70.64 v -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 x9362 -x9361 -x9360 -x9359 -x9357 -x9356 x9355 -x9354 -x9353 -x9352 -x9351 -x9350
70.32/70.64 v -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9341 -x9340 -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331
70.32/70.64 v -x9330 -x9329 -x9328 -x9327 -x9325 -x9324 -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 x9313 -x9312
70.32/70.64 v -x9311 -x9309 -x9308 -x9307 -x9306 -x9305 -x9304 -x9303 -x9302 -x9301 -x9525 -x9524 -x9523 -x9522 -x9521 -x9520 -x9518 -x9517
70.32/70.64 v -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505 -x9504 -x9502 -x9501 -x9500 -x9499 -x9498
70.32/70.64 v -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9486 -x9485 x9484 -x9483 -x9482 -x9481 -x9480 -x9479
70.32/70.64 v -x9478 -x9477 -x9476 -x9475 -x9474 -x9473 -x9472 -x9470 -x9469 -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460
70.32/70.64 v -x9459 -x9458 -x9457 -x9456 -x9454 -x9453 -x9452 -x9451 -x9450 -x9449 -x9448 -x9447 -x9446 -x9445 -x9444 -x9443 x9442 -x9441
70.32/70.64 v -x9440 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432 -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9422
70.32/70.64 v -x9421 -x9420 x9419 -x9418 -x9417 -x9416 -x9415 -x9414 -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9406 -x9405 -x9404 -x9403
70.32/70.64 v -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396 -x9395 -x9394 -x9393 -x9392
70.32/70.64 c SCIP Status : problem is solved [optimal solution found]
70.32/70.64 c Total Time : 70.61
70.32/70.64 c solving : 70.61
70.32/70.64 c presolving : 0.88 (included in solving)
70.32/70.64 c reading : 0.05 (included in solving)
70.32/70.64 c copying : 0.38 (14 #copies) (minimal 0.02, maximal 0.03, average 0.03)
70.32/70.64 c Original Problem :
70.32/70.64 c Problem name : HOME/instance-4504812-1751458789.opb
70.32/70.64 c Variables : 9765 (9765 binary, 0 integer, 0 implicit integer, 0 continuous)
70.32/70.64 c Constraints : 21293 initial, 21293 maximal
70.32/70.64 c Objective : minimize, 4005 non-zeros (abs.min = 1, abs.max = 7.09579e+07)
70.32/70.64 c Presolved Problem :
70.32/70.64 c Problem name : t_HOME/instance-4504812-1751458789.opb
70.32/70.64 c Variables : 7380 (7380 binary, 0 integer, 0 implicit integer, 0 continuous)
70.32/70.64 c Constraints : 13204 initial, 13427 maximal
70.32/70.64 c Objective : minimize, 3255 non-zeros (abs.min = 392, abs.max = 1.41916e+08)
70.32/70.64 c Nonzeros : 38880 constraint, 58573 clique table
70.32/70.64 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
70.32/70.64 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
70.32/70.64 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
70.32/70.64 c gateextraction : 0.06 0.00 4 0 0 0 0 0 22260 5880 0 0
70.32/70.64 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
70.32/70.64 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c milp : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
70.32/70.64 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
70.32/70.64 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c trivial : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
70.32/70.64 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c dualfix : 0.00 0.00 8 645 0 0 0 0 0 0 0 0
70.32/70.64 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c probing : 0.49 0.00 1 0 0 0 0 0 0 0 0 0
70.32/70.64 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
70.32/70.64 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
70.32/70.64 c knapsack : 0.05 0.00 13 0 0 0 0 0 5880 16380 0 0
70.32/70.64 c setppc : 0.04 0.00 13 0 0 0 0 0 0 0 0 0
70.32/70.64 c and : 0.03 0.00 6 0 1365 0 0 0 1470 0 0 0
70.32/70.64 c linear : 0.10 0.01 11 60 315 0 60 0 739 0 105 525
70.32/70.64 c logicor : 0.01 0.00 11 0 0 0 0 0 0 0 0 0
70.32/70.64 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
70.32/70.64 c root node : - - - 7131 - - 7131 - - - - -
70.32/70.64 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
70.32/70.64 c benderslp : 0 0 0 0 579 0 0 122 0 0 0 0 0 0 0
70.32/70.64 c integral : 0 0 0 0 579 0 0 122 0 0 5587 0 0 372 928
70.32/70.64 c knapsack : 150 150 22 20165 2 0 0 116 2149 36 560 22 3 0 0
70.32/70.64 c setppc : 8521+ 10171 22 20121 2 0 0 55 19568 68 61625 1 1 0 0
70.32/70.64 c and : 4410 4410 1296 20060 2 0 0 19 3784 165 115959 534 360 0 0
70.32/70.64 c linear : 3+ 15 22 19897 2 0 0 15 893 12 314 0 0 0 0
70.32/70.64 c logicor : 120+ 341 22 4896 2 0 0 12 3987 142 2587 0 0 0 0
70.32/70.64 c benders : 0 0 0 0 2 0 0 14 0 0 0 0 0 0 0
70.32/70.64 c fixedvar : 0 0 0 0 2 0 0 14 0 0 0 0 0 0 0
70.32/70.64 c countsols : 0 0 0 0 2 0 0 14 0 0 0 0 0 0 0
70.32/70.64 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
70.32/70.64 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
70.32/70.64 c integral : 30.92 0.00 0.00 0.00 30.92 0.00 0.00 0.00 0.00 0.00
70.32/70.64 c knapsack : 0.09 0.00 0.01 0.05 0.00 0.00 0.00 0.01 0.00 0.02
70.32/70.64 c setppc : 0.59 0.00 0.09 0.28 0.00 0.00 0.00 0.01 0.00 0.21
70.32/70.64 c and : 2.14 0.00 0.87 0.73 0.00 0.00 0.00 0.01 0.01 0.53
70.32/70.64 c linear : 0.17 0.01 0.11 0.04 0.00 0.00 0.00 0.00 0.00 0.01
70.32/70.64 c logicor : 0.10 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.03
70.32/70.64 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
70.32/70.64 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
70.32/70.64 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
70.32/70.64 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
70.32/70.64 c Propagators : #Propagate #ResProp Cutoffs DomReds
70.32/70.64 c dualfix : 3 0 0 0
70.32/70.64 c genvbounds : 0 0 0 0
70.32/70.64 c nlobbt : 0 0 0 0
70.32/70.64 c obbt : 0 0 0 0
70.32/70.64 c probing : 0 0 0 0
70.32/70.64 c pseudoobj : 6415 48 2 1970
70.32/70.64 c redcost : 2554 0 0 27865
70.32/70.64 c rootredcost : 7 0 0 2641
70.32/70.64 c symmetry : 0 0 0 0
70.32/70.64 c vbounds : 9964 0 0 0
70.32/70.64 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
70.32/70.64 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
70.32/70.64 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
70.32/70.64 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
70.32/70.64 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
70.32/70.64 c probing : 0.49 0.00 0.49 0.00 0.00 0.00
70.32/70.64 c pseudoobj : 0.06 0.00 0.00 0.04 0.02 0.00
70.32/70.64 c redcost : 0.44 0.00 0.00 0.44 0.00 0.00
70.32/70.64 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
70.32/70.64 c symmetry : 0.02 0.00 0.02 0.00 0.00 0.00
70.32/70.64 c vbounds : 0.21 0.00 0.00 0.20 0.00 0.00
70.32/70.64 c Symmetry :
70.32/70.64 c orbitopal red. : 0 reductions applied, 0 cutoffs
70.32/70.64 c orbital reduction: 0 reductions applied, 0 cutoffs
70.32/70.64 c lexicographic red: 0 reductions applied, 0 cutoffs
70.32/70.64 c shadow tree time : 0.00 s
70.32/70.64 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
70.32/70.64 c propagation : 0.05 407 404 - 1284 129.5 26 15.5 - - -
70.32/70.64 c infeasible LP : 0.02 13 13 - 107 114.1 0 0.0 13 175.4 0
70.32/70.64 c bound exceed. LP : 0.86 203 38 - 420 88.6 0 0.0 0 0.0 1626
70.32/70.64 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
70.32/70.64 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
70.32/70.64 c applied globally : 0.04 - - 0 1080 61.5 - - 13 - -
70.32/70.64 c applied locally : - - - 0 0 0.0 - - 0 - -
70.32/70.64 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
70.32/70.64 c cut pool : 0.63 - 424 42 - - 7045 14836 - - - - - (maximal pool size: 3827)
70.32/70.64 c aggregation : 0.78 0.00 186 22 0 0 6 8 0 4 4 0 0
70.32/70.64 c > cmir : - - - - - - - 3 0 2 2 0 -
70.32/70.64 c > flowcover : - - - - - - - 5 0 2 2 0 -
70.32/70.64 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
70.32/70.64 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c clique : 0.14 0.00 22 22 0 0 4 4 0 1 1 0 0
70.32/70.64 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c gomory : 5.99 0.00 100 10 0 0 6535 13911 0 163 163 0 0
70.32/70.64 c > gomorymi : - - - - - - - 7547 0 92 92 0 -
70.32/70.64 c > strongcg : - - - - - - - 6364 0 71 71 0 -
70.32/70.64 c impliedbounds : 0.39 0.00 186 22 0 0 122 169 0 138 138 0 0
70.32/70.64 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
70.32/70.64 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c multilinear : 0.00 0.00 82 22 0 0 0 0 0 0 0 0 0
70.32/70.64 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c rapidlearning : 0.04 0.00 0 0 0 0 0 0 0 0 0 0 0
70.32/70.64 c rlt : 1.98 0.00 32 10 0 0 183 344 0 313 313 0 0
70.32/70.64 c zerohalf : 0.57 0.00 110 20 0 0 195 400 0 240 240 0 0
70.32/70.64 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
70.32/70.64 c hybrid : 0.05 0.00 418 21 1223 0 14170 130 0 4036
70.32/70.64 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c Pricers : ExecTime SetupTime Calls Vars
70.32/70.64 c problem variables: 0.00 - 0 0
70.32/70.64 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
70.32/70.64 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c random : 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c relpscost : 30.92 0.00 577 0 0 0 5587 0 429 928
70.32/70.64 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
70.32/70.64 c Primal Heuristics : ExecTime SetupTime Calls Found Best
70.32/70.64 c LP solutions : 0.00 - - 2 2
70.32/70.64 c relax solutions : 0.00 - - 0 0
70.32/70.64 c pseudo solutions : 0.00 - - 0 0
70.32/70.64 c strong branching : 0.01 - - 1 1
70.32/70.64 c actconsdiving : 0.00 0.00 0 0 0
70.32/70.64 c adaptivediving : 0.02 0.00 2 0 0
70.32/70.64 c alns : 0.54 0.00 5 2 2
70.32/70.64 c bound : 0.00 0.00 0 0 0
70.32/70.64 c clique : 0.10 0.00 1 0 0
70.32/70.64 c coefdiving : 0.00 0.00 0 0 0
70.32/70.64 c completesol : 0.00 0.00 0 0 0
70.32/70.64 c conflictdiving : 0.19 0.00 2 0 0
70.32/70.64 c crossover : 0.23 0.00 3 1 0
70.32/70.64 c dins : 0.00 0.00 0 0 0
70.32/70.64 c distributiondivin: 0.41 0.00 2 0 0
70.32/70.64 c dps : 0.00 0.00 0 0 0
70.32/70.64 c dualval : 0.00 0.00 0 0 0
70.32/70.64 c farkasdiving : 1.42 0.00 1 0 0
70.32/70.64 c feasjump : 0.01 0.00 1 1 1
70.32/70.64 c feaspump : 0.88 0.00 1 0 0
70.32/70.64 c fixandinfer : 0.00 0.00 0 0 0
70.32/70.64 c fracdiving : 0.04 0.00 2 0 0
70.32/70.64 c gins : 0.01 0.00 0 0 0
70.32/70.64 c guideddiving : 0.00 0.00 1 0 0
70.32/70.64 c indcoefdiving : 0.00 0.00 0 0 0
70.32/70.64 c indicator : 0.00 0.00 0 0 0
70.32/70.64 c indicatordiving : 0.00 0.00 0 0 0
70.32/70.64 c indoneopt : 0.00 0.00 0 0 0
70.32/70.64 c indrounding : 0.00 0.00 0 0 0
70.32/70.64 c indtwoopt : 0.00 0.00 0 0 0
70.32/70.64 c intdiving : 0.00 0.00 0 0 0
70.32/70.64 c intshifting : 0.00 0.00 0 0 0
70.32/70.64 c linesearchdiving : 0.04 0.00 2 0 0
70.32/70.64 c localbranching : 0.00 0.00 0 0 0
70.32/70.64 c locks : 0.03 0.00 1 0 0
70.32/70.64 c lpface : 0.00 0.00 0 0 0
70.32/70.64 c mpec : 0.00 0.00 0 0 0
70.32/70.64 c multistart : 0.00 0.00 0 0 0
70.32/70.64 c mutation : 0.00 0.00 0 0 0
70.32/70.64 c nlpdiving : 0.00 0.00 0 0 0
70.32/70.64 c objpscostdiving : 0.14 0.00 2 0 0
70.32/70.64 c octane : 0.00 0.00 0 0 0
70.32/70.64 c ofins : 0.00 0.00 0 0 0
70.32/70.64 c oneopt : 0.02 0.00 6 0 0
70.32/70.64 c padm : 0.00 0.00 0 0 0
70.32/70.64 c proximity : 0.00 0.00 0 0 0
70.32/70.64 c pscostdiving : 0.06 0.00 2 0 0
70.32/70.64 c randrounding : 0.36 0.00 115 0 0
70.32/70.64 c rens : 0.14 0.00 1 0 0
70.32/70.64 c reoptsols : 0.00 0.00 0 0 0
70.32/70.64 c repair : 0.00 0.00 0 0 0
70.32/70.64 c rins : 0.34 0.00 4 3 1
70.32/70.64 c rootsoldiving : 0.16 0.00 1 1 0
70.32/70.64 c rounding : 0.67 0.00 858 1 1
70.32/70.64 c scheduler : 0.00 0.00 0 0 0
70.32/70.64 c shiftandpropagate: 0.03 0.00 1 0 0
70.32/70.64 c shifting : 0.21 0.00 160 0 0
70.32/70.64 c simplerounding : 0.00 0.00 0 0 0
70.32/70.64 c smallcard : 0.00 0.00 0 0 0
70.32/70.64 c subnlp : 0.00 0.00 0 0 0
70.32/70.64 c trivial : 0.00 0.00 2 0 0
70.32/70.64 c trivialnegation : 0.00 0.00 0 0 0
70.32/70.64 c trustregion : 0.00 0.00 0 0 0
70.32/70.64 c trysol : 0.00 0.00 0 0 0
70.32/70.64 c twoopt : 0.00 0.00 0 0 0
70.32/70.64 c undercover : 0.22 0.00 1 0 0
70.32/70.64 c vbounds : 0.24 0.00 1 0 0
70.32/70.64 c veclendiving : 0.03 0.00 2 0 0
70.32/70.64 c zeroobj : 0.00 0.00 0 0 0
70.32/70.64 c zirounding : 0.14 0.00 464 0 0
70.32/70.64 c other solutions : - - - 0 -
70.32/70.64 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
70.32/70.64 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
70.32/70.64 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
70.32/70.64 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
70.32/70.64 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
70.32/70.64 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
70.32/70.64 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
70.32/70.64 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
70.32/70.64 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
70.32/70.64 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
70.32/70.64 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
70.32/70.64 c primal LP : 0.13 58 0 0.00 0.00 0.13 58
70.32/70.64 c dual LP : 12.86 2136 40715 33.35 3165.81 2.35 915
70.32/70.64 c lex dual LP : 0.00 0 0 0.00 -
70.32/70.64 c barrier LP : 0.00 0 0 0.00 - 0.00 0
70.32/70.64 c resolve instable : 0.00 0 0 0.00 -
70.32/70.64 c diving/probing LP: 2.97 325 16222 49.91 5463.55
70.32/70.64 c strong branching : 25.00 900 125163 139.07 5007.00 - - 41
70.32/70.64 c (at root node) : - 22 5017 228.05 -
70.32/70.64 c conflict analysis: 0.47 168 1626 9.68 3457.25
70.32/70.64 c B&B Tree :
70.32/70.64 c number of runs : 1
70.32/70.64 c nodes : 794 (464 internal, 330 leaves)
70.32/70.64 c feasible leaves : 2
70.32/70.64 c infeas. leaves : 117
70.32/70.64 c objective leaves : 211
70.32/70.64 c nodes (total) : 794 (464 internal, 330 leaves)
70.32/70.64 c nodes left : 0
70.32/70.64 c max depth : 88
70.32/70.64 c max depth (total): 88
70.32/70.64 c backtracks : 247 (31.1%)
70.32/70.64 c early backtracks : 0 (0.0%)
70.32/70.64 c nodes exc. ref. : 0 (0.0%)
70.32/70.64 c delayed cutoffs : 27
70.32/70.64 c repropagations : 2296 (22927 domain reductions, 4 cutoffs)
70.32/70.64 c avg switch length: 12.73
70.32/70.64 c switching time : 1.62
70.32/70.64 c Root Node :
70.32/70.64 c First LP value : +1.89349100000000e+06
70.32/70.64 c First LP Iters : 729 (9628.97 Iter/sec)
70.32/70.64 c First LP Time : 0.08
70.32/70.64 c Final Dual Bound : +2.05383005850064e+06
70.32/70.64 c Final Root Iters : 2169
70.32/70.64 c Root LP Estimate : +2.40738328042143e+06
70.32/70.64 c Solution :
70.32/70.64 c Solutions found : 12 (8 improvements)
70.32/70.64 c First Solution : +1.11908689000000e+08 (in run 1, after 1 nodes, 1.40 seconds, depth 0, found by <feasjump>)
70.32/70.64 c Gap First Sol. : infinite
70.32/70.64 c Gap Last Sol. : 4.07 %
70.32/70.64 c Primal Bound : +2.21868600000000e+06 (in run 1, after 794 nodes, 70.61 seconds, depth -1, found by <relaxation>)
70.32/70.64 c Dual Bound : +2.21868600000000e+06
70.32/70.64 c Gap : 0.00 %
70.32/70.64 c Integrals : Total Avg%
70.32/70.64 c primal-dual : 3958.16 56.05
70.32/70.64 c primal-ref : - - (not evaluated)
70.32/70.64 c dual-ref : - - (not evaluated)
70.42/70.76 c Time complete: 70.4857.
OK 2218686
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62143 MiB free)
memory of node 1: 64465 MiB (63729 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504812-1751458789/watcher-4504812-1751458789 -o /tmp/evaluation-result-4504812-1751458789/solver-4504812-1751458789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751458789-63983 --watchdog 3760 pbscip -f HOME/instance-4504812-1751458789.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=64016, runsolver pid=64012
[startup+0.100062 s]*
/proc/loadavg: 1.26 3.43 5.10 5/261 64031
/proc/meminfo: memFree=128769712/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=97804 memory=70272 CPUtime=0.09 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 14338 0 0 0 7 2 0 0 20 0 1 0 61557369 100151296 17568 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 24451 17568 3584 3530 0 15902 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97804 KiB
Current children cumulated memory: 70272 KiB
[startup+0.205608 s]*
/proc/loadavg: 1.26 3.43 5.10 4/261 64036
/proc/meminfo: memFree=128637696/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=113256 memory=86004 CPUtime=0.19 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 21015 0 0 0 16 3 0 0 20 0 1 0 61557369 115974144 21501 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 28314 21501 3680 3530 0 19765 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 86004 KiB
[startup+0.305401 s]*
/proc/loadavg: 1.26 3.43 5.10 5/265 64040
/proc/meminfo: memFree=128444664/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=124472 memory=97592 CPUtime=0.29 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 24593 0 0 0 26 3 0 0 20 0 1 0 61557369 127459328 24398 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 31118 24398 3744 3530 0 22569 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 124472 KiB
Current children cumulated memory: 97592 KiB
[startup+0.700146 s]
/proc/loadavg: 1.26 3.43 5.10 5/265 64040
/proc/meminfo: memFree=128174772/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=136580 memory=108728 CPUtime=0.67 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 27396 0 0 0 64 3 0 0 20 0 1 0 61557369 139857920 27182 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 34145 27182 3744 3530 0 25596 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 136580 KiB
Current children cumulated memory: 108728 KiB
[startup+1.50016 s]
/proc/loadavg: 1.26 3.43 5.10 5/265 64040
/proc/meminfo: memFree=127636940/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=192984 memory=153032 CPUtime=1.47 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 39203 0 0 0 142 5 0 0 20 0 1 0 61557369 197615616 38258 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 48246 38258 3904 3530 0 39697 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 192984 KiB
Current children cumulated memory: 153032 KiB
[startup+3.10539 s]
/proc/loadavg: 1.26 3.43 5.10 5/265 64040
/proc/meminfo: memFree=126166684/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=268052 memory=226504 CPUtime=3.07 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 57593 0 0 0 299 8 0 0 20 0 1 0 61557369 274485248 56626 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 67013 56626 3936 3530 0 58464 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 268052 KiB
Current children cumulated memory: 226504 KiB
[startup+6.30017 s]
/proc/loadavg: 1.48 3.44 5.10 5/265 64040
/proc/meminfo: memFree=125090208/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=271276 memory=228680 CPUtime=6.26 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 58142 0 0 0 618 8 0 0 20 0 1 0 61557369 277786624 57170 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 67819 57170 3936 3530 0 59270 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 271276 KiB
Current children cumulated memory: 228680 KiB
[startup+12.7002 s]
/proc/loadavg: 1.68 3.45 5.09 5/265 64040
/proc/meminfo: memFree=124305964/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=330492 memory=280136 CPUtime=12.63 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 71023 0 0 0 1253 10 0 0 20 0 1 0 61557369 338423808 70034 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 82623 70034 3936 3530 0 74074 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 330492 KiB
Current children cumulated memory: 280136 KiB
[startup+25.5002 s]
/proc/loadavg: 2.20 3.48 5.07 5/265 64041
/proc/meminfo: memFree=123638324/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=330492 memory=280136 CPUtime=25.39 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 71028 0 0 0 2529 10 0 0 20 0 1 0 61557369 338423808 70034 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 82623 70034 3936 3530 0 74074 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 330492 KiB
Current children cumulated memory: 280136 KiB
[startup+51.1056 s]
/proc/loadavg: 2.81 3.52 5.04 5/265 64041
/proc/meminfo: memFree=123144860/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=434132 memory=362408 CPUtime=50.9 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 92027 0 0 0 5077 13 0 0 20 0 1 0 61557369 444551168 90602 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 108533 90602 3936 3530 0 99984 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 434132 KiB
Current children cumulated memory: 362408 KiB
[startup+70.7765 s]
# the end of solver process 64016 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=70.315 s, system=0.187271 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 2.81 3.52 5.04 5/265 64041
/proc/meminfo: memFree=123144860/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=435892 memory=362408 CPUtime=51 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 92028 0 0 0 5087 13 0 0 20 0 1 0 61557369 446353408 90602 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 108973 90602 3936 3530 0 100424 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 435892 KiB
Current children cumulated memory: 362408 KiB
[startup+64.0002 s]*
/proc/loadavg: 3.07 3.55 5.04 5/265 64042
/proc/meminfo: memFree=123093800/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=503676 memory=402788 CPUtime=63.75 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 102687 0 0 0 6360 15 0 0 20 0 1 0 61557369 515764224 100697 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 125919 100697 3936 3530 0 117370 0
Current children cumulated CPU time: 63.75 s
Current children cumulated vsize: 503676 KiB
Current children cumulated memory: 402788 KiB
[startup+67.2002 s]
/proc/loadavg: 3.14 3.56 5.03 5/265 64042
/proc/meminfo: memFree=123031988/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=541720 memory=439032 CPUtime=66.93 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 113192 0 0 0 6677 16 0 0 20 0 1 0 61557369 554721280 109758 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 135430 109758 3936 3530 0 126881 0
Current children cumulated CPU time: 66.93 s
Current children cumulated vsize: 541720 KiB
Current children cumulated memory: 439032 KiB
[startup+68.8001 s]
/proc/loadavg: 3.14 3.56 5.03 5/265 64042
/proc/meminfo: memFree=123032508/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=543876 memory=442360 CPUtime=68.53 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 114007 0 0 0 6836 17 0 0 20 0 1 0 61557369 556929024 110590 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 135969 110590 3936 3530 0 127420 0
Current children cumulated CPU time: 68.53 s
Current children cumulated vsize: 543876 KiB
Current children cumulated memory: 442360 KiB
[startup+69.6002 s]
/proc/loadavg: 3.14 3.56 5.03 5/265 64042
/proc/meminfo: memFree=123032776/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=543876 memory=442360 CPUtime=69.33 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 114007 0 0 0 6916 17 0 0 20 0 1 0 61557369 556929024 110590 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 135969 110590 3936 3530 0 127420 0
Current children cumulated CPU time: 69.33 s
Current children cumulated vsize: 543876 KiB
Current children cumulated memory: 442360 KiB
[startup+70.4002 s]
/proc/loadavg: 3.21 3.57 5.03 5/265 64042
/proc/meminfo: memFree=123031012/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=546984 memory=445176 CPUtime=70.12 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 114726 0 0 0 6995 17 0 0 20 0 1 0 61557369 560111616 111294 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 136746 111294 3936 3530 0 128197 0
Current children cumulated CPU time: 70.12 s
Current children cumulated vsize: 546984 KiB
Current children cumulated memory: 445176 KiB
[startup+70.6001 s]
/proc/loadavg: 3.21 3.57 5.03 5/265 64042
/proc/meminfo: memFree=123031012/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=546984 memory=445176 CPUtime=70.32 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 114726 0 0 0 7015 17 0 0 20 0 1 0 61557369 560111616 111294 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 136746 111294 3936 3530 0 128197 0
Current children cumulated CPU time: 70.32 s
Current children cumulated vsize: 546984 KiB
Current children cumulated memory: 445176 KiB
[startup+70.7001 s]
/proc/loadavg: 3.21 3.57 5.03 5/265 64042
/proc/meminfo: memFree=123031012/131249996 swapFree=33010160/33010684
[pid=64016] ppid=64012 vsize=546084 memory=444356 CPUtime=70.42 cores=1,3
/proc/64016/stat : 64016 (pbscip) R 64012 64016 63971 0 -1 4194304 114728 0 0 0 7025 17 0 0 20 0 1 0 61557369 559190016 111089 18446744073709551615 4235264 18693293 140735992053120 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57516032 140735992060297 140735992060396 140735992060396 140735992065998 0
/proc/64016/statm: 136521 111089 3936 3530 0 127972 0
Current children cumulated CPU time: 70.42 s
Current children cumulated vsize: 546084 KiB
Current children cumulated memory: 444356 KiB
Child status: 0
Real time (s): 70.7766
CPU time (s): 70.5023
CPU user time (s): 70.315
CPU system time (s): 0.187271
CPU usage (%): 99.6125
Max. virtual memory (cumulated for all children) (KiB): 546984
Max. memory (cumulated for all children) (KiB): 445176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.315
system time used= 0.187271
maximum resident set size= 445176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114735
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= 106
involuntary context switches= 109
# summary of solver processes directly reported to runsolver:
# pid: 64016
# total CPU time (s): 70.5023
# total CPU user time (s): 70.315
# total CPU system time (s): 0.187271
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.149821 second user time and 0.343546 second system time
The end
Begin job on nodeC029 at 2025-07-02 14:19:49 IDJOB=4504812 IDBENCH=155687 IDSOLVER=3365 FILE ID=nodeC029/4504812-1751458789 RUNJOBID= nodeC029-1751458789-63983 SLURM_JOB_ID= 9598460 Free space on /tmp= 432252 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_4_mh_ic.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504812-1751458789/watcher-4504812-1751458789 -o /tmp/evaluation-result-4504812-1751458789/solver-4504812-1751458789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751458789-63983 --watchdog 3760 pbscip -f HOME/instance-4504812-1751458789.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 122e0703ad162af40c09f7923c9e110e RANDOM SEED=1278581071 nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.719 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.696 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3528.469 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3630.675 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.680 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.732 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.805 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3595.567 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128918572 kB MemAvailable: 129702192 kB Buffers: 2128 kB Cached: 1584056 kB SwapCached: 40 kB Active: 513892 kB Inactive: 1144548 kB Active(anon): 85508 kB Inactive(anon): 4768 kB Active(file): 428384 kB Inactive(file): 1139780 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 72576 kB Writeback: 0 kB AnonPages: 75236 kB Mapped: 103984 kB Shmem: 18020 kB KReclaimable: 109392 kB Slab: 197628 kB SReclaimable: 109392 kB SUnreclaim: 88236 kB KernelStack: 3956 kB PageTables: 2380 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 339624 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 193236 kB DirectMap2M: 11112448 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432136 MiB End job on nodeC029 at 2025-07-02 14:21:00