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 | SAT | -139 | 3588.42 | 3597.18 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb |
| MD5SUM | fc228e1220654f2d8d37c5d03b9b5ad1 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -157 |
| Best CPU time to get the best result obtained on this benchmark | 3600.12 |
| 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 | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 47 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31622 |
| Sum of products size (including duplicates) | 63244 |
| Number of different products | 15811 |
| Sum of products size | 31622 |
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-4498153-1751268244.opb>
0.00/0.05 c original problem has 16811 variables (1000 bin, 0 int, 15811 cont) and 17811 constraints
0.00/0.05 c original problem has 15811 implied integral variables (0 bin, 0 int, 15811 cont)
0.00/0.05 c problem read in 0.048 seconds
0.10/0.11 o 0
0.10/0.11 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.10/0.11 c presolving:
0.10/0.16 c (round 1, fast) 15811 del vars, 1000 del conss, 0 add conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.10/0.18 c (round 2, fast) 15811 del vars, 1000 del conss, 0 add conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 15811 upgd conss, 0 impls, 0 clqs
0.20/0.21 c (round 3, medium) 15811 del vars, 17811 del conss, 0 add conss, 15811 chg bounds, 0 chg sides, 0 chg coeffs, 15811 upgd conss, 0 impls, 15810 clqs
0.20/0.27 c (0.3s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.20/0.27 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.20/0.27 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.20/0.28 c (0.3s) no symmetry present (symcode time: 0.00)
0.20/0.28 c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
0.20/0.28 c 15811 deleted vars, 17811 deleted constraints, 0 added constraints, 15811 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.20/0.28 c 0 implications, 15810 cliques
0.20/0.28 c presolved problem has 1000 variables (1000 bin, 0 int, 0 cont) and 15811 constraints
0.20/0.28 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.20/0.28 c 15811 constraints of type <setppc>
0.20/0.28 c transformed objective value is always integral (scale: 1)
0.20/0.28 c Presolving Time: 0.18
0.20/0.28 c
0.20/0.28 c - non default parameters ----------------------------------------------------------------------
0.20/0.28 c
0.20/0.28 c # SCIP version 10.0.0
0.20/0.28 c
0.20/0.28 c # maximal time in seconds to run
0.20/0.28 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.20/0.28 c limits/time = 3596.998014
0.20/0.28 c
0.20/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.28 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.20/0.28 c limits/memory = 27900
0.20/0.28 c
0.20/0.28 c # belongs reading time to solving time?
0.20/0.28 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.20/0.28 c timing/reading = TRUE
0.20/0.28 c
0.20/0.28 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.20/0.28 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.20/0.28 c reading/opbreader/maxintsize = 47
0.20/0.28 c
0.20/0.28 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.20/0.28 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.20/0.28 c propagating/genvbounds/timingmask = 0
0.20/0.28 c
0.20/0.28 c -----------------------------------------------------------------------------------------------
0.20/0.29 c transformed 1/1 original solutions to the transformed problem space
0.20/0.29 c
0.30/0.33 o -94
0.30/0.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.30/0.33 c p 0.3s| 1 | 0 | 0 | - | clique| 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-1.000000e+03 |-9.400000e+01 | 963.83%| unknown
0.30/0.34 o -130
0.30/0.34 c p 0.3s| 1 | 0 | 0 | - | locks| 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-1.000000e+03 |-1.300000e+02 | 669.23%| unknown
0.30/0.38 o -136
0.30/0.38 c i 0.4s| 1 | 0 | 107 | - | oneopt| 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-1.000000e+03 |-1.360000e+02 | 635.29%| unknown
0.39/0.43 c 0.4s| 1 | 0 | 1186 | - | 97M | 0 |1000 | 15k| 15k| 0 | 0 | 0 | 0 |-5.000000e+02 |-1.360000e+02 | 267.65%| unknown
0.69/0.76 c 0.8s| 1 | 0 | 2121 | - | 103M | 0 |1000 | 15k| 15k| 54 | 1 | 0 | 0 |-4.725000e+02 |-1.360000e+02 | 247.43%| unknown
0.99/1.09 c 1.1s| 1 | 0 | 3316 | - | 105M | 0 |1000 | 15k| 15k| 114 | 2 | 0 | 0 |-4.525000e+02 |-1.360000e+02 | 232.72%| unknown
1.49/1.52 c 1.5s| 1 | 0 | 4273 | - | 108M | 0 |1000 | 15k| 15k| 163 | 3 | 0 | 0 |-4.405000e+02 |-1.360000e+02 | 223.90%| unknown
1.99/2.05 c 2.0s| 1 | 0 | 5964 | - | 115M | 0 |1000 | 15k| 16k| 214 | 4 | 0 | 0 |-4.310000e+02 |-1.360000e+02 | 216.91%| unknown
2.58/2.69 c 2.7s| 1 | 0 | 8057 | - | 119M | 0 |1000 | 15k| 16k| 261 | 5 | 0 | 0 |-4.245000e+02 |-1.360000e+02 | 212.13%| unknown
3.28/3.35 c 3.4s| 1 | 0 | 10392 | - | 126M | 0 |1000 | 15k| 16k| 312 | 6 | 0 | 0 |-4.152500e+02 |-1.360000e+02 | 205.33%| unknown
4.08/4.10 c 4.1s| 1 | 0 | 12747 | - | 130M | 0 |1000 | 15k| 16k| 365 | 7 | 0 | 0 |-4.090000e+02 |-1.360000e+02 | 200.74%| unknown
4.87/4.97 c 5.0s| 1 | 0 | 16138 | - | 136M | 0 |1000 | 15k| 16k| 421 | 8 | 0 | 0 |-3.997500e+02 |-1.360000e+02 | 193.93%| unknown
6.17/6.25 c 6.2s| 1 | 0 | 20619 | - | 143M | 0 |1000 | 15k| 16k| 475 | 9 | 0 | 0 |-3.940000e+02 |-1.360000e+02 | 189.71%| unknown
7.57/7.63 c 7.6s| 1 | 0 | 25856 | - | 151M | 0 |1000 | 15k| 16k| 515 | 10 | 0 | 0 |-3.896786e+02 |-1.360000e+02 | 186.53%| unknown
8.67/8.70 c 8.7s| 1 | 0 | 30792 | - | 152M | 0 |1000 | 15k| 16k| 556 | 11 | 0 | 0 |-3.841818e+02 |-1.360000e+02 | 182.49%| unknown
9.97/10.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.97/10.00 c 10.0s| 1 | 0 | 36384 | - | 154M | 0 |1000 | 15k| 16k| 602 | 12 | 0 | 0 |-3.801068e+02 |-1.360000e+02 | 179.49%| unknown
10.86/10.98 c 11.0s| 1 | 0 | 40392 | - | 156M | 0 |1000 | 15k| 16k| 641 | 13 | 0 | 0 |-3.762575e+02 |-1.360000e+02 | 176.66%| unknown
12.07/12.11 c 12.1s| 1 | 0 | 45271 | - | 157M | 0 |1000 | 15k| 16k| 675 | 14 | 0 | 0 |-3.720567e+02 |-1.360000e+02 | 173.57%| unknown
13.36/13.44 c 13.4s| 1 | 0 | 51189 | - | 159M | 0 |1000 | 15k| 16k| 717 | 15 | 0 | 0 |-3.676975e+02 |-1.360000e+02 | 170.37%| unknown
14.16/14.29 c 14.3s| 1 | 0 | 54284 | - | 163M | 0 |1000 | 15k| 16k| 752 | 16 | 0 | 0 |-3.650063e+02 |-1.360000e+02 | 168.39%| unknown
15.06/15.18 c 15.2s| 1 | 0 | 57068 | - | 165M | 0 |1000 | 15k| 16k| 780 | 17 | 0 | 0 |-3.627830e+02 |-1.360000e+02 | 166.75%| unknown
16.06/16.18 c 16.2s| 1 | 0 | 60248 | - | 167M | 0 |1000 | 15k| 16k| 815 | 18 | 0 | 0 |-3.602019e+02 |-1.360000e+02 | 164.85%| unknown
17.05/17.13 c 17.1s| 1 | 0 | 63067 | - | 169M | 0 |1000 | 15k| 16k| 840 | 19 | 0 | 0 |-3.583288e+02 |-1.360000e+02 | 163.48%| unknown
18.05/18.15 c 18.1s| 1 | 0 | 66132 | - | 170M | 0 |1000 | 15k| 16k| 867 | 20 | 0 | 0 |-3.561127e+02 |-1.360000e+02 | 161.85%| unknown
18.64/18.72 c 18.7s| 1 | 0 | 67960 | - | 170M | 0 |1000 | 15k| 16k| 878 | 21 | 0 | 0 |-3.554318e+02 |-1.360000e+02 | 161.35%| unknown
19.05/19.11 c 19.1s| 1 | 0 | 69081 | - | 171M | 0 |1000 | 15k| 16k| 886 | 22 | 0 | 0 |-3.550731e+02 |-1.360000e+02 | 161.08%| unknown
19.54/19.62 c 19.6s| 1 | 0 | 70591 | - | 171M | 0 |1000 | 15k| 16k| 896 | 23 | 0 | 0 |-3.545952e+02 |-1.360000e+02 | 160.73%| unknown
19.95/20.06 c 20.1s| 1 | 0 | 71822 | - | 171M | 0 |1000 | 15k| 16k| 905 | 24 | 0 | 0 |-3.541411e+02 |-1.360000e+02 | 160.40%| unknown
20.44/20.55 c 20.5s| 1 | 0 | 73194 | - | 171M | 0 |1000 | 15k| 16k| 911 | 25 | 0 | 0 |-3.534920e+02 |-1.360000e+02 | 159.92%| unknown
20.84/20.96 c 21.0s| 1 | 0 | 74448 | - | 171M | 0 |1000 | 15k| 16k| 918 | 26 | 0 | 0 |-3.532084e+02 |-1.360000e+02 | 159.71%| unknown
21.24/21.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.24/21.30 c 21.3s| 1 | 0 | 75448 | - | 171M | 0 |1000 | 15k| 16k| 921 | 27 | 0 | 0 |-3.530018e+02 |-1.360000e+02 | 159.56%| unknown
21.74/21.81 c 21.8s| 1 | 0 | 76981 | - | 171M | 0 |1000 | 15k| 16k| 930 | 28 | 0 | 0 |-3.524886e+02 |-1.360000e+02 | 159.18%| unknown
22.24/22.33 c 22.3s| 1 | 0 | 78536 | - | 171M | 0 |1000 | 15k| 16k| 941 | 29 | 0 | 0 |-3.520639e+02 |-1.360000e+02 | 158.87%| unknown
22.73/22.84 c 22.8s| 1 | 0 | 79980 | - | 171M | 0 |1000 | 15k| 16k| 955 | 30 | 0 | 0 |-3.514063e+02 |-1.360000e+02 | 158.39%| unknown
23.33/23.40 c 23.4s| 1 | 0 | 81619 | - | 172M | 0 |1000 | 15k| 16k| 965 | 31 | 0 | 0 |-3.508531e+02 |-1.360000e+02 | 157.98%| unknown
23.63/23.75 c 23.7s| 1 | 0 | 82528 | - | 172M | 0 |1000 | 15k| 16k| 977 | 32 | 0 | 0 |-3.504664e+02 |-1.360000e+02 | 157.70%| unknown
24.04/24.18 c 24.2s| 1 | 0 | 83694 | - | 172M | 0 |1000 | 15k| 16k| 985 | 33 | 0 | 0 |-3.500832e+02 |-1.360000e+02 | 157.41%| unknown
24.53/24.64 c 24.6s| 1 | 0 | 84990 | - | 172M | 0 |1000 | 15k| 16k| 999 | 34 | 0 | 0 |-3.495499e+02 |-1.360000e+02 | 157.02%| unknown
25.13/25.29 c 25.3s| 1 | 0 | 86895 | - | 172M | 0 |1000 | 15k| 16k|1011 | 35 | 0 | 0 |-3.488259e+02 |-1.360000e+02 | 156.49%| unknown
25.83/25.95 c 26.0s| 1 | 0 | 89019 | - | 172M | 0 |1000 | 15k| 16k|1026 | 36 | 0 | 0 |-3.478391e+02 |-1.360000e+02 | 155.76%| unknown
26.42/26.51 c 26.5s| 1 | 0 | 90894 | - | 172M | 0 |1000 | 15k| 16k|1042 | 37 | 0 | 0 |-3.472784e+02 |-1.360000e+02 | 155.35%| unknown
26.93/27.05 c 27.0s| 1 | 0 | 92579 | - | 172M | 0 |1000 | 15k| 16k|1055 | 38 | 0 | 0 |-3.467071e+02 |-1.360000e+02 | 154.93%| unknown
27.32/27.47 c 27.5s| 1 | 0 | 93843 | - | 172M | 0 |1000 | 15k| 16k|1069 | 39 | 0 | 0 |-3.463464e+02 |-1.360000e+02 | 154.67%| unknown
27.82/27.93 c 27.9s| 1 | 0 | 95193 | - | 173M | 0 |1000 | 15k| 16k|1082 | 40 | 0 | 0 |-3.459656e+02 |-1.360000e+02 | 154.39%| unknown
28.22/28.35 c 28.3s| 1 | 0 | 96328 | - | 173M | 0 |1000 | 15k| 16k|1093 | 41 | 0 | 0 |-3.455865e+02 |-1.360000e+02 | 154.11%| unknown
28.82/28.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.82/28.93 c 28.9s| 1 | 0 | 97985 | - | 173M | 0 |1000 | 15k| 16k|1109 | 42 | 0 | 0 |-3.448794e+02 |-1.360000e+02 | 153.59%| unknown
29.32/29.46 c 29.5s| 1 | 0 | 99545 | - | 173M | 0 |1000 | 15k| 16k|1126 | 43 | 0 | 0 |-3.443894e+02 |-1.360000e+02 | 153.23%| unknown
29.82/29.99 c 30.0s| 1 | 0 |101151 | - | 173M | 0 |1000 | 15k| 16k|1140 | 44 | 0 | 0 |-3.438865e+02 |-1.360000e+02 | 152.86%| unknown
30.41/30.52 c 30.5s| 1 | 0 |102721 | - | 173M | 0 |1000 | 15k| 16k|1156 | 45 | 0 | 0 |-3.433763e+02 |-1.360000e+02 | 152.48%| unknown
30.92/31.07 c 31.1s| 1 | 0 |104268 | - | 173M | 0 |1000 | 15k| 16k|1168 | 46 | 0 | 0 |-3.428350e+02 |-1.360000e+02 | 152.08%| unknown
31.51/31.69 c 31.7s| 1 | 0 |106170 | - | 173M | 0 |1000 | 15k| 16k|1180 | 47 | 0 | 0 |-3.422113e+02 |-1.360000e+02 | 151.63%| unknown
32.11/32.23 c 32.2s| 1 | 0 |107732 | - | 173M | 0 |1000 | 15k| 16k|1199 | 48 | 0 | 0 |-3.414731e+02 |-1.360000e+02 | 151.08%| unknown
32.41/32.55 c 32.6s| 1 | 0 |108594 | - | 174M | 0 |1000 | 15k| 16k|1215 | 49 | 0 | 0 |-3.412630e+02 |-1.360000e+02 | 150.93%| unknown
32.81/32.98 c 33.0s| 1 | 0 |109785 | - | 174M | 0 |1000 | 15k| 16k|1226 | 50 | 0 | 0 |-3.408947e+02 |-1.360000e+02 | 150.66%| unknown
33.31/33.45 c 33.5s| 1 | 0 |111118 | - | 174M | 0 |1000 | 15k| 16k|1239 | 51 | 0 | 0 |-3.405236e+02 |-1.360000e+02 | 150.38%| unknown
33.91/34.00 c 34.0s| 1 | 0 |112777 | - | 174M | 0 |1000 | 15k| 16k|1248 | 52 | 0 | 0 |-3.401715e+02 |-1.360000e+02 | 150.13%| unknown
34.30/34.40 c 34.4s| 1 | 0 |113984 | - | 174M | 0 |1000 | 15k| 16k|1261 | 53 | 0 | 0 |-3.396506e+02 |-1.360000e+02 | 149.74%| unknown
34.91/35.01 c 35.0s| 1 | 0 |115724 | - | 174M | 0 |1000 | 15k| 16k|1274 | 54 | 0 | 0 |-3.390088e+02 |-1.360000e+02 | 149.27%| unknown
35.40/35.59 c 35.6s| 1 | 0 |117491 | - | 174M | 0 |1000 | 15k| 16k|1295 | 55 | 0 | 0 |-3.384331e+02 |-1.360000e+02 | 148.85%| unknown
35.91/36.04 c 36.0s| 1 | 0 |118812 | - | 174M | 0 |1000 | 15k| 16k|1309 | 56 | 0 | 0 |-3.379506e+02 |-1.360000e+02 | 148.49%| unknown
36.30/36.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.30/36.48 c 36.5s| 1 | 0 |119967 | - | 175M | 0 |1000 | 15k| 16k|1325 | 57 | 0 | 0 |-3.374441e+02 |-1.360000e+02 | 148.12%| unknown
36.80/36.91 c 36.9s| 1 | 0 |121122 | - | 175M | 0 |1000 | 15k| 16k|1340 | 58 | 0 | 0 |-3.370991e+02 |-1.360000e+02 | 147.87%| unknown
37.10/37.25 c 37.3s| 1 | 0 |121957 | - | 175M | 0 |1000 | 15k| 16k|1351 | 59 | 0 | 0 |-3.367458e+02 |-1.360000e+02 | 147.61%| unknown
37.49/37.68 c 37.7s| 1 | 0 |123122 | - | 175M | 0 |1000 | 15k| 16k|1363 | 60 | 0 | 0 |-3.363174e+02 |-1.360000e+02 | 147.29%| unknown
38.00/38.11 c 38.1s| 1 | 0 |124248 | - | 175M | 0 |1000 | 15k| 16k|1378 | 61 | 0 | 0 |-3.357570e+02 |-1.360000e+02 | 146.88%| unknown
38.39/38.59 c 38.6s| 1 | 0 |125556 | - | 176M | 0 |1000 | 15k| 16k|1393 | 62 | 0 | 0 |-3.351339e+02 |-1.360000e+02 | 146.42%| unknown
38.79/38.98 c 39.0s| 1 | 0 |126526 | - | 176M | 0 |1000 | 15k| 16k|1405 | 63 | 0 | 0 |-3.347512e+02 |-1.360000e+02 | 146.14%| unknown
39.19/39.33 c 39.3s| 1 | 0 |127387 | - | 176M | 0 |1000 | 15k| 16k|1415 | 64 | 0 | 0 |-3.343656e+02 |-1.360000e+02 | 145.86%| unknown
39.59/39.73 c 39.7s| 1 | 0 |128404 | - | 176M | 0 |1000 | 15k| 16k|1429 | 65 | 0 | 0 |-3.339405e+02 |-1.360000e+02 | 145.54%| unknown
39.89/40.05 c 40.0s| 1 | 0 |129191 | - | 176M | 0 |1000 | 15k| 16k|1446 | 66 | 0 | 0 |-3.336816e+02 |-1.360000e+02 | 145.35%| unknown
40.19/40.38 c 40.4s| 1 | 0 |130022 | - | 176M | 0 |1000 | 15k| 16k|1457 | 67 | 0 | 0 |-3.333764e+02 |-1.360000e+02 | 145.13%| unknown
40.59/40.77 c 40.8s| 1 | 0 |131032 | - | 177M | 0 |1000 | 15k| 16k|1471 | 68 | 0 | 0 |-3.330448e+02 |-1.360000e+02 | 144.89%| unknown
40.99/41.10 c 41.1s| 1 | 0 |131858 | - | 177M | 0 |1000 | 15k| 16k|1487 | 69 | 0 | 0 |-3.327957e+02 |-1.360000e+02 | 144.70%| unknown
41.28/41.44 c 41.4s| 1 | 0 |132693 | - | 177M | 0 |1000 | 15k| 16k|1502 | 70 | 0 | 0 |-3.326067e+02 |-1.360000e+02 | 144.56%| unknown
41.68/41.81 c 41.8s| 1 | 0 |133596 | - | 177M | 0 |1000 | 15k| 16k|1515 | 71 | 0 | 0 |-3.322387e+02 |-1.360000e+02 | 144.29%| unknown
42.08/42.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
42.08/42.23 c 42.2s| 1 | 0 |134616 | - | 177M | 0 |1000 | 15k| 16k|1531 | 72 | 0 | 0 |-3.318214e+02 |-1.360000e+02 | 143.99%| unknown
42.48/42.60 c 42.6s| 1 | 0 |135512 | - | 177M | 0 |1000 | 15k| 16k|1547 | 73 | 0 | 0 |-3.314306e+02 |-1.360000e+02 | 143.70%| unknown
42.78/42.95 c 42.9s| 1 | 0 |136323 | - | 177M | 0 |1000 | 15k| 16k|1561 | 74 | 0 | 0 |-3.310715e+02 |-1.360000e+02 | 143.43%| unknown
43.18/43.39 c 43.4s| 1 | 0 |137462 | - | 177M | 0 |1000 | 15k| 17k|1577 | 75 | 0 | 0 |-3.306008e+02 |-1.360000e+02 | 143.09%| unknown
43.58/43.76 c 43.8s| 1 | 0 |138376 | - | 178M | 0 |1000 | 15k| 17k|1595 | 76 | 0 | 0 |-3.301651e+02 |-1.360000e+02 | 142.77%| unknown
43.88/44.08 c 44.1s| 1 | 0 |139125 | - | 178M | 0 |1000 | 15k| 17k|1610 | 77 | 0 | 0 |-3.298429e+02 |-1.360000e+02 | 142.53%| unknown
44.18/44.37 c 44.4s| 1 | 0 |139778 | - | 178M | 0 |1000 | 15k| 17k|1623 | 78 | 0 | 0 |-3.295796e+02 |-1.360000e+02 | 142.34%| unknown
44.48/44.65 c 44.7s| 1 | 0 |140461 | - | 178M | 0 |1000 | 15k| 17k|1636 | 79 | 0 | 0 |-3.293973e+02 |-1.360000e+02 | 142.20%| unknown
44.67/44.86 c 44.9s| 1 | 0 |140923 | - | 178M | 0 |1000 | 15k| 17k|1646 | 80 | 0 | 0 |-3.292368e+02 |-1.360000e+02 | 142.09%| unknown
44.88/45.08 c 45.1s| 1 | 0 |141424 | - | 178M | 0 |1000 | 15k| 17k|1660 | 81 | 0 | 0 |-3.290729e+02 |-1.360000e+02 | 141.97%| unknown
45.17/45.36 c 45.4s| 1 | 0 |142012 | - | 178M | 0 |1000 | 15k| 17k|1669 | 82 | 0 | 0 |-3.287683e+02 |-1.360000e+02 | 141.74%| unknown
45.37/45.59 c 45.6s| 1 | 0 |142523 | - | 178M | 0 |1000 | 15k| 17k|1680 | 83 | 0 | 0 |-3.285523e+02 |-1.360000e+02 | 141.58%| unknown
45.67/45.85 c 45.8s| 1 | 0 |143088 | - | 178M | 0 |1000 | 15k| 17k|1694 | 84 | 0 | 0 |-3.283518e+02 |-1.360000e+02 | 141.44%| unknown
45.98/46.15 c 46.2s| 1 | 0 |143804 | - | 179M | 0 |1000 | 15k| 17k|1707 | 85 | 0 | 0 |-3.281137e+02 |-1.360000e+02 | 141.26%| unknown
46.27/46.46 c 46.5s| 1 | 0 |144528 | - | 179M | 0 |1000 | 15k| 17k|1720 | 86 | 0 | 0 |-3.278073e+02 |-1.360000e+02 | 141.03%| unknown
46.57/46.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
46.57/46.70 c 46.7s| 1 | 0 |145088 | - | 179M | 0 |1000 | 15k| 17k|1732 | 87 | 0 | 0 |-3.276235e+02 |-1.360000e+02 | 140.90%| unknown
46.77/46.97 c 47.0s| 1 | 0 |145734 | - | 179M | 0 |1000 | 15k| 17k|1740 | 88 | 0 | 0 |-3.274192e+02 |-1.360000e+02 | 140.75%| unknown
47.07/47.27 c 47.3s| 1 | 0 |146471 | - | 179M | 0 |1000 | 15k| 17k|1757 | 89 | 0 | 0 |-3.271196e+02 |-1.360000e+02 | 140.53%| unknown
47.47/47.63 c 47.6s| 1 | 0 |147327 | - | 179M | 0 |1000 | 15k| 17k|1781 | 90 | 0 | 0 |-3.266657e+02 |-1.360000e+02 | 140.20%| unknown
47.67/47.89 c 47.9s| 1 | 0 |147962 | - | 179M | 0 |1000 | 15k| 17k|1805 | 91 | 0 | 0 |-3.264682e+02 |-1.360000e+02 | 140.05%| unknown
47.97/48.12 c 48.1s| 1 | 0 |148475 | - | 179M | 0 |1000 | 15k| 17k|1818 | 92 | 0 | 0 |-3.263104e+02 |-1.360000e+02 | 139.93%| unknown
48.26/48.44 c 48.4s| 1 | 0 |149233 | - | 179M | 0 |1000 | 15k| 17k|1840 | 93 | 0 | 0 |-3.260257e+02 |-1.360000e+02 | 139.72%| unknown
48.56/48.72 c 48.7s| 1 | 0 |149845 | - | 180M | 0 |1000 | 15k| 17k|1852 | 94 | 0 | 0 |-3.258032e+02 |-1.360000e+02 | 139.56%| unknown
48.76/48.91 c 48.9s| 1 | 0 |150242 | - | 180M | 0 |1000 | 15k| 17k|1870 | 95 | 0 | 0 |-3.256893e+02 |-1.360000e+02 | 139.48%| unknown
48.87/49.07 c 49.1s| 1 | 0 |150530 | - | 180M | 0 |1000 | 15k| 17k|1885 | 96 | 0 | 0 |-3.256197e+02 |-1.360000e+02 | 139.43%| unknown
49.16/49.37 c 49.4s| 1 | 0 |151219 | - | 180M | 0 |1000 | 15k| 17k|1896 | 97 | 0 | 0 |-3.251796e+02 |-1.360000e+02 | 139.10%| unknown
49.46/49.61 c 49.6s| 1 | 0 |151759 | - | 180M | 0 |1000 | 15k| 17k|1912 | 98 | 0 | 0 |-3.249707e+02 |-1.360000e+02 | 138.95%| unknown
49.76/49.91 c 49.9s| 1 | 0 |152458 | - | 180M | 0 |1000 | 15k| 17k|1929 | 99 | 0 | 0 |-3.247104e+02 |-1.360000e+02 | 138.76%| unknown
49.97/50.12 c 50.1s| 1 | 0 |152929 | - | 180M | 0 |1000 | 15k| 17k|1944 |100 | 0 | 0 |-3.245885e+02 |-1.360000e+02 | 138.67%| unknown
50.06/50.26 c 50.3s| 1 | 0 |153244 | - | 180M | 0 |1000 | 15k| 17k|1959 |101 | 0 | 0 |-3.244674e+02 |-1.360000e+02 | 138.58%| unknown
50.26/50.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.26/50.44 c 50.4s| 1 | 0 |153751 | - | 180M | 0 |1000 | 15k| 17k|1976 |102 | 0 | 0 |-3.243691e+02 |-1.360000e+02 | 138.51%| unknown
50.36/50.56 c 50.6s| 1 | 0 |154068 | - | 181M | 0 |1000 | 15k| 17k|1990 |103 | 0 | 0 |-3.243117e+02 |-1.360000e+02 | 138.46%| unknown
50.66/50.82 c 50.8s| 1 | 0 |154795 | - | 181M | 0 |1000 | 15k| 17k|2007 |104 | 0 | 0 |-3.239762e+02 |-1.360000e+02 | 138.22%| unknown
50.86/51.00 c 51.0s| 1 | 0 |155345 | - | 181M | 0 |1000 | 15k| 17k|2020 |105 | 0 | 0 |-3.237698e+02 |-1.360000e+02 | 138.07%| unknown
50.96/51.15 c 51.2s| 1 | 0 |155769 | - | 181M | 0 |1000 | 15k| 17k|2034 |106 | 0 | 0 |-3.236766e+02 |-1.360000e+02 | 138.00%| unknown
51.06/51.28 c 51.3s| 1 | 0 |156138 | - | 181M | 0 |1000 | 15k| 17k|2051 |107 | 0 | 0 |-3.235687e+02 |-1.360000e+02 | 137.92%| unknown
51.26/51.44 c 51.4s| 1 | 0 |156595 | - | 181M | 0 |1000 | 15k| 17k|2067 |108 | 0 | 0 |-3.234946e+02 |-1.360000e+02 | 137.86%| unknown
51.46/51.60 c 51.6s| 1 | 0 |157195 | - | 181M | 0 |1000 | 15k| 17k|2082 |109 | 0 | 0 |-3.234120e+02 |-1.360000e+02 | 137.80%| unknown
51.56/51.71 c 51.7s| 1 | 0 |157535 | - | 182M | 0 |1000 | 15k| 17k|2102 |110 | 0 | 0 |-3.233881e+02 |-1.360000e+02 | 137.79%| unknown
51.56/51.77 c 51.8s| 1 | 0 |157660 | - | 182M | 0 |1000 | 15k| 17k|2112 |111 | 0 | 0 |-3.233869e+02 |-1.360000e+02 | 137.78%| unknown
51.66/51.86 c 51.9s| 1 | 0 |157893 | - | 182M | 0 |1000 | 15k| 17k|2121 |112 | 0 | 0 |-3.233333e+02 |-1.360000e+02 | 137.75%| unknown
51.66/51.89 c 51.9s| 1 | 0 |157898 | - | 182M | 0 |1000 | 15k| 17k|2125 |113 | 0 | 0 |-3.233333e+02 |-1.360000e+02 | 137.75%| unknown
51.86/52.04 c 52.0s| 1 | 0 |158376 | - | 182M | 0 |1000 | 15k| 17k|2126 |114 | 0 | 0 |-3.232668e+02 |-1.360000e+02 | 137.70%| unknown
51.96/52.18 c 52.2s| 1 | 0 |158880 | - | 182M | 0 |1000 | 15k| 17k|2145 |115 | 0 | 0 |-3.232186e+02 |-1.360000e+02 | 137.66%| unknown
52.15/52.32 c 52.3s| 1 | 0 |159303 | - | 182M | 0 |1000 | 15k| 17k|2154 |116 | 0 | 0 |-3.231586e+02 |-1.360000e+02 | 137.62%| unknown
52.25/52.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.25/52.49 c 52.5s| 1 | 0 |159826 | - | 182M | 0 |1000 | 15k| 17k|2168 |117 | 0 | 0 |-3.231137e+02 |-1.360000e+02 | 137.58%| unknown
52.45/52.61 c 52.6s| 1 | 0 |160211 | - | 182M | 0 |1000 | 15k| 17k|2184 |118 | 0 | 0 |-3.230795e+02 |-1.360000e+02 | 137.56%| unknown
52.55/52.78 c 52.8s| 1 | 0 |160762 | - | 182M | 0 |1000 | 15k| 17k|2191 |119 | 0 | 0 |-3.230379e+02 |-1.360000e+02 | 137.53%| unknown
52.75/52.92 c 52.9s| 1 | 0 |161184 | - | 183M | 0 |1000 | 15k| 17k|2211 |120 | 0 | 0 |-3.230023e+02 |-1.360000e+02 | 137.50%| unknown
52.75/52.95 c 53.0s| 1 | 0 |161201 | - | 183M | 0 |1000 | 15k| 17k|2225 |121 | 0 | 0 |-3.230000e+02 |-1.360000e+02 | 137.50%| unknown
58.85/59.02 c 59.0s| 1 | 2 |161211 | - | 183M | 0 |1000 | 15k| 17k|2225 |122 | 0 | 19 |-3.226792e+02 |-1.360000e+02 | 137.26%| unknown
225.53/226.15 o -137
225.53/226.15 c d 226s| 44 | 45 |461595 |6988.4 |adaptive| 13 |1000 | 15k| 17k| 0 | 1 | 0 | 306 |-3.210575e+02 |-1.370000e+02 | 134.35%| unknown
225.53/226.17 o -139
225.53/226.17 c i 226s| 45 | 44 |461598 |6829.6 | oneopt| 13 |1000 | 15k| 17k|3879 | 0 | 0 | 306 |-3.210575e+02 |-1.390000e+02 | 130.98%| unknown
354.80/355.78 c 356s| 100 | 101 |834117 |6798.2 | 475M | 17 |1000 | 15k| 17k|5022 | 1 | 0 | 396 |-3.188456e+02 |-1.390000e+02 | 129.39%| unknown
568.18/569.66 c 570s| 200 | 201 | 1383k|6143.7 | 569M | 31 |1000 | 15k| 17k|6548 | 1 | 0 | 569 |-3.180414e+02 |-1.390000e+02 | 128.81%| unknown
750.24/752.18 c 752s| 300 | 301 | 1843k|5626.7 | 579M | 32 |1000 | 15k| 17k|7820 | 1 | 0 | 743 |-3.180414e+02 |-1.390000e+02 | 128.81%| unknown
931.80/934.15 c 934s| 400 | 401 | 2277k|5303.9 | 588M | 33 |1000 | 15k| 17k|9404 | 1 | 0 | 925 |-3.180414e+02 |-1.390000e+02 | 128.81%| unknown
1110.86/1113.63 c 1114s| 500 | 501 | 2735k|5159.4 | 620M | 33 |1000 | 15k| 17k| 11k| 1 | 0 |1098 |-3.180414e+02 |-1.390000e+02 | 128.81%| unknown
1242.33/1245.49 c 1245s| 600 | 601 | 3188k|5054.9 | 639M | 34 |1000 | 15k| 17k| 11k| 1 | 0 |1130 |-3.180414e+02 |-1.390000e+02 | 128.81%| unknown
1393.67/1397.11 c 1397s| 700 | 701 | 3715k|5084.6 | 666M | 34 |1000 | 15k| 17k| 13k| 1 | 0 |1160 |-3.180414e+02 |-1.390000e+02 | 128.81%| unknown
1551.38/1555.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1551.38/1555.23 c 1555s| 800 | 801 | 4246k|5113.3 | 680M | 34 |1000 | 15k| 17k| 15k| 1 | 0 |1200 |-3.170350e+02 |-1.390000e+02 | 128.08%| unknown
1687.46/1691.68 c 1692s| 900 | 901 | 4688k|5035.6 | 679M | 35 |1000 | 15k| 17k| 16k| 1 | 0 |1251 |-3.170350e+02 |-1.390000e+02 | 128.08%| unknown
1845.88/1850.43 c 1850s| 1000 | 1001 | 5186k|5030.7 | 701M | 35 |1000 | 15k| 17k| 18k| 5 | 0 |1323 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1952.02/1956.88 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1952.02/1956.88 c (run 1, node 1049) performing user restart
1952.02/1956.88 c
1952.02/1956.88 c (restart) converted 1090 cuts from the global cut pool into linear constraints
1952.02/1956.88 c
1952.23/1957.07 c presolving:
1952.23/1957.09 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1090 upgd conss, 0 impls, 16894 clqs
1952.33/1957.11 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1952.33/1957.11 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1952.33/1957.11 c 0 implications, 16895 cliques
1952.33/1957.11 c presolved problem has 1000 variables (1000 bin, 0 int, 0 cont) and 16901 constraints
1952.33/1957.11 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1952.33/1957.11 c 6 constraints of type <knapsack>
1952.33/1957.11 c 16895 constraints of type <setppc>
1952.33/1957.11 c transformed objective value is always integral (scale: 1)
1952.33/1957.11 c Presolving Time: 0.32
1952.52/1957.34 c transformed 91/100 original solutions to the transformed problem space
1952.52/1957.34 c
1958.70/1963.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1958.70/1963.55 c 1964s| 1 | 0 | 5482k| - | 641M | 0 |1000 | 16k| 16k| 0 | 0 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1958.90/1963.78 c 1964s| 1 | 0 | 5482k| - | 650M | 0 |1000 | 16k| 16k| 11 | 1 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1959.10/1963.99 c 1964s| 1 | 0 | 5482k| - | 656M | 0 |1000 | 16k| 16k| 19 | 2 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1959.40/1964.21 c 1964s| 1 | 0 | 5482k| - | 665M | 0 |1000 | 16k| 16k| 24 | 3 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1959.60/1964.45 c 1964s| 1 | 0 | 5483k| - | 661M | 0 |1000 | 16k| 16k| 33 | 4 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1959.80/1964.68 c 1965s| 1 | 0 | 5483k| - | 673M | 0 |1000 | 16k| 16k| 41 | 5 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1960.10/1964.93 c 1965s| 1 | 0 | 5483k| - | 687M | 0 |1000 | 16k| 16k| 51 | 6 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1960.31/1965.16 c 1965s| 1 | 0 | 5483k| - | 686M | 0 |1000 | 16k| 16k| 58 | 7 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1960.50/1965.39 c 1965s| 1 | 0 | 5483k| - | 689M | 0 |1000 | 16k| 16k| 69 | 8 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1960.80/1965.67 c 1966s| 1 | 0 | 5484k| - | 688M | 0 |1000 | 16k| 16k| 79 | 9 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1961.20/1966.03 c 1966s| 1 | 0 | 5484k| - | 695M | 0 |1000 | 16k| 16k| 89 | 10 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1961.40/1966.20 c 1966s| 1 | 0 | 5484k| - | 695M | 0 |1000 | 16k| 16k| 95 | 11 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1961.59/1966.41 c 1966s| 1 | 0 | 5484k| - | 697M | 0 |1000 | 16k| 16k| 103 | 12 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1961.79/1966.63 c 1967s| 1 | 0 | 5484k| - | 699M | 0 |1000 | 16k| 16k| 116 | 13 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1961.99/1966.88 c 1967s| 1 | 0 | 5485k| - | 701M | 0 |1000 | 16k| 16k| 129 | 14 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1962.30/1967.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1962.30/1967.12 c 1967s| 1 | 0 | 5485k| - | 703M | 0 |1000 | 16k| 16k| 138 | 15 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1962.49/1967.37 c 1967s| 1 | 0 | 5485k| - | 703M | 0 |1000 | 16k| 16k| 152 | 16 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1962.79/1967.67 c 1968s| 1 | 0 | 5485k| - | 703M | 0 |1000 | 16k| 16k| 165 | 17 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1963.09/1967.96 c 1968s| 1 | 0 | 5485k| - | 703M | 0 |1000 | 16k| 16k| 175 | 18 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1963.39/1968.25 c 1968s| 1 | 0 | 5486k| - | 704M | 0 |1000 | 16k| 17k| 193 | 19 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1963.69/1968.53 c 1969s| 1 | 0 | 5486k| - | 704M | 0 |1000 | 16k| 17k| 204 | 20 | 0 |1440 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
1978.45/1983.37 c 1983s| 1 | 2 | 5486k| - | 704M | 0 |1000 | 16k| 17k| 204 | 20 | 0 |1487 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
2232.75/2238.22 c 2238s| 100 | 101 | 5780k|4877.0 | 735M | 41 |1000 | 16k| 16k| 410 | 1 | 0 |2166 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
2389.17/2395.07 c 2395s| 200 | 201 | 6273k|4880.9 | 913M | 44 |1000 | 16k| 16k|1678 | 1 | 0 |2253 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
2570.74/2577.02 c 2577s| 300 | 301 | 6741k|4866.1 | 927M | 44 |1000 | 16k| 17k|2653 | 4 | 0 |2452 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
2785.52/2792.39 c 2792s| 400 | 401 | 7243k|4876.3 | 938M | 44 |1000 | 16k| 17k|4031 | 1 | 0 |2704 |-3.169406e+02 |-1.390000e+02 | 128.01%| unknown
2910.71/2917.86 c 2918s| 500 | 501 | 7651k|4825.1 | 937M | 44 |1000 | 16k| 17k|4366 | 1 | 0 |2758 |-3.167925e+02 |-1.390000e+02 | 127.91%| unknown
3133.46/3141.11 c 3141s| 600 | 601 | 8200k|4865.2 | 974M | 45 |1000 | 16k| 17k|6388 | 1 | 0 |2983 |-3.153970e+02 |-1.390000e+02 | 126.90%| unknown
3269.62/3277.66 c 3278s| 700 | 701 | 8667k|4854.3 | 977M | 53 |1000 | 16k| 17k|8173 | 1 | 0 |2989 |-3.149007e+02 |-1.390000e+02 | 126.55%| unknown
3395.91/3404.29 c 3404s| 800 | 801 | 9087k|4818.9 | 995M | 57 |1000 | 16k| 17k|9055 | 1 | 0 |2990 |-3.149007e+02 |-1.390000e+02 | 126.55%| unknown
3534.47/3543.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3534.47/3543.19 c 3543s| 900 | 901 | 9573k|4821.1 | 1005M | 61 |1000 | 16k| 17k| 10k| 1 | 0 |3022 |-3.149007e+02 |-1.390000e+02 | 126.55%| unknown
3588.13/3597.00 c
3588.13/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.13/3597.00 c Solving Time (sec) : 3597.00
3588.13/3597.00 c Solving Nodes : 943 (total of 1992 nodes in 2 runs)
3588.13/3597.00 c Primal Bound : -1.39000000000000e+02 (226 solutions)
3588.13/3597.00 c Dual Bound : -3.14870895306224e+02
3588.13/3597.00 c Gap : 126.53 %
3588.24/3597.01 s SATISFIABLE
3588.24/3597.01 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3588.24/3597.01 v -x29 -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
3588.24/3597.01 v -x55 -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
3588.24/3597.01 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
3588.24/3597.01 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
3588.24/3597.01 v -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 x145 -x146 -x147 -x148 -x149
3588.24/3597.01 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
3588.24/3597.01 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
3588.24/3597.01 v x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
3588.24/3597.01 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
3588.24/3597.01 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259
3588.24/3597.01 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281
3588.24/3597.01 v -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303
3588.24/3597.01 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325
3588.24/3597.01 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347
3588.24/3597.01 v -x348 -x349 x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369
3588.24/3597.01 v x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391
3588.24/3597.01 v -x392 -x393 -x394 x395 -x396 x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413
3588.24/3597.01 v -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 x431 -x432 -x433 -x434 -x435
3588.24/3597.01 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
3588.24/3597.01 v -x458 -x459 -x460 x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
3588.24/3597.01 v -x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
3588.24/3597.01 v -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523
3588.24/3597.01 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 x545
3588.24/3597.01 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567
3588.24/3597.01 v -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589
3588.24/3597.01 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
3588.24/3597.01 v -x612 x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634
3588.24/3597.01 v -x635 -x636 x637 x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657
3588.24/3597.01 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 x670 -x671 -x672 x673 -x674 -x675 x676 -x677 -x678 -x679
3588.24/3597.01 v -x680 x681 -x682 -x683 -x684 -x685 x686 x687 -x688 -x689 -x690 x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702
3588.24/3597.01 v x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724
3588.24/3597.01 v -x725 x726 -x727 x728 x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 x741 -x742 -x743 -x744 -x745 -x746 -x747
3588.24/3597.01 v -x748 -x749 x750 -x751 -x752 x753 -x754 -x755 -x756 x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770
3588.24/3597.01 v x771 -x772 -x773 -x774 -x775 x776 x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792
3588.24/3597.01 v -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 x811 -x812 x813 -x814
3588.24/3597.01 v -x815 x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 x832 -x833 -x834 x835 -x836 -x837
3588.24/3597.01 v -x838 x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859
3588.24/3597.01 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 x881
3588.24/3597.01 v -x882 x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 x895 x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 x904
3588.24/3597.01 v -x905 -x906 -x907 -x908 -x909 x910 x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 x923 x924 x925 -x926 -x927
3588.24/3597.01 v -x928 x929 x930 -x931 x932 x933 -x934 -x935 x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 x949 -x950
3588.24/3597.01 v -x951 -x952 -x953 x954 -x955 x956 -x957 x958 -x959 -x960 -x961 -x962 x963 -x964 x965 x966 -x967 -x968 -x969 -x970 x971 -x972 -x973
3588.24/3597.01 v -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 x984 x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 x994 x995 -x996
3588.24/3597.01 v -x997 -x998 x999 -x1000
3588.24/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3588.24/3597.01 c Total Time : 3597.00
3588.24/3597.01 c solving : 3597.00
3588.24/3597.01 c presolving : 0.32 (included in solving)
3588.24/3597.01 c reading : 0.05 (included in solving)
3588.24/3597.01 c copying : 0.11 (7 #copies) (minimal 0.01, maximal 0.02, average 0.02)
3588.24/3597.01 c Original Problem :
3588.24/3597.01 c Problem name : HOME/instance-4498153-1751268244.opb
3588.24/3597.01 c Variables : 16811 (1000 binary, 0 integer, 15811 continuous)
3588.24/3597.01 c implied integral : 15811 (0 binary, 0 integer, 15811 continuous)
3588.24/3597.01 c Constraints : 17811 initial, 17811 maximal
3588.24/3597.01 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3588.24/3597.01 c Presolved Problem :
3588.24/3597.01 c Problem name : t_HOME/instance-4498153-1751268244.opb
3588.24/3597.01 c Variables : 1000 (1000 binary, 0 integer, 0 continuous)
3588.24/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.24/3597.01 c Constraints : 16901 initial, 16901 maximal
3588.24/3597.01 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3588.24/3597.01 c Nonzeros : 34946 constraint, 34914 clique table
3588.24/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.24/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c domcol : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c setppc : 0.04 0.00 11 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c and : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c linear : 0.03 0.00 3 15811 0 0 15811 0 1000 0 0 0
3588.24/3597.01 c pseudoboolean : 0.02 0.00 1 0 0 0 0 0 16811 0 0 0
3588.24/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c root node : - - - 0 - - 0 - - - - -
3588.24/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.24/3597.01 c integral : 0 0 0 0 1991 0 0 684 0 0 0 0 0 0 3982
3588.24/3597.01 c knapsack : 6 6 20 32628 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c setppc : 16895 16895 142 116606 0 0 0 677 0 0 54381 28 23 0 0
3588.24/3597.01 c fixedvar : 0 0 0 0 0 0 0 321 0 0 0 0 0 0 0
3588.24/3597.01 c countsols : 0 0 0 0 0 0 0 321 0 0 0 0 0 0 0
3588.24/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.24/3597.01 c integral : 871.82 0.00 0.00 0.00 871.82 0.00 0.00 0.00 0.00 0.00
3588.24/3597.01 c knapsack : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.24/3597.01 c setppc : 1.85 0.00 0.06 1.18 0.00 0.00 0.00 0.19 0.00 0.41
3588.24/3597.01 c fixedvar : 0.27 0.00 0.00 0.00 0.00 0.00 0.00 0.27 0.00 0.00
3588.24/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.24/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.24/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.24/3597.01 c dualfix : 3 0 0 0
3588.24/3597.01 c genvbounds : 0 0 0 0
3588.24/3597.01 c nlobbt : 0 0 0 0
3588.24/3597.01 c obbt : 0 0 0 0
3588.24/3597.01 c probing : 0 0 0 0
3588.24/3597.01 c pseudoobj : 5863 0 0 0
3588.24/3597.01 c redcost : 147 0 0 0
3588.24/3597.01 c rootredcost : 4 0 0 0
3588.24/3597.01 c symmetry : 0 0 0 0
3588.24/3597.01 c vbounds : 29502 0 0 0
3588.24/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.24/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.24/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3588.24/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.24/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.24/3597.01 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
3588.24/3597.01 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3588.24/3597.01 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
3588.24/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.24/3597.01 c symmetry : 0.03 0.00 0.01 0.01 0.00 0.00
3588.24/3597.01 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3588.24/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3588.24/3597.01 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.24/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.24/3597.01 c bound exceed. LP : 0.49 987 0 - 0 0.0 0 0.0 0 0.0 936
3588.24/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.24/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.24/3597.01 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3588.24/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3588.24/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.24/3597.01 c cut pool : 4.69 - 1644 281 - - 27941 82772 - - - - - (maximal pool size: 5147)
3588.24/3597.01 c aggregation : 15.02 0.00 649 142 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.24/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.24/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.24/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c clique : 1.34 0.00 142 142 0 0 1261 19106 0 10643 10643 0 0
3588.24/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c gomory : 27.54 0.00 427 20 0 0 24343 31211 0 1986 1986 0 0
3588.24/3597.01 c > gomorymi : - - - - - - - 14432 0 92 92 0 -
3588.24/3597.01 c > strongcg : - - - - - - - 16779 0 1894 1894 0 -
3588.24/3597.01 c impliedbounds : 0.31 0.00 649 142 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c multilinear : 0.00 0.00 249 142 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3588.24/3597.01 c zerohalf : 8.32 0.00 447 40 0 0 2337 32455 0 17904 17904 0 0
3588.24/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.24/3597.01 c hybrid : 0.50 0.00 1090 141 30556 0 52244 2429 0 6865
3588.24/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3588.24/3597.01 c problem variables: 0.00 - 0 0
3588.24/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.24/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c relpscost : 871.82 0.00 1991 0 0 0 0 0 0 3982
3588.24/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.24/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.24/3597.01 c LP solutions : 0.00 - - 0 0
3588.24/3597.01 c relax solutions : 0.00 - - 0 0
3588.24/3597.01 c pseudo solutions : 0.00 - - 0 0
3588.24/3597.01 c strong branching : 0.11 - - 0 0
3588.24/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3588.24/3597.01 c adaptivediving : 55.14 0.00 38 3 1
3588.24/3597.01 c alns : 0.30 0.00 5 0 0
3588.24/3597.01 c bound : 0.00 0.00 0 0 0
3588.24/3597.01 c clique : 0.04 0.00 1 1 1
3588.24/3597.01 c coefdiving : 0.00 0.00 0 0 0
3588.24/3597.01 c completesol : 0.00 0.00 0 0 0
3588.24/3597.01 c conflictdiving : 0.00 0.00 0 0 0
3588.24/3597.01 c crossover : 0.10 0.00 2 1 0
3588.24/3597.01 c dins : 0.00 0.00 0 0 0
3588.24/3597.01 c distributiondivin: 102.59 0.00 49 0 0
3588.24/3597.01 c dks : 0.00 0.00 0 0 0
3588.24/3597.01 c dps : 0.00 0.00 0 0 0
3588.24/3597.01 c dualval : 0.00 0.00 0 0 0
3588.24/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3588.24/3597.01 c feaspump : 0.00 0.00 0 0 0
3588.24/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3588.24/3597.01 c fracdiving : 61.72 0.00 50 0 0
3588.24/3597.01 c gins : 0.01 0.00 0 0 0
3588.24/3597.01 c guideddiving : 61.26 0.00 50 2 0
3588.24/3597.01 c indicator : 0.00 0.00 0 0 0
3588.24/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3588.24/3597.01 c intdiving : 0.00 0.00 0 0 0
3588.24/3597.01 c intshifting : 0.00 0.00 0 0 0
3588.24/3597.01 c linesearchdiving : 59.01 0.00 49 0 0
3588.24/3597.01 c localbranching : 0.00 0.00 0 0 0
3588.24/3597.01 c locks : 0.01 0.00 1 1 1
3588.24/3597.01 c lpface : 0.00 0.00 0 0 0
3588.24/3597.01 c mpec : 0.00 0.00 0 0 0
3588.24/3597.01 c multistart : 0.00 0.00 0 0 0
3588.24/3597.01 c mutation : 0.00 0.00 0 0 0
3588.24/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3588.24/3597.01 c objpscostdiving : 123.50 0.00 15 44 0
3588.24/3597.01 c octane : 0.00 0.00 0 0 0
3588.24/3597.01 c ofins : 0.00 0.00 0 0 0
3588.24/3597.01 c oneopt : 0.01 0.00 2 2 2
3588.24/3597.01 c padm : 0.00 0.00 0 0 0
3588.24/3597.01 c proximity : 0.00 0.00 0 0 0
3588.24/3597.01 c pscostdiving : 71.05 0.00 50 0 0
3588.24/3597.01 c randrounding : 1.29 0.00 499 113 0
3588.24/3597.01 c rens : 0.00 0.00 0 0 0
3588.24/3597.01 c reoptsols : 0.00 0.00 0 0 0
3588.24/3597.01 c repair : 0.00 0.00 0 0 0
3588.24/3597.01 c rins : 0.00 0.00 0 0 0
3588.24/3597.01 c rootsoldiving : 41.40 0.00 25 58 0
3588.24/3597.01 c rounding : 9.58 0.00 721 0 0
3588.24/3597.01 c scheduler : 0.00 0.00 0 0 0
3588.24/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3588.24/3597.01 c shifting : 7.12 0.00 470 0 0
3588.24/3597.01 c simplerounding : 0.14 0.00 3081 0 0
3588.24/3597.01 c subnlp : 0.00 0.00 0 0 0
3588.24/3597.01 c trivial : 0.01 0.00 4 1 1
3588.24/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3588.24/3597.01 c trustregion : 0.00 0.00 0 0 0
3588.24/3597.01 c trysol : 0.00 0.00 0 0 0
3588.24/3597.01 c twoopt : 0.00 0.00 0 0 0
3588.24/3597.01 c undercover : 0.00 0.00 0 0 0
3588.24/3597.01 c vbounds : 0.04 0.00 2 0 0
3588.24/3597.01 c veclendiving : 33.66 0.00 49 0 0
3588.24/3597.01 c zeroobj : 0.00 0.00 0 0 0
3588.24/3597.01 c zirounding : 1.07 0.00 1000 0 0
3588.24/3597.01 c other solutions : - - - 0 -
3588.24/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.24/3597.01 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
3588.24/3597.01 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
3588.24/3597.01 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
3588.24/3597.01 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
3588.24/3597.01 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
3588.24/3597.01 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
3588.24/3597.01 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
3588.24/3597.01 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
3588.24/3597.01 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
3588.24/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.24/3597.01 c primal LP : 1.26 598 0 0.00 0.00 1.25 598
3588.24/3597.01 c dual LP : 2030.17 3082 6983227 2265.81 3439.73 0.00 0
3588.24/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3588.24/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.24/3597.01 c resolve instable : 0.00 0 0 0.00 -
3588.24/3597.01 c diving/probing LP: 578.88 4622 2754593 595.97 4758.46
3588.24/3597.01 c strong branching : 863.70 3048 2847889 934.35 3297.29 - - 5085
3588.24/3597.01 c (at root node) : - 66 60380 914.85 -
3588.24/3597.01 c conflict analysis: 0.11 97 936 9.65 8663.54
3588.24/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3588.24/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3588.24/3597.01 c B&B Tree :
3588.24/3597.01 c number of runs : 2
3588.24/3597.01 c nodes : 943 (942 internal, 1 leaves)
3588.24/3597.01 c feasible leaves : 0
3588.24/3597.01 c infeas. leaves : 0
3588.24/3597.01 c objective leaves : 0
3588.24/3597.01 c nodes (total) : 1992 (1991 internal, 1 leaves)
3588.24/3597.01 c nodes left : 943
3588.24/3597.01 c max depth : 61
3588.24/3597.01 c max depth (total): 61
3588.24/3597.01 c backtracks : 177 (18.8%)
3588.24/3597.01 c early backtracks : 0 (0.0%)
3588.24/3597.01 c nodes exc. ref. : 0 (0.0%)
3588.24/3597.01 c delayed cutoffs : 0
3588.24/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3588.24/3597.01 c avg switch length: 5.11
3588.24/3597.01 c switching time : 1.98
3588.24/3597.01 c Root Node :
3588.24/3597.01 c First LP value : -5.00000000000000e+02
3588.24/3597.01 c First LP Iters : 1079 (23390.93 Iter/sec)
3588.24/3597.01 c First LP Time : 0.05
3588.24/3597.01 c Final Dual Bound : -3.16940647762432e+02
3588.24/3597.01 c Final Root Iters : 182159
3588.24/3597.01 c Root LP Estimate : -1.02945730139972e+02
3588.24/3597.01 c Solution :
3588.24/3597.01 c Solutions found : 226 (6 improvements)
3588.24/3597.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.10 seconds, depth 0, found by <trivial>)
3588.24/3597.01 c Gap First Sol. : infinite
3588.24/3597.01 c Gap Last Sol. : 130.98 %
3588.24/3597.01 c Primal Bound : -1.39000000000000e+02 (in run 1, after 45 nodes, 226.17 seconds, depth 13, found by <oneopt>)
3588.24/3597.01 c Dual Bound : -3.14870895306224e+02
3588.24/3597.01 c Gap : 126.53 %
3588.24/3597.01 c Integrals : Total Avg%
3588.24/3597.01 c primal-dual : 202603.77 56.33
3588.24/3597.01 c primal-ref : - - (not evaluated)
3588.24/3597.01 c dual-ref : - - (not evaluated)
3588.34/3597.17 c Time complete (sec): 3588.418
OK -139
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 (63065 MiB free)
memory of node 1: 64465 MiB (63883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498153-1751268244/watcher-4498153-1751268244 -o /tmp/evaluation-result-4498153-1751268244/solver-4498153-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751268232-39663 --watchdog 3760 pbsolver -f HOME/instance-4498153-1751268244.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39885, runsolver pid=39880
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.87 0.26 0.14 5/262 39892
/proc/meminfo: memFree=129936224/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=80164 memory=71792 CPUtime=0.1 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 15926 0 0 0 8 2 0 0 20 0 1 0 42503853 82087936 17948 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 20041 17948 2400 2575 0 16948 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80164 KiB
Current children cumulated memory: 71792 KiB
[startup+0.205803 s]*
/proc/loadavg: 0.87 0.26 0.14 5/266 39902
/proc/meminfo: memFree=129887616/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=104048 memory=91632 CPUtime=0.2 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 20923 0 0 0 18 2 0 0 20 0 1 0 42503853 106545152 22908 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 26012 22908 2432 2575 0 22919 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 104048 KiB
Current children cumulated memory: 91632 KiB
[startup+0.305667 s]*
/proc/loadavg: 0.87 0.26 0.14 5/266 39902
/proc/meminfo: memFree=129766928/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=121988 memory=107800 CPUtime=0.3 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 25142 0 0 0 27 3 0 0 20 0 1 0 42503853 124915712 26950 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 30497 26950 2592 2575 0 27404 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 121988 KiB
Current children cumulated memory: 107800 KiB
[startup+0.70014 s]
/proc/loadavg: 0.87 0.26 0.14 5/266 39902
/proc/meminfo: memFree=129644204/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=133648 memory=117024 CPUtime=0.69 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 28323 0 0 0 65 4 0 0 20 0 1 0 42503853 136855552 29256 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 33412 29256 2624 2575 0 30319 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 133648 KiB
Current children cumulated memory: 117024 KiB
[startup+1.50013 s]
/proc/loadavg: 0.87 0.26 0.14 5/266 39902
/proc/meminfo: memFree=129586496/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=138568 memory=119072 CPUtime=1.49 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 28826 0 0 0 145 4 0 0 20 0 1 0 42503853 141893632 29768 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 34642 29768 2624 2575 0 31549 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 138568 KiB
Current children cumulated memory: 119072 KiB
[startup+3.10546 s]
/proc/loadavg: 1.12 0.33 0.17 5/266 39902
/proc/meminfo: memFree=129535308/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=156600 memory=132640 CPUtime=3.08 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 32204 0 0 0 304 4 0 0 20 0 1 0 42503853 160358400 33160 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 39150 33160 2624 2575 0 36057 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 156600 KiB
Current children cumulated memory: 132640 KiB
[startup+6.3001 s]
/proc/loadavg: 1.12 0.33 0.17 5/266 39902
/proc/meminfo: memFree=129479356/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=175764 memory=146464 CPUtime=6.27 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 35659 0 0 0 623 4 0 0 20 0 1 0 42503853 179982336 36616 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 43941 36616 2624 2575 0 40848 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 175764 KiB
Current children cumulated memory: 146464 KiB
[startup+12.7001 s]
/proc/loadavg: 1.57 0.45 0.21 5/266 39902
/proc/meminfo: memFree=129447368/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=189060 memory=151072 CPUtime=12.66 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 36820 0 0 0 1261 5 0 0 20 0 1 0 42503853 193597440 37768 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 47265 37768 2624 2575 0 44172 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 189060 KiB
Current children cumulated memory: 151072 KiB
[startup+25.5001 s]
/proc/loadavg: 2.02 0.58 0.25 5/266 39903
/proc/meminfo: memFree=129399512/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=202288 memory=156064 CPUtime=25.43 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 38069 0 0 0 2538 5 0 0 20 0 1 0 42503853 207142912 39016 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 50572 39016 2624 2575 0 47479 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 202288 KiB
Current children cumulated memory: 156064 KiB
[startup+51.1055 s]
/proc/loadavg: 2.70 0.86 0.35 5/266 39903
/proc/meminfo: memFree=129330836/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=212300 memory=166432 CPUtime=50.96 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 40667 0 0 0 5091 5 0 0 20 0 1 0 42503853 217395200 41608 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 53075 41608 2624 2575 0 49982 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 212300 KiB
Current children cumulated memory: 166432 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 1.42 0.58 5/266 39905
/proc/meminfo: memFree=129151168/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=233700 memory=187040 CPUtime=102.03 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 45752 0 0 0 10197 6 0 0 20 0 1 0 42503853 239308800 46760 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 58425 46760 2688 2575 0 55332 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 233700 KiB
Current children cumulated memory: 187040 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 1.91 0.80 5/267 39908
/proc/meminfo: memFree=129029860/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=308976 memory=243616 CPUtime=161.88 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 60003 0 0 0 16180 8 0 0 20 0 1 0 42503853 316391424 60904 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 77244 60904 2688 2575 0 74151 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 308976 KiB
Current children cumulated memory: 243616 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.31 1.01 5/267 39911
/proc/meminfo: memFree=128804584/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=360820 memory=292512 CPUtime=221.74 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 69429 0 0 0 22164 10 0 0 20 0 1 0 42503853 369479680 73128 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 90205 73128 2688 2575 0 87112 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 360820 KiB
Current children cumulated memory: 292512 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.65 1.21 5/267 39913
/proc/meminfo: memFree=128638244/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=398216 memory=350624 CPUtime=281.58 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 76429 0 0 0 28147 11 0 0 20 0 1 0 42503853 407773184 87656 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 99554 87656 2688 2575 0 96461 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 398216 KiB
Current children cumulated memory: 350624 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 2.91 1.39 5/264 39915
/proc/meminfo: memFree=128450240/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=491340 memory=441888 CPUtime=341.44 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 94986 0 0 0 34130 14 0 0 20 0 1 0 42503853 503132160 110472 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 122835 110472 2688 2575 0 119742 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 491340 KiB
Current children cumulated memory: 441888 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.13 1.56 5/264 39917
/proc/meminfo: memFree=128300752/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=567828 memory=528928 CPUtime=401.29 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 110814 0 0 0 40113 16 0 0 20 0 1 0 42503853 581455872 132232 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 141957 132232 2688 2575 0 138864 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 567828 KiB
Current children cumulated memory: 528928 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.32 1.73 5/263 39919
/proc/meminfo: memFree=128165580/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=589968 memory=565664 CPUtime=461.14 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 114442 0 0 0 46098 16 0 0 20 0 1 0 42503853 604127232 141416 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 147492 141416 2688 2575 0 144399 0
Current children cumulated CPU time: 461.14 s
################
# More data... #
################
/proc/loadavg: 4.28 4.18 4.04 5/265 40114
/proc/meminfo: memFree=126644548/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1024032 memory=964240 CPUtime=3214.46 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 185197 0 0 0 321419 27 0 0 20 0 1 0 42503853 1048608768 241060 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 256008 241060 2688 2575 0 252915 0
Current children cumulated CPU time: 3214.46 s
Current children cumulated vsize: 1024032 KiB
Current children cumulated memory: 964240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.22 4.07 5/265 40116
/proc/meminfo: memFree=126594840/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1024032 memory=964240 CPUtime=3274.31 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 185268 0 0 0 327404 27 0 0 20 0 1 0 42503853 1048608768 241060 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 256008 241060 2688 2575 0 252915 0
Current children cumulated CPU time: 3274.31 s
Current children cumulated vsize: 1024032 KiB
Current children cumulated memory: 964240 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.21 4.07 5/264 40118
/proc/meminfo: memFree=126555404/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1024032 memory=964240 CPUtime=3334.16 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 185622 0 0 0 333389 27 0 0 20 0 1 0 42503853 1048608768 241060 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 256008 241060 2688 2575 0 252915 0
Current children cumulated CPU time: 3334.16 s
Current children cumulated vsize: 1024032 KiB
Current children cumulated memory: 964240 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.07 5/264 40120
/proc/meminfo: memFree=126499544/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1040192 memory=965648 CPUtime=3394.01 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186116 0 0 0 339374 27 0 0 20 0 1 0 42503853 1065156608 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 260048 241412 2688 2575 0 256955 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 1040192 KiB
Current children cumulated memory: 965648 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.07 5/264 40122
/proc/meminfo: memFree=126439732/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1045040 memory=965648 CPUtime=3453.87 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186365 0 0 0 345360 27 0 0 20 0 1 0 42503853 1070120960 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 261260 241412 2688 2575 0 258167 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 1045040 KiB
Current children cumulated memory: 965648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.08 5/262 40123
/proc/meminfo: memFree=126386920/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1045040 memory=965648 CPUtime=3513.72 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186492 0 0 0 351345 27 0 0 20 0 1 0 42503853 1070120960 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 261260 241412 2688 2575 0 258167 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 1045040 KiB
Current children cumulated memory: 965648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/262 40125
/proc/meminfo: memFree=126347992/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1049872 memory=965648 CPUtime=3573.57 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186738 0 0 0 357330 27 0 0 20 0 1 0 42503853 1075068928 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 262468 241412 2688 2575 0 259375 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 1049872 KiB
Current children cumulated memory: 965648 KiB
[startup+3597.18 s]
# the end of solver process 39885 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.14 s, system=0.282245 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.14 4.08 5/262 40125
/proc/meminfo: memFree=126347992/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1049872 memory=965648 CPUtime=3575.27 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186738 0 0 0 357500 27 0 0 20 0 1 0 42503853 1075068928 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 262468 241412 2688 2575 0 259375 0
Current children cumulated CPU time: 3575.27 s
Current children cumulated vsize: 1049872 KiB
Current children cumulated memory: 965648 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.16 4.08 5/262 40126
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1049872 memory=965648 CPUtime=3581.65 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186739 0 0 0 358138 27 0 0 20 0 1 0 42503853 1075068928 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 262468 241412 2688 2575 0 259375 0
Current children cumulated CPU time: 3581.65 s
Current children cumulated vsize: 1049872 KiB
Current children cumulated memory: 965648 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.15 4.08 5/262 40126
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1049872 memory=965648 CPUtime=3584.84 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186739 0 0 0 358457 27 0 0 20 0 1 0 42503853 1075068928 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 262468 241412 2688 2575 0 259375 0
Current children cumulated CPU time: 3584.84 s
Current children cumulated vsize: 1049872 KiB
Current children cumulated memory: 965648 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.15 4.08 5/263 40127
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1049872 memory=965648 CPUtime=3586.44 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186739 0 0 0 358617 27 0 0 20 0 1 0 42503853 1075068928 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 262468 241412 2688 2575 0 259375 0
Current children cumulated CPU time: 3586.44 s
Current children cumulated vsize: 1049872 KiB
Current children cumulated memory: 965648 KiB
[startup+3596 s]*
/proc/loadavg: 4.15 4.15 4.08 5/263 40127
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1049872 memory=965648 CPUtime=3587.24 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186739 0 0 0 358697 27 0 0 20 0 1 0 42503853 1075068928 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 262468 241412 2688 2575 0 259375 0
Current children cumulated CPU time: 3587.24 s
Current children cumulated vsize: 1049872 KiB
Current children cumulated memory: 965648 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.15 4.08 5/263 40127
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1049872 memory=965648 CPUtime=3588.03 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186739 0 0 0 358776 27 0 0 20 0 1 0 42503853 1075068928 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 262468 241412 2688 2575 0 259375 0
Current children cumulated CPU time: 3588.03 s
Current children cumulated vsize: 1049872 KiB
Current children cumulated memory: 965648 KiB
[startup+3597 s]*
/proc/loadavg: 4.15 4.15 4.08 5/263 40127
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1049872 memory=965648 CPUtime=3588.24 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186749 0 0 0 358797 27 0 0 20 0 1 0 42503853 1075068928 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 262468 241412 2688 2575 0 259375 0
Current children cumulated CPU time: 3588.24 s
Current children cumulated vsize: 1049872 KiB
Current children cumulated memory: 965648 KiB
[startup+3597.11 s]
/proc/loadavg: 4.15 4.15 4.08 5/263 40127
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39885] ppid=39880 vsize=1049872 memory=965648 CPUtime=3588.34 cores=1,3
/proc/39885/stat : 39885 (pbsolver) R 39880 39885 39644 0 -1 4194304 186755 0 0 0 358807 27 0 0 20 0 1 0 42503853 1075068928 241412 18446744073709551615 4198400 14743177 140720833604960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 34992128 140720833612170 140720833612266 140720833612266 140720833617868 0
/proc/39885/statm: 262468 241412 2688 2575 0 259375 0
Current children cumulated CPU time: 3588.34 s
Current children cumulated vsize: 1049872 KiB
Current children cumulated memory: 965648 KiB
Child status: 0
Real time (s): 3597.18
CPU time (s): 3588.42
CPU user time (s): 3588.14
CPU system time (s): 0.282245
CPU usage (%): 99.7566
Max. virtual memory (cumulated for all children) (KiB): 1049872
Max. memory (cumulated for all children) (KiB): 965648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.14
system time used= 0.282245
maximum resident set size= 965648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186839
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= 35
involuntary context switches= 2707
# summary of solver processes directly reported to runsolver:
# pid: 39885
# total CPU time (s): 3588.42
# total CPU user time (s): 3588.14
# total CPU system time (s): 0.282245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.41437 second user time and 15.3502 second system time
The end
Begin job on nodeC033 at 2025-06-30 09:24:04 IDJOB=4498153 IDBENCH=148532 IDSOLVER=3366 FILE ID=nodeC033/4498153-1751268244 RUNJOBID= nodeC033-1751268232-39663 SLURM_JOB_ID= 9594200 Free space on /tmp= 432764 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498153-1751268244/watcher-4498153-1751268244 -o /tmp/evaluation-result-4498153-1751268244/solver-4498153-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751268232-39663 --watchdog 3760 pbsolver -f HOME/instance-4498153-1751268244.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= fc228e1220654f2d8d37c5d03b9b5ad1 RANDOM SEED=1449179163 nodeC033 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 : 3600.071 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 : 7000.13 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 : 3600.156 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 : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.241 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 : 7000.13 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 : 3600.052 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 : 7000.13 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 : 3596.530 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 : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.194 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 : 7000.13 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 : 3600.274 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 : 7000.13 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 : 3603.589 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 : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 130056500 kB MemAvailable: 129757708 kB Buffers: 2128 kB Cached: 501452 kB SwapCached: 68 kB Active: 241540 kB Inactive: 324696 kB Active(anon): 55872 kB Inactive(anon): 24812 kB Active(file): 185668 kB Inactive(file): 299884 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 30308 kB Writeback: 12 kB AnonPages: 65968 kB Mapped: 103772 kB Shmem: 18028 kB KReclaimable: 109788 kB Slab: 197792 kB SReclaimable: 109788 kB SUnreclaim: 88004 kB KernelStack: 4128 kB PageTables: 2800 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 332956 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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: 221908 kB DirectMap2M: 11083776 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432716 MiB End job on nodeC033 at 2025-06-30 10:24:02