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-4521043-1751554765.opb>
0.00/0.01 c original problem has 66 variables (66 bin, 0 int, 0 cont) and 880 constraints
0.00/0.01 c problem read in 0.004 seconds
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver found nothing
0.00/0.03 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 880 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/66 (77.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.04 c (0.0s) symmetry computation finished: 10 generators found (max: 1500, log10 of symmetry group size: 3.54) (symcode time: 0.01)
0.00/0.05 c dynamic symmetry handling statistics:
0.00/0.05 c orbitopal reduction: no components
0.00/0.05 c orbital reduction: 1 components of sizes 10
0.00/0.05 c lexicographic reduction: 10 permutations with support sizes 20, 20, 20, 20, 36, 20, 20, 36, 20, 48
0.00/0.05 c handled 1 out of 1 symmetry components
0.00/0.05 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.00/0.05 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 0 cliques
0.00/0.05 c presolved problem has 66 variables (66 bin, 0 int, 0 cont) and 880 constraints
0.00/0.05 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.05 c 880 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c problem pure SAT
0.00/0.05 c
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.996035
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 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.00/0.05 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.05 c reading/opbreader/maxintsize = 47
0.00/0.05 c
0.00/0.05 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.05 c propagating/genvbounds/timingmask = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c transformed 1/1 original solutions to the transformed problem space
0.00/0.05 c
0.00/0.05 o -35
0.00/0.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.05 c p 0.0s| 1 | 0 | 0 | - | locks| 0 | 66 | 880 | 880 | 0 | 0 | 0 | 0 |-5.700000e+01 |-3.500000e+01 | 62.86%| unknown
0.00/0.06 c 0.1s| 1 | 0 | 103 | - | 6050k | 0 | 66 | 880 | 880 | 0 | 0 | 0 | 0 |-3.800000e+01 |-3.500000e+01 | 8.57%| unknown
0.10/0.15 c 0.1s| 1 | 0 | 194 | - | 7939k | 0 | 66 | 880 | 881 | 1 | 1 | 0 | 0 |-3.786207e+01 |-3.500000e+01 | 8.18%| unknown
0.21/0.22 c 0.2s| 1 | 0 | 275 | - | 8933k | 0 | 66 | 881 | 882 | 2 | 2 | 1 | 0 |-3.756250e+01 |-3.500000e+01 | 7.32%| unknown
0.21/0.31 c 0.3s| 1 | 0 | 348 | - | 10M | 0 | 66 | 881 | 883 | 3 | 3 | 1 | 0 |-3.726437e+01 |-3.500000e+01 | 6.47%| unknown
0.31/0.40 c 0.4s| 1 | 0 | 381 | - | 11M | 0 | 66 | 881 | 884 | 4 | 4 | 1 | 0 |-3.714176e+01 |-3.500000e+01 | 6.12%| unknown
0.41/0.49 c 0.5s| 1 | 0 | 413 | - | 13M | 0 | 66 | 882 | 885 | 5 | 5 | 2 | 0 |-3.712245e+01 |-3.500000e+01 | 6.06%| unknown
0.51/0.54 c 0.5s| 1 | 0 | 485 | - | 15M | 0 | 66 | 882 | 886 | 6 | 6 | 2 | 0 |-3.704124e+01 |-3.500000e+01 | 5.83%| unknown
0.60/0.61 c 0.6s| 1 | 0 | 557 | - | 17M | 0 | 66 | 883 | 887 | 7 | 7 | 3 | 0 |-3.691514e+01 |-3.500000e+01 | 5.47%| unknown
0.60/0.67 c 0.7s| 1 | 0 | 633 | - | 19M | 0 | 66 | 883 | 888 | 8 | 8 | 3 | 0 |-3.682817e+01 |-3.500000e+01 | 5.22%| unknown
0.68/0.75 c 0.7s| 1 | 0 | 708 | - | 22M | 0 | 66 | 884 | 889 | 9 | 9 | 4 | 0 |-3.675200e+01 |-3.500000e+01 | 5.01%| unknown
0.78/0.82 c 0.8s| 1 | 0 | 795 | - | 24M | 0 | 66 | 884 | 890 | 10 | 10 | 4 | 0 |-3.670810e+01 |-3.500000e+01 | 4.88%| unknown
0.78/0.83 c 0.8s| 1 | 0 | 810 | - | 24M | 0 | 66 | 885 | 891 | 11 | 11 | 5 | 0 |-3.669986e+01 |-3.500000e+01 | 4.86%| unknown
0.78/0.84 c 0.8s| 1 | 0 | 854 | - | 24M | 0 | 66 | 885 | 892 | 12 | 12 | 5 | 0 |-3.669045e+01 |-3.500000e+01 | 4.83%| unknown
0.78/0.84 c 0.8s| 1 | 0 | 899 | - | 24M | 0 | 66 | 885 | 893 | 13 | 13 | 5 | 0 |-3.667899e+01 |-3.500000e+01 | 4.80%| unknown
0.78/0.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.78/0.85 c 0.8s| 1 | 0 | 944 | - | 24M | 0 | 66 | 886 | 894 | 14 | 14 | 6 | 0 |-3.666908e+01 |-3.500000e+01 | 4.77%| unknown
0.78/0.86 c 0.9s| 1 | 0 | 974 | - | 24M | 0 | 66 | 887 | 895 | 15 | 15 | 7 | 0 |-3.666027e+01 |-3.500000e+01 | 4.74%| unknown
0.78/0.86 c 0.9s| 1 | 0 | 975 | - | 24M | 0 | 66 | 888 | 896 | 16 | 16 | 8 | 0 |-3.666027e+01 |-3.500000e+01 | 4.74%| unknown
0.78/0.87 c 0.9s| 1 | 0 | 1005 | - | 24M | 0 | 66 | 889 | 897 | 18 | 17 | 9 | 0 |-3.665699e+01 |-3.500000e+01 | 4.73%| unknown
0.78/0.88 c 0.9s| 1 | 0 | 1011 | - | 25M | 0 | 66 | 889 | 898 | 19 | 18 | 9 | 0 |-3.665698e+01 |-3.500000e+01 | 4.73%| unknown
0.78/0.89 c 0.9s| 1 | 0 | 1023 | - | 25M | 0 | 66 | 889 | 899 | 20 | 19 | 9 | 0 |-3.665609e+01 |-3.500000e+01 | 4.73%| unknown
0.78/0.89 c 0.9s| 1 | 0 | 1052 | - | 25M | 0 | 66 | 891 | 901 | 22 | 20 | 11 | 0 |-3.665511e+01 |-3.500000e+01 | 4.73%| unknown
0.88/0.90 c 0.9s| 1 | 0 | 1055 | - | 25M | 0 | 66 | 892 | 902 | 23 | 21 | 12 | 0 |-3.665509e+01 |-3.500000e+01 | 4.73%| unknown
0.88/0.91 c 0.9s| 1 | 0 | 1059 | - | 25M | 0 | 66 | 892 | 903 | 24 | 22 | 12 | 0 |-3.665507e+01 |-3.500000e+01 | 4.73%| unknown
1.00/1.05 c 1.0s| 1 | 0 | 1458 | - | 25M | 0 | 66 | 887 | 903 | 24 | 23 | 26 | 12 |-3.600000e+01 |-3.500000e+01 | 2.86%| unknown
1.00/1.05 c 1.1s| 1 | 0 | 1458 | - | 25M | 0 | 66 | 887 | 721 | 24 | 23 | 26 | 12 |-3.600000e+01 |-3.500000e+01 | 2.86%| unknown
1.00/1.05 c 1.1s| 1 | 0 | 1458 | - | 25M | 0 | 66 | 863 | 618 | 24 | 24 | 26 | 12 |-3.600000e+01 |-3.500000e+01 | 2.86%| unknown
1.00/1.05 o -36
1.00/1.05 c * 1.1s| 1 | 0 | 1458 | - | LP | 0 | 66 | 857 | 618 | 24 | 24 | 26 | 12 |-3.600000e+01 |-3.600000e+01 | 0.00%| unknown
1.00/1.05 c
1.00/1.05 c SCIP Status : problem is solved [optimal solution found]
1.00/1.05 c Solving Time (sec) : 1.05
1.00/1.05 c Solving Nodes : 1
1.00/1.05 c Primal Bound : -3.60000000000000e+01 (12 solutions)
1.00/1.05 c Dual Bound : -3.60000000000000e+01
1.00/1.05 c Gap : 0.00 %
1.00/1.05 s OPTIMUM FOUND
1.00/1.05 v -x3 -x4 -x5 x6 x7 x8 x9 x10 x11 -x13 -x14 -x15 x16 x17 x18 x19 x20 x21 -x22 -x23 -x24 x25 x26 x27 x28 x29 x30 x33 x34 x35 x36 x37
1.00/1.05 v x38 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x62 -x63 -x64 -x65 -x1 -x12 -x2 -x31
1.00/1.05 v -x32 -x39 -x52 -x61 -x66
1.00/1.05 c SCIP Status : problem is solved [optimal solution found]
1.00/1.05 c Total Time : 1.05
1.00/1.05 c solving : 1.05
1.00/1.05 c presolving : 0.04 (included in solving)
1.00/1.05 c reading : 0.00 (included in solving)
1.00/1.05 c copying : 0.00 (1 #copies) (minimal 0.00, maximal 0.00, average 0.00)
1.00/1.05 c Original Problem :
1.00/1.05 c Problem name : HOME/instance-4521043-1751554765.opb
1.00/1.05 c Variables : 66 (66 binary, 0 integer, 0 continuous)
1.00/1.05 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
1.00/1.05 c Constraints : 880 initial, 880 maximal
1.00/1.05 c Objective : minimize, 57 non-zeros (abs.min = 1, abs.max = 1)
1.00/1.05 c Presolved Problem :
1.00/1.05 c Problem name : t_HOME/instance-4521043-1751554765.opb
1.00/1.05 c Variables : 66 (66 binary, 0 integer, 0 continuous)
1.00/1.05 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
1.00/1.05 c Constraints : 880 initial, 898 maximal
1.00/1.05 c Objective : minimize, 57 non-zeros (abs.min = 1, abs.max = 1)
1.00/1.05 c Nonzeros : 2640 constraint, 0 clique table
1.00/1.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.00/1.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.00/1.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.00/1.05 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1.00/1.05 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.00/1.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.00/1.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1.00/1.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1.00/1.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.00/1.05 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.00/1.05 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
1.00/1.05 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c linear : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
1.00/1.05 c logicor : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
1.00/1.05 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.00/1.05 c root node : - - - 16 - - 16 - - - - -
1.00/1.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1.00/1.05 c integral : 0 0 0 0 1 0 0 23 0 0 0 0 0 2 0
1.00/1.05 c linear : 0+ 3 0 27 0 0 0 3 0 0 0 0 0 0 0
1.00/1.05 c logicor : 880+ 895 24 407 0 0 0 17 40 12 9 0 0 0 0
1.00/1.05 c fixedvar : 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0
1.00/1.05 c countsols : 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0
1.00/1.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1.00/1.05 c integral : 0.11 0.00 0.00 0.00 0.11 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.00/1.05 c dualfix : 5 0 0 0
1.00/1.05 c genvbounds : 0 0 0 0
1.00/1.05 c nlobbt : 0 0 0 0
1.00/1.05 c obbt : 0 0 0 0
1.00/1.05 c probing : 0 0 0 0
1.00/1.05 c pseudoobj : 36 0 0 0
1.00/1.05 c redcost : 30 0 0 2
1.00/1.05 c rootredcost : 0 0 0 0
1.00/1.05 c symmetry : 0 0 0 0
1.00/1.05 c vbounds : 0 0 0 0
1.00/1.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1.00/1.05 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
1.00/1.05 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.00/1.05 c Symmetry :
1.00/1.05 c #affected vars : 66 (66 bin, 0 int, 0 cont)
1.00/1.05 c orbitopal red. : 0 reductions applied, 0 cutoffs
1.00/1.05 c orbital reduction: 0 reductions applied, 0 cutoffs
1.00/1.05 c lexicographic red: 0 reductions applied, 0 cutoffs
1.00/1.05 c shadow tree time : 0.00 s
1.00/1.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1.00/1.05 c propagation : 0.00 12 12 - 13 4.2 0 0.0 - - -
1.00/1.05 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1.00/1.05 c bound exceed. LP : 0.00 7 9 - 9 2.7 0 0.0 6 3.0 10
1.00/1.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1.00/1.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1.00/1.05 c applied globally : 0.00 - - 3 20 3.5 - - 6 - -
1.00/1.05 c applied locally : - - - 0 0 0.0 - - 0 - -
1.00/1.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1.00/1.05 c cut pool : 0.01 - 34 34 - - 1732 2616 - - - - - (maximal pool size: 1732)
1.00/1.05 c aggregation : 0.07 0.00 23 23 0 0 0 0 0 0 0 0 0
1.00/1.05 c > cmir : - - - - - - - 0 0 0 0 0 -
1.00/1.05 c > flowcover : - - - - - - - 0 0 0 0 0 -
1.00/1.05 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
1.00/1.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1.00/1.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c gomory : 0.67 0.00 10 10 0 0 1732 2616 0 24 24 0 0
1.00/1.05 c > gomorymi : - - - - - - - 1251 0 14 14 0 -
1.00/1.05 c > strongcg : - - - - - - - 1365 0 10 10 0 -
1.00/1.05 c impliedbounds : 0.00 0.00 23 23 0 0 0 0 0 0 0 0 0
1.00/1.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1.00/1.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c multilinear : 0.00 0.00 24 24 0 0 0 0 0 0 0 0 0
1.00/1.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.00/1.05 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
1.00/1.05 c zerohalf : 0.02 0.00 20 20 0 0 0 0 0 0 0 0 0
1.00/1.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1.00/1.05 c hybrid : 0.00 0.00 22 22 24 0 2592 24 0 2592
1.00/1.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c Pricers : ExecTime SetupTime Calls Vars
1.00/1.05 c problem variables: 0.00 - 0 0
1.00/1.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1.00/1.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c relpscost : 0.11 0.00 1 0 0 0 0 0 2 0
1.00/1.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1.00/1.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1.00/1.05 c LP solutions : 0.00 - - 1 1
1.00/1.05 c relax solutions : 0.00 - - 0 0
1.00/1.05 c pseudo solutions : 0.00 - - 0 0
1.00/1.05 c strong branching : 0.00 - - 0 0
1.00/1.05 c actconsdiving : 0.00 0.00 0 0 0
1.00/1.05 c adaptivediving : 0.00 0.00 0 0 0
1.00/1.05 c alns : 0.01 0.00 1 0 0
1.00/1.05 c bound : 0.00 0.00 0 0 0
1.00/1.05 c clique : 0.00 0.00 0 0 0
1.00/1.05 c coefdiving : 0.00 0.00 0 0 0
1.00/1.05 c completesol : 0.00 0.00 0 0 0
1.00/1.05 c conflictdiving : 0.01 0.00 1 0 0
1.00/1.05 c crossover : 0.00 0.00 0 0 0
1.00/1.05 c dins : 0.00 0.00 0 0 0
1.00/1.05 c distributiondivin: 0.00 0.00 0 0 0
1.00/1.05 c dks : 0.00 0.00 0 0 0
1.00/1.05 c dps : 0.00 0.00 0 0 0
1.00/1.05 c dualval : 0.00 0.00 0 0 0
1.00/1.05 c farkasdiving : 0.00 0.00 0 0 0
1.00/1.05 c feaspump : 0.01 0.00 1 1 0
1.00/1.05 c fixandinfer : 0.00 0.00 0 0 0
1.00/1.05 c fracdiving : 0.00 0.00 0 0 0
1.00/1.05 c gins : 0.00 0.00 0 0 0
1.00/1.05 c guideddiving : 0.00 0.00 0 0 0
1.00/1.05 c indicator : 0.00 0.00 0 0 0
1.00/1.05 c indicatordiving : 0.00 0.00 0 0 0
1.00/1.05 c intdiving : 0.00 0.00 0 0 0
1.00/1.05 c intshifting : 0.00 0.00 0 0 0
1.00/1.05 c linesearchdiving : 0.00 0.00 0 0 0
1.00/1.05 c localbranching : 0.00 0.00 0 0 0
1.00/1.05 c locks : 0.00 0.00 1 1 1
1.00/1.05 c lpface : 0.00 0.00 0 0 0
1.00/1.05 c mpec : 0.00 0.00 0 0 0
1.00/1.05 c multistart : 0.00 0.00 0 0 0
1.00/1.05 c mutation : 0.00 0.00 0 0 0
1.00/1.05 c nlpdiving : 0.00 0.00 0 0 0
1.00/1.05 c objpscostdiving : 0.00 0.00 0 0 0
1.00/1.05 c octane : 0.00 0.00 0 0 0
1.00/1.05 c ofins : 0.00 0.00 0 0 0
1.00/1.05 c oneopt : 0.00 0.00 1 0 0
1.00/1.05 c padm : 0.00 0.00 0 0 0
1.00/1.05 c proximity : 0.00 0.00 0 0 0
1.00/1.05 c pscostdiving : 0.00 0.00 0 0 0
1.00/1.05 c randrounding : 0.01 0.00 23 8 0
1.00/1.05 c rens : 0.00 0.00 0 0 0
1.00/1.05 c reoptsols : 0.00 0.00 0 0 0
1.00/1.05 c repair : 0.00 0.00 0 0 0
1.00/1.05 c rins : 0.00 0.00 0 0 0
1.00/1.05 c rootsoldiving : 0.00 0.00 0 0 0
1.00/1.05 c rounding : 0.00 0.00 23 0 0
1.00/1.05 c scheduler : 0.00 0.00 0 0 0
1.00/1.05 c shiftandpropagate: 0.00 0.00 0 0 0
1.00/1.05 c shifting : 0.01 0.00 23 0 0
1.00/1.05 c simplerounding : 0.00 0.00 0 0 0
1.00/1.05 c subnlp : 0.00 0.00 0 0 0
1.00/1.05 c trivial : 0.00 0.00 2 1 1
1.00/1.05 c trivialnegation : 0.00 0.00 0 0 0
1.00/1.05 c trustregion : 0.00 0.00 0 0 0
1.00/1.05 c trysol : 0.00 0.00 0 0 0
1.00/1.05 c twoopt : 0.00 0.00 0 0 0
1.00/1.05 c undercover : 0.00 0.00 0 0 0
1.00/1.05 c vbounds : 0.00 0.00 0 0 0
1.00/1.05 c veclendiving : 0.00 0.00 0 0 0
1.00/1.05 c zeroobj : 0.00 0.00 0 0 0
1.00/1.05 c zirounding : 0.00 0.00 1 0 0
1.00/1.05 c other solutions : - - - 0 -
1.00/1.05 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1.00/1.05 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
1.00/1.06 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
1.00/1.06 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
1.00/1.06 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
1.00/1.06 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
1.00/1.06 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
1.00/1.06 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
1.00/1.06 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
1.00/1.06 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
1.00/1.06 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1.00/1.06 c primal LP : 0.00 2 0 0.00 - 0.00 2
1.00/1.06 c dual LP : 0.06 26 1059 46.04 17263.02 0.00 3
1.00/1.06 c lex dual LP : 0.00 0 0 0.00 -
1.00/1.06 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.00/1.06 c resolve instable : 0.00 0 0 0.00 -
1.00/1.06 c diving/probing LP: 0.02 6 399 66.50 16247.91
1.00/1.06 c strong branching : 0.10 12 2281 190.08 22576.33 - - 0
1.00/1.06 c (at root node) : - 12 2281 190.08 -
1.00/1.06 c conflict analysis: 0.00 1 10 10.00 -
1.00/1.06 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
1.00/1.06 c benders : 0.00 0 0 0 0.00 0 0 0
1.00/1.06 c B&B Tree :
1.00/1.06 c number of runs : 1
1.00/1.06 c nodes : 1 (0 internal, 1 leaves)
1.00/1.06 c feasible leaves : 0
1.00/1.06 c infeas. leaves : 0
1.00/1.06 c objective leaves : 0
1.00/1.06 c nodes (total) : 1 (0 internal, 1 leaves)
1.00/1.06 c nodes left : 0
1.00/1.06 c max depth : 0
1.00/1.06 c max depth (total): 0
1.00/1.06 c backtracks : 0 (0.0%)
1.00/1.06 c early backtracks : 0 (0.0%)
1.00/1.06 c nodes exc. ref. : 0 (0.0%)
1.00/1.06 c delayed cutoffs : 0
1.00/1.06 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.00/1.06 c avg switch length: 2.00
1.00/1.06 c switching time : 0.00
1.00/1.06 c Root Node :
1.00/1.06 c First LP value : -3.80000000000000e+01
1.00/1.06 c First LP Iters : 103 (21521.10 Iter/sec)
1.00/1.06 c First LP Time : 0.00
1.00/1.06 c Final Dual Bound : -3.60000000000000e+01
1.00/1.06 c Final Root Iters : 1059
1.00/1.06 c Root LP Estimate : -3.60000000000000e+01
1.00/1.06 c Solution :
1.00/1.06 c Solutions found : 12 (3 improvements)
1.00/1.06 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1.00/1.06 c Gap First Sol. : infinite
1.00/1.06 c Gap Last Sol. : 0.00 %
1.00/1.06 c Primal Bound : -3.60000000000000e+01 (in run 1, after 1 nodes, 1.05 seconds, depth 0, found by <relaxation>)
1.00/1.06 c Dual Bound : -3.60000000000000e+01
1.00/1.06 c Gap : 0.00 %
1.00/1.06 c Integrals : Total Avg%
1.00/1.06 c primal-dual : 10.78 10.25
1.00/1.06 c primal-ref : - - (not evaluated)
1.00/1.06 c dual-ref : - - (not evaluated)
1.00/1.06 c Time complete (sec): 1.058
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: 63837 MiB (61662 MiB free)
memory of node 1: 64465 MiB (59435 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521043-1751554765/watcher-4521043-1751554765 -o /tmp/evaluation-result-4521043-1751554765/solver-4521043-1751554765 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751547548-78151 --watchdog 3760 pbsolver -f HOME/instance-4521043-1751554765.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=80613, runsolver pid=80610
[startup+0.100069 s]*
/proc/loadavg: 4.11 4.10 4.09 5/251 80614
/proc/meminfo: memFree=124004996/131382116 swapFree=33009904/33010684
[pid=80613] ppid=80610 vsize=27796 memory=19328 CPUtime=0.1 cores=0,2
/proc/80613/stat : 80613 (pbsolver) R 80610 80613 78141 0 -1 4194304 2390 0 0 0 10 0 0 0 20 0 1 0 71155951 28463104 4832 18446744073709551615 4198400 14743177 140721618074912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 35004416 140721618082186 140721618082282 140721618082282 140721618087884 0
/proc/80613/statm: 6949 4832 2688 2575 0 3856 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27796 KiB
Current children cumulated memory: 19328 KiB
[startup+0.213329 s]*
/proc/loadavg: 4.11 4.10 4.09 5/251 80614
/proc/meminfo: memFree=124004996/131382116 swapFree=33009904/33010684
[pid=80613] ppid=80610 vsize=29420 memory=20480 CPUtime=0.21 cores=0,2
/proc/80613/stat : 80613 (pbsolver) R 80610 80613 78141 0 -1 4194304 2699 0 0 0 21 0 0 0 20 0 1 0 71155951 30126080 5120 18446744073709551615 4198400 14743177 140721618074912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 35004416 140721618082186 140721618082282 140721618082282 140721618087884 0
/proc/80613/statm: 7355 5120 2688 2575 0 4262 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29420 KiB
Current children cumulated memory: 20480 KiB
[startup+0.312946 s]*
/proc/loadavg: 4.11 4.10 4.09 5/251 80614
/proc/meminfo: memFree=124004492/131382116 swapFree=33009904/33010684
[pid=80613] ppid=80610 vsize=31148 memory=22144 CPUtime=0.31 cores=0,2
/proc/80613/stat : 80613 (pbsolver) R 80610 80613 78141 0 -1 4194304 3110 0 0 0 31 0 0 0 20 0 1 0 71155951 31895552 5536 18446744073709551615 4198400 14743177 140721618074912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 35004416 140721618082186 140721618082282 140721618082282 140721618087884 0
/proc/80613/statm: 7787 5536 2688 2575 0 4694 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 22144 KiB
[startup+0.700272 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 80614
/proc/meminfo: memFree=123997436/131382116 swapFree=33009904/33010684
[pid=80613] ppid=80610 vsize=41108 memory=30976 CPUtime=0.68 cores=0,2
/proc/80613/stat : 80613 (pbsolver) R 80610 80613 78141 0 -1 4194304 5323 0 0 0 67 1 0 0 20 0 1 0 71155951 42094592 7744 18446744073709551615 4198400 14743177 140721618074912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 35004416 140721618082186 140721618082282 140721618082282 140721618087884 0
/proc/80613/statm: 10277 7744 2688 2575 0 7184 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 30976 KiB
[startup+1.068 s]
# the end of solver process 80613 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.03769 s, system=0.023869 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800344 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 80614
/proc/meminfo: memFree=123997436/131382116 swapFree=33009904/33010684
[pid=80613] ppid=80610 vsize=43516 memory=33152 CPUtime=0.78 cores=0,2
/proc/80613/stat : 80613 (pbsolver) R 80610 80613 78141 0 -1 4194304 5851 0 0 0 77 1 0 0 20 0 1 0 71155951 44560384 8288 18446744073709551615 4198400 14743177 140721618074912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 35004416 140721618082186 140721618082282 140721618082282 140721618087884 0
/proc/80613/statm: 10879 8288 2688 2575 0 7786 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 43516 KiB
Current children cumulated memory: 33152 KiB
[startup+1.00024 s]*
/proc/loadavg: 4.11 4.10 4.09 6/251 80614
/proc/meminfo: memFree=123989372/131382116 swapFree=33009904/33010684
[pid=80613] ppid=80610 vsize=48368 memory=36736 CPUtime=1 cores=0,2
/proc/80613/stat : 80613 (pbsolver) R 80610 80613 78141 0 -1 4194304 6750 0 0 0 98 2 0 0 20 0 1 0 71155951 49528832 9184 18446744073709551615 4198400 14743177 140721618074912 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 35004416 140721618082186 140721618082282 140721618082282 140721618087884 0
/proc/80613/statm: 12092 9184 2688 2575 0 8999 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 48368 KiB
Current children cumulated memory: 36736 KiB
Child status: 0
Real time (s): 1.06806
CPU time (s): 1.06156
CPU user time (s): 1.03769
CPU system time (s): 0.023869
CPU usage (%): 99.3912
Max. virtual memory (cumulated for all children) (KiB): 48368
Max. memory (cumulated for all children) (KiB): 36736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.03769
system time used= 0.023869
maximum resident set size= 36736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6750
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 80613
# total CPU time (s): 1.06156
# total CPU user time (s): 1.03769
# total CPU system time (s): 0.023869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034103 second user time and 0.08332 second system time
The end