Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | OPT | 3367493 | 167.769 | 168.468 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_2.opb |
| MD5SUM | 768a18ffa3b1a9fc42159a5899fb070e |
| 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 | 3367493 |
| Best CPU time to get the best result obtained on this benchmark | 88.7011 |
| 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 | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 147197952 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 48050028218 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 147197952 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 48050028218 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4503801-1751430735.opb>
0.00/0.06 c original problem has 5100 variables (5100 bin, 0 int, 0 cont) and 7606 constraints
0.00/0.06 c problem read in 0.056 seconds
0.09/0.11 c presolving:
0.09/0.16 c (round 1, fast) 2550 del vars, 4902 del conss, 0 add conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
0.09/0.19 c (0.2s) running MILP presolver
0.09/0.21 c (0.2s) MILP presolver found nothing
0.19/0.26 c (round 2, exhaustive) 2550 del vars, 4902 del conss, 0 add conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 2701 upgd conss, 0 impls, 51 clqs
0.36/0.47 c (0.5s) probing: 51/2550 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.36/0.47 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.45/0.55 c (0.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.45/0.57 c (0.6s) no symmetry present (symcode time: 0.00)
0.45/0.58 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.45/0.58 c 2550 deleted vars, 4902 deleted constraints, 0 added constraints, 100 tightened bounds, 0 added holes, 1225 changed sides, 1225 changed coefficients
0.45/0.58 c 0 implications, 51 cliques
0.45/0.58 c presolved problem has 2550 variables (2550 bin, 0 int, 0 cont) and 2704 constraints
0.45/0.58 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.45/0.58 c 1375 constraints of type <knapsack>
0.45/0.58 c 51 constraints of type <setppc>
0.45/0.58 c 3 constraints of type <linear>
0.45/0.58 c 1275 constraints of type <logicor>
0.45/0.58 c transformed objective value is always integral (scale: 2)
0.45/0.58 c Presolving Time: 0.48
0.45/0.58 c
0.45/0.58 c - non default parameters ----------------------------------------------------------------------
0.45/0.58 c
0.45/0.58 c # SCIP version 10.0.0
0.45/0.58 c
0.45/0.58 c # maximal time in seconds to run
0.45/0.58 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.45/0.58 c limits/time = 3596.996059
0.45/0.58 c
0.45/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.45/0.58 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.45/0.58 c limits/memory = 27900
0.45/0.58 c
0.45/0.58 c # belongs reading time to solving time?
0.45/0.58 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.45/0.58 c timing/reading = TRUE
0.45/0.58 c
0.45/0.58 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.45/0.58 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.45/0.58 c reading/opbreader/maxintsize = 47
0.45/0.58 c
0.45/0.58 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.45/0.58 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.45/0.58 c propagating/genvbounds/timingmask = 0
0.45/0.58 c
0.45/0.58 c -----------------------------------------------------------------------------------------------
0.45/0.58 c
0.53/0.62 o 253065095
0.53/0.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.53/0.62 c p 0.6s| 1 | 0 | 84 | - | clique| 0 |2550 |2704 |2704 | 0 | 0 | 0 | 0 |-3.000000e+00 | 2.530651e+08 | Inf | unknown
1.22/1.34 c 1.3s| 1 | 0 | 3305 | - | 57M | 0 |2550 |2704 |2704 | 0 | 0 | 1 | 0 | 1.710348e+06 | 2.530651e+08 | Large | unknown
1.51/1.60 c 1.6s| 1 | 0 | 3721 | - | 61M | 0 |2550 |2705 |2724 | 20 | 1 | 2 | 0 | 1.794083e+06 | 2.530651e+08 | Large | unknown
1.61/1.79 c 1.8s| 1 | 0 | 4097 | - | 61M | 0 |2550 |2705 |2739 | 35 | 2 | 2 | 0 | 1.828965e+06 | 2.530651e+08 | Large | unknown
1.81/1.95 c 1.9s| 1 | 0 | 4372 | - | 63M | 0 |2550 |2705 |2752 | 48 | 3 | 2 | 0 | 1.847923e+06 | 2.530651e+08 | Large | unknown
1.91/2.08 c 2.1s| 1 | 0 | 4568 | - | 63M | 0 |2550 |2705 |2755 | 51 | 4 | 2 | 0 | 1.853152e+06 | 2.530651e+08 | Large | unknown
2.10/2.21 c 2.2s| 1 | 0 | 4745 | - | 64M | 0 |2550 |2706 |2766 | 62 | 5 | 3 | 0 | 1.882387e+06 | 2.530651e+08 | Large | unknown
2.20/2.38 c 2.4s| 1 | 0 | 5169 | - | 64M | 0 |2550 |2707 |2775 | 71 | 6 | 4 | 0 | 1.919783e+06 | 2.530651e+08 | Large | unknown
2.40/2.52 c 2.5s| 1 | 0 | 5324 | - | 65M | 0 |2550 |2708 |2779 | 75 | 7 | 5 | 0 | 1.923750e+06 | 2.530651e+08 | Large | unknown
2.50/2.65 c 2.6s| 1 | 0 | 5397 | - | 66M | 0 |2550 |2708 |2788 | 84 | 8 | 5 | 0 | 1.925596e+06 | 2.530651e+08 | Large | unknown
2.60/2.79 c 2.8s| 1 | 0 | 5590 | - | 66M | 0 |2550 |2709 |2792 | 88 | 9 | 6 | 0 | 1.933659e+06 | 2.530651e+08 | Large | unknown
2.80/2.93 c 2.9s| 1 | 0 | 5727 | - | 67M | 0 |2550 |2710 |2799 | 95 | 10 | 7 | 0 | 1.939155e+06 | 2.530651e+08 | Large | unknown
2.80/2.97 c 3.0s| 1 | 0 | 5764 | - | 67M | 0 |2550 |2711 |2801 | 97 | 11 | 8 | 0 | 1.939715e+06 | 2.530651e+08 | Large | unknown
2.90/3.04 c 3.0s| 1 | 0 | 5918 | - | 67M | 0 |2550 |2712 |2804 | 100 | 12 | 9 | 0 | 1.951519e+06 | 2.530651e+08 | Large | unknown
3.00/3.11 c 3.1s| 1 | 0 | 6088 | - | 67M | 0 |2550 |2714 |2814 | 110 | 13 | 11 | 0 | 1.959467e+06 | 2.530651e+08 | Large | unknown
3.00/3.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.00/3.19 c 3.2s| 1 | 0 | 6332 | - | 68M | 0 |2550 |2715 |2816 | 112 | 14 | 12 | 0 | 1.976697e+06 | 2.530651e+08 | Large | unknown
3.09/3.28 c 3.3s| 1 | 0 | 6548 | - | 69M | 0 |2550 |2716 |2821 | 117 | 15 | 13 | 0 | 1.983846e+06 | 2.530651e+08 | Large | unknown
3.19/3.36 c 3.4s| 1 | 0 | 6775 | - | 70M | 0 |2550 |2717 |2812 | 122 | 16 | 14 | 0 | 1.991312e+06 | 2.530651e+08 | Large | unknown
3.29/3.41 c 3.4s| 1 | 0 | 6877 | - | 70M | 0 |2550 |2717 |2813 | 123 | 17 | 14 | 0 | 1.998311e+06 | 2.530651e+08 | Large | unknown
3.29/3.45 c 3.5s| 1 | 0 | 6920 | - | 71M | 0 |2550 |2718 |2816 | 126 | 18 | 15 | 0 | 1.999037e+06 | 2.530651e+08 | Large | unknown
3.39/3.52 c 3.5s| 1 | 0 | 7156 | - | 71M | 0 |2550 |2719 |2819 | 129 | 19 | 16 | 0 | 2.010199e+06 | 2.530651e+08 | Large | unknown
3.39/3.59 c 3.6s| 1 | 0 | 7327 | - | 71M | 0 |2550 |2720 |2823 | 133 | 20 | 17 | 0 | 2.017290e+06 | 2.530651e+08 | Large | unknown
3.50/3.62 c 3.6s| 1 | 0 | 7329 | - | 71M | 0 |2550 |2721 |2824 | 134 | 21 | 18 | 0 | 2.017292e+06 | 2.530651e+08 | Large | unknown
7.07/7.23 o 49446241
7.07/7.23 c o 7.2s| 1 | 0 | 22583 | - |feaspump| 0 |2550 |2722 |2824 | 134 | 22 | 19 | 0 | 2.017292e+06 | 4.944624e+07 |2351.12%| unknown
8.46/8.60 c 8.6s| 1 | 0 | 30232 | - | 73M | 0 |2550 |2357 |2824 | 134 | 22 | 19 | 0 | 2.017292e+06 | 4.944624e+07 |2351.12%| unknown
8.46/8.61 c 8.6s| 1 | 0 | 30232 | - | 73M | 0 |2550 |2357 |2446 | 134 | 22 | 19 | 0 | 2.017292e+06 | 4.944624e+07 |2351.12%| unknown
8.46/8.63 c (run 1, node 1) restarting after 378 global fixings of integer variables
8.46/8.63 c
8.46/8.63 c (restart) converted 67 cuts from the global cut pool into linear constraints
8.46/8.63 c
8.46/8.64 c presolving:
8.46/8.64 c (round 1, fast) 378 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
8.46/8.65 c (round 2, exhaustive) 378 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 67 upgd conss, 0 impls, 51 clqs
8.46/8.68 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
8.46/8.68 c 378 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 1 changed coefficients
8.46/8.68 c 0 implications, 51 cliques
8.46/8.68 c presolved problem has 2172 variables (2172 bin, 0 int, 0 cont) and 2411 constraints
8.46/8.68 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
8.46/8.68 c 1048 constraints of type <knapsack>
8.46/8.68 c 51 constraints of type <setppc>
8.46/8.68 c 3 constraints of type <linear>
8.46/8.68 c 1309 constraints of type <logicor>
8.46/8.68 c transformed objective value is always integral (scale: 2)
8.46/8.68 c Presolving Time: 0.53
8.46/8.68 c transformed 1/2 original solutions to the transformed problem space
8.46/8.68 c
9.35/9.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.35/9.50 c 9.5s| 1 | 0 | 36435 | - | 74M | 0 |2172 |2411 |2393 | 0 | 0 | 19 | 0 | 2.017292e+06 | 4.944624e+07 |2351.12%| unknown
9.55/9.73 c 9.7s| 1 | 0 | 37087 | - | 75M | 0 |2172 |2414 |2418 | 25 | 1 | 22 | 0 | 2.017292e+06 | 4.944624e+07 |2351.12%| unknown
9.75/9.97 c 10.0s| 1 | 0 | 37592 | - | 76M | 0 |2172 |2415 |2432 | 39 | 2 | 23 | 0 | 2.020125e+06 | 4.944624e+07 |2347.68%| unknown
9.96/10.14 c 10.1s| 1 | 0 | 37723 | - | 76M | 0 |2172 |2416 |2439 | 46 | 3 | 24 | 0 | 2.024011e+06 | 4.944624e+07 |2342.98%| unknown
10.15/10.30 c 10.3s| 1 | 0 | 37804 | - | 76M | 0 |2172 |2417 |2445 | 52 | 4 | 25 | 0 | 2.025224e+06 | 4.944624e+07 |2341.52%| unknown
10.25/10.48 c 10.5s| 1 | 0 | 37993 | - | 77M | 0 |2172 |2418 |2451 | 58 | 5 | 26 | 0 | 2.030465e+06 | 4.944624e+07 |2335.22%| unknown
10.45/10.65 c 10.6s| 1 | 0 | 38136 | - | 77M | 0 |2172 |2418 |2455 | 62 | 6 | 26 | 0 | 2.033273e+06 | 4.944624e+07 |2331.85%| unknown
10.65/10.85 c 10.8s| 1 | 0 | 38366 | - | 78M | 0 |2172 |2419 |2461 | 68 | 7 | 27 | 0 | 2.037003e+06 | 4.944624e+07 |2327.40%| unknown
10.75/11.00 c 11.0s| 1 | 0 | 38406 | - | 78M | 0 |2172 |2420 |2463 | 70 | 8 | 28 | 0 | 2.037375e+06 | 4.944624e+07 |2326.96%| unknown
10.96/11.19 c 11.2s| 1 | 0 | 38730 | - | 78M | 0 |2172 |2421 |2468 | 75 | 9 | 29 | 0 | 2.042757e+06 | 4.944624e+07 |2320.56%| unknown
11.15/11.37 c 11.4s| 1 | 0 | 38907 | - | 79M | 0 |2172 |2422 |2457 | 77 | 10 | 30 | 0 | 2.047648e+06 | 4.944624e+07 |2314.78%| unknown
11.25/11.49 c 11.5s| 1 | 0 | 39105 | - | 79M | 0 |2172 |2423 |2459 | 79 | 11 | 31 | 0 | 2.049528e+06 | 4.944624e+07 |2312.57%| unknown
11.35/11.59 c 11.6s| 1 | 0 | 39213 | - | 79M | 0 |2172 |2424 |2463 | 83 | 12 | 32 | 0 | 2.052677e+06 | 4.944624e+07 |2308.87%| unknown
11.55/11.71 c 11.7s| 1 | 0 | 39412 | - | 79M | 0 |2172 |2425 |2466 | 86 | 13 | 33 | 0 | 2.055843e+06 | 4.944624e+07 |2305.16%| unknown
11.65/11.82 c 11.8s| 1 | 0 | 39541 | - | 79M | 0 |2172 |2426 |2467 | 87 | 14 | 34 | 0 | 2.058830e+06 | 4.944624e+07 |2301.67%| unknown
11.75/11.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.75/11.92 c 11.9s| 1 | 0 | 39673 | - | 80M | 0 |2172 |2428 |2469 | 89 | 15 | 36 | 0 | 2.061071e+06 | 4.944624e+07 |2299.06%| unknown
11.86/12.05 c 12.0s| 1 | 0 | 39947 | - | 80M | 0 |2172 |2430 |2460 | 91 | 16 | 38 | 0 | 2.065277e+06 | 4.944624e+07 |2294.17%| unknown
11.96/12.18 c 12.2s| 1 | 0 | 40204 | - | 80M | 0 |2172 |2430 |2464 | 95 | 17 | 38 | 0 | 2.070317e+06 | 4.944624e+07 |2288.34%| unknown
12.14/12.33 c 12.3s| 1 | 0 | 40579 | - | 80M | 0 |2172 |2431 |2468 | 99 | 18 | 39 | 0 | 2.077983e+06 | 4.944624e+07 |2279.53%| unknown
12.24/12.43 c 12.4s| 1 | 0 | 40743 | - | 80M | 0 |2172 |2432 |2470 | 101 | 19 | 40 | 0 | 2.080622e+06 | 4.944624e+07 |2276.51%| unknown
12.34/12.53 c 12.5s| 1 | 0 | 40825 | - | 81M | 0 |2172 |2433 |2472 | 103 | 20 | 41 | 0 | 2.081683e+06 | 4.944624e+07 |2275.30%| unknown
12.44/12.61 c 12.6s| 1 | 0 | 40829 | - | 81M | 0 |2172 |2435 |2474 | 105 | 21 | 43 | 0 | 2.081684e+06 | 4.944624e+07 |2275.30%| unknown
15.85/16.08 c 16.1s| 1 | 2 | 51243 | - | 81M | 0 |2172 |2436 |2474 | 105 | 22 | 44 | 19 | 2.097632e+06 | 4.944624e+07 |2257.24%| unknown
28.99/29.21 o 10289821
28.99/29.21 c *29.2s| 7 | 6 | 60298 |6065.1 |strongbr| 6 |2172 |2436 |2437 | 105 | 1 | 44 | 149 | 2.101016e+06 | 1.028982e+07 | 389.75%| unknown
32.67/32.91 o 9972285
32.67/32.91 c *32.9s| 7 | 6 | 62211 |6338.4 |strongbr| 6 |2172 |2458 |2437 | 105 | 20 | 66 | 249 | 2.101016e+06 | 9.972285e+06 | 374.64%| unknown
40.76/41.10 o 3654493
40.76/41.10 c *41.1s| 54 | 16 | 92360 |1380.0 |strongbr| 28 |2172 |2457 |2447 | 117 | 2 | 77 | 312 | 2.111432e+06 | 3.654493e+06 | 73.08%| 12.66%
46.12/46.40 c 46.4s| 100 | 30 |108916 | 910.7 | 85M | 36 |2172 |2472 |2457 | 147 | 2 | 94 | 353 | 2.111432e+06 | 3.654493e+06 | 73.08%| 13.27%
47.52/47.81 o 3633309
47.52/47.81 c *47.8s| 145 | 35 |118341 | 693.1 | LP | 39 |2172 |2477 |2447 | 147 | 2 | 106 | 353 | 2.111432e+06 | 3.633309e+06 | 72.08%| 13.62%
49.51/49.80 c 49.8s| 200 | 46 |129413 | 557.9 | 86M | 54 |2172 |2497 |2458 | 165 | 0 | 130 | 353 | 2.111432e+06 | 3.633309e+06 | 72.08%| 13.84%
56.99/57.35 c 57.3s| 300 | 60 |160825 | 476.6 | 87M | 73 |2172 |2578 |2459 | 203 | 0 | 233 | 404 | 2.122404e+06 | 3.633309e+06 | 71.19%| 13.95%
64.06/64.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
64.06/64.46 c 64.5s| 400 | 74 |187824 | 425.0 | 88M | 73 |2172 |2493 |2461 | 272 | 1 | 245 | 429 | 2.164993e+06 | 3.633309e+06 | 67.82%| 14.03%
64.46/64.88 o 3457037
64.46/64.88 c *64.9s| 414 | 74 |189366 | 414.3 | LP | 73 |2172 |2488 |2464 | 275 | 2 | 246 | 433 | 2.164993e+06 | 3.457037e+06 | 59.68%| 14.03%
65.16/65.55 o 3423937
65.16/65.55 c *65.6s| 419 | 72 |191257 | 413.9 | LP | 73 |2172 |2480 |2470 | 294 | 2 | 246 | 435 | 2.164993e+06 | 3.423937e+06 | 58.15%| 14.73%
70.93/71.37 c 71.4s| 500 | 81 |214770 | 393.9 | 89M | 73 |2172 |2477 | 0 | 369 | 0 | 271 | 470 | 2.167068e+06 | 3.423937e+06 | 58.00%| 18.03%
71.93/72.35 o 3405583
71.93/72.35 c *72.3s| 518 | 81 |218820 | 388.0 | LP | 73 |2172 |2475 |2473 | 389 | 2 | 275 | 479 | 2.167068e+06 | 3.405583e+06 | 57.15%| 18.03%
73.42/73.89 o 3396509
73.42/73.89 c *73.9s| 557 | 82 |225912 | 373.6 |strongbr| 73 |2172 |2480 |2471 | 398 | 3 | 287 | 505 | 2.167068e+06 | 3.396509e+06 | 56.73%| 18.88%
78.01/78.43 c 78.4s| 600 | 85 |250631 | 388.0 | 89M | 73 |2172 |2508 |2458 | 416 | 1 | 328 | 560 | 2.167068e+06 | 3.396509e+06 | 56.73%| 23.62%
85.19/85.67 c 85.7s| 700 | 114 |280961 | 375.9 | 90M | 73 |2172 |2550 |2457 | 421 | 4 | 387 | 620 | 2.193774e+06 | 3.396509e+06 | 54.82%| 23.75%
91.68/92.15 o 3382395
91.68/92.15 c L92.1s| 758 | 119 |308832 | 383.9 | rins| 73 |2172 |2548 |2458 | 430 | 2 | 407 | 657 | 2.216045e+06 | 3.382395e+06 | 52.63%| 23.77%
93.06/93.54 c 93.5s| 800 | 111 |317478 | 374.5 | 90M | 73 |2172 |2530 |2460 | 430 | 1 | 425 | 657 | 2.216045e+06 | 3.382395e+06 | 52.63%| 27.44%
99.65/100.18 c 100s| 900 | 112 |344215 | 362.6 | 92M | 73 |2172 |2504 |2489 | 505 | 1 | 457 | 685 | 2.233831e+06 | 3.382395e+06 | 51.42%| 32.44%
108.30/108.86 c 109s| 1000 | 112 |379537 | 361.7 | 94M | 73 |2172 |2504 |2480 | 563 | 4 | 517 | 769 | 2.283592e+06 | 3.382395e+06 | 48.12%| 40.55%
116.59/117.16 c 117s| 1100 | 112 |411076 | 357.5 | 94M | 73 |2172 |2532 |2466 | 642 | 0 | 590 | 831 | 2.292339e+06 | 3.382395e+06 | 47.55%| 41.19%
125.24/125.82 c 126s| 1200 | 114 |451465 | 361.4 | 95M | 73 |2172 |2520 | 0 | 747 | 0 | 663 | 911 | 2.310808e+06 | 3.382395e+06 | 46.37%| 42.00%
125.45/126.09 o 3381199
125.45/126.09 c * 126s| 1207 | 113 |452811 | 360.4 | LP | 73 |2172 |2523 |2480 | 747 | 2 | 671 | 914 | 2.310808e+06 | 3.381199e+06 | 46.32%| 42.10%
128.93/129.52 o 3367493
128.93/129.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
128.93/129.52 c * 130s| 1255 | 114 |468159 | 358.8 | LP | 73 |2172 |2520 |2470 | 772 | 2 | 685 | 944 | 2.317185e+06 | 3.367493e+06 | 45.33%| 42.84%
131.32/132.01 c 132s| 1300 | 113 |479496 | 355.1 | 95M | 73 |2172 |2532 |2475 | 786 | 1 | 703 | 973 | 2.317185e+06 | 3.367493e+06 | 45.33%| 44.51%
138.29/138.92 c 139s| 1400 | 115 |508321 | 350.3 | 95M | 73 |2172 |2604 |2483 | 808 | 2 | 830 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| 45.33%
138.59/139.27 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
138.69/139.30 c (run 2, node 1405) performing user restart
138.69/139.30 c
138.69/139.31 c (restart) converted 65 cuts from the global cut pool into linear constraints
138.69/139.31 c
138.69/139.32 c presolving:
138.69/139.33 c (round 1, fast) 707 del vars, 709 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 100 chg coeffs, 0 upgd conss, 0 impls, 50 clqs
138.69/139.33 c (139.3s) running MILP presolver
138.69/139.33 c (139.3s) MILP presolver found nothing
138.69/139.33 c (round 2, medium) 707 del vars, 713 del conss, 8 add conss, 0 chg bounds, 5 chg sides, 105 chg coeffs, 0 upgd conss, 0 impls, 72 clqs
138.69/139.34 c (round 3, exhaustive) 707 del vars, 713 del conss, 8 add conss, 0 chg bounds, 5 chg sides, 106 chg coeffs, 65 upgd conss, 0 impls, 72 clqs
138.69/139.34 c (round 4, medium) 707 del vars, 716 del conss, 10 add conss, 0 chg bounds, 8 chg sides, 111 chg coeffs, 65 upgd conss, 0 impls, 72 clqs
138.69/139.35 c (round 5, exhaustive) 707 del vars, 722 del conss, 10 add conss, 0 chg bounds, 8 chg sides, 469 chg coeffs, 65 upgd conss, 0 impls, 72 clqs
138.69/139.37 c presolving (6 rounds: 6 fast, 5 medium, 3 exhaustive):
138.69/139.37 c 707 deleted vars, 722 deleted constraints, 10 added constraints, 0 tightened bounds, 0 added holes, 8 changed sides, 474 changed coefficients
138.69/139.37 c 0 implications, 72 cliques
138.69/139.37 c presolved problem has 1465 variables (1465 bin, 0 int, 0 cont) and 1950 constraints
138.69/139.37 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
138.69/139.37 c 380 constraints of type <knapsack>
138.69/139.37 c 56 constraints of type <setppc>
138.69/139.37 c 15 constraints of type <linear>
138.69/139.37 c 1499 constraints of type <logicor>
138.69/139.37 c transformed objective value is always integral (scale: 2)
138.69/139.37 c Presolving Time: 0.59
138.69/139.38 c transformed 11/13 original solutions to the transformed problem space
138.69/139.38 c
139.79/140.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
139.79/140.45 c 140s| 1 | 0 |520998 | - | 98M | 0 |1465 |1950 |1753 | 0 | 0 | 830 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
139.79/140.48 c 140s| 1 | 0 |520998 | - | 98M | 0 |1465 |1951 |1752 | 0 | 0 | 831 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
139.98/140.63 c 141s| 1 | 0 |521455 | - | 98M | 0 |1465 |1951 |1767 | 15 | 1 | 831 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.09/140.76 c 141s| 1 | 0 |521711 | - | 98M | 0 |1465 |1952 |1775 | 23 | 2 | 832 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.19/140.86 c 141s| 1 | 0 |521807 | - | 99M | 0 |1465 |1953 |1777 | 25 | 3 | 833 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.28/140.98 c 141s| 1 | 0 |521988 | - | 99M | 0 |1465 |1954 |1778 | 26 | 4 | 834 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.40/141.09 c 141s| 1 | 0 |522136 | - | 99M | 0 |1465 |1956 |1783 | 31 | 5 | 836 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.58/141.21 c 141s| 1 | 0 |522305 | - | 99M | 0 |1465 |1957 |1785 | 33 | 6 | 837 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.68/141.33 c 141s| 1 | 0 |522493 | - | 99M | 0 |1465 |1958 |1786 | 34 | 7 | 838 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.68/141.34 c 141s| 1 | 0 |522493 | - | 99M | 0 |1465 |1961 |1785 | 34 | 7 | 841 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.78/141.46 c 141s| 1 | 0 |522635 | - | 99M | 0 |1465 |1961 |1790 | 39 | 8 | 841 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.78/141.46 c 141s| 1 | 0 |522635 | - | 99M | 0 |1465 |1962 |1789 | 39 | 8 | 842 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.88/141.58 c 142s| 1 | 0 |522799 | - | 100M | 0 |1465 |1961 |1793 | 43 | 9 | 842 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
140.98/141.68 c 142s| 1 | 0 |522894 | - | 100M | 0 |1465 |1962 |1795 | 45 | 10 | 843 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.08/141.74 c 142s| 1 | 0 |523050 | - | 100M | 0 |1465 |1963 |1764 | 50 | 11 | 844 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.18/141.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
141.18/141.82 c 142s| 1 | 0 |523258 | - | 100M | 0 |1465 |1963 |1766 | 52 | 12 | 845 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.18/141.90 c 142s| 1 | 0 |523555 | - | 100M | 0 |1465 |1964 |1770 | 56 | 13 | 846 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.28/141.96 c 142s| 1 | 0 |523644 | - | 101M | 0 |1465 |1960 |1775 | 61 | 14 | 848 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.39/142.04 c 142s| 1 | 0 |523909 | - | 101M | 0 |1465 |1961 |1777 | 63 | 15 | 849 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.39/142.10 c 142s| 1 | 0 |524087 | - | 101M | 0 |1465 |1959 |1781 | 67 | 16 | 850 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.49/142.16 c 142s| 1 | 0 |524239 | - | 101M | 0 |1465 |1958 |1778 | 70 | 17 | 851 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.58/142.23 c 142s| 1 | 0 |524435 | - | 101M | 0 |1465 |1954 |1781 | 73 | 18 | 851 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.68/142.30 c 142s| 1 | 0 |524658 | - | 101M | 0 |1465 |1955 |1784 | 76 | 19 | 852 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.68/142.30 c 142s| 1 | 0 |524658 | - | 101M | 0 |1465 |1956 |1783 | 76 | 19 | 853 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.68/142.36 c 142s| 1 | 0 |524775 | - | 101M | 0 |1465 |1954 |1788 | 81 | 20 | 853 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
141.68/142.39 c 142s| 1 | 0 |524790 | - | 101M | 0 |1465 |1949 |1790 | 83 | 21 | 854 |1030 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
144.67/145.31 c 145s| 1 | 2 |534487 | - | 101M | 0 |1465 |1925 |1790 | 83 | 22 | 857 |1045 | 2.317185e+06 | 3.367493e+06 | 45.33%| unknown
152.15/152.87 c 153s| 100 | 31 |565569 | 354.7 | 102M | 30 |1465 |1910 |1764 | 130 | 0 | 888 |1083 | 2.317185e+06 | 3.367493e+06 | 45.33%| 4.65%
155.35/156.07 c 156s| 200 | 18 |586840 | 345.9 | 103M | 40 |1465 |1925 |1762 | 130 | 0 | 988 |1113 | 2.317185e+06 | 3.367493e+06 | 45.33%| 6.94%
162.51/163.20 c 163s| 300 | 14 |621447 | 345.9 | 104M | 40 |1465 |1890 |1763 | 187 | 0 |1002 |1142 | 2.317185e+06 | 3.367493e+06 | 45.33%| 8.54%
167.69/168.43 c
167.69/168.43 c SCIP Status : problem is solved [optimal solution found]
167.69/168.43 c Solving Time (sec) : 168.43
167.69/168.43 c Solving Nodes : 368 (total of 1774 nodes in 3 runs)
167.69/168.43 c Primal Bound : +3.36749300000000e+06 (13 solutions)
167.69/168.43 c Dual Bound : +3.36749300000000e+06
167.69/168.43 c Gap : 0.00 %
167.69/168.43 s OPTIMUM FOUND
167.69/168.43 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
167.69/168.43 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
167.69/168.43 v -x596 -x597 -x598 -x599 -x600 -x1101 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
167.69/168.43 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134
167.69/168.43 v -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1651 -x1652 -x1654
167.69/168.43 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
167.69/168.43 v -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692
167.69/168.43 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x2201 -x2202 -x2203 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212
167.69/168.43 v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231
167.69/168.43 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
167.69/168.43 v -x2301 -x2302 -x2303 -x2304 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
167.69/168.43 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339
167.69/168.43 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359
167.69/168.43 v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378
167.69/168.43 v -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397
167.69/168.43 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417
167.69/168.43 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436
167.69/168.43 v -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455
167.69/168.43 v -x2456 -x2457 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475
167.69/168.43 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494
167.69/168.43 v -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2510 -x2511 -x2512 -x2513 -x2514
167.69/168.43 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533
167.69/168.43 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x51 -x52
167.69/168.43 v -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79
167.69/168.43 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
167.69/168.43 v -x105 -x106 -x107 -x108 -x109 -x110 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
167.69/168.43 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
167.69/168.43 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
167.69/168.43 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194
167.69/168.43 v -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217
167.69/168.43 v -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239
167.69/168.43 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261
167.69/168.43 v -x262 -x263 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284
167.69/168.43 v -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306
167.69/168.43 v -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329
167.69/168.43 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351
167.69/168.43 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
167.69/168.43 v x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
167.69/168.43 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x418 -x419
167.69/168.43 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
167.69/168.43 v -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
167.69/168.43 v -x464 -x465 -x466 -x467 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
167.69/168.43 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508
167.69/168.43 v -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531
167.69/168.43 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x601 -x602 -x603
167.69/168.43 v -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x621 -x622 -x623 -x624 -x625 -x626
167.69/168.43 v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648
167.69/168.43 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
167.69/168.43 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
167.69/168.43 v -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715
167.69/168.43 v -x716 -x717 -x718 -x719 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738
167.69/168.43 v -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
167.69/168.43 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783
167.69/168.43 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805
167.69/168.43 v -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828
167.69/168.43 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
167.69/168.43 v -x851 -x852 x853 x854 -x855 -x856 -x857 x858 -x859 x860 -x861 -x862 x863 -x864 -x865 x866 -x867 x868 -x869 -x870 -x871 -x872 x873
167.69/168.43 v -x874 -x876 -x877 x878 x879 -x880 -x881 x882 -x883 -x884 -x885 x886 x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 x896 -x897
167.69/168.43 v -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919
167.69/168.43 v -x920 -x921 -x922 -x923 -x924 -x925 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942
167.69/168.43 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964
167.69/168.43 v -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
167.69/168.43 v x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008
167.69/168.43 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027
167.69/168.43 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
167.69/168.43 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066
167.69/168.43 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086
167.69/168.43 v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1151 -x1152 -x1153 -x1154 -x1155
167.69/168.43 v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174
167.69/168.43 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
167.69/168.43 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
167.69/168.43 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233
167.69/168.43 v -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252
167.69/168.43 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
167.69/168.43 v -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291
167.69/168.43 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
167.69/168.43 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329
167.69/168.43 v -x1330 -x1331 -x1332 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349
167.69/168.43 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368
167.69/168.43 v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1385 -x1386 -x1387 x1388
167.69/168.43 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407
167.69/168.43 v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
167.69/168.43 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446
167.69/168.43 v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465
167.69/168.43 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484
167.69/168.43 v -x1485 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504
167.69/168.43 v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
167.69/168.43 v -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543
167.69/168.43 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 x1557 -x1558 -x1559 -x1560 x1561 -x1562
167.69/168.43 v -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 x1576 x1577 -x1578 -x1579 x1580 x1581 -x1582
167.69/168.43 v x1583 x1584 x1585 -x1586 -x1587 -x1589 x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603
167.69/168.43 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622
167.69/168.43 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1640 -x1641 -x1642
167.69/168.43 v -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711
167.69/168.43 v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
167.69/168.43 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
167.69/168.43 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769
167.69/168.43 v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
167.69/168.43 v -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
167.69/168.43 v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827
167.69/168.43 v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1843 -x1844 -x1845 -x1846 x1847
167.69/168.43 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866
167.69/168.43 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885
167.69/168.43 v -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905
167.69/168.43 v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924
167.69/168.43 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943
167.69/168.43 v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963
167.69/168.43 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982
167.69/168.43 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002
167.69/168.43 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021
167.69/168.43 v -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
167.69/168.43 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060
167.69/168.43 v -x2061 x2062 -x2063 -x2064 x2065 -x2066 x2067 -x2068 x2069 x2070 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
167.69/168.43 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 x2091 x2092 -x2093 -x2094 x2095 -x2096 -x2098 x2099 -x2100
167.69/168.43 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119
167.69/168.43 v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138
167.69/168.43 v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158
167.69/168.43 v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177
167.69/168.43 v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196
167.69/168.43 v x2197 -x2198 -x2200 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266
167.69/168.43 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285
167.69/168.43 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2551 -x2552 -x2553 -x2554 -x2555
167.69/168.43 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574
167.69/168.43 v x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593
167.69/168.43 v -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
167.69/168.43 v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132
167.69/168.43 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3651
167.69/168.43 v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671
167.69/168.43 v -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
167.69/168.43 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x4201 -x4202 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
167.69/168.43 v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229
167.69/168.43 v -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248
167.69/168.43 v -x4249 -x4250 -x4751 -x4752 -x4753 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768
167.69/168.43 v -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787
167.69/168.43 v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4851 -x4852 -x4853 -x4854 -x4856 -x4857
167.69/168.43 v -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876
167.69/168.43 v -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895
167.69/168.43 v -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915
167.69/168.43 v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934
167.69/168.43 v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953
167.69/168.43 v -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973
167.69/168.43 v -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992
167.69/168.43 v -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5009 -x5010 -x5011 -x5012
167.69/168.43 v -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031
167.69/168.43 v -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050
167.69/168.43 v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070
167.69/168.43 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089
167.69/168.43 v -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608
167.69/168.43 v -x2609 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628
167.69/168.43 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
167.69/168.43 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667
167.69/168.43 v -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686
167.69/168.43 v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
167.69/168.43 v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725
167.69/168.43 v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744
167.69/168.43 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2764
167.69/168.43 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783
167.69/168.43 v -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802
167.69/168.43 v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822
167.69/168.43 v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841
167.69/168.43 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
167.69/168.43 v -x2861 -x2862 -x2863 -x2864 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
167.69/168.43 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899
167.69/168.43 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2917 -x2918 -x2919
167.69/168.43 v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938
167.69/168.43 v -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957
167.69/168.43 v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
167.69/168.43 v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996
167.69/168.43 v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015
167.69/168.43 v -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035
167.69/168.43 v -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054
167.69/168.43 v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3070 -x3071 -x3072 -x3073 -x3074
167.69/168.43 v -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093
167.69/168.43 v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162
167.69/168.43 v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182
167.69/168.43 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201
167.69/168.43 v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
167.69/168.43 v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
167.69/168.43 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259
167.69/168.43 v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279
167.69/168.43 v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298
167.69/168.43 v -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
167.69/168.43 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337
167.69/168.43 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356
167.69/168.43 v -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3375 -x3376
167.69/168.43 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395
167.69/168.43 v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414
167.69/168.43 v -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434
167.69/168.43 v -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453
167.69/168.43 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472
167.69/168.43 v -x3473 -x3474 -x3475 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492
167.69/168.43 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511
167.69/168.43 v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3528 -x3529 -x3530 -x3531
167.69/168.43 v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
167.69/168.43 v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569
167.69/168.43 v -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589
167.69/168.43 v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608
167.69/168.43 v -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627
167.69/168.43 v -x3628 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647
167.69/168.43 v -x3648 -x3649 -x3650 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716
167.69/168.43 v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736
167.69/168.43 v -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755
167.69/168.43 v -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774
167.69/168.43 v -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794
167.69/168.43 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813
167.69/168.43 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3833
167.69/168.43 v -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852
167.69/168.43 v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871
167.69/168.43 v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891
167.69/168.43 v -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
167.69/168.43 v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929
167.69/168.43 v -x3930 -x3931 -x3932 -x3933 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949
167.69/168.43 v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968
167.69/168.43 v -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3986 -x3987 -x3988
167.69/168.43 v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007
167.69/168.43 v -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026
167.69/168.43 v -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046
167.69/168.43 v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
167.69/168.43 v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084
167.69/168.43 v -x4085 -x4086 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104
167.69/168.43 v x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123
167.69/168.43 v -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4139 -x4140 -x4141 -x4142 -x4143
167.69/168.43 v -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162
167.69/168.43 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181
167.69/168.43 v -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4251
167.69/168.43 v -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
167.69/168.43 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289
167.69/168.43 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309
167.69/168.43 v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328
167.69/168.43 v -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348
167.69/168.43 v -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367
167.69/168.43 v -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386
167.69/168.43 v -x4387 -x4388 -x4389 -x4390 -x4391 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406
167.69/168.43 v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425
167.69/168.43 v -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445
167.69/168.43 v -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464
167.69/168.43 v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483
167.69/168.43 v -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503
167.69/168.43 v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522
167.69/168.43 v -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541
167.69/168.43 v -x4542 -x4543 -x4544 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561
167.69/168.43 v -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580
167.69/168.43 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4597 -x4598 -x4599 -x4600
167.69/168.43 v -x4601 -x4602 -x4603 -x4604 x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619
167.69/168.43 v -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638
167.69/168.43 v -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658
167.69/168.43 v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677
167.69/168.43 v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696
167.69/168.43 v -x4697 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716
167.69/168.43 v -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735
167.69/168.43 v -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4750 -x4801 -x4802 -x4803 -x4804 -x4805
167.69/168.43 v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824
167.69/168.43 v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843
167.69/168.43 v -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
167.69/168.43 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46
167.69/168.43 v -x47 -x48 -x49 -x50 -x551 -x1102 -x1653 -x2204 -x2305 -x2356 -x2407 -x2458 -x2509 -x60 -x111 -x162 -x213 -x264 -x315 -x366 -x417
167.69/168.43 v -x468 -x519 -x620 -x671 -x722 -x773 -x824 -x875 -x926 -x977 -x1028 -x1079 -x1180 -x1231 -x1282 -x1333 -x1384 -x1435 -x1486 -x1537
167.69/168.43 v -x1588 -x1639 -x1740 -x1791 -x1842 -x1893 -x1944 -x1995 -x2046 -x2097 -x2148 -x2199 -x2300 -x3101 -x3652 -x4203 -x4754 -x4855 -x4906
167.69/168.43 v -x4957 -x5008 -x5059 -x2610 -x2661 -x2712 -x2763 -x2814 -x2865 -x2916 -x2967 -x3018 -x3069 -x3170 -x3221 -x3272 -x3323 -x3374 -x3425
167.69/168.43 v -x3476 -x3527 -x3578 -x3629 -x3730 -x3781 -x3832 -x3883 -x3934 -x3985 -x4036 -x4087 -x4138 -x4189 -x4290 -x4341 -x4392 -x4443 -x4494
167.69/168.43 v -x4545 -x4596 -x4647 -x4698 -x4749 -x4850
167.69/168.43 c SCIP Status : problem is solved [optimal solution found]
167.69/168.43 c Total Time : 168.43
167.69/168.43 c solving : 168.43
167.69/168.43 c presolving : 0.59 (included in solving)
167.69/168.43 c reading : 0.06 (included in solving)
167.69/168.43 c copying : 0.11 (16 #copies) (minimal 0.01, maximal 0.01, average 0.01)
167.69/168.43 c Original Problem :
167.69/168.43 c Problem name : HOME/instance-4503801-1751430735.opb
167.69/168.43 c Variables : 5100 (5100 binary, 0 integer, 0 continuous)
167.69/168.43 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
167.69/168.43 c Constraints : 7606 initial, 7606 maximal
167.69/168.43 c Objective : minimize, 4950 non-zeros (abs.min = 1, abs.max = 1.47198e+08)
167.69/168.43 c Presolved Problem :
167.69/168.43 c Problem name : t_HOME/instance-4503801-1751430735.opb
167.69/168.43 c Variables : 1465 (1465 binary, 0 integer, 0 continuous)
167.69/168.43 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
167.69/168.43 c Constraints : 1950 initial, 1965 maximal
167.69/168.43 c Objective : minimize, 1368 non-zeros (abs.min = 36, abs.max = 1.06121e+06)
167.69/168.43 c Nonzeros : 23619 constraint, 182 clique table
167.69/168.43 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
167.69/168.43 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c domcol : 0.12 0.00 3 0 0 0 0 0 0 0 0 0
167.69/168.43 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c dualsparsify : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
167.69/168.43 c gateextraction : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
167.69/168.43 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
167.69/168.43 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c milp : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
167.69/168.43 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
167.69/168.43 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c trivial : 0.00 0.00 12 1085 0 0 0 0 0 0 0 0
167.69/168.43 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
167.69/168.43 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
167.69/168.43 c probing : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
167.69/168.43 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
167.69/168.43 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
167.69/168.43 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
167.69/168.43 c knapsack : 0.03 0.00 24 0 0 0 0 0 708 10 9 16
167.69/168.43 c setppc : 0.00 0.00 24 0 0 0 0 0 7 0 0 0
167.69/168.43 c linear : 0.11 0.01 19 100 2450 0 100 0 4902 0 1225 1225
167.69/168.43 c logicor : 0.03 0.00 22 0 0 0 0 0 7 0 0 459
167.69/168.43 c components : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
167.69/168.43 c root node : - - - 1459 - - 1459 - - - - -
167.69/168.43 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
167.69/168.44 c integral : 0 0 0 0 1204 0 0 242 0 0 4178 0 0 409 1906
167.69/168.44 c knapsack : 380 380 67 18141 6 0 0 233 6253 146 30208 996 132 0 0
167.69/168.44 c setppc : 56 56 67 15564 1 0 0 24 1292 21 5288 0 0 0 0
167.69/168.44 c linear : 15 15 67 17974 6 0 0 22 2107 189 9236 0 0 0 0
167.69/168.44 c logicor : 1499+ 1515 67 8618 6 0 0 19 2695 187 233744 8 3 0 0
167.69/168.44 c fixedvar : 0 0 0 0 6 0 0 21 0 0 0 0 0 0 0
167.69/168.44 c countsols : 0 0 0 0 6 0 0 21 0 0 0 0 0 0 0
167.69/168.44 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
167.69/168.44 c integral : 61.43 0.00 0.00 0.00 61.43 0.00 0.00 0.00 0.00 0.00
167.69/168.44 c knapsack : 1.56 0.00 0.74 0.60 0.00 0.00 0.00 0.01 0.01 0.20
167.69/168.44 c setppc : 0.05 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.02
167.69/168.44 c linear : 1.07 0.01 0.83 0.18 0.00 0.00 0.00 0.00 0.00 0.05
167.69/168.44 c logicor : 0.95 0.00 0.02 0.62 0.00 0.00 0.00 0.00 0.00 0.30
167.69/168.44 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
167.69/168.44 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
167.69/168.44 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
167.69/168.44 c Propagators : #Propagate #ResProp Cutoffs DomReds
167.69/168.44 c dualfix : 8 0 0 0
167.69/168.44 c genvbounds : 0 0 0 0
167.69/168.44 c nlobbt : 0 0 0 0
167.69/168.44 c obbt : 0 0 0 0
167.69/168.44 c probing : 0 0 0 0
167.69/168.44 c pseudoobj : 9742 10 0 611
167.69/168.44 c redcost : 5588 0 0 61885
167.69/168.44 c rootredcost : 13 0 0 707
167.69/168.44 c symmetry : 0 0 0 0
167.69/168.44 c vbounds : 3425 0 0 0
167.69/168.44 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
167.69/168.44 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
167.69/168.44 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
167.69/168.44 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
167.69/168.44 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
167.69/168.44 c probing : 0.08 0.00 0.08 0.00 0.00 0.00
167.69/168.44 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
167.69/168.44 c redcost : 0.35 0.00 0.00 0.34 0.00 0.00
167.69/168.44 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
167.69/168.44 c symmetry : 0.02 0.00 0.02 0.00 0.00 0.00
167.69/168.44 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
167.69/168.44 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
167.69/168.44 c propagation : 0.02 372 364 - 946 46.6 17 9.2 - - -
167.69/168.44 c infeasible LP : 0.01 17 17 - 54 44.9 1 3.0 17 148.9 0
167.69/168.44 c bound exceed. LP : 0.48 492 65 - 401 64.1 0 0.0 1 1.0 1684
167.69/168.44 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
167.69/168.44 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
167.69/168.44 c applied globally : 0.00 - - 1 1039 44.2 - - 18 - -
167.69/168.44 c applied locally : - - - 0 0 0.0 - - 0 - -
167.69/168.44 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
167.69/168.44 c cut pool : 0.03 - 644 124 - - 1213 3072 - - - - - (maximal pool size: 418)
167.69/168.44 c aggregation : 1.99 0.00 218 67 0 0 497 1399 0 511 511 0 0
167.69/168.44 c > cmir : - - - - - - - 355 0 69 69 0 -
167.69/168.44 c > flowcover : - - - - - - - 562 0 150 150 0 -
167.69/168.44 c > knapsackcover : - - - - - - - 482 0 292 292 0 -
167.69/168.44 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c clique : 0.00 0.00 67 67 0 0 1 1 0 0 0 0 0
167.69/168.44 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c gomory : 6.30 0.00 137 30 0 0 474 853 0 31 31 0 0
167.69/168.44 c > gomorymi : - - - - - - - 396 0 18 18 0 -
167.69/168.44 c > strongcg : - - - - - - - 457 0 13 13 0 -
167.69/168.44 c impliedbounds : 0.01 0.00 218 67 0 0 1 1 0 1 1 0 0
167.69/168.44 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c mcf : 0.00 0.00 3 3 0 0 0 0 0 0 0 0 0
167.69/168.44 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c multilinear : 0.00 0.00 127 67 0 0 0 0 0 0 0 0 0
167.69/168.44 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
167.69/168.44 c rlt : 0.00 0.00 30 30 0 0 0 0 0 0 0 0 0
167.69/168.44 c zerohalf : 1.63 0.00 167 60 0 0 254 818 14 471 457 14 0
167.69/168.44 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
167.69/168.44 c hybrid : 0.00 0.00 330 63 1149 0 2941 322 0 1264
167.69/168.44 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c Pricers : ExecTime SetupTime Calls Vars
167.69/168.44 c problem variables: 0.00 - 0 0
167.69/168.44 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
167.69/168.44 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c random : 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c relpscost : 61.42 0.00 1198 0 0 0 4178 0 464 1906
167.69/168.44 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
167.69/168.44 c Primal Heuristics : ExecTime SetupTime Calls Found Best
167.69/168.44 c LP solutions : 0.00 - - 6 6
167.69/168.44 c relax solutions : 0.00 - - 0 0
167.69/168.44 c pseudo solutions : 0.00 - - 0 0
167.69/168.44 c strong branching : 0.01 - - 4 4
167.69/168.44 c actconsdiving : 0.00 0.00 0 0 0
167.69/168.44 c adaptivediving : 0.26 0.00 4 0 0
167.69/168.44 c alns : 0.08 0.00 4 0 0
167.69/168.44 c bound : 0.00 0.00 0 0 0
167.69/168.44 c clique : 0.04 0.00 1 1 1
167.69/168.44 c coefdiving : 0.00 0.00 0 0 0
167.69/168.44 c completesol : 0.00 0.00 0 0 0
167.69/168.44 c conflictdiving : 2.96 0.00 4 0 0
167.69/168.44 c crossover : 0.06 0.00 3 0 0
167.69/168.44 c dins : 0.00 0.00 0 0 0
167.69/168.44 c distributiondivin: 0.10 0.00 2 0 0
167.69/168.44 c dks : 0.00 0.00 0 0 0
167.69/168.44 c dps : 0.00 0.00 0 0 0
167.69/168.44 c dualval : 0.00 0.00 0 0 0
167.69/168.44 c farkasdiving : 2.91 0.00 2 0 0
167.69/168.44 c feaspump : 1.64 0.00 1 1 1
167.69/168.44 c fixandinfer : 0.00 0.00 0 0 0
167.69/168.44 c fracdiving : 0.30 0.00 3 0 0
167.69/168.44 c gins : 0.00 0.00 0 0 0
167.69/168.44 c guideddiving : 0.01 0.00 2 0 0
167.69/168.44 c indicator : 0.00 0.00 0 0 0
167.69/168.44 c indicatordiving : 0.00 0.00 0 0 0
167.69/168.44 c intdiving : 0.00 0.00 0 0 0
167.69/168.44 c intshifting : 0.00 0.00 0 0 0
167.69/168.44 c linesearchdiving : 0.02 0.00 2 0 0
167.69/168.44 c localbranching : 0.00 0.00 0 0 0
167.69/168.44 c locks : 0.02 0.00 1 0 0
167.69/168.44 c lpface : 0.00 0.00 0 0 0
167.69/168.44 c mpec : 0.00 0.00 0 0 0
167.69/168.44 c multistart : 0.00 0.00 0 0 0
167.69/168.44 c mutation : 0.00 0.00 0 0 0
167.69/168.44 c nlpdiving : 0.00 0.00 0 0 0
167.69/168.44 c objpscostdiving : 0.56 0.00 2 0 0
167.69/168.44 c octane : 0.00 0.00 0 0 0
167.69/168.44 c ofins : 0.00 0.00 0 0 0
167.69/168.44 c oneopt : 0.01 0.00 13 0 0
167.69/168.44 c padm : 0.00 0.00 0 0 0
167.69/168.44 c proximity : 0.00 0.00 0 0 0
167.69/168.44 c pscostdiving : 0.35 0.00 3 0 0
167.69/168.44 c randrounding : 0.19 0.00 265 0 0
167.69/168.44 c rens : 0.15 0.00 3 0 0
167.69/168.44 c reoptsols : 0.00 0.00 0 0 0
167.69/168.44 c repair : 0.00 0.00 0 0 0
167.69/168.44 c rins : 0.16 0.00 6 1 1
167.69/168.44 c rootsoldiving : 0.92 0.00 1 0 0
167.69/168.44 c rounding : 0.15 0.00 532 0 0
167.69/168.44 c scheduler : 0.00 0.00 0 0 0
167.69/168.44 c shiftandpropagate: 0.00 0.00 0 0 0
167.69/168.44 c shifting : 0.96 0.00 270 0 0
167.69/168.44 c simplerounding : 0.00 0.00 0 0 0
167.69/168.44 c subnlp : 0.00 0.00 0 0 0
167.69/168.44 c trivial : 0.02 0.00 6 0 0
167.69/168.44 c trivialnegation : 0.00 0.00 0 0 0
167.69/168.44 c trustregion : 0.00 0.00 0 0 0
167.69/168.44 c trysol : 0.00 0.00 0 0 0
167.69/168.44 c twoopt : 0.00 0.00 0 0 0
167.69/168.44 c undercover : 0.00 0.00 0 0 0
167.69/168.44 c vbounds : 0.00 0.00 0 0 0
167.69/168.44 c veclendiving : 0.04 0.00 2 0 0
167.69/168.44 c zeroobj : 0.00 0.00 0 0 0
167.69/168.44 c zirounding : 0.07 0.00 953 0 0
167.69/168.44 c other solutions : - - - 0 -
167.69/168.44 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
167.69/168.44 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
167.69/168.44 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
167.69/168.44 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
167.69/168.44 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
167.69/168.44 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
167.69/168.44 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
167.69/168.44 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
167.69/168.44 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
167.69/168.44 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
167.69/168.44 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
167.69/168.44 c primal LP : 0.17 141 0 0.00 0.00 0.17 141
167.69/168.44 c dual LP : 78.56 3874 586051 254.25 7459.59 0.90 1569
167.69/168.44 c lex dual LP : 0.00 0 0 0.00 -
167.69/168.44 c barrier LP : 0.00 0 0 0.00 - 0.00 0
167.69/168.44 c resolve instable : 0.00 0 0 0.00 -
167.69/168.44 c diving/probing LP: 9.87 548 64096 116.96 6494.40
167.69/168.44 c strong branching : 58.74 1227 416653 339.57 7093.76 - - 528
167.69/168.44 c (at root node) : - 34 24392 717.41 -
167.69/168.44 c conflict analysis: 0.23 170 1684 9.91 7426.98
167.69/168.44 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
167.69/168.44 c benders : 0.00 0 0 0 0.00 0 0 0
167.69/168.44 c B&B Tree :
167.69/168.44 c number of runs : 3
167.69/168.44 c nodes : 368 (186 internal, 182 leaves)
167.69/168.44 c feasible leaves : 0
167.69/168.44 c infeas. leaves : 43
167.69/168.44 c objective leaves : 139
167.69/168.44 c nodes (total) : 1774 (953 internal, 821 leaves)
167.69/168.44 c nodes left : 0
167.69/168.44 c max depth : 40
167.69/168.44 c max depth (total): 73
167.69/168.44 c backtracks : 83 (22.6%)
167.69/168.44 c early backtracks : 0 (0.0%)
167.69/168.44 c nodes exc. ref. : 0 (0.0%)
167.69/168.44 c delayed cutoffs : 5
167.69/168.44 c repropagations : 133 (4062 domain reductions, 5 cutoffs)
167.69/168.44 c avg switch length: 3.94
167.69/168.44 c switching time : 0.90
167.69/168.44 c Root Node :
167.69/168.44 c First LP value : +1.71034800349346e+06
167.69/168.44 c First LP Iters : 3221 (4651.24 Iter/sec)
167.69/168.44 c First LP Time : 0.69
167.69/168.44 c Final Dual Bound : +2.31718537137711e+06
167.69/168.44 c Final Root Iters : 31707
167.69/168.44 c Root LP Estimate : +4.62252844978566e+06
167.69/168.44 c Solution :
167.69/168.44 c Solutions found : 13 (13 improvements)
167.69/168.44 c First Solution : +2.53065095000000e+08 (in run 1, after 1 nodes, 0.62 seconds, depth 6, found by <clique>)
167.69/168.44 c Gap First Sol. : infinite
167.69/168.44 c Gap Last Sol. : 45.33 %
167.69/168.44 c Primal Bound : +3.36749300000000e+06 (in run 2, after 1255 nodes, 129.52 seconds, depth 30, found by <relaxation>)
167.69/168.44 c Dual Bound : +3.36749300000000e+06
167.69/168.44 c Gap : 0.00 %
167.69/168.44 c Integrals : Total Avg%
167.69/168.44 c primal-dual : 8134.31 48.30
167.69/168.44 c primal-ref : - - (not evaluated)
167.69/168.44 c dual-ref : - - (not evaluated)
167.69/168.46 c Time complete (sec): 167.762
OK 3367493
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: 63794 MiB (62919 MiB free)
memory of node 1: 64507 MiB (58662 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503801-1751430735/watcher-4503801-1751430735 -o /tmp/evaluation-result-4503801-1751430735/solver-4503801-1751430735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751422783-57317 --watchdog 3760 pbsolver -f HOME/instance-4503801-1751430735.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=58188, runsolver pid=58185
[startup+0.100078 s]*
/proc/loadavg: 2.17 2.15 2.10 3/237 58189
/proc/meminfo: memFree=124492668/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=45400 memory=35584 CPUtime=0.09 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 6739 0 0 0 7 2 0 0 20 0 1 0 58753198 46489600 8896 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 11350 8896 2400 2575 0 8257 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45400 KiB
Current children cumulated memory: 35584 KiB
[startup+0.214017 s]*
/proc/loadavg: 2.17 2.15 2.10 3/237 58189
/proc/meminfo: memFree=124484604/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=49808 memory=40476 CPUtime=0.19 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 8806 0 0 0 16 3 0 0 20 0 1 0 58753198 51003392 10119 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 12452 10119 2528 2575 0 9359 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49808 KiB
Current children cumulated memory: 40476 KiB
[startup+0.312991 s]*
/proc/loadavg: 2.17 2.15 2.10 3/237 58189
/proc/meminfo: memFree=124484604/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=54544 memory=45340 CPUtime=0.27 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 9973 0 0 0 24 3 0 0 20 0 1 0 58753198 55853056 11335 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 13636 11335 2592 2575 0 10543 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 54544 KiB
Current children cumulated memory: 45340 KiB
[startup+0.700285 s]
/proc/loadavg: 2.17 2.15 2.10 3/237 58189
/proc/meminfo: memFree=124476792/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=81864 memory=66800 CPUtime=0.63 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 15609 0 0 0 58 5 0 0 20 0 1 0 58753198 83828736 16700 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 20466 16700 2688 2575 0 17373 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 81864 KiB
Current children cumulated memory: 66800 KiB
[startup+1.50024 s]
/proc/loadavg: 2.15 2.15 2.10 3/237 58189
/proc/meminfo: memFree=124461924/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=85588 memory=70256 CPUtime=1.42 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 16494 0 0 0 137 5 0 0 20 0 1 0 58753198 87642112 17564 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 21397 17564 2688 2575 0 18304 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 85588 KiB
Current children cumulated memory: 70256 KiB
[startup+3.10544 s]
/proc/loadavg: 2.15 2.15 2.10 3/237 58189
/proc/meminfo: memFree=124446804/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=93996 memory=78448 CPUtime=3 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 18604 0 0 0 295 5 0 0 20 0 1 0 58753198 96251904 19612 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 23499 19612 2688 2575 0 20406 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 93996 KiB
Current children cumulated memory: 78448 KiB
[startup+6.30026 s]
/proc/loadavg: 2.14 2.14 2.10 3/237 58189
/proc/meminfo: memFree=124446804/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=99208 memory=83440 CPUtime=6.17 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 19909 0 0 0 611 6 0 0 20 0 1 0 58753198 101588992 20860 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 24802 20860 2688 2575 0 21709 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 99208 KiB
Current children cumulated memory: 83440 KiB
[startup+12.7004 s]
/proc/loadavg: 2.13 2.14 2.10 3/237 58189
/proc/meminfo: memFree=124418640/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=110424 memory=94476 CPUtime=12.54 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 24172 0 0 0 1248 6 0 0 20 0 1 0 58753198 113074176 23619 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 27606 23619 2688 2575 0 24513 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 110424 KiB
Current children cumulated memory: 94476 KiB
[startup+25.5004 s]
/proc/loadavg: 2.11 2.14 2.10 3/237 58189
/proc/meminfo: memFree=124399172/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=121236 memory=104076 CPUtime=25.3 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 26579 0 0 0 2523 7 0 0 20 0 1 0 58753198 124145664 26019 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 30309 26019 2688 2575 0 27216 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 121236 KiB
Current children cumulated memory: 104076 KiB
[startup+51.1126 s]
/proc/loadavg: 2.12 2.14 2.10 3/237 58189
/proc/meminfo: memFree=124402016/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=121236 memory=104204 CPUtime=50.82 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 26620 0 0 0 5075 7 0 0 20 0 1 0 58753198 124145664 26051 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 30309 26051 2688 2575 0 27216 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 121236 KiB
Current children cumulated memory: 104204 KiB
[startup+102.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/237 58191
/proc/meminfo: memFree=124389668/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=130832 memory=115212 CPUtime=101.83 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 29103 0 0 0 10174 9 0 0 20 0 1 0 58753198 133971968 28803 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 32708 28803 2976 2575 0 29615 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 130832 KiB
Current children cumulated memory: 115212 KiB
[startup+162.3 s]
/proc/loadavg: 2.15 2.14 2.09 3/239 58197
/proc/meminfo: memFree=124382296/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=140336 memory=123660 CPUtime=161.61 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 31729 0 0 0 16150 11 0 0 20 0 1 0 58753198 143704064 30915 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 35084 30915 2976 2575 0 31991 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 140336 KiB
Current children cumulated memory: 123660 KiB
[startup+168.467 s]
# the end of solver process 58188 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=167.649 s, system=0.12089 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+163.2 s]
/proc/loadavg: 2.15 2.14 2.09 3/239 58197
/proc/meminfo: memFree=124382296/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=140336 memory=123660 CPUtime=162.51 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 31729 0 0 0 16240 11 0 0 20 0 1 0 58753198 143704064 30915 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 35084 30915 2976 2575 0 31991 0
Current children cumulated CPU time: 162.51 s
Current children cumulated vsize: 140336 KiB
Current children cumulated memory: 123660 KiB
[startup+166.4 s]
/proc/loadavg: 2.21 2.15 2.10 3/239 58197
/proc/meminfo: memFree=124381336/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=140336 memory=123660 CPUtime=165.7 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 31729 0 0 0 16559 11 0 0 20 0 1 0 58753198 143704064 30915 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 35084 30915 2976 2575 0 31991 0
Current children cumulated CPU time: 165.7 s
Current children cumulated vsize: 140336 KiB
Current children cumulated memory: 123660 KiB
[startup+167.2 s]
/proc/loadavg: 2.21 2.15 2.10 3/239 58197
/proc/meminfo: memFree=124381336/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=140336 memory=123660 CPUtime=166.5 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 31729 0 0 0 16639 11 0 0 20 0 1 0 58753198 143704064 30915 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 35084 30915 2976 2575 0 31991 0
Current children cumulated CPU time: 166.5 s
Current children cumulated vsize: 140336 KiB
Current children cumulated memory: 123660 KiB
[startup+168 s]*
/proc/loadavg: 2.21 2.15 2.10 3/239 58197
/proc/meminfo: memFree=124381336/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=140336 memory=123660 CPUtime=167.31 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 31729 0 0 0 16720 11 0 0 20 0 1 0 58753198 143704064 30915 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 35084 30915 2976 2575 0 31991 0
Current children cumulated CPU time: 167.31 s
Current children cumulated vsize: 140336 KiB
Current children cumulated memory: 123660 KiB
[startup+168.4 s]
/proc/loadavg: 2.21 2.15 2.10 3/239 58197
/proc/meminfo: memFree=124381336/131382112 swapFree=33010684/33010684
[pid=58188] ppid=58185 vsize=140336 memory=123660 CPUtime=167.69 cores=5,7
/proc/58188/stat : 58188 (pbsolver) R 58185 58188 57278 0 -1 4194304 31729 0 0 0 16758 11 0 0 20 0 1 0 58753198 143704064 30915 18446744073709551615 4198400 14743177 140736108373456 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 52301824 140736108378506 140736108378602 140736108378602 140736108384204 0
/proc/58188/statm: 35084 30915 2976 2575 0 31991 0
Current children cumulated CPU time: 167.69 s
Current children cumulated vsize: 140336 KiB
Current children cumulated memory: 123660 KiB
Child status: 0
Real time (s): 168.468
CPU time (s): 167.769
CPU user time (s): 167.649
CPU system time (s): 0.12089
CPU usage (%): 99.5856
Max. virtual memory (cumulated for all children) (KiB): 140336
Max. memory (cumulated for all children) (KiB): 123660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.649
system time used= 0.12089
maximum resident set size= 123660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31962
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= 2
involuntary context switches= 233
# summary of solver processes directly reported to runsolver:
# pid: 58188
# total CPU time (s): 167.769
# total CPU user time (s): 167.649
# total CPU system time (s): 0.12089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.704961 second user time and 1.80724 second system time
The end
Begin job on nodeC012 at 2025-07-02 06:32:15 IDJOB=4503801 IDBENCH=155603 IDSOLVER=3366 FILE ID=nodeC012/4503801-1751430735 RUNJOBID= nodeC012-1751422783-57317 SLURM_JOB_ID= 9598353 Free space on /tmp= 432272 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503801-1751430735/watcher-4503801-1751430735 -o /tmp/evaluation-result-4503801-1751430735/solver-4503801-1751430735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751422783-57317 --watchdog 3760 pbsolver -f HOME/instance-4503801-1751430735.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e RANDOM SEED=10833787 nodeC012 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 : 0xb00001f cpu MHz : 1197.648 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3691.243 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.202 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 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 : 0xb00001f cpu MHz : 1197.148 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 124500440 kB MemAvailable: 125556848 kB Buffers: 3280 kB Cached: 1862048 kB SwapCached: 0 kB Active: 4647400 kB Inactive: 1550284 kB Active(anon): 4350316 kB Inactive(anon): 0 kB Active(file): 297084 kB Inactive(file): 1550284 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15368 kB Writeback: 0 kB AnonPages: 4335428 kB Mapped: 113484 kB Shmem: 17960 kB KReclaimable: 96948 kB Slab: 180188 kB SReclaimable: 96948 kB SUnreclaim: 83240 kB KernelStack: 3824 kB PageTables: 11444 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 5008052 kB VmallocTotal: 34359738367 kB VmallocUsed: 149256 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2019328 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432256 MiB End job on nodeC012 at 2025-07-02 06:35:04