0.00/0.05 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.05 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.05 c
0.00/0.05 c user parameter file <scip.set> not found - using default parameters
0.00/0.05 c reading problem <HOME/instance-4451645-1721434843.opb>
0.00/0.05 c original problem has 243 variables (243 bin, 0 int, 0 impl, 0 cont) and 81 constraints
0.00/0.05 c problem read in 0.00
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.05 c (0.0s) running MILP presolver
0.00/0.05 c (0.0s) MILP presolver found nothing
0.00/0.05 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 81 upgd conss, 0 impls, 81 clqs
0.00/0.06 c (0.0s) probing: 51/243 (21.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.0s) no symmetry present (symcode time: 0.02)
0.00/0.07 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.00/0.07 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.07 c 0 implications, 81 cliques
0.00/0.07 c presolved problem has 243 variables (243 bin, 0 int, 0 impl, 0 cont) and 81 constraints
0.00/0.07 c 81 constraints of type <setppc>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.02
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 10.0.0
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07 c limits/time = 3596.997014
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07 c limits/memory = 27900
0.00/0.07 c
0.00/0.07 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.07 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.07 c limits/solutions = 1
0.00/0.07 c
0.00/0.07 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.07 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.07 c misc/usesymmetry = 3
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
0.00/0.07 c
0.00/0.07 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.07 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.07 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.07 c
0.00/0.07 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.07 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.07 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.07 c
0.00/0.07 c # Type of symmetries that shall be computed?
0.00/0.07 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.07 c propagating/symmetry/symtype = 1
0.00/0.07 c
0.00/0.07 c # Should components consisting of a single full reflection be handled?
0.00/0.07 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.07 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.09 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.09 c 0.0s| 1 | 0 | 130 | - | 3412k | 0 | 243 | 122 | 81 | 0 | 0 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.13 c 0.1s| 1 | 0 | 232 | - | 3830k | 0 | 243 | 322 | 84 | 3 | 1 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.13 c 0.1s| 1 | 0 | 240 | - | 4692k | 0 | 243 | 322 | 86 | 5 | 2 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.13 c 0.1s| 1 | 0 | 247 | - | 4852k | 0 | 243 | 322 | 89 | 8 | 3 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.13 c 0.1s| 1 | 0 | 256 | - | 4983k | 0 | 243 | 322 | 92 | 11 | 4 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.14 c 0.1s| 1 | 0 | 272 | - | 6192k | 0 | 243 | 322 | 95 | 14 | 5 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.15 c 0.1s| 1 | 0 | 282 | - | 7921k | 0 | 243 | 322 | 98 | 17 | 6 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.16 c 0.1s| 1 | 0 | 302 | - | 9289k | 0 | 243 | 322 | 100 | 19 | 7 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.18 c 0.1s| 1 | 0 | 317 | - | 11M | 0 | 243 | 322 | 102 | 21 | 8 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.19 c 0.1s| 1 | 0 | 332 | - | 13M | 0 | 243 | 322 | 105 | 24 | 9 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.20 c 0.1s| 1 | 0 | 338 | - | 14M | 0 | 243 | 322 | 108 | 27 | 10 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.20 c 0.1s| 1 | 0 | 339 | - | 14M | 0 | 243 | 322 | 111 | 30 | 11 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.20 c 0.1s| 1 | 0 | 345 | - | 14M | 0 | 243 | 322 | 111 | 32 | 12 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.04/0.20 c 0.2s| 1 | 0 | 346 | - | 14M | 0 | 243 | 322 | 112 | 33 | 13 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.15/0.21 c 0.2s| 1 | 0 | 348 | - | 14M | 0 | 243 | 322 | 114 | 35 | 14 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.15/0.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.15/0.21 c 0.2s| 1 | 0 | 352 | - | 14M | 0 | 243 | 322 | 115 | 36 | 15 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.15/0.21 c 0.2s| 1 | 0 | 358 | - | 14M | 0 | 243 | 322 | 116 | 37 | 16 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.15/0.21 c 0.2s| 1 | 0 | 366 | - | 14M | 0 | 243 | 322 | 117 | 38 | 17 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.15/0.22 c 0.2s| 1 | 0 | 369 | - | 14M | 0 | 243 | 322 | 102 | 39 | 18 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.15/0.22 c 0.2s| 1 | 0 | 371 | - | 14M | 0 | 243 | 322 | 104 | 41 | 19 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.15/0.22 c 0.2s| 1 | 0 | 374 | - | 14M | 0 | 243 | 322 | 105 | 42 | 20 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.15/0.24 c 0.2s| 1 | 2 | 547 | - | 14M | 0 | 243 | 329 | 105 | 42 | 21 | 48 | 10 | 0.000000e+00 | -- | Inf | unknown
0.45/0.51 c 0.5s| 100 | 101 | 2714 | 23.6 | 16M | 25 | 243 | 628 | 88 | 69 | 1 | 347 | 10 | 0.000000e+00 | -- | Inf | unknown
0.45/0.56 c 0.5s| 200 | 185 | 3420 | 15.3 | 16M | 38 | 243 | 833 | 88 | 69 | 1 | 554 | 10 | 0.000000e+00 | -- | Inf | unknown
0.54/0.66 c 0.6s| 300 | 253 | 3987 | 12.1 | 16M | 38 | 243 | 983 | 88 | 69 | 1 | 704 | 10 | 0.000000e+00 | -- | Inf | unknown
0.74/0.82 c 0.8s| 400 | 331 | 4816 | 11.1 | 17M | 40 | 243 |1201 | 82 | 95 | 1 | 922 | 10 | 0.000000e+00 | -- | Inf | unknown
0.94/1.06 c
0.94/1.06 c SCIP Status : problem is solved [infeasible]
0.94/1.06 c Solving Time (sec) : 1.01
0.94/1.06 c Solving Nodes : 471
0.94/1.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
0.94/1.06 c Dual Bound : +1.00000000000000e+20
0.94/1.06 c Gap : 0.00 %
0.94/1.06 s UNSATISFIABLE
0.94/1.06 c SCIP Status : problem is solved [infeasible]
0.94/1.06 c Total Time : 1.01
0.94/1.06 c solving : 1.01
0.94/1.06 c presolving : 0.02 (included in solving)
0.94/1.06 c reading : 0.00 (included in solving)
0.94/1.06 c copying : 0.07 (18 #copies) (minimal 0.00, maximal 0.01, average 0.00)
0.94/1.06 c Original Problem :
0.94/1.06 c Problem name : HOME/instance-4451645-1721434843.opb
0.94/1.06 c Variables : 243 (243 binary, 0 integer, 0 implicit integer, 0 continuous)
0.94/1.06 c Constraints : 81 initial, 81 maximal
0.94/1.06 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.94/1.06 c Presolved Problem :
0.94/1.06 c Problem name : t_HOME/instance-4451645-1721434843.opb
0.94/1.06 c Variables : 243 (243 binary, 0 integer, 0 implicit integer, 0 continuous)
0.94/1.06 c Constraints : 81 initial, 1287 maximal
0.94/1.06 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.94/1.06 c Nonzeros : 486 constraint, 486 clique table
0.94/1.06 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.94/1.06 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.94/1.06 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.94/1.06 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.94/1.06 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.94/1.06 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.94/1.06 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.94/1.06 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.94/1.06 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.94/1.06 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
0.94/1.06 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.94/1.06 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
0.94/1.06 c linear : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.94/1.06 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.94/1.06 c root node : - - - 0 - - 0 - - - - -
0.94/1.06 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.94/1.06 c benderslp : 0 0 0 0 434 0 0 37 0 0 0 0 0 0 0
0.94/1.06 c integral : 0 0 0 0 434 0 0 37 0 0 0 0 0 0 868
0.94/1.06 c knapsack : 0+ 1 0 171 0 0 0 0 2 0 2 0 0 0 0
0.94/1.06 c setppc : 81 81 21 5606 0 0 0 33 9260 135 3043 0 0 0 0
0.94/1.06 c linear : 0+ 220 21 4462 0 0 0 3 36 2 18 2 1 0 0
0.94/1.06 c logicor : 0+ 1005 21 2333 0 0 0 0 298 16 150 0 0 0 0
0.94/1.06 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.94/1.06 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c integral : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.94/1.06 c dualfix : 1 0 0 0
0.94/1.06 c genvbounds : 0 0 0 0
0.94/1.06 c nlobbt : 0 0 0 0
0.94/1.06 c obbt : 0 0 0 0
0.94/1.06 c probing : 0 0 0 0
0.94/1.06 c pseudoobj : 0 0 0 0
0.94/1.06 c redcost : 0 0 0 0
0.94/1.06 c rootredcost : 0 0 0 0
0.94/1.06 c symmetry : 0 0 0 0
0.94/1.06 c vbounds : 2691 0 0 0
0.94/1.06 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.94/1.06 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c symmetry : 0.02 0.00 0.02 0.00 0.00 0.00
0.94/1.06 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.94/1.06 c Symmetry :
0.94/1.06 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.94/1.06 c orbital reduction: 0 reductions applied, 0 cutoffs
0.94/1.06 c lexicographic red: 0 reductions applied, 0 cutoffs
0.94/1.06 c shadow tree time : 0.00 s
0.94/1.06 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.94/1.06 c propagation : 0.00 151 151 - 1284 32.3 34 11.5 - - -
0.94/1.06 c infeasible LP : 0.01 58 57 - 884 45.4 0 0.0 2 8.0 0
0.94/1.06 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.94/1.06 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.94/1.06 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.94/1.06 c applied globally : 0.00 - - 0 1004 23.7 - - 1 - -
0.94/1.06 c applied locally : - - - 0 3 28.0 - - 0 - -
0.94/1.06 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.94/1.06 c cut pool : 0.01 - 125 40 - - 995 1460 - - - - - (maximal pool size: 995)
0.94/1.06 c aggregation : 0.02 0.00 49 21 0 0 4 4 0 1 1 0 0
0.94/1.06 c > cmir : - - - - - - - 2 0 0 0 0 -
0.94/1.06 c > flowcover : - - - - - - - 2 0 1 1 0 -
0.94/1.06 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
0.94/1.06 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c clique : 0.00 0.00 21 21 0 0 6 10 0 10 10 0 0
0.94/1.06 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c gomory : 0.08 0.00 38 10 0 0 1134 1422 170 70 56 14 0
0.94/1.06 c > gomorymi : - - - - - - - 542 85 19 8 11 -
0.94/1.06 c > strongcg : - - - - - - - 880 85 51 48 3 -
0.94/1.06 c impliedbounds : 0.00 0.00 49 21 0 0 0 0 0 0 0 0 0
0.94/1.06 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
0.94/1.06 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c multilinear : 0.00 0.00 43 21 0 0 0 0 0 0 0 0 0
0.94/1.06 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.94/1.06 c rapidlearning : 0.45 0.00 13 1 0 2 0 0 0 0 0 0 320
0.94/1.06 c rlt : 0.00 0.00 22 10 0 0 0 0 0 0 0 0 0
0.94/1.06 c zerohalf : 0.01 0.00 48 20 0 0 50 24 29 43 19 24 0
0.94/1.06 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.94/1.06 c hybrid : 0.00 0.00 48 20 125 0 1536 42 0 955
0.94/1.06 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c Pricers : ExecTime SetupTime Calls Vars
0.94/1.06 c problem variables: 0.00 - 0 0
0.94/1.06 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.94/1.06 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c relpscost : 0.01 0.00 434 0 0 0 0 0 0 868
0.94/1.06 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.94/1.06 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.94/1.06 c LP solutions : 0.00 - - 0 0
0.94/1.06 c relax solutions : 0.00 - - 0 0
0.94/1.06 c pseudo solutions : 0.00 - - 0 0
0.94/1.06 c strong branching : 0.00 - - 0 0
0.94/1.06 c actconsdiving : 0.00 0.00 0 0 0
0.94/1.06 c adaptivediving : 0.02 0.00 18 0 0
0.94/1.06 c alns : 0.08 0.00 4 0 0
0.94/1.06 c bound : 0.00 0.00 0 0 0
0.94/1.06 c clique : 0.00 0.00 1 0 0
0.94/1.06 c coefdiving : 0.00 0.00 0 0 0
0.94/1.06 c completesol : 0.00 0.00 0 0 0
0.94/1.06 c conflictdiving : 0.02 0.00 10 0 0
0.94/1.06 c crossover : 0.00 0.00 0 0 0
0.94/1.06 c dins : 0.00 0.00 0 0 0
0.94/1.06 c distributiondivin: 0.05 0.00 9 0 0
0.94/1.06 c dps : 0.00 0.00 0 0 0
0.94/1.06 c dualval : 0.00 0.00 0 0 0
0.94/1.06 c farkasdiving : 0.00 0.00 0 0 0
0.94/1.06 c feasjump : 0.01 0.00 1 0 0
0.94/1.06 c feaspump : 0.01 0.00 5 0 0
0.94/1.06 c fixandinfer : 0.00 0.00 0 0 0
0.94/1.06 c fracdiving : 0.01 0.00 9 0 0
0.94/1.06 c gins : 0.00 0.00 0 0 0
0.94/1.06 c guideddiving : 0.00 0.00 0 0 0
0.94/1.06 c indcoefdiving : 0.00 0.00 0 0 0
0.94/1.06 c indicator : 0.00 0.00 0 0 0
0.94/1.06 c indicatordiving : 0.00 0.00 0 0 0
0.94/1.06 c indoneopt : 0.00 0.00 0 0 0
0.94/1.06 c indrounding : 0.00 0.00 0 0 0
0.94/1.06 c indtwoopt : 0.00 0.00 0 0 0
0.94/1.06 c intdiving : 0.00 0.00 0 0 0
0.94/1.06 c intshifting : 0.00 0.00 0 0 0
0.94/1.06 c linesearchdiving : 0.01 0.00 9 0 0
0.94/1.06 c localbranching : 0.00 0.00 0 0 0
0.94/1.06 c locks : 0.00 0.00 1 0 0
0.94/1.06 c lpface : 0.00 0.00 0 0 0
0.94/1.06 c mpec : 0.00 0.00 0 0 0
0.94/1.06 c multistart : 0.00 0.00 0 0 0
0.94/1.06 c mutation : 0.00 0.00 0 0 0
0.94/1.06 c nlpdiving : 0.00 0.00 0 0 0
0.94/1.06 c objpscostdiving : 0.01 0.00 5 0 0
0.94/1.06 c octane : 0.00 0.00 0 0 0
0.94/1.06 c ofins : 0.00 0.00 0 0 0
0.94/1.06 c oneopt : 0.00 0.00 0 0 0
0.94/1.06 c padm : 0.00 0.00 0 0 0
0.94/1.06 c proximity : 0.00 0.00 0 0 0
0.94/1.06 c pscostdiving : 0.01 0.00 9 0 0
0.94/1.06 c randrounding : 0.01 0.00 30 0 0
0.94/1.06 c rens : 0.01 0.00 1 0 0
0.94/1.06 c reoptsols : 0.00 0.00 0 0 0
0.94/1.06 c repair : 0.00 0.00 0 0 0
0.94/1.06 c rins : 0.00 0.00 0 0 0
0.94/1.06 c rootsoldiving : 0.01 0.00 5 0 0
0.94/1.06 c rounding : 0.00 0.00 264 0 0
0.94/1.06 c scheduler : 0.00 0.00 0 0 0
0.94/1.06 c shiftandpropagate: 0.00 0.00 1 0 0
0.94/1.06 c shifting : 0.00 0.00 88 0 0
0.94/1.06 c simplerounding : 0.00 0.00 0 0 0
0.94/1.06 c smallcard : 0.00 0.00 0 0 0
0.94/1.06 c subnlp : 0.00 0.00 0 0 0
0.94/1.06 c trivial : 0.00 0.00 2 0 0
0.94/1.06 c trivialnegation : 0.00 0.00 0 0 0
0.94/1.06 c trustregion : 0.00 0.00 0 0 0
0.94/1.06 c trysol : 0.00 0.00 0 0 0
0.94/1.06 c twoopt : 0.00 0.00 0 0 0
0.94/1.06 c undercover : 0.00 0.00 0 0 0
0.94/1.06 c vbounds : 0.00 0.00 1 0 0
0.94/1.06 c veclendiving : 0.01 0.00 9 0 0
0.94/1.06 c zeroobj : 0.00 0.00 0 0 0
0.94/1.06 c zirounding : 0.00 0.00 434 0 0
0.94/1.06 c other solutions : - - - 0 -
0.94/1.06 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
0.94/1.06 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
0.94/1.06 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
0.94/1.06 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
0.94/1.06 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
0.94/1.06 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
0.94/1.06 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
0.94/1.06 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
0.94/1.06 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
0.94/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
0.94/1.06 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.94/1.06 c primal LP : 0.00 14 0 0.00 - 0.00 14
0.94/1.06 c dual LP : 0.06 506 2388 4.82 40870.12 0.00 11
0.94/1.06 c lex dual LP : 0.00 0 0 0.00 -
0.94/1.06 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.94/1.06 c resolve instable : 0.00 0 0 0.00 -
0.94/1.06 c diving/probing LP: 0.06 473 3036 6.42 46877.90
0.94/1.06 c strong branching : 0.00 10 51 5.10 - - - 0
0.94/1.06 c (at root node) : - 10 51 5.10 -
0.94/1.06 c conflict analysis: 0.00 0 0 0.00 -
0.94/1.06 c B&B Tree :
0.94/1.06 c number of runs : 1
0.94/1.06 c nodes : 471 (434 internal, 37 leaves)
0.94/1.06 c feasible leaves : 0
0.94/1.06 c infeas. leaves : 37
0.94/1.06 c objective leaves : 0
0.94/1.06 c nodes (total) : 471 (434 internal, 37 leaves)
0.94/1.06 c nodes left : 0
0.94/1.06 c max depth : 40
0.94/1.06 c max depth (total): 40
0.94/1.06 c backtracks : 96 (20.4%)
0.94/1.06 c early backtracks : 0 (0.0%)
0.94/1.06 c nodes exc. ref. : 0 (0.0%)
0.94/1.06 c delayed cutoffs : 398
0.94/1.06 c repropagations : 40 (120 domain reductions, 2 cutoffs)
0.94/1.06 c avg switch length: 2.91
0.94/1.06 c switching time : 0.02
0.94/1.06 c Root Node :
0.94/1.06 c First LP value : +0.00000000000000e+00
0.94/1.06 c First LP Iters : 130 (206349.21 Iter/sec)
0.94/1.06 c First LP Time : 0.00
0.94/1.06 c Final Dual Bound : -
0.94/1.06 c Final Root Iters : 374
0.94/1.06 c Root LP Estimate : +2.42375811688311e-03
0.94/1.06 c Solution :
0.94/1.06 c Solutions found : 0 (0 improvements)
0.94/1.06 c Primal Bound : infeasible
0.94/1.06 c Dual Bound : -
0.94/1.06 c Gap : 0.00 %
0.94/1.06 c Integrals : Total Avg%
0.94/1.06 c primal-dual : - - (problem infeasible)
0.94/1.06 c primal-ref : - - (problem infeasible)
0.94/1.06 c dual-ref : - - (problem infeasible)
0.94/1.07 c Time complete: 1.01849.
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: 63968 MiB (62539 MiB free)
memory of node 1: 64473 MiB (62033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451645-1721434843/watcher-4451645-1721434843 -o /tmp/evaluation-result-4451645-1721434843/solver-4451645-1721434843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036357 --watchdog 3760 pbscip -f HOME/instance-4451645-1721434843.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
solver pid=1036410, runsolver pid=1036402
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 1.07 1.24 2.22 5/259 1036420
/proc/meminfo: memFree=127539188/131524600 swapFree=131070704/131071996
[pid=1036410] ppid=1036402 vsize=63068 memory=23688 CPUtime=0.04 cores=4,6
/proc/1036410/stat : 1036410 (pbscip) R 1036402 1036410 1036346 0 -1 4194304 2261 0 0 0 4 0 0 0 20 0 1 0 195649276 64581632 5922 134679101440 4194304 18693293 140726547991952 0 0 0 0 0 2 0 0 0 17 4 0 0 4 0 0 21375888 21430392 41156608 140726547997698 140726547997797 140726547997797 140726548004814 0
/proc/1036410/statm: 15767 5922 4010 3540 0 4024 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 63068 KiB
Current children cumulated memory: 23688 KiB
[startup+0.206655 s]*
/proc/loadavg: 1.07 1.24 2.22 5/257 1036420
/proc/meminfo: memFree=127515560/131524600 swapFree=131070704/131071996
[pid=1036410] ppid=1036402 vsize=69908 memory=31668 CPUtime=0.15 cores=4,6
/proc/1036410/stat : 1036410 (pbscip) R 1036402 1036410 1036346 0 -1 4194304 4289 0 0 0 15 0 0 0 20 0 1 0 195649276 71585792 7917 134679101440 4194304 18693293 140726547991952 0 0 0 0 0 2 0 0 0 17 4 0 0 4 0 0 21375888 21430392 41156608 140726547997698 140726547997797 140726547997797 140726548004814 0
/proc/1036410/statm: 17477 7917 4026 3540 0 5734 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 69908 KiB
Current children cumulated memory: 31668 KiB
[startup+0.306579 s]*
/proc/loadavg: 1.07 1.24 2.22 5/254 1036428
/proc/meminfo: memFree=127493112/131524600 swapFree=131070704/131071996
[pid=1036410] ppid=1036402 vsize=75568 memory=36948 CPUtime=0.25 cores=4,6
/proc/1036410/stat : 1036410 (pbscip) R 1036402 1036410 1036346 0 -1 4194304 5602 0 0 0 24 1 0 0 20 0 1 0 195649276 77381632 9237 134679101440 4194304 18693293 140726547991952 0 0 0 0 0 2 0 0 0 17 4 0 0 4 0 0 21375888 21430392 41156608 140726547997698 140726547997797 140726547997797 140726548004814 0
/proc/1036410/statm: 18892 9237 4026 3540 0 7149 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 75568 KiB
Current children cumulated memory: 36948 KiB
[startup+0.7002 s]
/proc/loadavg: 1.07 1.24 2.22 6/252 1036453
/proc/meminfo: memFree=127516404/131524600 swapFree=131070704/131071996
[pid=1036410] ppid=1036402 vsize=78028 memory=39588 CPUtime=0.64 cores=4,6
/proc/1036410/stat : 1036410 (pbscip) R 1036402 1036410 1036346 0 -1 4194304 6230 0 0 0 63 1 0 0 20 0 1 0 195649276 79900672 9897 134679101440 4194304 18693293 140726547991952 0 0 0 0 0 2 0 0 0 17 4 0 0 4 0 0 21375888 21430392 41156608 140726547997698 140726547997797 140726547997797 140726548004814 0
/proc/1036410/statm: 19507 9897 4026 3540 0 7764 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 78028 KiB
Current children cumulated memory: 39588 KiB
[startup+1.07883 s]
# the end of solver process 1036410 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1.00538 s, system=0.01792 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80026 s]
/proc/loadavg: 1.07 1.24 2.22 6/252 1036453
/proc/meminfo: memFree=127516404/131524600 swapFree=131070704/131071996
[pid=1036410] ppid=1036402 vsize=81496 memory=42492 CPUtime=0.74 cores=4,6
/proc/1036410/stat : 1036410 (pbscip) R 1036402 1036410 1036346 0 -1 4194304 6941 0 0 0 73 1 0 0 20 0 1 0 195649276 83451904 10623 134679101440 4194304 18693293 140726547991952 0 0 0 0 0 2 0 0 0 17 4 0 0 4 0 0 21375888 21430392 41156608 140726547997698 140726547997797 140726547997797 140726548004814 0
/proc/1036410/statm: 20374 10623 4026 3540 0 8631 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 81496 KiB
Current children cumulated memory: 42492 KiB
[startup+1.00019 s]*
/proc/loadavg: 1.07 1.24 2.22 6/259 1036512
/proc/meminfo: memFree=127414848/131524600 swapFree=131070704/131071996
[pid=1036410] ppid=1036402 vsize=81628 memory=43548 CPUtime=0.94 cores=4,6
/proc/1036410/stat : 1036410 (pbscip) R 1036402 1036410 1036346 0 -1 4194304 7202 0 0 0 93 1 0 0 20 0 1 0 195649276 83587072 10887 134679101440 4194304 18693293 140726547991952 0 0 0 0 0 2 0 0 0 17 4 0 0 4 0 0 21375888 21430392 41156608 140726547997698 140726547997797 140726547997797 140726548004814 0
/proc/1036410/statm: 20407 10887 4026 3540 0 8664 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 81628 KiB
Current children cumulated memory: 43548 KiB
Child status: 0
Real time (s): 1.07886
CPU time (s): 1.0233
CPU user time (s): 1.00538
CPU system time (s): 0.01792
CPU usage (%): 94.8504
Max. virtual memory (cumulated for all children) (KiB): 81628
Max. memory (cumulated for all children) (KiB): 43548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.00538
system time used= 0.01792
maximum resident set size= 43548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7242
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= 21
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 1036410
# total CPU time (s): 1.0233
# total CPU user time (s): 1.00538
# total CPU system time (s): 0.01792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016811 second user time and 0.036169 second system time
The end