0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4451135-1721428805.opb>
0.00/0.00 c original problem has 333 variables (333 bin, 0 int, 0 impl, 0 cont) and 111 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving:
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.00 c (0.0s) MILP presolver found nothing
0.00/0.00 c (0.0s) probing: 51/333 (15.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.00 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.00 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.04 c (0.0s) no symmetry present (symcode time: 0.04)
0.00/0.04 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
0.00/0.04 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.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 333 variables (333 bin, 0 int, 0 impl, 0 cont) and 111 constraints
0.00/0.04 c 111 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.04
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 10.0.0
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.04 c limits/time = 3596.997048
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.04 c limits/memory = 27900
0.00/0.04 c
0.00/0.04 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.04 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.04 c limits/solutions = 1
0.00/0.04 c
0.00/0.04 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.04 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.04 c misc/usesymmetry = 3
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.04 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.04 c
0.00/0.04 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.04 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.04 c
0.00/0.04 c # Type of symmetries that shall be computed?
0.00/0.04 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.04 c propagating/symmetry/symtype = 1
0.00/0.04 c
0.00/0.04 c # Should components consisting of a single full reflection be handled?
0.00/0.04 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.06 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.06 c 0.1s| 1 | 0 | 301 | - | 3943k | 0 | 333 | 121 | 111 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 503 | - | 4465k | 0 | 333 | 311 | 117 | 6 | 1 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 510 | - | 4871k | 0 | 333 | 311 | 120 | 9 | 2 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 514 | - | 5042k | 0 | 333 | 311 | 122 | 11 | 3 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 530 | - | 5566k | 0 | 333 | 311 | 124 | 13 | 4 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.10 c 0.1s| 1 | 0 | 553 | - | 6581k | 0 | 333 | 311 | 126 | 15 | 5 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.12 c 0.1s| 1 | 0 | 583 | - | 8905k | 0 | 333 | 311 | 128 | 17 | 6 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.14 c 0.1s| 1 | 0 | 606 | - | 10M | 0 | 333 | 311 | 130 | 19 | 7 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.16 c 0.2s| 1 | 0 | 619 | - | 12M | 0 | 333 | 311 | 131 | 20 | 8 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.17 c 0.2s| 1 | 0 | 641 | - | 14M | 0 | 333 | 311 | 132 | 21 | 9 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.19 c 0.2s| 1 | 0 | 642 | - | 18M | 0 | 333 | 311 | 133 | 22 | 10 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.10/0.19 c 0.2s| 1 | 0 | 666 | - | 18M | 0 | 333 | 311 | 132 | 24 | 11 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.21 c 0.2s| 1 | 2 | 1042 | - | 18M | 0 | 333 | 319 | 132 | 24 | 11 | 18 | 5 | 0.000000e+00 | -- | Inf | unknown
0.68/0.75 c 0.8s| 100 | 101 | 10338 | 97.7 | 22M | 32 | 333 | 425 | 115 | 56 | 1 | 137 | 5 | 0.000000e+00 | -- | Inf | unknown
1.19/1.21 c 1.2s| 200 | 201 | 15138 | 72.7 | 24M | 32 | 333 | 441 | 115 | 102 | 1 | 165 | 5 | 0.000000e+00 | -- | Inf | unknown
1.39/1.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.39/1.44 c 1.4s| 300 | 301 | 16903 | 54.3 | 25M | 33 | 333 | 444 | 115 | 110 | 1 | 168 | 5 | 0.000000e+00 | -- | Inf | unknown
1.49/1.54 c 1.5s| 400 | 401 | 18198 | 43.9 | 25M | 36 | 333 | 444 | 114 | 110 | 1 | 171 | 5 | 0.000000e+00 | -- | Inf | unknown
1.59/1.63 c 1.6s| 500 | 501 | 19276 | 37.3 | 25M | 39 | 333 | 444 | 114 | 110 | 1 | 175 | 5 | 0.000000e+00 | -- | Inf | unknown
1.69/1.78 c 1.8s| 600 | 601 | 21235 | 34.3 | 25M | 42 | 333 | 451 | 115 | 126 | 1 | 183 | 5 | 0.000000e+00 | -- | Inf | unknown
1.79/1.89 c
1.79/1.89 c SCIP Status : problem is solved [infeasible]
1.79/1.89 c Solving Time (sec) : 1.89
1.79/1.89 c Solving Nodes : 680
1.79/1.89 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1.79/1.89 c Dual Bound : +1.00000000000000e+20
1.79/1.89 c Gap : 0.00 %
1.79/1.89 s UNSATISFIABLE
1.79/1.89 c SCIP Status : problem is solved [infeasible]
1.79/1.89 c Total Time : 1.89
1.79/1.89 c solving : 1.89
1.79/1.89 c presolving : 0.04 (included in solving)
1.79/1.89 c reading : 0.00 (included in solving)
1.79/1.89 c copying : 0.09 (30 #copies) (minimal 0.00, maximal 0.00, average 0.00)
1.79/1.89 c Original Problem :
1.79/1.89 c Problem name : HOME/instance-4451135-1721428805.opb
1.79/1.89 c Variables : 333 (333 binary, 0 integer, 0 implicit integer, 0 continuous)
1.79/1.89 c Constraints : 111 initial, 111 maximal
1.79/1.89 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
1.79/1.89 c Presolved Problem :
1.79/1.89 c Problem name : t_HOME/instance-4451135-1721428805.opb
1.79/1.89 c Variables : 333 (333 binary, 0 integer, 0 implicit integer, 0 continuous)
1.79/1.89 c Constraints : 111 initial, 455 maximal
1.79/1.89 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
1.79/1.89 c Nonzeros : 666 constraint, 0 clique table
1.79/1.89 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1.79/1.89 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c implics : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c trivial : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c dualfix : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c linear : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1.79/1.89 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c root node : - - - 0 - - 0 - - - - -
1.79/1.89 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1.79/1.89 c benderslp : 0 0 0 0 678 0 0 77 0 0 0 0 0 0 0
1.79/1.89 c integral : 0 0 0 0 678 0 0 77 0 0 0 0 0 0 1356
1.79/1.89 c linear : 111+ 321 12 9436 0 0 0 76 4652 64 188 0 0 0 0
1.79/1.89 c logicor : 0+ 155 11 1382 0 0 0 0 2 5 0 0 0 0 0
1.79/1.89 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1.79/1.89 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c integral : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c linear : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c Propagators : #Propagate #ResProp Cutoffs DomReds
1.79/1.89 c dualfix : 1 0 0 0
1.79/1.89 c genvbounds : 0 0 0 0
1.79/1.89 c nlobbt : 0 0 0 0
1.79/1.89 c obbt : 0 0 0 0
1.79/1.89 c probing : 0 0 0 0
1.79/1.89 c pseudoobj : 0 0 0 0
1.79/1.89 c redcost : 0 0 0 0
1.79/1.89 c rootredcost : 0 0 0 0
1.79/1.89 c symmetry : 0 0 0 0
1.79/1.89 c vbounds : 0 0 0 0
1.79/1.89 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1.79/1.89 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c symmetry : 0.04 0.00 0.04 0.00 0.00 0.00
1.79/1.89 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1.79/1.89 c Symmetry :
1.79/1.89 c orbitopal red. : 0 reductions applied, 0 cutoffs
1.79/1.89 c orbital reduction: 0 reductions applied, 0 cutoffs
1.79/1.89 c lexicographic red: 0 reductions applied, 0 cutoffs
1.79/1.89 c shadow tree time : 0.00 s
1.79/1.89 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1.79/1.89 c propagation : 0.00 52 52 - 472 61.2 15 10.9 - - -
1.79/1.89 c infeasible LP : 0.01 30 29 - 396 77.1 3 7.7 1 0.0 0
1.79/1.89 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1.79/1.89 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1.79/1.89 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1.79/1.89 c applied globally : 0.00 - - 0 154 29.6 - - 0 - -
1.79/1.89 c applied locally : - - - 0 34 62.2 - - 0 - -
1.79/1.89 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1.79/1.89 c cut pool : 0.05 - 192 21 - - 1802 2891 - - - - - (maximal pool size: 1221)
1.79/1.89 c aggregation : 0.01 0.00 71 11 0 0 2 2 0 0 0 0 0
1.79/1.89 c > cmir : - - - - - - - 2 0 0 0 0 -
1.79/1.89 c > flowcover : - - - - - - - 0 0 0 0 0 -
1.79/1.89 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
1.79/1.89 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c clique : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c gomory : 0.18 0.00 70 10 0 0 2077 2848 306 141 126 15 0
1.79/1.89 c > gomorymi : - - - - - - - 980 153 17 12 5 -
1.79/1.89 c > strongcg : - - - - - - - 1868 153 124 114 10 -
1.79/1.89 c impliedbounds : 0.00 0.00 71 11 0 0 0 0 0 0 0 0 0
1.79/1.89 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1.79/1.89 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c multilinear : 0.00 0.00 29 11 0 0 0 0 0 0 0 0 0
1.79/1.89 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1.79/1.89 c rapidlearning : 0.73 0.00 26 1 0 0 0 0 0 0 0 0 410
1.79/1.89 c rlt : 0.00 0.00 36 10 0 0 0 0 0 0 0 0 0
1.79/1.89 c zerohalf : 0.02 0.00 71 11 0 0 72 41 43 58 30 28 0
1.79/1.89 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1.79/1.89 c hybrid : 0.01 0.00 74 11 199 0 3041 24 0 1272
1.79/1.89 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c Pricers : ExecTime SetupTime Calls Vars
1.79/1.89 c problem variables: 0.00 - 0 0
1.79/1.89 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1.79/1.89 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c relpscost : 0.01 0.00 678 0 0 0 0 0 0 1356
1.79/1.89 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1.79/1.89 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1.79/1.89 c LP solutions : 0.00 - - 0 0
1.79/1.89 c relax solutions : 0.00 - - 0 0
1.79/1.89 c pseudo solutions : 0.00 - - 0 0
1.79/1.89 c strong branching : 0.00 - - 0 0
1.79/1.89 c actconsdiving : 0.00 0.00 0 0 0
1.79/1.89 c adaptivediving : 0.04 0.00 14 0 0
1.79/1.89 c alns : 0.08 0.00 3 0 0
1.79/1.89 c bound : 0.00 0.00 0 0 0
1.79/1.89 c clique : 0.00 0.00 0 0 0
1.79/1.89 c coefdiving : 0.00 0.00 0 0 0
1.79/1.89 c completesol : 0.00 0.00 0 0 0
1.79/1.89 c conflictdiving : 0.07 0.00 10 0 0
1.79/1.89 c crossover : 0.00 0.00 0 0 0
1.79/1.89 c dins : 0.00 0.00 0 0 0
1.79/1.89 c distributiondivin: 0.12 0.00 5 0 0
1.79/1.89 c dps : 0.00 0.00 0 0 0
1.79/1.89 c dualval : 0.00 0.00 0 0 0
1.79/1.89 c farkasdiving : 0.00 0.00 0 0 0
1.79/1.89 c feasjump : 0.01 0.00 1 0 0
1.79/1.89 c feaspump : 0.04 0.00 11 0 0
1.79/1.89 c fixandinfer : 0.00 0.00 0 0 0
1.79/1.89 c fracdiving : 0.04 0.00 6 0 0
1.79/1.89 c gins : 0.00 0.00 0 0 0
1.79/1.89 c guideddiving : 0.00 0.00 0 0 0
1.79/1.89 c indcoefdiving : 0.00 0.00 0 0 0
1.79/1.89 c indicator : 0.00 0.00 0 0 0
1.79/1.89 c indicatordiving : 0.00 0.00 0 0 0
1.79/1.89 c indoneopt : 0.00 0.00 0 0 0
1.79/1.89 c indrounding : 0.00 0.00 0 0 0
1.79/1.89 c indtwoopt : 0.00 0.00 0 0 0
1.79/1.89 c intdiving : 0.00 0.00 0 0 0
1.79/1.89 c intshifting : 0.00 0.00 0 0 0
1.79/1.89 c linesearchdiving : 0.04 0.00 5 0 0
1.79/1.89 c localbranching : 0.00 0.00 0 0 0
1.79/1.89 c locks : 0.00 0.00 1 0 0
1.79/1.89 c lpface : 0.00 0.00 0 0 0
1.79/1.89 c mpec : 0.00 0.00 0 0 0
1.79/1.89 c multistart : 0.00 0.00 0 0 0
1.79/1.89 c mutation : 0.00 0.00 0 0 0
1.79/1.89 c nlpdiving : 0.00 0.00 0 0 0
1.79/1.89 c objpscostdiving : 0.03 0.00 10 0 0
1.79/1.89 c octane : 0.00 0.00 0 0 0
1.79/1.89 c ofins : 0.00 0.00 0 0 0
1.79/1.89 c oneopt : 0.00 0.00 0 0 0
1.79/1.89 c padm : 0.00 0.00 0 0 0
1.79/1.89 c proximity : 0.00 0.00 0 0 0
1.79/1.89 c pscostdiving : 0.06 0.00 4 0 0
1.79/1.89 c randrounding : 0.01 0.00 70 0 0
1.79/1.89 c rens : 0.00 0.00 1 0 0
1.79/1.89 c reoptsols : 0.00 0.00 0 0 0
1.79/1.89 c repair : 0.00 0.00 0 0 0
1.79/1.89 c rins : 0.00 0.00 0 0 0
1.79/1.89 c rootsoldiving : 0.04 0.00 3 0 0
1.79/1.89 c rounding : 0.00 0.00 342 0 0
1.79/1.89 c scheduler : 0.00 0.00 0 0 0
1.79/1.89 c shiftandpropagate: 0.00 0.00 1 0 0
1.79/1.89 c shifting : 0.00 0.00 120 0 0
1.79/1.89 c simplerounding : 0.00 0.00 0 0 0
1.79/1.89 c smallcard : 0.00 0.00 0 0 0
1.79/1.89 c subnlp : 0.00 0.00 0 0 0
1.79/1.89 c trivial : 0.00 0.00 2 0 0
1.79/1.89 c trivialnegation : 0.00 0.00 0 0 0
1.79/1.89 c trustregion : 0.00 0.00 0 0 0
1.79/1.89 c trysol : 0.00 0.00 0 0 0
1.79/1.89 c twoopt : 0.00 0.00 0 0 0
1.79/1.89 c undercover : 0.00 0.00 0 0 0
1.79/1.89 c vbounds : 0.00 0.00 0 0 0
1.79/1.89 c veclendiving : 0.04 0.00 6 0 0
1.79/1.89 c zeroobj : 0.00 0.00 0 0 0
1.79/1.89 c zirounding : 0.00 0.00 678 0 0
1.79/1.89 c other solutions : - - - 0 -
1.79/1.89 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1.79/1.89 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.79/1.89 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.79/1.89 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.79/1.89 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.79/1.89 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.79/1.89 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.79/1.89 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
1.79/1.89 c zeroobjective : 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.79/1.89 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.79/1.89 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1.79/1.89 c primal LP : 0.00 22 0 0.00 - 0.00 22
1.79/1.89 c dual LP : 0.13 754 4682 6.21 35493.36 0.00 0
1.79/1.89 c lex dual LP : 0.00 0 0 0.00 -
1.79/1.89 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1.79/1.89 c resolve instable : 0.00 0 0 0.00 -
1.79/1.89 c diving/probing LP: 0.32 1377 17847 12.96 56226.78
1.79/1.89 c strong branching : 0.00 5 41 8.20 - - - 0
1.79/1.89 c (at root node) : - 5 41 8.20 -
1.79/1.89 c conflict analysis: 0.00 0 0 0.00 -
1.79/1.89 c B&B Tree :
1.79/1.89 c number of runs : 1
1.79/1.89 c nodes : 680 (678 internal, 2 leaves)
1.79/1.89 c feasible leaves : 0
1.79/1.89 c infeas. leaves : 2
1.79/1.89 c objective leaves : 0
1.79/1.89 c nodes (total) : 680 (678 internal, 2 leaves)
1.79/1.89 c nodes left : 0
1.79/1.89 c max depth : 44
1.79/1.89 c max depth (total): 44
1.79/1.89 c backtracks : 135 (19.9%)
1.79/1.89 c early backtracks : 0 (0.0%)
1.79/1.89 c nodes exc. ref. : 0 (0.0%)
1.79/1.89 c delayed cutoffs : 677
1.79/1.89 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.79/1.89 c avg switch length: 3.33
1.79/1.89 c switching time : 0.02
1.79/1.89 c Root Node :
1.79/1.89 c First LP value : +0.00000000000000e+00
1.79/1.89 c First LP Iters : 301 (220998.53 Iter/sec)
1.79/1.89 c First LP Time : 0.00
1.79/1.89 c Final Dual Bound : -
1.79/1.89 c Final Root Iters : 666
1.79/1.89 c Root LP Estimate : +4.61079545454546e-04
1.79/1.89 c Solution :
1.79/1.89 c Solutions found : 0 (0 improvements)
1.79/1.89 c Primal Bound : infeasible
1.79/1.89 c Dual Bound : -
1.79/1.89 c Gap : 0.00 %
1.79/1.89 c Integrals : Total Avg%
1.79/1.89 c primal-dual : - - (problem infeasible)
1.79/1.89 c primal-ref : - - (problem infeasible)
1.79/1.89 c dual-ref : - - (problem infeasible)
1.89/1.90 c Time complete: 1.89616.
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: 63931 MiB (61426 MiB free)
memory of node 1: 64510 MiB (62334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451135-1721428805/watcher-4451135-1721428805 -o /tmp/evaluation-result-4451135-1721428805/solver-4451135-1721428805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721421618-1052160 --watchdog 3760 pbscip -f HOME/instance-4451135-1721428805.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1056777, runsolver pid=1056774
[startup+0.100079 s]*
/proc/loadavg: 4.15 4.13 4.15 5/258 1056778
/proc/meminfo: memFree=126722344/131524600 swapFree=131071996/131071996
[pid=1056777] ppid=1056774 vsize=64136 memory=24428 CPUtime=0.1 cores=4,6
/proc/1056777/stat : 1056777 (pbscip) R 1056774 1056777 1052149 0 -1 4194304 2488 0 0 0 10 0 0 0 20 0 1 0 195042374 65675264 6107 134679101440 4194304 18693293 140734705758224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49270784 140734705767426 140734705767525 140734705767525 140734705774542 0
/proc/1056777/statm: 16034 6107 3973 3540 0 4291 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 64136 KiB
Current children cumulated memory: 24428 KiB
[startup+0.205813 s]*
/proc/loadavg: 4.15 4.13 4.15 5/258 1056778
/proc/meminfo: memFree=126710108/131524600 swapFree=131071996/131071996
[pid=1056777] ppid=1056774 vsize=77608 memory=37688 CPUtime=0.2 cores=4,6
/proc/1056777/stat : 1056777 (pbscip) R 1056774 1056777 1052149 0 -1 4194304 5832 0 0 0 20 0 0 0 20 0 1 0 195042374 79470592 9422 134679101440 4194304 18693293 140734705758224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49270784 140734705767426 140734705767525 140734705767525 140734705774542 0
/proc/1056777/statm: 19402 9422 3989 3540 0 7659 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77608 KiB
Current children cumulated memory: 37688 KiB
[startup+0.3058 s]*
/proc/loadavg: 4.15 4.13 4.15 5/258 1056778
/proc/meminfo: memFree=126705608/131524600 swapFree=131071996/131071996
[pid=1056777] ppid=1056774 vsize=79252 memory=39716 CPUtime=0.3 cores=4,6
/proc/1056777/stat : 1056777 (pbscip) R 1056774 1056777 1052149 0 -1 4194304 6372 0 0 0 30 0 0 0 20 0 1 0 195042374 81154048 9929 134679101440 4194304 18693293 140734705758224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49270784 140734705767426 140734705767525 140734705767525 140734705774542 0
/proc/1056777/statm: 19813 9929 3989 3540 0 8070 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79252 KiB
Current children cumulated memory: 39716 KiB
[startup+0.700196 s]
/proc/loadavg: 4.15 4.13 4.15 5/258 1056778
/proc/meminfo: memFree=126701436/131524600 swapFree=131071996/131071996
[pid=1056777] ppid=1056774 vsize=83080 memory=44204 CPUtime=0.68 cores=4,6
/proc/1056777/stat : 1056777 (pbscip) R 1056774 1056777 1052149 0 -1 4194304 7507 0 0 0 68 0 0 0 20 0 1 0 195042374 85073920 11051 134679101440 4194304 18693293 140734705758224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49270784 140734705767426 140734705767525 140734705767525 140734705774542 0
/proc/1056777/statm: 20770 11051 3989 3540 0 9027 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83080 KiB
Current children cumulated memory: 44204 KiB
[startup+1.50021 s]
/proc/loadavg: 4.15 4.13 4.15 5/258 1056778
/proc/meminfo: memFree=126687472/131524600 swapFree=131071996/131071996
[pid=1056777] ppid=1056774 vsize=86568 memory=47108 CPUtime=1.49 cores=4,6
/proc/1056777/stat : 1056777 (pbscip) R 1056774 1056777 1052149 0 -1 4194304 8234 0 0 0 148 1 0 0 20 0 1 0 195042374 88645632 11777 134679101440 4194304 18693293 140734705758224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49270784 140734705767426 140734705767525 140734705767525 140734705774542 0
/proc/1056777/statm: 21642 11777 3989 3540 0 9899 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 86568 KiB
Current children cumulated memory: 47108 KiB
[startup+1.90686 s]
# the end of solver process 1056777 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.88473 s, system=0.015914 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6002 s]
/proc/loadavg: 4.15 4.13 4.15 5/258 1056778
/proc/meminfo: memFree=126687472/131524600 swapFree=131071996/131071996
[pid=1056777] ppid=1056774 vsize=86568 memory=47372 CPUtime=1.59 cores=4,6
/proc/1056777/stat : 1056777 (pbscip) R 1056774 1056777 1052149 0 -1 4194304 8268 0 0 0 158 1 0 0 20 0 1 0 195042374 88645632 11843 134679101440 4194304 18693293 140734705758224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49270784 140734705767426 140734705767525 140734705767525 140734705774542 0
/proc/1056777/statm: 21642 11843 3989 3540 0 9899 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 86568 KiB
Current children cumulated memory: 47372 KiB
[startup+1.80017 s]
/proc/loadavg: 4.15 4.13 4.15 5/258 1056778
/proc/meminfo: memFree=126687472/131524600 swapFree=131071996/131071996
[pid=1056777] ppid=1056774 vsize=86712 memory=47372 CPUtime=1.79 cores=4,6
/proc/1056777/stat : 1056777 (pbscip) R 1056774 1056777 1052149 0 -1 4194304 8310 0 0 0 178 1 0 0 20 0 1 0 195042374 88793088 11843 134679101440 4194304 18693293 140734705758224 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49270784 140734705767426 140734705767525 140734705767525 140734705774542 0
/proc/1056777/statm: 21678 11843 3989 3540 0 9935 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 86712 KiB
Current children cumulated memory: 47372 KiB
[startup+1.90016 s]
/proc/loadavg: 4.15 4.13 4.15 5/258 1056778
/proc/meminfo: memFree=126687472/131524600 swapFree=131071996/131071996
[pid=1056777] ppid=1056774 vsize=86712 memory=47636 CPUtime=1.89 cores=4,6
/proc/1056777/stat : 1056777 (pbscip) R 1056774 1056777 1052149 0 -1 4194304 8321 0 0 0 188 1 0 0 20 0 1 0 195042374 88793088 11909 134679101440 4194304 18693293 140734705758224 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49270784 140734705767426 140734705767525 140734705767525 140734705774542 0
/proc/1056777/statm: 21678 11909 3989 3540 0 9935 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 86712 KiB
Current children cumulated memory: 47636 KiB
Child status: 0
Real time (s): 1.90689
CPU time (s): 1.90064
CPU user time (s): 1.88473
CPU system time (s): 0.015914
CPU usage (%): 99.6724
Max. virtual memory (cumulated for all children) (KiB): 86712
Max. memory (cumulated for all children) (KiB): 47636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.88473
system time used= 0.015914
maximum resident set size= 47636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8327
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= 7
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 1056777
# total CPU time (s): 1.90064
# total CPU user time (s): 1.88473
# total CPU system time (s): 0.015914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021767 second user time and 0.027332 second system time
The end