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 | -29 | 27.7287 | 27.8225 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb |
| MD5SUM | f91dbe69118ae72b0214f31a62e5b167 |
| 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 | -29 |
| Best CPU time to get the best result obtained on this benchmark | 0.785581 |
| 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 | 4500 |
| Total number of constraints | 1979 |
| Number of constraints which are clauses | 1830 |
| Number of constraints which are cardinality constraints (but not clauses) | 89 |
| Number of constraints which are nor clauses,nor cardinality constraints | 60 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 31 |
| Number of terms in the objective function | 900 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 900 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 900 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-4519616-1751550309.opb>
0.00/0.02 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 1979 constraints
0.00/0.02 c problem read in 0.01
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.03 c presolving:
0.00/0.04 c (0.0s) running MILP presolver
0.00/0.05 c (0.0s) MILP presolver (3 rounds): 0 aggregations, 870 fixings, 0 bound changes
0.00/0.05 c (round 1, medium) 870 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 59 clqs
0.00/0.05 c (round 2, fast) 900 del vars, 60 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 59 clqs
0.00/0.06 c (round 3, exhaustive) 900 del vars, 60 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 1046 upgd conss, 0 impls, 59 clqs
0.00/0.06 c (round 4, medium) 900 del vars, 90 del conss, 900 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 1046 upgd conss, 0 impls, 959 clqs
0.00/0.07 c (round 5, exhaustive) 900 del vars, 90 del conss, 900 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 1890 upgd conss, 0 impls, 959 clqs
0.00/0.08 c (round 6, exhaustive) 900 del vars, 90 del conss, 900 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 1919 upgd conss, 0 impls, 959 clqs
0.08/0.10 c (0.1s) probing: 51/3600 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.10 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.08/0.10 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.08/0.14 c (0.1s) symmetry computation finished: 86 generators found (max: 1500, log10 of symmetry group size: 90.0) (symcode time: 0.03)
0.08/0.16 c dynamic symmetry handling statistics:
0.08/0.16 c orbitopal reduction: no components
0.08/0.16 c orbital reduction: 1 components of sizes 86
0.08/0.16 c lexicographic reduction: 86 permutations with support sizes 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 122, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 238
0.08/0.16 c handled 1 out of 1 symmetry components
0.08/0.16 c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
0.08/0.16 c 900 deleted vars, 90 deleted constraints, 900 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 30 changed coefficients
0.08/0.16 c 0 implications, 959 cliques
0.08/0.16 c presolved problem has 3600 variables (3600 bin, 0 int, 0 impl, 0 cont) and 2789 constraints
0.08/0.16 c 959 constraints of type <setppc>
0.08/0.16 c 1830 constraints of type <logicor>
0.08/0.16 c transformed objective value is always integral (scale: 1)
0.08/0.16 c Presolving Time: 0.13
0.08/0.16 c - non default parameters ----------------------------------------------------------------------
0.08/0.16 c # SCIP version 10.0.0
0.08/0.16 c
0.08/0.16 c # maximal time in seconds to run
0.08/0.16 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.08/0.16 c limits/time = 3596.997067
0.08/0.16 c
0.08/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.16 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.08/0.16 c limits/memory = 27900
0.08/0.16 c
0.08/0.16 c # belongs reading time to solving time?
0.08/0.16 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.08/0.16 c timing/reading = TRUE
0.08/0.16 c
0.08/0.16 c -----------------------------------------------------------------------------------------------
0.08/0.16 c start solving
0.08/0.16 c transformed 1/1 original solutions to the transformed problem space
0.08/0.16 c
0.08/0.20 o -1
0.08/0.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.08/0.20 c p 0.2s| 1 | 0 | 32 | - | vbounds| 0 |3600 |2824 |2789 | 0 | 0 | 36 | 0 |-3.000000e+01 |-1.000000e+00 |2900.00%| unknown
0.18/0.25 c 0.2s| 1 | 0 | 1072 | - | 64M | 0 |3600 |2861 |2789 | 0 | 0 | 76 | 0 |-3.000000e+01 |-1.000000e+00 |2900.00%| unknown
0.38/0.50 c 0.5s| 1 | 0 | 1559 | - | 68M | 0 |3600 |2861 |2814 | 25 | 1 | 76 | 0 |-3.000000e+01 |-1.000000e+00 |2900.00%| unknown
0.38/0.50 o -4
0.38/0.50 c r 0.5s| 1 | 0 | 1559 | - |shifting| 0 |3600 |2861 |2814 | 25 | 1 | 76 | 0 |-3.000000e+01 |-4.000000e+00 | 650.00%| unknown
0.48/0.59 c 0.6s| 1 | 0 | 1680 | - | 70M | 0 |3600 |2859 |2829 | 40 | 2 | 76 | 0 |-3.000000e+01 |-4.000000e+00 | 650.00%| unknown
0.48/0.60 o -5
0.48/0.60 c r 0.6s| 1 | 0 | 1680 | - |shifting| 0 |3600 |2860 |2829 | 40 | 2 | 77 | 0 |-3.000000e+01 |-5.000000e+00 | 500.00%| unknown
0.67/0.71 c 0.7s| 1 | 0 | 1865 | - | 72M | 0 |3600 |2859 |2843 | 54 | 3 | 77 | 0 |-3.000000e+01 |-5.000000e+00 | 500.00%| unknown
0.67/0.71 o -6
0.67/0.71 c r 0.7s| 1 | 0 | 1865 | - |shifting| 0 |3600 |2859 |2843 | 54 | 3 | 77 | 0 |-3.000000e+01 |-6.000000e+00 | 400.00%| unknown
0.77/0.80 c 0.8s| 1 | 0 | 2008 | - | 73M | 0 |3600 |2858 |2857 | 68 | 4 | 77 | 0 |-3.000000e+01 |-6.000000e+00 | 400.00%| unknown
0.87/0.90 c 0.9s| 1 | 0 | 2233 | - | 74M | 0 |3600 |2858 |2874 | 85 | 5 | 77 | 0 |-3.000000e+01 |-6.000000e+00 | 400.00%| unknown
0.87/0.91 o -7
0.87/0.91 c r 0.9s| 1 | 0 | 2233 | - |shifting| 0 |3600 |2858 |2874 | 85 | 5 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
0.87/0.99 c 1.0s| 1 | 0 | 2346 | - | 74M | 0 |3600 |2857 |2884 | 95 | 6 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
1.07/1.13 c 1.1s| 1 | 0 | 2574 | - | 75M | 0 |3600 |2857 |2895 | 106 | 7 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
1.17/1.24 c 1.2s| 1 | 0 | 2637 | - | 77M | 0 |3600 |2857 |2901 | 112 | 8 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
1.27/1.32 c 1.3s| 1 | 0 | 2698 | - | 78M | 0 |3600 |2856 |2906 | 117 | 9 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
1.47/1.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.47/1.52 c 1.5s| 1 | 0 | 2756 | - | 80M | 0 |3600 |2856 |2910 | 121 | 10 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
1.47/1.58 c 1.6s| 1 | 0 | 3242 | - | 80M | 0 |3600 |2856 |2923 | 134 | 11 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
1.77/1.82 o -8
1.77/1.82 c o 1.8s| 1 | 0 | 6519 | - |feaspump| 0 |3600 |2856 |2923 | 134 | 11 | 77 | 0 |-3.000000e+01 |-8.000000e+00 | 275.00%| unknown
2.07/2.12 c 2.1s| 1 | 0 | 10315 | - | 80M | 0 |3600 |2876 |2923 | 134 | 11 | 97 | 0 |-3.000000e+01 |-8.000000e+00 | 275.00%| unknown
2.07/2.16 c 2.2s| 1 | 0 | 10616 | - | 81M | 0 |3600 |2875 |2935 | 146 | 12 | 97 | 0 |-3.000000e+01 |-8.000000e+00 | 275.00%| unknown
2.07/2.18 c 2.2s| 1 | 0 | 10736 | - | 81M | 0 |3600 |2876 |2900 | 149 | 13 | 98 | 0 |-3.000000e+01 |-8.000000e+00 | 275.00%| unknown
2.76/2.86 c 2.9s| 1 | 2 | 11022 | - | 81M | 0 |3600 |2876 |2900 | 149 | 13 | 98 | 19 |-3.000000e+01 |-8.000000e+00 | 275.00%| unknown
4.57/4.67 o -9
4.57/4.67 c r 4.7s| 12 | 9 | 14823 |1017.5 |shifting| 10 |3600 |2846 |2870 | 206 | 3 | 98 | 151 |-3.000000e+01 |-9.000000e+00 | 233.33%| 49.99%
4.67/4.74 o -10
4.67/4.74 c r 4.7s| 12 | 9 | 14987 |1032.4 |shifting| 10 |3600 |2846 |2893 | 229 | 5 | 98 | 151 |-3.000000e+01 |-1.000000e+01 | 200.00%| 49.99%
4.77/4.83 o -12
4.77/4.83 c d 4.8s| 16 | 15 | 16371 | 849.3 |pscostdi| 14 |3600 |2846 |2867 | 0 | 1 | 98 | 151 |-3.000000e+01 |-1.200000e+01 | 150.00%| 49.99%
15.73/15.84 c 15.8s| 100 | 97 | 44293 | 410.7 | 111M | 19 |3600 |2853 |2846 | 639 | 1 | 107 |1036 |-3.000000e+01 |-1.200000e+01 | 150.00%| 50.11%
16.93/17.07 o -14
16.93/17.07 c r17.1s| 105 | 95 | 45483 | 402.4 |shifting| 20 |3600 |2853 |2846 | 639 | 0 | 107 |1135 |-3.000000e+01 |-1.400000e+01 | 114.29%| 50.19%
16.93/17.08 o -15
16.93/17.08 c r17.1s| 105 | 95 | 45534 | 402.9 |shifting| 20 |3600 |2853 |2855 | 648 | 1 | 107 |1135 |-3.000000e+01 |-1.500000e+01 | 100.00%| 50.19%
18.72/18.84 o -16
18.72/18.84 c r18.8s| 115 | 92 | 46758 | 378.3 |shifting| 30 |3600 |2850 |2853 | 663 | 0 | 107 |1270 |-3.000000e+01 |-1.600000e+01 | 87.50%| 50.26%
18.82/18.93 o -17
18.82/18.93 c r18.9s| 125 | 102 | 47334 | 352.4 |shifting| 40 |3600 |2850 |2865 | 676 | 0 | 107 |1270 |-3.000000e+01 |-1.700000e+01 | 76.47%| 50.26%
18.82/18.97 o -18
18.82/18.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.82/18.97 c r19.0s| 125 | 102 | 47518 | 353.9 |shifting| 40 |3600 |2850 |2879 | 690 | 2 | 107 |1270 |-3.000000e+01 |-1.800000e+01 | 66.67%| 50.26%
19.12/19.29 o -20
19.12/19.29 c d19.3s| 126 | 99 | 50955 | 378.6 |distribu| 40 |3600 |2850 |2890 | 0 | 4 | 107 |1270 |-3.000000e+01 |-2.000000e+01 | 50.00%| 50.39%
20.32/20.41 o -25
20.32/20.41 c o20.4s| 156 | 129 | 59895 | 363.0 |objpscos| 41 |3600 |2861 |2872 | 776 | 1 | 128 |1302 |-3.000000e+01 |-2.500000e+01 | 20.00%| 50.39%
21.02/21.18 c 21.2s| 200 | 161 | 65260 | 309.7 | 121M | 41 |3600 |2863 |2873 | 874 | 1 | 130 |1314 |-3.000000e+01 |-2.500000e+01 | 20.00%| 50.39%
21.32/21.48 o -27
21.32/21.48 c L21.5s| 204 | 135 | 66200 | 308.2 | alns| 41 |3600 |2863 |2901 | 902 | 3 | 130 |1324 |-3.000000e+01 |-2.700000e+01 | 11.11%| 51.71%
21.32/21.49 o -28
21.32/21.49 c L21.5s| 204 | 97 | 66200 | 308.2 | alns| 41 |3600 |2863 |2901 | 902 | 3 | 130 |1324 |-3.000000e+01 |-2.800000e+01 | 7.14%| 66.53%
21.42/21.50 o -29
21.42/21.50 c L21.5s| 204 | 28 | 66200 | 308.2 | alns| 41 |3600 |2863 |2901 | 902 | 3 | 130 |1324 |-3.000000e+01 |-2.900000e+01 | 3.45%| 79.16%
22.71/22.82 c 22.8s| 300 | 50 | 72261 | 229.5 | 127M | 41 |3600 |3068 |2852 |1042 | 1 | 405 |1324 |-3.000000e+01 |-2.900000e+01 | 3.45%| 79.17%
23.70/23.89 c 23.9s| 400 | 49 | 77703 | 185.6 | 128M | 44 |3600 |3199 |2848 |1115 | 0 | 582 |1324 |-3.000000e+01 |-2.900000e+01 | 3.45%| 79.70%
24.91/25.05 c 25.0s| 500 | 50 | 84615 | 162.3 | 129M | 44 |3600 |3140 |2830 |1143 | 1 | 803 |1324 |-3.000000e+01 |-2.900000e+01 | 3.45%| 82.24%
26.91/27.09 c 27.1s| 600 | 31 | 96309 | 154.7 | 130M | 44 |3600 |3081 | 0 |1154 | 0 |1036 |1361 |-3.000000e+01 |-2.900000e+01 | 3.45%| 85.81%
27.60/27.77 c
27.60/27.77 c SCIP Status : problem is solved [optimal solution found]
27.60/27.77 c Solving Time (sec) : 27.76
27.60/27.77 c Solving Nodes : 655
27.60/27.77 c Primal Bound : -2.90000000000000e+01 (23 solutions)
27.60/27.77 c Dual Bound : -2.90000000000000e+01
27.60/27.77 c Gap : 0.00 %
27.60/27.77 s OPTIMUM FOUND
27.60/27.77 v -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452
27.60/27.77 v -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434
27.60/27.77 v -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417
27.60/27.77 v -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399
27.60/27.77 v -x4398 -x4397 x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381
27.60/27.77 v -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363
27.60/27.77 v -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345
27.60/27.77 v -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 x4330 -x4329 -x4328 -x4327
27.60/27.77 v -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309
27.60/27.77 v -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291
27.60/27.77 v -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273
27.60/27.77 v -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255
27.60/27.77 v -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 x4240 -x4239 -x4238 -x4237
27.60/27.77 v -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219
27.60/27.77 v -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201
27.60/27.77 v -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183
27.60/27.77 v -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165
27.60/27.77 v -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147
27.60/27.77 v x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129
27.60/27.77 v -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112
27.60/27.77 v x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094
27.60/27.77 v -x4093 -x4092 -x4091 -x4090 x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076
27.60/27.77 v -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058
27.60/27.77 v -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040
27.60/27.77 v -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022
27.60/27.77 v -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 x4004
27.60/27.77 v -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986
27.60/27.77 v -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968
27.60/27.77 v -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950
27.60/27.77 v -x3949 -x3948 x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932
27.60/27.77 v -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914
27.60/27.77 v -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896
27.60/27.77 v -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878
27.60/27.77 v -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860
27.60/27.77 v -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842
27.60/27.77 v -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 x3826 -x3825 -x3824
27.60/27.77 v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806
27.60/27.77 v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 x3793 -x3792 -x3791 -x3790 -x3789 -x3788
27.60/27.77 v -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771
27.60/27.77 v -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 x3755 -x3754 -x3753
27.60/27.77 v -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 x3737 -x3736 -x3735
27.60/27.77 v -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717
27.60/27.77 v -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 x3701 -x3700 -x3699
27.60/27.77 v -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 x3684 -x3683 -x3682 -x3681
27.60/27.77 v -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663
27.60/27.77 v -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645
27.60/27.77 v -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627
27.60/27.77 v -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609
27.60/27.77 v x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591
27.60/27.77 v -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 x3573
27.60/27.77 v x3572 x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555
27.60/27.77 v -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537
27.60/27.77 v -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519
27.60/27.77 v -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 x3504 -x3503 -x3502 -x3501
27.60/27.77 v -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483
27.60/27.77 v -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465
27.60/27.77 v -x3464 -x3463 -x3462 -x3461 x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447
27.60/27.77 v -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430
27.60/27.77 v -x3429 -x3428 x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412
27.60/27.77 v -x3411 -x3410 x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394
27.60/27.77 v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376
27.60/27.77 v -x3375 -x3374 -x3373 -x3372 -x3371 x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358
27.60/27.77 v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 x3342 -x3341 -x3340
27.60/27.77 v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322
27.60/27.77 v x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304
27.60/27.77 v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286
27.60/27.77 v x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268
27.60/27.77 v -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250
27.60/27.77 v -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232
27.60/27.77 v -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 x3219 -x3218 -x3217 -x3216 -x3215 -x3214
27.60/27.77 v -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196
27.60/27.77 v -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 x3180 -x3179 -x3178
27.60/27.77 v -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160
27.60/27.77 v -x3159 x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142
27.60/27.77 v -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124
27.60/27.77 v -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106
27.60/27.77 v -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089
27.60/27.77 v -x3088 x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070
27.60/27.77 v -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053
27.60/27.77 v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 x3036 -x3035
27.60/27.77 v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017
27.60/27.77 v -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999
27.60/27.77 v x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981
27.60/27.77 v -x2980 x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963
27.60/27.77 v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945
27.60/27.77 v -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927
27.60/27.77 v -x2926 -x2925 -x2924 x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909
27.60/27.77 v -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891
27.60/27.77 v -x2890 -x2889 -x2888 -x2887 -x2886 x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873
27.60/27.77 v -x2872 -x2871 -x2870 -x2869 -x2868 x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855
27.60/27.77 v -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837
27.60/27.77 v -x2836 -x2835 -x2834 -x2833 -x2832 x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819
27.60/27.77 v -x2818 -x2817 -x2816 -x2815 x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801
27.60/27.77 v -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783
27.60/27.77 v -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766
27.60/27.77 v x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748
27.60/27.77 v -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x4500
27.60/27.77 v x4499 x4498 x4497 x4496 x4495 x4494 x4493 x4492 x4491 x4490 x4489 x4488 x4487 x4486 x4485 x4484 x4483 x4482 x4481 x4480 x4479
27.60/27.77 v x4478 x4477 x4476 x4475 x4474 x4473 x4472 x4471 -x2700 -x2699 -x2698 -x2697 -x2696 x2695 -x2694 -x2693 -x2692 -x2691 -x2690
27.60/27.77 v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672
27.60/27.77 v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 x2659 -x2658 -x2657 -x2656 -x2655 -x2654
27.60/27.77 v -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636
27.60/27.77 v -x2635 -x2634 -x2633 -x2632 x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618
27.60/27.77 v -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600
27.60/27.77 v -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582
27.60/27.77 v -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564
27.60/27.77 v x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546
27.60/27.77 v -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 x2532 -x2531 -x2530 -x2529 -x2528
27.60/27.77 v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510
27.60/27.77 v -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 x2496 -x2495 -x2494 -x2493 -x2492
27.60/27.77 v -x2491 -x2490 -x2489 x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474
27.60/27.77 v -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456
27.60/27.77 v -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439
27.60/27.77 v -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421
27.60/27.77 v -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 x2407 -x2406 -x2405 -x2404 -x2403
27.60/27.77 v -x2402 -x2401 -x2400 -x2399 -x2398 x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385
27.60/27.77 v -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367
27.60/27.77 v -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 x2354 -x2353 -x2352 -x2351 -x2350 -x2349
27.60/27.77 v -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331
27.60/27.77 v -x2330 -x2329 -x2328 x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313
27.60/27.77 v -x2312 -x2311 -x2310 x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295
27.60/27.77 v -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277
27.60/27.77 v -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259
27.60/27.77 v -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241
27.60/27.77 v -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223
27.60/27.77 v -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205
27.60/27.77 v -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187
27.60/27.77 v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169
27.60/27.77 v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151
27.60/27.77 v -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 x2138 -x2137 -x2136 -x2135 -x2134 -x2133
27.60/27.77 v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
27.60/27.77 v -x2115 -x2114 -x2113 -x2112 x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
27.60/27.77 v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
27.60/27.77 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062
27.60/27.77 v -x2061 -x2060 -x2059 x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044
27.60/27.77 v -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026
27.60/27.77 v -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008
27.60/27.77 v -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990
27.60/27.77 v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972
27.60/27.77 v -x1971 -x1970 -x1969 -x1968 -x1967 x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954
27.60/27.77 v -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936
27.60/27.77 v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918
27.60/27.77 v -x1917 -x1916 -x1915 -x1914 x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900
27.60/27.77 v -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 x1886 -x1885 -x1884 -x1883 -x1882
27.60/27.77 v -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864
27.60/27.77 v -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846
27.60/27.77 v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829
27.60/27.77 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811
27.60/27.77 v -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 -x1799 -x1798 -x1797 -x1796 x1795 -x1794 -x1793
27.60/27.77 v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775
27.60/27.77 v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 x1759 -x1758 -x1757
27.60/27.77 v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739
27.60/27.77 v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721
27.60/27.77 v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703
27.60/27.77 v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 x1689 -x1688 -x1687 -x1686 -x1685
27.60/27.77 v -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667
27.60/27.77 v -x1666 -x1665 -x1664 x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
27.60/27.77 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 x1632 -x1631
27.60/27.77 v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613
27.60/27.77 v -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 x1596 -x1595
27.60/27.77 v -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577
27.60/27.77 v -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559
27.60/27.77 v -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542
27.60/27.77 v -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524
27.60/27.77 v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 x1507 -x1506
27.60/27.77 v -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488
27.60/27.77 v -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470
27.60/27.77 v -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 x1454 -x1453 -x1452
27.60/27.77 v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434
27.60/27.77 v -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416
27.60/27.77 v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398
27.60/27.77 v -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380
27.60/27.77 v -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362
27.60/27.77 v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344
27.60/27.77 v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330 -x1329 -x1328 -x1327 -x1326
27.60/27.77 v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
27.60/27.77 v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290
27.60/27.77 v -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272
27.60/27.77 v -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254
27.60/27.77 v -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236
27.60/27.77 v -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219
27.60/27.77 v -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201
27.60/27.77 v -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 x1185 -x1184 -x1183
27.60/27.77 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165
27.60/27.77 v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147
27.60/27.77 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
27.60/27.77 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111
27.60/27.77 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
27.60/27.77 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075
27.60/27.77 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057
27.60/27.77 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039
27.60/27.77 v -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021
27.60/27.77 v -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003
27.60/27.77 v -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 x986 -x985 -x984 -x983
27.60/27.77 v -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962
27.60/27.77 v -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941
27.60/27.77 v -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920
27.60/27.77 v -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 x2730 x2729
27.60/27.77 v x2728 x2727 x2726 x2725 x2724 x2723 x2722 x2721 x2720 x2719 x2718 x2717 x2716 x2715 x2714 x2713 x2712 x2711 -x2710 x2709 x2708
27.60/27.77 v x2707 x2706 x2705 x2704 x2703 x2702 x2701 x900 x899 x898 x897 x896 -x895 -x894 x893 x892 -x891 x890 -x889 -x888 x887 x886
27.60/27.77 v x885 x884 x883 -x882 x881 -x880 -x879 x878 x877 -x876 x875 -x874 x873 x872 x871 -x870 -x869 -x868 -x867 -x866 x865 x864 -x863
27.60/27.77 v -x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842
27.60/27.77 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821
27.60/27.77 v -x820 x819 -x818 -x817 x816 -x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800
27.60/27.77 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779
27.60/27.77 v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758
27.60/27.77 v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737
27.60/27.77 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
27.60/27.77 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695
27.60/27.77 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674
27.60/27.77 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654
27.60/27.77 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
27.60/27.77 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612
27.60/27.77 v -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591
27.60/27.77 v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570
27.60/27.77 v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549
27.60/27.77 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529
27.60/27.77 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508
27.60/27.77 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487
27.60/27.77 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466
27.60/27.77 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445
27.60/27.77 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424
27.60/27.77 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
27.60/27.77 v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383
27.60/27.77 v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
27.60/27.77 v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341
27.60/27.77 v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
27.60/27.77 v -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
27.60/27.77 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
27.60/27.77 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
27.60/27.77 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
27.60/27.77 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
27.60/27.77 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
27.60/27.77 v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174
27.60/27.77 v -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
27.60/27.77 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
27.60/27.77 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
27.60/27.77 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
27.60/27.77 v -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64
27.60/27.77 v -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39
27.60/27.77 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
27.60/27.77 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
27.60/27.77 c SCIP Status : problem is solved [optimal solution found]
27.60/27.77 c Total Time : 27.76
27.60/27.77 c solving : 27.76
27.60/27.77 c presolving : 0.13 (included in solving)
27.60/27.77 c reading : 0.01 (included in solving)
27.60/27.77 c copying : 0.30 (30 #copies) (minimal 0.01, maximal 0.01, average 0.01)
27.60/27.77 c Original Problem :
27.60/27.77 c Problem name : HOME/instance-4519616-1751550309.opb
27.60/27.77 c Variables : 4500 (4500 binary, 0 integer, 0 implicit integer, 0 continuous)
27.60/27.77 c Constraints : 1979 initial, 1979 maximal
27.60/27.77 c Objective : minimize, 900 non-zeros (abs.min = 1, abs.max = 1)
27.60/27.77 c Presolved Problem :
27.60/27.77 c Problem name : t_HOME/instance-4519616-1751550309.opb
27.60/27.77 c Variables : 3600 (3600 binary, 0 integer, 0 implicit integer, 0 continuous)
27.60/27.77 c Constraints : 2789 initial, 3225 maximal
27.60/27.77 c Objective : minimize, 30 non-zeros (abs.min = 1, abs.max = 1)
27.60/27.77 c Nonzeros : 10710 constraint, 3322 clique table
27.60/27.77 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
27.60/27.77 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
27.60/27.77 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
27.60/27.77 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
27.60/27.77 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
27.60/27.77 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c milp : 0.02 0.00 1 870 0 0 0 0 0 0 0 0
27.60/27.77 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
27.60/27.77 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
27.60/27.77 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
27.60/27.77 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
27.60/27.77 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
27.60/27.77 c symmetry : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
27.60/27.77 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
27.60/27.77 c knapsack : 0.00 0.00 2 0 0 0 0 0 30 900 0 0
27.60/27.77 c setppc : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
27.60/27.77 c linear : 0.02 0.00 9 0 30 0 0 0 60 0 0 30
27.60/27.77 c logicor : 0.01 0.00 9 0 0 0 0 0 0 0 0 0
27.60/27.77 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
27.60/27.77 c root node : - - - 919 - - 919 - - - - -
27.60/27.77 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
27.60/27.77 c benderslp : 0 0 0 0 416 0 0 111 0 0 0 0 0 0 0
27.60/27.77 c integral : 0 0 0 0 416 0 0 111 0 0 2 0 0 2 830
27.60/27.77 c knapsack : 0+ 73 0 12197 0 0 0 0 829 28 4331 0 0 0 0
27.60/27.77 c setppc : 959 959 12 15364 0 0 0 105 16025 6 7840 0 0 0 0
27.60/27.77 c linear : 0+ 40 0 4226 0 0 0 3 103 6 1783 0 0 0 0
27.60/27.77 c logicor : 1830+ 2252 12 8401 0 0 0 41 9301 68 5737 0 0 0 0
27.60/27.77 c benders : 0 0 0 0 0 0 0 26 0 0 0 0 0 0 0
27.60/27.77 c fixedvar : 0 0 0 0 0 0 0 26 0 0 0 0 0 0 0
27.60/27.77 c countsols : 0 0 0 0 0 0 0 26 0 0 0 0 0 0 0
27.60/27.77 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
27.60/27.77 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c integral : 13.60 0.00 0.00 0.00 13.60 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c knapsack : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.01 0.00
27.60/27.77 c setppc : 0.06 0.00 0.00 0.04 0.00 0.00 0.00 0.01 0.00 0.01
27.60/27.77 c linear : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c logicor : 0.07 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.01
27.60/27.77 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c Propagators : #Propagate #ResProp Cutoffs DomReds
27.60/27.77 c dualfix : 3 0 0 0
27.60/27.77 c genvbounds : 0 0 0 0
27.60/27.77 c nlobbt : 0 0 0 0
27.60/27.77 c obbt : 0 0 0 0
27.60/27.77 c probing : 0 0 0 0
27.60/27.77 c pseudoobj : 2564 2 1 17
27.60/27.77 c redcost : 633 0 0 456
27.60/27.77 c rootredcost : 9 0 0 30
27.60/27.77 c symmetry : 6730 0 9 21574
27.60/27.77 c vbounds : 4753 0 0 0
27.60/27.77 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
27.60/27.77 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
27.60/27.77 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
27.60/27.77 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
27.60/27.77 c symmetry : 1.37 0.00 0.05 1.22 0.00 0.09
27.60/27.77 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
27.60/27.77 c Symmetry :
27.60/27.77 c orbitopal red. : 0 reductions applied, 0 cutoffs
27.60/27.77 c orbital reduction: 21541 reductions applied, 9 cutoffs
27.60/27.77 c lexicographic red: 39 reductions applied, 0 cutoffs
27.60/27.77 c shadow tree time : 0.00 s
27.60/27.77 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
27.60/27.77 c propagation : 0.01 96 89 - 704 105.0 7 80.7 - - -
27.60/27.77 c infeasible LP : 0.12 151 147 - 1017 103.3 2 100.5 142 252.0 0
27.60/27.77 c bound exceed. LP : 0.01 7 7 - 21 110.6 0 0.0 7 372.0 40
27.60/27.77 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
27.60/27.77 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
27.60/27.77 c applied globally : 0.01 - - 0 1000 77.3 - - 142 - -
27.60/27.77 c applied locally : - - - 0 3 91.7 - - 7 - -
27.60/27.77 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
27.60/27.77 c cut pool : 0.20 - 184 24 - - 3417 13173 - - - - - (maximal pool size: 3306)
27.60/27.77 c aggregation : 0.04 0.00 68 12 0 0 0 0 0 0 0 0 0
27.60/27.77 c > cmir : - - - - - - - 0 0 0 0 0 -
27.60/27.77 c > flowcover : - - - - - - - 0 0 0 0 0 -
27.60/27.77 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
27.60/27.77 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c clique : 0.01 0.00 12 12 0 0 0 0 0 0 0 0 0
27.60/27.77 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c gomory : 1.98 0.00 62 10 0 0 3207 11604 150 636 633 3 0
27.60/27.77 c > gomorymi : - - - - - - - 5980 75 374 371 3 -
27.60/27.77 c > strongcg : - - - - - - - 5624 75 262 262 0 -
27.60/27.77 c impliedbounds : 0.01 0.00 68 12 0 0 0 0 0 0 0 0 0
27.60/27.77 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
27.60/27.77 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c multilinear : 0.00 0.00 30 12 0 0 0 0 0 0 0 0 0
27.60/27.77 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
27.60/27.77 c rapidlearning : 1.54 0.00 20 1 0 275 0 0 0 0 0 0 39
27.60/27.77 c rlt : 0.00 0.00 29 10 0 0 0 0 0 0 0 0 0
27.60/27.77 c zerohalf : 0.21 0.00 64 12 0 0 380 1569 20 518 503 15 0
27.60/27.77 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
27.60/27.77 c hybrid : 0.02 0.00 119 13 1155 0 12165 149 0 1726
27.60/27.77 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c Pricers : ExecTime SetupTime Calls Vars
27.60/27.77 c problem variables: 0.00 - 0 0
27.60/27.77 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
27.60/27.77 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c random : 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c relpscost : 13.60 0.00 416 0 0 0 2 0 3 830
27.60/27.77 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
27.60/27.77 c Primal Heuristics : ExecTime SetupTime Calls Found Best
27.60/27.77 c LP solutions : 0.00 - - 0 0
27.60/27.77 c relax solutions : 0.00 - - 0 0
27.60/27.77 c pseudo solutions : 0.00 - - 0 0
27.60/27.77 c strong branching : 0.01 - - 0 0
27.60/27.77 c actconsdiving : 0.00 0.00 0 0 0
27.60/27.77 c adaptivediving : 0.08 0.00 1 0 0
27.60/27.77 c alns : 0.15 0.00 4 3 3
27.60/27.77 c bound : 0.00 0.00 0 0 0
27.60/27.77 c clique : 0.01 0.00 1 0 0
27.60/27.77 c coefdiving : 0.00 0.00 0 0 0
27.60/27.77 c completesol : 0.00 0.00 0 0 0
27.60/27.77 c conflictdiving : 0.25 0.00 1 0 0
27.60/27.77 c crossover : 0.00 0.00 0 0 0
27.60/27.77 c dins : 0.00 0.00 0 0 0
27.60/27.77 c distributiondivin: 0.18 0.00 1 1 1
27.60/27.77 c dps : 0.00 0.00 0 0 0
27.60/27.77 c dualval : 0.00 0.00 0 0 0
27.60/27.77 c farkasdiving : 0.00 0.00 0 0 0
27.60/27.77 c feasjump : 0.00 0.00 0 0 0
27.60/27.77 c feaspump : 0.24 0.00 1 1 1
27.60/27.77 c fixandinfer : 0.00 0.00 0 0 0
27.60/27.77 c fracdiving : 0.07 0.00 1 0 0
27.60/27.77 c gins : 0.00 0.00 0 0 0
27.60/27.77 c guideddiving : 0.00 0.00 0 0 0
27.60/27.77 c indcoefdiving : 0.00 0.00 0 0 0
27.60/27.77 c indicator : 0.00 0.00 0 0 0
27.60/27.77 c indicatordiving : 0.00 0.00 0 0 0
27.60/27.77 c indoneopt : 0.00 0.00 0 0 0
27.60/27.77 c indrounding : 0.00 0.00 0 0 0
27.60/27.77 c indtwoopt : 0.00 0.00 0 0 0
27.60/27.77 c intdiving : 0.00 0.00 0 0 0
27.60/27.77 c intshifting : 0.00 0.00 0 0 0
27.60/27.77 c linesearchdiving : 0.00 0.00 0 0 0
27.60/27.77 c localbranching : 0.00 0.00 0 0 0
27.60/27.77 c locks : 0.00 0.00 1 0 0
27.60/27.77 c lpface : 0.00 0.00 0 0 0
27.60/27.77 c mpec : 0.00 0.00 0 0 0
27.60/27.77 c multistart : 0.00 0.00 0 0 0
27.60/27.77 c mutation : 0.00 0.00 0 0 0
27.60/27.77 c nlpdiving : 0.00 0.00 0 0 0
27.60/27.77 c objpscostdiving : 0.29 0.00 1 1 1
27.60/27.77 c octane : 0.00 0.00 0 0 0
27.60/27.77 c ofins : 0.00 0.00 0 0 0
27.60/27.77 c oneopt : 0.01 0.00 14 0 0
27.60/27.77 c padm : 0.00 0.00 0 0 0
27.60/27.77 c proximity : 0.00 0.00 0 0 0
27.60/27.77 c pscostdiving : 0.05 0.00 1 1 1
27.60/27.77 c randrounding : 0.05 0.00 82 0 0
27.60/27.77 c rens : 0.02 0.00 1 0 0
27.60/27.77 c reoptsols : 0.00 0.00 0 0 0
27.60/27.77 c repair : 0.00 0.00 0 0 0
27.60/27.77 c rins : 0.20 0.00 5 0 0
27.60/27.77 c rootsoldiving : 0.06 0.00 1 1 0
27.60/27.77 c rounding : 0.03 0.00 290 0 0
27.60/27.77 c scheduler : 0.00 0.00 0 0 0
27.60/27.77 c shiftandpropagate: 0.00 0.00 0 0 0
27.60/27.77 c shifting : 0.08 0.00 166 13 11
27.60/27.77 c simplerounding : 0.00 0.00 547 0 0
27.60/27.77 c smallcard : 0.00 0.00 0 0 0
27.60/27.77 c subnlp : 0.00 0.00 0 0 0
27.60/27.77 c trivial : 0.00 0.00 2 1 1
27.60/27.77 c trivialnegation : 0.00 0.00 0 0 0
27.60/27.77 c trustregion : 0.00 0.00 0 0 0
27.60/27.77 c trysol : 0.00 0.00 0 0 0
27.60/27.77 c twoopt : 0.00 0.00 0 0 0
27.60/27.77 c undercover : 0.00 0.00 0 0 0
27.60/27.77 c vbounds : 0.03 0.00 1 1 1
27.60/27.77 c veclendiving : 0.05 0.00 1 0 0
27.60/27.77 c zeroobj : 0.00 0.00 0 0 0
27.60/27.77 c zirounding : 0.03 0.00 415 0 0
27.60/27.77 c other solutions : - - - 0 -
27.60/27.77 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
27.60/27.77 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
27.60/27.77 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
27.60/27.77 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
27.60/27.77 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
27.60/27.77 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
27.60/27.77 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
27.60/27.77 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
27.60/27.77 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
27.60/27.77 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
27.60/27.77 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
27.60/27.77 c primal LP : 0.06 49 0 0.00 0.00 0.06 49
27.60/27.77 c dual LP : 6.03 702 78003 113.38 12942.52 0.01 14
27.60/27.77 c lex dual LP : 0.00 0 0 0.00 -
27.60/27.77 c barrier LP : 0.00 0 0 0.00 - 0.00 0
27.60/27.77 c resolve instable : 0.00 0 0 0.00 -
27.60/27.77 c diving/probing LP: 1.43 238 27885 117.16 19443.23
27.60/27.77 c strong branching : 12.22 1361 129563 95.20 10606.23 - - 110
27.60/27.77 c (at root node) : - 19 7558 397.79 -
27.60/27.77 c conflict analysis: 0.00 4 40 10.00 -
27.60/27.77 c B&B Tree :
27.60/27.77 c number of runs : 1
27.60/27.77 c nodes : 655 (415 internal, 240 leaves)
27.60/27.77 c feasible leaves : 0
27.60/27.77 c infeas. leaves : 234
27.60/27.77 c objective leaves : 6
27.60/27.77 c nodes (total) : 655 (415 internal, 240 leaves)
27.60/27.77 c nodes left : 0
27.60/27.77 c max depth : 44
27.60/27.77 c max depth (total): 44
27.60/27.77 c backtracks : 94 (14.4%)
27.60/27.77 c early backtracks : 0 (0.0%)
27.60/27.77 c nodes exc. ref. : 0 (0.0%)
27.60/27.77 c delayed cutoffs : 11
27.60/27.77 c repropagations : 600 (3316 domain reductions, 10 cutoffs)
27.60/27.77 c avg switch length: 4.29
27.60/27.77 c switching time : 0.19
27.60/27.77 c Root Node :
27.60/27.77 c First LP value : -3.00000000000000e+01
27.60/27.77 c First LP Iters : 1040 (25221.90 Iter/sec)
27.60/27.77 c First LP Time : 0.04
27.60/27.77 c Final Dual Bound : -3.00000000000000e+01
27.60/27.77 c Final Root Iters : 3631
27.60/27.77 c Root LP Estimate : -2.98655952012430e+01
27.60/27.77 c Solution :
27.60/27.77 c Solutions found : 23 (20 improvements)
27.60/27.77 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
27.60/27.77 c Gap First Sol. : infinite
27.60/27.77 c Gap Last Sol. : 3.45 %
27.60/27.77 c Primal Bound : -2.90000000000000e+01 (in run 1, after 204 nodes, 21.49 seconds, depth 40, found by <alns>)
27.60/27.77 c Dual Bound : -2.90000000000000e+01
27.60/27.77 c Gap : 0.00 %
27.60/27.77 c Integrals : Total Avg%
27.60/27.77 c primal-dual : 1289.27 46.44
27.60/27.77 c primal-ref : - - (not evaluated)
27.60/27.77 c dual-ref : - - (not evaluated)
27.70/27.81 c Time complete: 27.718.
OK -29
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: 63665 MiB (62642 MiB free)
memory of node 1: 64507 MiB (63501 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519616-1751550309/watcher-4519616-1751550309 -o /tmp/evaluation-result-4519616-1751550309/solver-4519616-1751550309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78442 --watchdog 3760 pbscip -f HOME/instance-4519616-1751550309.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=78555, runsolver pid=78547
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.30 1.48 2.86 6/264 78560
/proc/meminfo: memFree=129001848/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=64136 memory=37776 CPUtime=0.08 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 7150 0 0 0 7 1 0 0 20 0 1 0 70710838 65675264 9444 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 16034 9444 3712 3530 0 7485 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64136 KiB
Current children cumulated memory: 37776 KiB
[startup+0.204942 s]*
/proc/loadavg: 0.30 1.48 2.86 6/264 78560
/proc/meminfo: memFree=128854176/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=107396 memory=70032 CPUtime=0.18 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 15095 0 0 0 16 2 0 0 20 0 1 0 70710838 109973504 17508 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 26849 17508 3872 3530 0 18300 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 107396 KiB
Current children cumulated memory: 70032 KiB
[startup+0.304746 s]*
/proc/loadavg: 0.30 1.48 2.86 6/264 78560
/proc/meminfo: memFree=128737248/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=111964 memory=73616 CPUtime=0.28 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 15965 0 0 0 26 2 0 0 20 0 1 0 70710838 114651136 18404 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 27991 18404 3872 3530 0 19442 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 111964 KiB
Current children cumulated memory: 73616 KiB
[startup+0.700124 s]
/proc/loadavg: 0.30 1.48 2.86 6/264 78560
/proc/meminfo: memFree=128511456/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=136684 memory=97168 CPUtime=0.67 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 21864 0 0 0 64 3 0 0 20 0 1 0 70710838 139964416 24292 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 34171 24292 3904 3530 0 25622 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 136684 KiB
Current children cumulated memory: 97168 KiB
[startup+1.50012 s]
/proc/loadavg: 0.30 1.48 2.86 6/264 78560
/proc/meminfo: memFree=128196832/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=136684 memory=97424 CPUtime=1.47 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 21915 0 0 0 144 3 0 0 20 0 1 0 70710838 139964416 24356 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 34171 24356 3904 3530 0 25622 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 136684 KiB
Current children cumulated memory: 97424 KiB
[startup+3.10459 s]
/proc/loadavg: 0.30 1.48 2.86 6/264 78560
/proc/meminfo: memFree=127901136/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=144484 memory=105360 CPUtime=3.07 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 23899 0 0 0 304 3 0 0 20 0 1 0 70710838 147951616 26340 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 36121 26340 3904 3530 0 27572 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 144484 KiB
Current children cumulated memory: 105360 KiB
[startup+6.3001 s]
/proc/loadavg: 0.60 1.52 2.86 6/264 78560
/proc/meminfo: memFree=127845532/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=154596 memory=114192 CPUtime=6.26 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 26119 0 0 0 622 4 0 0 20 0 1 0 70710838 158306304 28548 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 38649 28548 3904 3530 0 30100 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 154596 KiB
Current children cumulated memory: 114192 KiB
[startup+12.7001 s]
/proc/loadavg: 0.95 1.58 2.88 6/264 78560
/proc/meminfo: memFree=127007796/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=169456 memory=129936 CPUtime=12.64 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 30047 0 0 0 1260 4 0 0 20 0 1 0 70710838 173522944 32484 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 42364 32484 3904 3530 0 33815 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 169456 KiB
Current children cumulated memory: 129936 KiB
[startup+25.5001 s]
/proc/loadavg: 1.63 1.70 2.89 6/264 78560
/proc/meminfo: memFree=126508880/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=205792 memory=165904 CPUtime=25.41 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 39041 0 0 0 2535 6 0 0 20 0 1 0 70710838 210731008 41476 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 51448 41476 3904 3530 0 42899 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 205792 KiB
Current children cumulated memory: 165904 KiB
[startup+27.8224 s]
# the end of solver process 78555 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=27.6572 s, system=0.071501 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 1.63 1.70 2.89 6/264 78560
/proc/meminfo: memFree=126508880/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=205792 memory=165904 CPUtime=25.51 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 39041 0 0 0 2545 6 0 0 20 0 1 0 70710838 210731008 41476 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 51448 41476 3904 3530 0 42899 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 205792 KiB
Current children cumulated memory: 165904 KiB
[startup+27.2001 s]
/proc/loadavg: 1.63 1.70 2.89 6/264 78560
/proc/meminfo: memFree=126496972/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=205792 memory=165904 CPUtime=27.1 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 39042 0 0 0 2704 6 0 0 20 0 1 0 70710838 210731008 41476 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 51448 41476 3904 3530 0 42899 0
Current children cumulated CPU time: 27.1 s
Current children cumulated vsize: 205792 KiB
Current children cumulated memory: 165904 KiB
[startup+27.6001 s]
/proc/loadavg: 1.63 1.70 2.89 6/264 78560
/proc/meminfo: memFree=126496972/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=205792 memory=165904 CPUtime=27.5 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 39042 0 0 0 2744 6 0 0 20 0 1 0 70710838 210731008 41476 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 51448 41476 3904 3530 0 42899 0
Current children cumulated CPU time: 27.5 s
Current children cumulated vsize: 205792 KiB
Current children cumulated memory: 165904 KiB
[startup+27.8001 s]
/proc/loadavg: 1.63 1.70 2.89 6/264 78560
/proc/meminfo: memFree=126496972/131250000 swapFree=33010416/33010684
[pid=78555] ppid=78547 vsize=205792 memory=165904 CPUtime=27.7 cores=4,6
/proc/78555/stat : 78555 (pbscip) R 78547 78555 78407 0 -1 4194304 39042 0 0 0 2764 6 0 0 20 0 1 0 70710838 210731008 41476 18446744073709551615 4235264 18693293 140724073712816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 47890432 140724073720201 140724073720300 140724073720300 140724073725902 0
/proc/78555/statm: 51448 41476 3904 3530 0 42899 0
Current children cumulated CPU time: 27.7 s
Current children cumulated vsize: 205792 KiB
Current children cumulated memory: 165904 KiB
Child status: 0
Real time (s): 27.8225
CPU time (s): 27.7287
CPU user time (s): 27.6572
CPU system time (s): 0.071501
CPU usage (%): 99.6629
Max. virtual memory (cumulated for all children) (KiB): 205792
Max. memory (cumulated for all children) (KiB): 165904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.6572
system time used= 0.071501
maximum resident set size= 165904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39049
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= 117
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 78555
# total CPU time (s): 27.7287
# total CPU user time (s): 27.6572
# total CPU system time (s): 0.071501
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054563 second user time and 0.123331 second system time
The end
Begin job on nodeC027 at 2025-07-03 15:45:09 IDJOB=4519616 IDBENCH=177316 IDSOLVER=3365 FILE ID=nodeC027/4519616-1751550309 RUNJOBID= nodeC027-1751550309-78442 SLURM_JOB_ID= 9598730 Free space on /tmp= 431156 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519616-1751550309/watcher-4519616-1751550309 -o /tmp/evaluation-result-4519616-1751550309/solver-4519616-1751550309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78442 --watchdog 3760 pbscip -f HOME/instance-4519616-1751550309.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f91dbe69118ae72b0214f31a62e5b167 RANDOM SEED=1086584346 nodeC027 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.805 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.29 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.624 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.29 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 : 3600.171 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.29 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 : 3599.520 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.29 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.637 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.29 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 : 3600.420 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.29 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.339 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.29 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 : 3599.415 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129237280 kB MemAvailable: 129511540 kB Buffers: 2488 kB Cached: 1073588 kB SwapCached: 12 kB Active: 850368 kB Inactive: 533048 kB Active(anon): 322604 kB Inactive(anon): 2792 kB Active(file): 527764 kB Inactive(file): 530256 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 85056 kB Writeback: 20 kB AnonPages: 310348 kB Mapped: 112856 kB Shmem: 18056 kB KReclaimable: 110560 kB Slab: 200028 kB SReclaimable: 110560 kB SUnreclaim: 89468 kB KernelStack: 4048 kB PageTables: 3208 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 603816 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431100 MiB End job on nodeC027 at 2025-07-03 15:45:38