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 | 5900212 | 30.0022 | 30.1214 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat15_5_3_3_ic.opb |
| MD5SUM | e9221fba7963ffffb3bf7b90cd42a338 |
| 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 | 5900212 |
| Best CPU time to get the best result obtained on this benchmark | 3.61222 |
| 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 | 3435 |
| Total number of constraints | 6802 |
| Number of constraints which are clauses | 2970 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3825 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 105 |
| Number of terms in the objective function | 645 |
| Biggest coefficient in the objective function | 68921000 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3268239507 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 68921000 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3268239507 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-4505043-1751450332.opb>
0.00/0.01 c original problem has 3435 variables (3435 bin, 0 int, 0 cont) and 6802 constraints
0.00/0.01 c problem read in 0.016 seconds
0.00/0.03 c presolving:
0.00/0.04 c (round 1, fast) 360 del vars, 633 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 0 impls, 16 clqs
0.00/0.05 c (0.1s) running MILP presolver
0.00/0.06 c (0.1s) MILP presolver found nothing
0.00/0.08 c (round 2, exhaustive) 360 del vars, 633 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 16 clqs
0.09/0.11 c (round 3, medium) 360 del vars, 3573 del conss, 8190 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 8206 clqs
0.09/0.14 c (round 4, exhaustive) 360 del vars, 14703 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 8206 clqs
0.09/0.15 c (round 5, exhaustive) 1725 del vars, 16068 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 4111 clqs
0.09/0.16 c (round 6, exhaustive) 1725 del vars, 16173 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 6166 upgd conss, 0 impls, 4111 clqs
0.09/0.17 c (0.2s) probing: 51/1710 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.17 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.17 c (0.2s) no symmetry present (symcode time: 0.00)
0.09/0.18 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
0.09/0.18 c 1725 deleted vars, 16173 deleted constraints, 11130 added constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
0.09/0.18 c 0 implications, 4111 cliques
0.09/0.18 c presolved problem has 1710 variables (1710 bin, 0 int, 0 cont) and 1759 constraints
0.09/0.18 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.09/0.18 c 150 constraints of type <knapsack>
0.09/0.18 c 16 constraints of type <setppc>
0.09/0.18 c 1470 constraints of type <and>
0.09/0.18 c 3 constraints of type <linear>
0.09/0.18 c 120 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 2)
0.09/0.18 c Presolving Time: 0.15
0.09/0.18 c
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c
0.09/0.18 c # SCIP version 10.0.0
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.18 c limits/time = 3596.998013
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.18 c limits/memory = 27900
0.09/0.18 c
0.09/0.18 c # belongs reading time to solving time?
0.09/0.18 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c timing/reading = TRUE
0.09/0.18 c
0.09/0.18 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.09/0.18 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.09/0.18 c reading/opbreader/maxintsize = 47
0.09/0.18 c
0.09/0.18 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.09/0.18 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.09/0.18 c propagating/genvbounds/timingmask = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c
0.19/0.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.19/0.28 c 0.3s| 1 | 0 | 482 | - | 47M | 0 |1710 |1799 |3229 | 0 | 0 | 40 | 0 | 4.950408e+06 | -- | Inf | unknown
0.49/0.54 c 0.5s| 1 | 0 | 1811 | - | 49M | 0 |1710 |1812 |3235 | 6 | 1 | 55 | 0 | 5.023650e+06 | -- | Inf | unknown
0.58/0.64 c 0.6s| 1 | 0 | 1858 | - | 52M | 0 |1710 |1812 |3241 | 12 | 2 | 55 | 0 | 5.030117e+06 | -- | Inf | unknown
0.58/0.69 c 0.7s| 1 | 0 | 1908 | - | 56M | 0 |1710 |1812 |3245 | 16 | 3 | 55 | 0 | 5.043651e+06 | -- | Inf | unknown
0.78/0.86 c 0.9s| 1 | 0 | 1935 | - | 59M | 0 |1710 |1812 |3249 | 20 | 4 | 55 | 0 | 5.053898e+06 | -- | Inf | unknown
0.98/1.04 c 1.0s| 1 | 0 | 1973 | - | 64M | 0 |1710 |1812 |3256 | 27 | 5 | 55 | 0 | 5.064649e+06 | -- | Inf | unknown
1.08/1.12 c 1.1s| 1 | 0 | 2019 | - | 68M | 0 |1710 |1812 |3260 | 31 | 6 | 56 | 0 | 5.074966e+06 | -- | Inf | unknown
1.08/1.19 c 1.2s| 1 | 0 | 2051 | - | 72M | 0 |1710 |1812 |3265 | 36 | 7 | 56 | 0 | 5.077672e+06 | -- | Inf | unknown
1.17/1.29 c 1.3s| 1 | 0 | 2109 | - | 76M | 0 |1710 |1812 |3270 | 41 | 8 | 56 | 0 | 5.083763e+06 | -- | Inf | unknown
1.38/1.40 c 1.4s| 1 | 0 | 2156 | - | 81M | 0 |1710 |1812 |3276 | 47 | 9 | 56 | 0 | 5.088005e+06 | -- | Inf | unknown
1.47/1.52 c 1.5s| 1 | 0 | 2178 | - | 87M | 0 |1710 |1817 |3279 | 50 | 10 | 61 | 0 | 5.089115e+06 | -- | Inf | unknown
1.47/1.54 c 1.5s| 1 | 0 | 2210 | - | 87M | 0 |1710 |1819 |3283 | 54 | 11 | 63 | 0 | 5.091281e+06 | -- | Inf | unknown
1.47/1.55 c 1.6s| 1 | 0 | 2230 | - | 88M | 0 |1710 |1819 |3285 | 56 | 12 | 63 | 0 | 5.093258e+06 | -- | Inf | unknown
1.47/1.57 c 1.6s| 1 | 0 | 2271 | - | 88M | 0 |1710 |1819 |3288 | 59 | 13 | 63 | 0 | 5.097968e+06 | -- | Inf | unknown
1.47/1.58 c 1.6s| 1 | 0 | 2311 | - | 89M | 0 |1710 |1819 |3292 | 63 | 14 | 63 | 0 | 5.101884e+06 | -- | Inf | unknown
1.47/1.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.47/1.60 c 1.6s| 1 | 0 | 2339 | - | 89M | 0 |1710 |1822 |3297 | 68 | 15 | 66 | 0 | 5.107747e+06 | -- | Inf | unknown
1.57/1.61 c 1.6s| 1 | 0 | 2370 | - | 89M | 0 |1710 |1823 |3301 | 72 | 16 | 67 | 0 | 5.110336e+06 | -- | Inf | unknown
1.57/1.63 c 1.6s| 1 | 0 | 2391 | - | 90M | 0 |1710 |1826 |3297 | 74 | 17 | 70 | 0 | 5.115070e+06 | -- | Inf | unknown
1.57/1.64 c 1.6s| 1 | 0 | 2407 | - | 90M | 0 |1710 |1826 |3300 | 77 | 18 | 70 | 0 | 5.118253e+06 | -- | Inf | unknown
1.57/1.66 c 1.7s| 1 | 0 | 2420 | - | 90M | 0 |1710 |1826 |3302 | 79 | 19 | 70 | 0 | 5.120631e+06 | -- | Inf | unknown
1.57/1.67 c 1.7s| 1 | 0 | 2435 | - | 90M | 0 |1710 |1826 |3305 | 82 | 20 | 70 | 0 | 5.121183e+06 | -- | Inf | unknown
1.57/1.69 c 1.7s| 1 | 0 | 2447 | - | 90M | 0 |1710 |1828 |3306 | 83 | 21 | 72 | 0 | 5.122063e+06 | -- | Inf | unknown
2.27/2.33 c 2.3s| 1 | 2 | 4957 | - | 91M | 0 |1710 |1848 |3306 | 83 | 22 | 92 | 19 | 5.158288e+06 | -- | Inf | unknown
7.46/7.53 o 27002520
7.46/7.53 c * 7.5s| 28 | 26 | 8102 | 209.4 | LP | 14 |1710 |1859 |3373 | 229 | 2 | 104 | 348 | 5.158288e+06 | 2.700252e+07 | 423.48%| unknown
11.15/11.27 o 9088986
11.15/11.27 c *11.3s| 62 | 34 | 12650 | 167.3 | LP | 17 |1710 |1944 |3410 | 483 | 7 | 194 | 628 | 5.160668e+06 | 9.088986e+06 | 76.12%| 1.19%
11.24/11.39 o 6199908
11.24/11.39 c *11.4s| 63 | 20 | 12751 | 166.2 |strongbr| 17 |1710 |1930 |3410 | 495 | 8 | 194 | 636 | 5.160668e+06 | 6.199908e+06 | 20.14%| 9.74%
11.74/11.80 o 6129352
11.74/11.80 c *11.8s| 69 | 22 | 13388 | 160.9 |strongbr| 17 |1710 |1947 |3396 | 539 | 11 | 217 | 668 | 5.160668e+06 | 6.129352e+06 | 18.77%| 10.55%
11.84/11.95 o 6057212
11.84/11.95 c *12.0s| 70 | 23 | 13527 | 160.6 |strongbr| 17 |1710 |1962 |3396 | 548 | 5 | 232 | 687 | 5.160668e+06 | 6.057212e+06 | 17.37%| 10.55%
12.94/13.04 o 6026816
12.94/13.04 c *13.0s| 96 | 30 | 15844 | 141.0 |strongbr| 17 |1710 |1992 |3398 | 708 | 3 | 273 | 751 | 5.160668e+06 | 6.026816e+06 | 16.78%| 16.96%
13.13/13.29 c 13.3s| 100 | 32 | 16233 | 139.3 | 126M | 17 |1710 |1990 |3411 | 760 | 0 | 274 | 763 | 5.160668e+06 | 6.026816e+06 | 16.78%| 17.06%
13.43/13.56 o 6000308
13.43/13.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.43/13.56 c *13.6s| 115 | 35 | 17055 | 128.1 |strongbr| 18 |1710 |2016 |3429 | 806 | 6 | 304 | 785 | 5.160668e+06 | 6.000308e+06 | 16.27%| 19.68%
13.83/13.92 o 5989486
13.83/13.92 c *13.9s| 125 | 39 | 17992 | 125.4 |strongbr| 18 |1710 |2009 |3499 | 896 | 9 | 312 | 795 | 5.160668e+06 | 5.989486e+06 | 16.06%| 20.40%
15.53/15.65 c 15.7s| 200 | 62 | 22598 | 101.3 | 138M | 20 |1710 |2093 |3483 |1242 | 2 | 411 | 870 | 5.163581e+06 | 5.989486e+06 | 15.99%| 28.97%
17.51/17.63 c 17.6s| 300 | 83 | 28140 | 85.9 | 143M | 22 |1710 |2193 |3478 |1619 | 1 | 543 | 958 | 5.163581e+06 | 5.989486e+06 | 15.99%| 29.29%
19.61/19.78 c 19.8s| 400 | 105 | 35499 | 82.8 | 150M | 22 |1710 |2238 |3528 |2134 | 3 | 600 |1025 | 5.268848e+06 | 5.989486e+06 | 13.68%| 29.74%
20.81/20.96 c 21.0s| 500 | 127 | 39337 | 73.9 | 152M | 32 |1710 |2271 |3473 |2300 | 3 | 652 |1068 | 5.270041e+06 | 5.989486e+06 | 13.65%| 31.13%
21.11/21.21 o 5944278
21.11/21.21 c *21.2s| 532 | 126 | 40356 | 71.4 | LP | 32 |1710 |2300 |3522 |2333 | 2 | 683 |1081 | 5.295711e+06 | 5.944278e+06 | 12.25%| 31.44%
21.91/22.01 o 5924474
21.91/22.01 c *22.0s| 600 | 130 | 43327 | 68.2 |strongbr| 32 |1710 |2300 |3556 |2463 | 3 | 723 |1109 | 5.295711e+06 | 5.924474e+06 | 11.87%| 33.77%
21.91/22.08 o 5900212
21.91/22.08 c *22.1s| 604 | 128 | 43516 | 68.1 | LP | 32 |1710 |2298 |3573 |2466 | 2 | 729 |1115 | 5.295711e+06 | 5.900212e+06 | 11.41%| 35.07%
22.90/23.08 c 23.1s| 700 | 132 | 47469 | 64.4 | 154M | 32 |1710 |2314 |3527 |2594 | 1 | 782 |1175 | 5.309753e+06 | 5.900212e+06 | 11.12%| 37.97%
24.09/24.22 c 24.2s| 800 | 128 | 51812 | 61.8 | 155M | 32 |1710 |2375 |3481 |2766 | 2 | 931 |1262 | 5.309753e+06 | 5.900212e+06 | 11.12%| 39.63%
25.79/25.94 c 25.9s| 900 | 116 | 57418 | 61.1 | 165M | 32 |1710 |2309 |3591 |3148 | 0 |1025 |1309 | 5.337959e+06 | 5.900212e+06 | 10.53%| 49.40%
27.48/27.67 c 27.7s| 1000 | 97 | 63097 | 60.7 | 176M | 32 |1710 |2187 |3595 |3440 | 0 |1124 |1384 | 5.400283e+06 | 5.900212e+06 | 9.26%| 67.50%
29.37/29.52 c 29.5s| 1100 | 77 | 67243 | 59.0 | 184M | 32 |1710 |1337 |3649 |3763 | 4 |1283 |1449 | 5.451926e+06 | 5.900212e+06 | 8.22%| 77.05%
29.87/30.07 c
29.87/30.07 c SCIP Status : problem is solved [optimal solution found]
29.87/30.07 c Solving Time (sec) : 30.07
29.87/30.07 c Solving Nodes : 1182
29.87/30.07 c Primal Bound : +5.90021200000000e+06 (11 solutions)
29.87/30.07 c Dual Bound : +5.90021200000000e+06
29.87/30.07 c Gap : 0.00 %
29.87/30.07 s OPTIMUM FOUND
29.87/30.07 v -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3078 -x3079 -x3080 -x3081
29.87/30.07 v -x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 x3094 -x3095 x3096 -x3097 -x3098 -x3099 -x3100 -x3101
29.87/30.07 v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121
29.87/30.07 v -x3122 -x3123 -x3124 -x3126 -x3127 -x3128 x3129 -x3130 x3131 -x3132 -x3133 x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3142
29.87/30.07 v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3158 -x3159 -x3160 -x3161 x3162
29.87/30.07 v -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180 -x3181 -x3182
29.87/30.07 v -x3183 -x3184 x3185 -x3186 -x3187 -x3188 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
29.87/30.07 v -x2978 -x2979 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2997 -x2998
29.87/30.07 v -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 x3007 -x3008 -x3009 x3010 -x3011 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018
29.87/30.07 v -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038
29.87/30.07 v -x3039 -x3040 -x3041 -x3042 -x3043 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058
29.87/30.07 v -x3059 -x2837 -x2838 x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2853 -x2854 -x2855
29.87/30.07 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
29.87/30.07 v -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2885 x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895
29.87/30.07 v -x2896 -x2897 -x2898 -x2899 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 -x2912 -x2913 x2914 -x2915
29.87/30.07 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2933 -x2934 x2935 -x2936
29.87/30.07 v -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956
29.87/30.07 v -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2965 x2966 -x2967 -x2968 x2969 -x2970 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751
29.87/30.07 v x2752 -x2753 -x2754 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2772
29.87/30.07 v -x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2788 -x2789 -x2790 -x2791 -x2792
29.87/30.07 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812
29.87/30.07 v -x2813 x2814 -x2815 x2816 -x2817 -x2818 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832
29.87/30.07 v -x2833 -x2834 -x3196 -x3197 x3198 -x3199 x3200 -x3201 -x3202 x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3302 -x3303
29.87/30.07 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323
29.87/30.07 v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 x3342 x3343
29.87/30.07 v -x3344 -x3345 -x3346 -x3347 -x3348 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 x3363
29.87/30.07 v -x3364 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3382 -x3383 -x3384
29.87/30.07 v -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404
29.87/30.07 v -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3414 -x3415 -x3416 x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424
29.87/30.07 v -x3425 -x3426 -x3427 -x3428 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219
29.87/30.07 v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3237 -x3238 -x3239 -x3240
29.87/30.07 v -x3241 -x3242 x3243 -x3244 -x3245 -x3246 -x3247 x3248 -x3249 -x3250 -x3251 x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 x3260
29.87/30.07 v -x3261 -x3262 x3263 -x3264 -x3265 -x3266 x3267 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
29.87/30.07 v -x3281 -x3282 -x3283 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x1
29.87/30.07 v -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x3061 -x3077 -x3093 -x3109 -x3125 -x3141 -x3157 -x3173 -x3189 -x2980
29.87/30.07 v -x2996 -x3012 -x3028 -x3044 -x3060 -x3301 -x3317 -x3333 -x3349 -x3365 -x3381 -x3397 -x3413 -x3429 -x3220 -x3236 -x3252 -x3268 -x3284
29.87/30.07 v -x3300 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203
29.87/30.07 v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222
29.87/30.07 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241
29.87/30.07 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
29.87/30.07 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
29.87/30.07 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116
29.87/30.07 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135
29.87/30.07 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154
29.87/30.07 v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173
29.87/30.07 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374
29.87/30.07 v -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393
29.87/30.07 v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412
29.87/30.07 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431
29.87/30.07 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
29.87/30.07 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469
29.87/30.07 v -x1470 -x1471 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306
29.87/30.07 v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325
29.87/30.07 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344
29.87/30.07 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363
29.87/30.07 v -x1364 -x1365 -x1366 -x1367 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564
29.87/30.07 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
29.87/30.07 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602
29.87/30.07 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621
29.87/30.07 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
29.87/30.07 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477
29.87/30.07 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496
29.87/30.07 v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
29.87/30.07 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
29.87/30.07 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1732 x1733 -x1734 -x1735
29.87/30.07 v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754
29.87/30.07 v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773
29.87/30.07 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792
29.87/30.07 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811
29.87/30.07 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
29.87/30.07 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667
29.87/30.07 v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686
29.87/30.07 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
29.87/30.07 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724
29.87/30.07 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925
29.87/30.07 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944
29.87/30.07 v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963
29.87/30.07 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982
29.87/30.07 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001
29.87/30.07 v -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x1836 -x1837 -x1838
29.87/30.07 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857
29.87/30.07 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876
29.87/30.07 v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895
29.87/30.07 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x2096
29.87/30.07 v x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
29.87/30.07 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134
29.87/30.07 v -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153
29.87/30.07 v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172
29.87/30.07 v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191
29.87/30.07 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028
29.87/30.07 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
29.87/30.07 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066
29.87/30.07 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085
29.87/30.07 v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286
29.87/30.07 v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
29.87/30.07 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324
29.87/30.07 v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343
29.87/30.07 v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362
29.87/30.07 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381
29.87/30.07 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218
29.87/30.07 v -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237
29.87/30.07 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256
29.87/30.07 v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275
29.87/30.07 v -x2276 -x2277 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476
29.87/30.07 v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495
29.87/30.07 v -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514
29.87/30.07 v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533
29.87/30.07 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552
29.87/30.07 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389
29.87/30.07 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
29.87/30.07 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427
29.87/30.07 v -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446
29.87/30.07 v -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647
29.87/30.07 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666
29.87/30.07 v -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685
29.87/30.07 v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704
29.87/30.07 v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723
29.87/30.07 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742
29.87/30.07 v -x2743 -x2744 -x2745 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
29.87/30.07 v -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598
29.87/30.07 v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617
29.87/30.07 v -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636
29.87/30.07 v -x2637 -x2638 -x2639 -x2640 -x2641 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
29.87/30.07 v -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121
29.87/30.07 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143
29.87/30.07 v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
29.87/30.07 v -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
29.87/30.07 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29
29.87/30.07 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55
29.87/30.07 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x263
29.87/30.07 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285
29.87/30.07 v -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307
29.87/30.07 v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329
29.87/30.07 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351
29.87/30.07 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373
29.87/30.07 v -x374 -x375 -x376 -x377 -x378 -x379 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
29.87/30.07 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235
29.87/30.07 v -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
29.87/30.07 v -x258 -x259 -x260 -x261 -x262 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
29.87/30.07 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
29.87/30.07 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
29.87/30.07 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527
29.87/30.07 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
29.87/30.07 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389
29.87/30.07 v -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411
29.87/30.07 v -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433
29.87/30.07 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637
29.87/30.07 v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659
29.87/30.07 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681
29.87/30.07 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703
29.87/30.07 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725
29.87/30.07 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x562 -x563 -x564 -x565
29.87/30.07 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
29.87/30.07 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
29.87/30.07 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x809 -x810 -x811 -x812 -x813
29.87/30.07 v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835
29.87/30.07 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
29.87/30.07 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
29.87/30.07 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901
29.87/30.07 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923
29.87/30.07 v -x924 -x925 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763
29.87/30.07 v -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
29.87/30.07 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807
29.87/30.07 v -x808 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009
29.87/30.07 v x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028
29.87/30.07 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
29.87/30.07 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066
29.87/30.07 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085
29.87/30.07 v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104
29.87/30.07 v -x1105 -x1106 -x1107 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943
29.87/30.07 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
29.87/30.07 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
29.87/30.07 v -x988 -x989 -x990 -x2836 -x2852 -x2868 -x2884 -x2900 -x2916 -x2932 -x2948 -x2964 -x2755 -x2771 -x2787 -x2803 -x2819 -x2835
29.87/30.07 c SCIP Status : problem is solved [optimal solution found]
29.87/30.07 c Total Time : 30.07
29.87/30.07 c solving : 30.07
29.87/30.07 c presolving : 0.15 (included in solving)
29.87/30.07 c reading : 0.02 (included in solving)
29.87/30.07 c copying : 0.09 (16 #copies) (minimal 0.00, maximal 0.01, average 0.01)
29.87/30.07 c Original Problem :
29.87/30.07 c Problem name : HOME/instance-4505043-1751450332.opb
29.87/30.07 c Variables : 3435 (3435 binary, 0 integer, 0 continuous)
29.87/30.07 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
29.87/30.07 c Constraints : 6802 initial, 6802 maximal
29.87/30.07 c Objective : minimize, 645 non-zeros (abs.min = 1, abs.max = 6.8921e+07)
29.87/30.07 c Presolved Problem :
29.87/30.07 c Problem name : t_HOME/instance-4505043-1751450332.opb
29.87/30.07 c Variables : 1710 (1710 binary, 0 integer, 0 continuous)
29.87/30.07 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
29.87/30.07 c Constraints : 1759 initial, 2381 maximal
29.87/30.07 c Objective : minimize, 315 non-zeros (abs.min = 1089, abs.max = 6.8921e+07)
29.87/30.07 c Nonzeros : 7605 constraint, 3623 clique table
29.87/30.07 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
29.87/30.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.87/30.07 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.87/30.07 c gateextraction : 0.02 0.00 4 0 0 0 0 0 11130 2940 0 0
29.87/30.07 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
29.87/30.07 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
29.87/30.07 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.87/30.07 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
29.87/30.07 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
29.87/30.07 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
29.87/30.07 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
29.87/30.07 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
29.87/30.07 c knapsack : 0.03 0.00 13 0 0 0 0 0 2940 8190 0 0
29.87/30.07 c setppc : 0.01 0.00 13 0 0 0 0 0 0 0 0 0
29.87/30.07 c and : 0.02 0.00 6 0 1365 0 0 0 1470 0 0 0
29.87/30.07 c linear : 0.03 0.00 9 45 315 0 45 0 633 0 105 315
29.87/30.07 c logicor : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
29.87/30.07 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.87/30.07 c root node : - - - 1425 - - 1425 - - - - -
29.87/30.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
29.87/30.07 c integral : 0 0 0 0 956 0 0 117 0 0 1985 0 0 835 1264
29.87/30.07 c knapsack : 150+ 152 22 16688 4 0 0 111 3269 50 3393 45 8 0 0
29.87/30.07 c setppc : 16+ 171 22 15315 2 0 0 19 949 14 1087 0 0 0 0
29.87/30.07 c and : 1470 1470 2548 16621 4 0 0 16 4491 28 126468 2570 1573 0 0
29.87/30.07 c linear : 3+ 61 22 16596 4 0 0 16 583 29 640 0 0 0 0
29.87/30.07 c logicor : 120+ 748 22 6491 4 0 0 13 3428 89 3912 0 0 0 0
29.87/30.07 c fixedvar : 0 0 0 0 4 0 0 15 0 0 0 0 0 0 0
29.87/30.07 c countsols : 0 0 0 0 4 0 0 15 0 0 0 0 0 0 0
29.87/30.07 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
29.87/30.07 c integral : 11.72 0.00 0.00 0.00 11.72 0.00 0.00 0.00 0.00 0.00
29.87/30.07 c knapsack : 0.08 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.03
29.87/30.07 c setppc : 0.02 0.00 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.01
29.87/30.07 c and : 1.49 0.00 0.66 0.47 0.00 0.00 0.00 0.00 0.00 0.36
29.87/30.07 c linear : 0.06 0.00 0.01 0.03 0.00 0.00 0.00 0.00 0.00 0.01
29.87/30.07 c logicor : 0.09 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.02
29.87/30.07 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.87/30.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.87/30.07 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.87/30.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
29.87/30.07 c dualfix : 1 0 0 0
29.87/30.07 c genvbounds : 0 0 0 0
29.87/30.07 c nlobbt : 0 0 0 0
29.87/30.07 c obbt : 0 0 0 0
29.87/30.07 c probing : 0 0 0 0
29.87/30.07 c pseudoobj : 8538 98 23 1297
29.87/30.07 c redcost : 5495 0 0 13473
29.87/30.07 c rootredcost : 12 0 0 251
29.87/30.07 c symmetry : 0 0 0 0
29.87/30.07 c vbounds : 9895 0 0 0
29.87/30.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
29.87/30.07 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
29.87/30.07 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
29.87/30.07 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
29.87/30.07 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
29.87/30.07 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
29.87/30.07 c pseudoobj : 0.03 0.00 0.00 0.02 0.01 0.00
29.87/30.07 c redcost : 0.19 0.00 0.00 0.19 0.00 0.00
29.87/30.07 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
29.87/30.07 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
29.87/30.07 c vbounds : 0.03 0.00 0.00 0.02 0.00 0.00
29.87/30.07 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
29.87/30.07 c propagation : 0.02 215 209 - 745 27.6 9 22.1 - - -
29.87/30.07 c infeasible LP : 0.01 19 19 - 86 47.1 0 0.0 19 64.1 0
29.87/30.07 c bound exceed. LP : 0.51 646 215 - 1073 27.8 1 11.0 58 226.8 3679
29.87/30.07 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
29.87/30.07 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
29.87/30.07 c applied globally : 0.01 - - 3 1290 26.8 - - 74 - -
29.87/30.07 c applied locally : - - - 0 0 0.0 - - 3 - -
29.87/30.07 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
29.87/30.07 c cut pool : 0.77 - 1066 41 - - 15666 36111 - - - - - (maximal pool size: 3686)
29.87/30.07 c aggregation : 0.50 0.00 566 22 0 0 31 87 0 34 34 0 0
29.87/30.07 c > cmir : - - - - - - - 23 0 2 2 0 -
29.87/30.07 c > flowcover : - - - - - - - 22 0 7 7 0 -
29.87/30.07 c > knapsackcover : - - - - - - - 42 0 25 25 0 -
29.87/30.07 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c clique : 0.01 0.00 22 22 0 0 0 0 0 0 0 0 0
29.87/30.07 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c gomory : 3.80 0.00 264 10 0 0 14730 32992 50 531 531 0 0
29.87/30.07 c > gomorymi : - - - - - - - 18358 29 332 332 0 -
29.87/30.07 c > strongcg : - - - - - - - 14634 21 199 199 0 -
29.87/30.07 c impliedbounds : 0.12 0.00 566 22 0 0 567 949 0 849 849 0 0
29.87/30.07 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
29.87/30.07 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c multilinear : 0.00 0.00 182 22 0 0 0 0 0 0 0 0 0
29.87/30.07 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.87/30.07 c rapidlearning : 0.12 0.00 3 1 0 132 0 0 0 0 0 0 0
29.87/30.07 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
29.87/30.07 c zerohalf : 0.31 0.00 274 20 0 0 394 2083 6 805 802 3 0
29.87/30.07 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
29.87/30.07 c hybrid : 0.04 0.00 1197 21 3800 0 34982 83 0 3715
29.87/30.07 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c Pricers : ExecTime SetupTime Calls Vars
29.87/30.07 c problem variables: 0.00 - 0 0
29.87/30.07 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
29.87/30.07 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c random : 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c relpscost : 11.72 0.00 952 0 0 0 1985 0 879 1264
29.87/30.07 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
29.87/30.07 c Primal Heuristics : ExecTime SetupTime Calls Found Best
29.87/30.07 c LP solutions : 0.00 - - 4 4
29.87/30.07 c relax solutions : 0.00 - - 0 0
29.87/30.07 c pseudo solutions : 0.00 - - 0 0
29.87/30.07 c strong branching : 0.01 - - 7 7
29.87/30.07 c actconsdiving : 0.00 0.00 0 0 0
29.87/30.07 c adaptivediving : 0.00 0.00 1 0 0
29.87/30.07 c alns : 0.16 0.00 5 0 0
29.87/30.07 c bound : 0.00 0.00 0 0 0
29.87/30.07 c clique : 0.02 0.00 1 0 0
29.87/30.07 c coefdiving : 0.00 0.00 0 0 0
29.87/30.07 c completesol : 0.00 0.00 0 0 0
29.87/30.07 c conflictdiving : 0.07 0.00 1 0 0
29.87/30.07 c crossover : 0.04 0.00 2 0 0
29.87/30.07 c dins : 0.00 0.00 0 0 0
29.87/30.07 c distributiondivin: 0.03 0.00 0 0 0
29.87/30.07 c dks : 0.00 0.00 0 0 0
29.87/30.07 c dps : 0.00 0.00 0 0 0
29.87/30.07 c dualval : 0.00 0.00 0 0 0
29.87/30.07 c farkasdiving : 0.30 0.00 1 0 0
29.87/30.07 c feaspump : 0.10 0.00 1 0 0
29.87/30.07 c fixandinfer : 0.00 0.00 0 0 0
29.87/30.07 c fracdiving : 0.00 0.00 1 0 0
29.87/30.07 c gins : 0.00 0.00 0 0 0
29.87/30.07 c guideddiving : 0.00 0.00 0 0 0
29.87/30.07 c indicator : 0.00 0.00 0 0 0
29.87/30.07 c indicatordiving : 0.00 0.00 0 0 0
29.87/30.07 c intdiving : 0.00 0.00 0 0 0
29.87/30.07 c intshifting : 0.00 0.00 0 0 0
29.87/30.07 c linesearchdiving : 0.00 0.00 0 0 0
29.87/30.07 c localbranching : 0.00 0.00 0 0 0
29.87/30.07 c locks : 0.01 0.00 1 0 0
29.87/30.07 c lpface : 0.00 0.00 0 0 0
29.87/30.07 c mpec : 0.00 0.00 0 0 0
29.87/30.07 c multistart : 0.00 0.00 0 0 0
29.87/30.07 c mutation : 0.00 0.00 0 0 0
29.87/30.07 c nlpdiving : 0.00 0.00 0 0 0
29.87/30.07 c objpscostdiving : 0.00 0.00 0 0 0
29.87/30.07 c octane : 0.00 0.00 0 0 0
29.87/30.07 c ofins : 0.00 0.00 0 0 0
29.87/30.07 c oneopt : 0.01 0.00 11 0 0
29.87/30.07 c padm : 0.00 0.00 0 0 0
29.87/30.07 c proximity : 0.00 0.00 0 0 0
29.87/30.07 c pscostdiving : 0.07 0.00 1 0 0
29.87/30.07 c randrounding : 0.09 0.00 104 0 0
29.87/30.07 c rens : 0.02 0.00 1 0 0
29.87/30.07 c reoptsols : 0.00 0.00 0 0 0
29.87/30.07 c repair : 0.00 0.00 0 0 0
29.87/30.07 c rins : 0.12 0.00 5 0 0
29.87/30.07 c rootsoldiving : 0.00 0.00 0 0 0
29.87/30.07 c rounding : 0.06 0.00 602 0 0
29.87/30.07 c scheduler : 0.00 0.00 0 0 0
29.87/30.07 c shiftandpropagate: 0.01 0.00 1 0 0
29.87/30.07 c shifting : 0.11 0.00 345 0 0
29.87/30.07 c simplerounding : 0.00 0.00 0 0 0
29.87/30.07 c subnlp : 0.00 0.00 0 0 0
29.87/30.07 c trivial : 0.00 0.00 2 0 0
29.87/30.07 c trivialnegation : 0.00 0.00 0 0 0
29.87/30.07 c trustregion : 0.00 0.00 0 0 0
29.87/30.07 c trysol : 0.00 0.00 0 0 0
29.87/30.07 c twoopt : 0.00 0.00 0 0 0
29.87/30.07 c undercover : 0.05 0.00 1 0 0
29.87/30.07 c vbounds : 0.04 0.00 1 0 0
29.87/30.07 c veclendiving : 0.01 0.00 1 0 0
29.87/30.07 c zeroobj : 0.00 0.00 0 0 0
29.87/30.07 c zirounding : 0.03 0.00 632 0 0
29.87/30.07 c other solutions : - - - 0 -
29.87/30.07 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
29.87/30.07 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
29.87/30.07 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
29.87/30.07 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
29.87/30.07 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
29.87/30.07 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
29.87/30.07 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
29.87/30.07 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
29.87/30.07 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
29.87/30.07 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
29.87/30.07 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
29.87/30.07 c primal LP : 0.08 166 0 0.00 0.00 0.08 166
29.87/30.07 c dual LP : 7.21 4332 62507 24.21 8674.96 0.99 1750
29.87/30.07 c lex dual LP : 0.00 0 0 0.00 -
29.87/30.07 c barrier LP : 0.00 0 0 0.00 - 0.00 0
29.87/30.07 c resolve instable : 0.00 0 0 0.00 -
29.87/30.07 c diving/probing LP: 0.80 493 6482 13.15 8097.91
29.87/30.07 c strong branching : 8.98 1466 103702 70.74 11550.83 - - 142
29.87/30.07 c (at root node) : - 19 2291 120.58 -
29.87/30.07 c conflict analysis: 0.29 380 3679 9.68 12874.12
29.87/30.07 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
29.87/30.07 c benders : 0.00 0 0 0 0.00 0 0 0
29.87/30.07 c B&B Tree :
29.87/30.07 c number of runs : 1
29.87/30.07 c nodes : 1182 (632 internal, 550 leaves)
29.87/30.07 c feasible leaves : 4
29.87/30.07 c infeas. leaves : 91
29.87/30.07 c objective leaves : 455
29.87/30.07 c nodes (total) : 1182 (632 internal, 550 leaves)
29.87/30.07 c nodes left : 0
29.87/30.07 c max depth : 32
29.87/30.07 c max depth (total): 32
29.87/30.07 c backtracks : 279 (23.6%)
29.87/30.07 c early backtracks : 0 (0.0%)
29.87/30.07 c nodes exc. ref. : 0 (0.0%)
29.87/30.07 c delayed cutoffs : 45
29.87/30.07 c repropagations : 573 (10353 domain reductions, 5 cutoffs)
29.87/30.07 c avg switch length: 5.69
29.87/30.07 c switching time : 0.67
29.87/30.07 c Root Node :
29.87/30.07 c First LP value : +4.95040801282051e+06
29.87/30.07 c First LP Iters : 482 (18945.80 Iter/sec)
29.87/30.07 c First LP Time : 0.03
29.87/30.07 c Final Dual Bound : +5.15828840000000e+06
29.87/30.07 c Final Root Iters : 2447
29.87/30.07 c Root LP Estimate : +5.98956572740614e+06
29.87/30.07 c Solution :
29.87/30.07 c Solutions found : 11 (11 improvements)
29.87/30.07 c First Solution : +2.70025200000000e+07 (in run 1, after 28 nodes, 7.53 seconds, depth 13, found by <relaxation>)
29.87/30.07 c Gap First Sol. : 423.48 %
29.87/30.07 c Gap Last Sol. : 11.41 %
29.87/30.07 c Primal Bound : +5.90021200000000e+06 (in run 1, after 604 nodes, 22.08 seconds, depth 18, found by <relaxation>)
29.87/30.07 c Dual Bound : +5.90021200000000e+06
29.87/30.07 c Gap : 0.00 %
29.87/30.07 c Integrals : Total Avg%
29.87/30.07 c primal-dual : 1277.78 42.50
29.87/30.07 c primal-ref : - - (not evaluated)
29.87/30.07 c dual-ref : - - (not evaluated)
29.97/30.11 c Time complete (sec): 29.993
OK 5900212
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (58042 MiB free)
memory of node 1: 64465 MiB (55519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505043-1751450332/watcher-4505043-1751450332 -o /tmp/evaluation-result-4505043-1751450332/solver-4505043-1751450332 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751446725-63284 --watchdog 3760 pbsolver -f HOME/instance-4505043-1751450332.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63739, runsolver pid=63736
[startup+0.100065 s]*
/proc/loadavg: 4.13 4.10 4.09 4/258 63742
/proc/meminfo: memFree=116319716/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=52964 memory=43836 CPUtime=0.09 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 9981 0 0 0 8 1 0 0 20 0 1 0 60707704 54235136 10959 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 13241 10959 2560 2575 0 10148 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52964 KiB
Current children cumulated memory: 43836 KiB
[startup+0.205791 s]*
/proc/loadavg: 4.13 4.10 4.09 5/260 63746
/proc/meminfo: memFree=116275560/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=67844 memory=55316 CPUtime=0.19 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 13163 0 0 0 18 1 0 0 20 0 1 0 60707704 69472256 13829 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 16961 13829 2624 2575 0 13868 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67844 KiB
Current children cumulated memory: 55316 KiB
[startup+0.305762 s]*
/proc/loadavg: 4.13 4.10 4.09 5/258 63747
/proc/meminfo: memFree=116275560/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=70876 memory=58260 CPUtime=0.29 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 13894 0 0 0 28 1 0 0 20 0 1 0 60707704 72577024 14565 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 17719 14565 2656 2575 0 14626 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70876 KiB
Current children cumulated memory: 58260 KiB
[startup+0.700178 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 63756
/proc/meminfo: memFree=116181368/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=89276 memory=75328 CPUtime=0.68 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 19641 0 0 0 66 2 0 0 20 0 1 0 60707704 91418624 18832 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 22319 18832 2656 2575 0 19226 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89276 KiB
Current children cumulated memory: 75328 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 63756
/proc/meminfo: memFree=115890836/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=109764 memory=94656 CPUtime=1.47 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 24486 0 0 0 144 3 0 0 20 0 1 0 60707704 112398336 23664 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 27441 23664 2656 2575 0 24348 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 109764 KiB
Current children cumulated memory: 94656 KiB
[startup+3.1057 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 63756
/proc/meminfo: memFree=114717900/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=128388 memory=108864 CPUtime=3.08 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 28034 0 0 0 304 4 0 0 20 0 1 0 60707704 131469312 27216 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 32097 27216 2656 2575 0 29004 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 128388 KiB
Current children cumulated memory: 108864 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 63756
/proc/meminfo: memFree=114545700/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=131296 memory=113216 CPUtime=6.26 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 29140 0 0 0 622 4 0 0 20 0 1 0 60707704 134447104 28304 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 32824 28304 2656 2575 0 29731 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 131296 KiB
Current children cumulated memory: 113216 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 63756
/proc/meminfo: memFree=114708928/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=150360 memory=124992 CPUtime=12.64 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 32070 0 0 0 1259 5 0 0 20 0 1 0 60707704 153968640 31248 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 37590 31248 2656 2575 0 34497 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 150360 KiB
Current children cumulated memory: 124992 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 63756
/proc/meminfo: memFree=114001936/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=190696 memory=161496 CPUtime=25.39 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 41239 0 0 0 2532 7 0 0 20 0 1 0 60707704 195272704 40374 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 47674 40374 2944 2575 0 44581 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 190696 KiB
Current children cumulated memory: 161496 KiB
[startup+30.1213 s]
# the end of solver process 63739 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=29.9026 s, system=0.099625 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 63756
/proc/meminfo: memFree=114001936/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=190696 memory=161624 CPUtime=25.49 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 41253 0 0 0 2542 7 0 0 20 0 1 0 60707704 195272704 40406 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 47674 40406 2944 2575 0 44581 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 190696 KiB
Current children cumulated memory: 161624 KiB
[startup+27.2002 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 63756
/proc/meminfo: memFree=114007120/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=195988 memory=164184 CPUtime=27.09 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 41902 0 0 0 2701 8 0 0 20 0 1 0 60707704 200691712 41046 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 48997 41046 2944 2575 0 45904 0
Current children cumulated CPU time: 27.09 s
Current children cumulated vsize: 195988 KiB
Current children cumulated memory: 164184 KiB
[startup+28.8001 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 63756
/proc/meminfo: memFree=114019404/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=203928 memory=168536 CPUtime=28.68 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 42986 0 0 0 2860 8 0 0 20 0 1 0 60707704 208822272 42134 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 50982 42134 2944 2575 0 47889 0
Current children cumulated CPU time: 28.68 s
Current children cumulated vsize: 203928 KiB
Current children cumulated memory: 168536 KiB
[startup+29.6002 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 63756
/proc/meminfo: memFree=114017484/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=208392 memory=171096 CPUtime=29.47 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 43618 0 0 0 2939 8 0 0 20 0 1 0 60707704 213393408 42774 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 52098 42774 2944 2575 0 49005 0
Current children cumulated CPU time: 29.47 s
Current children cumulated vsize: 208392 KiB
Current children cumulated memory: 171096 KiB
[startup+30.0002 s]*
/proc/loadavg: 4.08 4.09 4.09 5/263 63756
/proc/meminfo: memFree=114021580/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=209300 memory=171608 CPUtime=29.87 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 43751 0 0 0 2979 8 0 0 20 0 1 0 60707704 214323200 42902 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 52325 42902 2944 2575 0 49232 0
Current children cumulated CPU time: 29.87 s
Current children cumulated vsize: 209300 KiB
Current children cumulated memory: 171608 KiB
[startup+30.1056 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 63756
/proc/meminfo: memFree=114021580/131249992 swapFree=33010160/33010684
[pid=63739] ppid=63736 vsize=208376 memory=171028 CPUtime=29.97 cores=5,7
/proc/63739/stat : 63739 (pbsolver) R 63736 63739 63271 0 -1 4194304 43816 0 0 0 2989 8 0 0 20 0 1 0 60707704 213377024 42757 18446744073709551615 4198400 14743177 140721786553584 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 23228416 140721786562954 140721786563050 140721786563050 140721786568652 0
/proc/63739/statm: 52094 42757 2944 2575 0 49001 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 208376 KiB
Current children cumulated memory: 171028 KiB
Child status: 0
Real time (s): 30.1214
CPU time (s): 30.0022
CPU user time (s): 29.9026
CPU system time (s): 0.099625
CPU usage (%): 99.6044
Max. virtual memory (cumulated for all children) (KiB): 209300
Max. memory (cumulated for all children) (KiB): 171608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.9026
system time used= 0.099625
maximum resident set size= 171864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43816
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= 3
involuntary context switches= 196
# summary of solver processes directly reported to runsolver:
# pid: 63739
# total CPU time (s): 30.0022
# total CPU user time (s): 29.9026
# total CPU system time (s): 0.099625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065084 second user time and 0.177566 second system time
The end
Begin job on nodeC035 at 2025-07-02 11:58:52 IDJOB=4505043 IDBENCH=155731 IDSOLVER=3366 FILE ID=nodeC035/4505043-1751450332 RUNJOBID= nodeC035-1751446725-63284 SLURM_JOB_ID= 9598423 Free space on /tmp= 432688 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat15_5_3_3_ic.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505043-1751450332/watcher-4505043-1751450332 -o /tmp/evaluation-result-4505043-1751450332/solver-4505043-1751450332 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751446725-63284 --watchdog 3760 pbsolver -f HOME/instance-4505043-1751450332.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e9221fba7963ffffb3bf7b90cd42a338 RANDOM SEED=1595780330 nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.810 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.912 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.904 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3610.776 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.750 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.933 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.026 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.757 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 116283940 kB MemAvailable: 121602472 kB Buffers: 1840 kB Cached: 6069960 kB SwapCached: 8 kB Active: 8198476 kB Inactive: 5778044 kB Active(anon): 7911184 kB Inactive(anon): 11588 kB Active(file): 287292 kB Inactive(file): 5766456 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 59928 kB Writeback: 12 kB AnonPages: 7907472 kB Mapped: 124468 kB Shmem: 18048 kB KReclaimable: 208048 kB Slab: 298052 kB SReclaimable: 208048 kB SUnreclaim: 90004 kB KernelStack: 4192 kB PageTables: 18708 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 9028644 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 931840 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432688 MiB End job on nodeC035 at 2025-07-02 11:59:22