0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4446285-1721331680.opb>
14.84/14.99 c original problem has 288080 variables (288080 bin, 0 int, 0 impl, 0 cont) and 6434441 constraints
14.84/14.99 c problem read in 14.98
14.95/15.06 c No objective function, only one solution is needed.
25.40/25.59 c presolving:
32.98/33.15 c (round 1, fast) 4400 del vars, 61028 del conss, 0 add conss, 4400 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1239600 clqs
33.47/33.69 c (round 2, fast) 4724 del vars, 109268 del conss, 0 add conss, 4400 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1239276 clqs
43.94/44.19 c (44.1s) running MILP presolver
71.23/71.53 c (71.4s) MILP presolver (4 rounds): 613 aggregations, 0 fixings, 0 bound changes
71.53/71.86 c (round 3, medium) 6703 del vars, 109268 del conss, 0 add conss, 4400 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1235318 clqs
72.32/72.69 c (round 4, fast) 6703 del vars, 135678 del conss, 0 add conss, 4400 chg bounds, 9223 chg sides, 11100 chg coeffs, 0 upgd conss, 0 impls, 1235402 clqs
90.46/90.87 c (round 5, exhaustive) 6703 del vars, 135703 del conss, 0 add conss, 4400 chg bounds, 9248 chg sides, 11100 chg coeffs, 6298737 upgd conss, 0 impls, 1235402 clqs
113.87/114.34 c (round 6, exhaustive) 6703 del vars, 228490 del conss, 43 add conss, 4400 chg bounds, 9334 chg sides, 151121 chg coeffs, 6298737 upgd conss, 0 impls, 1235402 clqs
274.55/275.63 c (275.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
293.00/294.14 c (294.1s) no symmetry present (symcode time: 3.97)
293.00/294.14 c presolving (7 rounds: 7 fast, 4 medium, 3 exhaustive):
293.00/294.14 c 6731 deleted vars, 228832 deleted constraints, 64 added constraints, 4400 tightened bounds, 0 added holes, 9334 changed sides, 151819 changed coefficients
293.00/294.14 c 0 implications, 1235366 cliques
293.00/294.14 c presolving was interrupted.
293.00/294.14 c Presolving Time: 268.64
293.00/294.14 c - non default parameters ----------------------------------------------------------------------
293.00/294.14 c # SCIP version 10.0.0
293.00/294.14 c
293.00/294.14 c # maximal time in seconds to run
293.00/294.14 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
293.00/294.14 c limits/time = 3596.993184
293.00/294.14 c
293.00/294.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
293.00/294.14 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
293.00/294.14 c limits/memory = 27900
293.00/294.14 c
293.00/294.14 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
293.00/294.14 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
293.00/294.14 c limits/solutions = 1
293.00/294.14 c
293.00/294.14 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.
293.00/294.14 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
293.00/294.14 c misc/usesymmetry = 3
293.00/294.14 c
293.00/294.14 c # belongs reading time to solving time?
293.00/294.14 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
293.00/294.14 c timing/reading = TRUE
293.00/294.14 c
293.00/294.14 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
293.00/294.14 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
293.00/294.14 c propagating/symmetry/detectdoublelex = FALSE
293.00/294.14 c
293.00/294.14 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
293.00/294.14 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
293.00/294.14 c propagating/symmetry/detectsubgroups = FALSE
293.00/294.14 c
293.00/294.14 c # Type of symmetries that shall be computed?
293.00/294.14 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
293.00/294.14 c propagating/symmetry/symtype = 1
293.00/294.14 c
293.00/294.14 c # Should components consisting of a single full reflection be handled?
293.00/294.14 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
293.00/294.14 c propagating/symmetry/usesimplesgncomp = FALSE
293.00/294.14 c
293.00/294.14 c -----------------------------------------------------------------------------------------------
293.00/294.14 c start solving
293.00/294.14 c presolving:
293.00/294.14 c presolving (7 rounds: 7 fast, 4 medium, 3 exhaustive):
293.00/294.14 c 6731 deleted vars, 228832 deleted constraints, 64 added constraints, 4400 tightened bounds, 0 added holes, 9334 changed sides, 151819 changed coefficients
293.00/294.14 c 0 implications, 1235366 cliques
293.00/294.14 c presolving was interrupted.
293.00/294.14 c Presolving Time: 268.64
293.00/294.14 c
293.00/294.14 c SCIP Status : solving was interrupted [memory limit reached]
293.00/294.14 c Solving Time (sec) : 294.05
293.00/294.14 c Solving Nodes : 0
293.00/294.14 c Primal Bound : +1.00000000000000e+20 (0 solutions)
293.00/294.14 s UNKNOWN
293.00/294.14 c SCIP Status : solving was interrupted [memory limit reached]
293.00/294.14 c Total Time : 294.05
293.00/294.14 c solving : 294.05
293.00/294.14 c presolving : 268.64 (included in solving)
293.00/294.14 c reading : 14.98 (included in solving)
293.00/294.14 c copying : 0.00 (0 times copied the problem)
293.00/294.14 c Original Problem :
293.00/294.14 c Problem name : HOME/instance-4446285-1721331680.opb
293.00/294.14 c Variables : 288080 (288080 binary, 0 integer, 0 implicit integer, 0 continuous)
293.00/294.14 c Constraints : 6434441 initial, 6434441 maximal
293.00/294.15 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
293.00/294.15 c Presolved Problem :
293.00/294.15 c Problem name : t_HOME/instance-4446285-1721331680.opb
293.00/294.15 c Variables : 281349 (281349 binary, 0 integer, 0 implicit integer, 0 continuous)
293.00/294.15 c Constraints : 6205673 initial, 6205673 maximal
293.00/294.15 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
293.00/294.15 c Nonzeros : 25094311 constraint, 2569525 clique table
293.00/294.15 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
293.00/294.15 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c domcol : 3.49 0.00 1 0 0 0 0 0 0 0 0 0
293.00/294.15 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c dualsparsify : 38.57 0.00 1 0 0 0 0 0 321 0 0 324
293.00/294.15 c gateextraction : 11.90 0.00 2 0 0 0 0 0 0 0 0 0
293.00/294.15 c implics : 0.02 0.00 4 0 0 0 0 0 0 0 0 0
293.00/294.15 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c milp : 37.44 0.00 1 0 613 0 0 0 0 0 0 0
293.00/294.15 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c sparsify : 7.78 0.00 1 0 0 0 0 0 0 0 0 0
293.00/294.15 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c trivial : 0.07 0.00 7 0 0 0 0 0 0 0 0 0
293.00/294.15 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c dualfix : 0.07 0.00 7 0 0 0 0 0 0 0 0 0
293.00/294.15 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c probing : 3.76 0.00 1 28 0 0 0 0 0 0 0 0
293.00/294.15 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c symmetry : 18.50 0.00 1 0 0 0 0 0 0 0 0 0
293.00/294.15 c vbounds : 0.30 0.00 1 395 971 0 0 0 0 0 0 0
293.00/294.15 c knapsack : 2.32 0.01 6 0 0 0 0 0 21 64 86 193
293.00/294.15 c setppc : 3.15 0.00 6 0 0 0 0 0 43 0 0 0
293.00/294.15 c linear : 22.56 2.64 10 4400 324 0 4400 0 135703 0 9248 11100
293.00/294.15 c logicor : 113.70 0.00 6 0 0 0 0 0 92744 0 0 140202
293.00/294.15 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c root node : - - - 0 - - 0 - - - - -
293.00/294.15 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
293.00/294.15 c benderslp : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
293.00/294.15 c integral : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
293.00/294.15 c knapsack : 0+ 656893 0 8 0 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c setppc : 0+ 1235445 0 8 0 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c linear : 0+ 6434441 0 8 0 0 0 3 0 0 0 0 0 0 0
293.00/294.15 c logicor : 0+ 4406442 0 8 0 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
293.00/294.15 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
293.00/294.15 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c knapsack : 0.41 0.01 0.00 0.40 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c setppc : 0.39 0.00 0.00 0.39 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c linear : 2.64 2.64 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c logicor : 1.05 0.00 0.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c Propagators : #Propagate #ResProp Cutoffs DomReds
293.00/294.15 c dualfix : 0 0 0 0
293.00/294.15 c genvbounds : 0 0 0 0
293.00/294.15 c nlobbt : 0 0 0 0
293.00/294.15 c obbt : 0 0 0 0
293.00/294.15 c probing : 0 0 0 0
293.00/294.15 c pseudoobj : 0 0 0 0
293.00/294.15 c redcost : 0 0 0 0
293.00/294.15 c rootredcost : 0 0 0 0
293.00/294.15 c symmetry : 0 0 0 0
293.00/294.15 c vbounds : 0 0 0 0
293.00/294.15 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
293.00/294.15 c dualfix : 0.07 0.00 0.07 0.00 0.00 0.00
293.00/294.15 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c probing : 3.76 0.00 3.76 0.00 0.00 0.00
293.00/294.15 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
293.00/294.15 c symmetry : 18.50 0.00 18.50 0.00 0.00 0.00
293.00/294.15 c vbounds : 0.30 0.00 0.30 0.00 0.00 0.00
293.00/294.15 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
293.00/294.15 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
293.00/294.15 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
293.00/294.15 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
293.00/294.15 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
293.00/294.15 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
293.00/294.15 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
293.00/294.15 c applied locally : - - - 0 0 0.0 - - 0 - -
293.00/294.15 c Primal Heuristics : ExecTime SetupTime Calls Found Best
293.00/294.15 c LP solutions : 0.00 - - 0 0
293.00/294.15 c relax solutions : 0.00 - - 0 0
293.00/294.15 c pseudo solutions : 0.00 - - 0 0
293.00/294.15 c strong branching : 0.00 - - 0 0
293.00/294.15 c actconsdiving : 0.00 0.00 0 0 0
293.00/294.15 c adaptivediving : 0.00 0.00 0 0 0
293.00/294.15 c alns : 0.00 0.00 0 0 0
293.00/294.15 c bound : 0.00 0.00 0 0 0
293.00/294.15 c clique : 0.00 0.00 0 0 0
293.00/294.15 c coefdiving : 0.00 0.00 0 0 0
293.00/294.15 c completesol : 0.00 0.00 0 0 0
293.00/294.15 c conflictdiving : 0.00 0.00 0 0 0
293.00/294.15 c crossover : 0.00 0.00 0 0 0
293.00/294.16 c dins : 0.00 0.00 0 0 0
293.00/294.16 c distributiondivin: 0.00 0.00 0 0 0
293.00/294.16 c dps : 0.00 0.00 0 0 0
293.00/294.16 c dualval : 0.00 0.00 0 0 0
293.00/294.16 c farkasdiving : 0.00 0.00 0 0 0
293.00/294.16 c feasjump : 0.00 0.00 0 0 0
293.00/294.16 c feaspump : 0.00 0.00 0 0 0
293.00/294.16 c fixandinfer : 0.00 0.00 0 0 0
293.00/294.16 c fracdiving : 0.00 0.00 0 0 0
293.00/294.16 c gins : 0.00 0.00 0 0 0
293.00/294.16 c guideddiving : 0.00 0.00 0 0 0
293.00/294.16 c indcoefdiving : 0.00 0.00 0 0 0
293.00/294.16 c indicator : 0.00 0.00 0 0 0
293.00/294.16 c indicatordiving : 0.00 0.00 0 0 0
293.00/294.16 c indoneopt : 0.00 0.00 0 0 0
293.00/294.16 c indrounding : 0.00 0.00 0 0 0
293.00/294.16 c indtwoopt : 0.00 0.00 0 0 0
293.00/294.16 c intdiving : 0.00 0.00 0 0 0
293.00/294.16 c intshifting : 0.00 0.00 0 0 0
293.00/294.16 c linesearchdiving : 0.00 0.00 0 0 0
293.00/294.16 c localbranching : 0.00 0.00 0 0 0
293.00/294.16 c locks : 0.00 0.00 0 0 0
293.00/294.16 c lpface : 0.00 0.00 0 0 0
293.00/294.16 c mpec : 0.00 0.00 0 0 0
293.00/294.16 c multistart : 0.00 0.00 0 0 0
293.00/294.16 c mutation : 0.00 0.00 0 0 0
293.00/294.16 c nlpdiving : 0.00 0.00 0 0 0
293.00/294.16 c objpscostdiving : 0.00 0.00 0 0 0
293.00/294.16 c octane : 0.00 0.00 0 0 0
293.00/294.16 c ofins : 0.00 0.00 0 0 0
293.00/294.16 c oneopt : 0.00 0.00 0 0 0
293.00/294.16 c padm : 0.00 0.00 0 0 0
293.00/294.16 c proximity : 0.00 0.00 0 0 0
293.00/294.16 c pscostdiving : 0.00 0.00 0 0 0
293.00/294.16 c randrounding : 0.00 0.00 0 0 0
293.00/294.16 c rens : 0.00 0.00 0 0 0
293.00/294.16 c reoptsols : 0.00 0.00 0 0 0
293.00/294.16 c repair : 0.00 0.00 0 0 0
293.00/294.16 c rins : 0.00 0.00 0 0 0
293.00/294.16 c rootsoldiving : 0.00 0.00 0 0 0
293.00/294.16 c rounding : 0.00 0.00 0 0 0
293.00/294.16 c scheduler : 0.00 0.00 0 0 0
293.00/294.16 c shiftandpropagate: 0.00 0.00 0 0 0
293.00/294.16 c shifting : 0.00 0.00 0 0 0
293.00/294.16 c simplerounding : 0.00 0.00 0 0 0
293.00/294.16 c smallcard : 0.00 0.00 0 0 0
293.00/294.16 c subnlp : 0.00 0.00 0 0 0
293.00/294.16 c trivial : 0.09 0.00 1 0 0
293.00/294.16 c trivialnegation : 0.00 0.00 0 0 0
293.00/294.16 c trustregion : 0.00 0.00 0 0 0
293.00/294.16 c trysol : 0.00 0.00 0 0 0
293.00/294.16 c twoopt : 0.00 0.00 0 0 0
293.00/294.16 c undercover : 0.00 0.00 0 0 0
293.00/294.16 c vbounds : 0.00 0.00 0 0 0
293.00/294.16 c veclendiving : 0.00 0.00 0 0 0
293.00/294.16 c zeroobj : 0.00 0.00 0 0 0
293.00/294.16 c zirounding : 0.00 0.00 0 0 0
293.00/294.16 c other solutions : - - - 0 -
293.00/294.16 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
293.00/294.16 c rens : 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 1
293.00/294.16 c rins : 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 1
293.00/294.16 c mutation : 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 1
293.00/294.16 c localbranching : 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 1
293.00/294.16 c crossover : 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 1
293.00/294.16 c proximity : 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 1
293.00/294.16 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 1
293.00/294.16 c dins : 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 1
293.00/294.16 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 1
293.00/294.16 c Solution :
293.00/294.16 c Solutions found : 0 (0 improvements)
293.00/294.16 c Primal Bound : -
293.00/294.16 c Dual Bound : -
293.00/294.16 c Gap : infinite
293.00/294.16 c Integrals : Total Avg%
293.00/294.16 c primal-dual : 29405.38 100.00
293.00/294.16 c primal-ref : - - (not evaluated)
293.00/294.16 c dual-ref : - - (not evaluated)
328.56/329.83 c Time complete: 328.595.
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: 64059 MiB (57377 MiB free)
memory of node 1: 64510 MiB (54049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446285-1721331680/watcher-4446285-1721331680 -o /tmp/evaluation-result-4446285-1721331680/solver-4446285-1721331680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721327100-963756 --watchdog 3760 pbscip -f HOME/instance-4446285-1721331680.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=967333, runsolver pid=967330
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 4.10 4.21 4.19 5/244 967334
/proc/meminfo: memFree=114088892/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=65736 memory=25176 CPUtime=0.09 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 3374 0 0 0 9 0 0 0 20 0 1 0 185324921 67313664 6294 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 16434 6294 3213 3540 0 4691 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65736 KiB
Current children cumulated memory: 25176 KiB
[startup+0.205717 s]*
/proc/loadavg: 4.10 4.21 4.19 5/244 967334
/proc/meminfo: memFree=114077636/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=76948 memory=36180 CPUtime=0.19 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 6166 0 0 0 18 1 0 0 20 0 1 0 185324921 78794752 9045 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 19237 9045 3213 3540 0 7494 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76948 KiB
Current children cumulated memory: 36180 KiB
[startup+0.305626 s]*
/proc/loadavg: 4.10 4.21 4.19 5/244 967334
/proc/meminfo: memFree=114067080/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=87444 memory=46624 CPUtime=0.3 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 8792 0 0 0 28 2 0 0 20 0 1 0 185324921 89542656 11656 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 21861 11656 3213 3540 0 10118 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87444 KiB
Current children cumulated memory: 46624 KiB
[startup+0.700249 s]
/proc/loadavg: 4.10 4.21 4.19 5/244 967334
/proc/meminfo: memFree=114047396/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=128688 memory=87280 CPUtime=0.69 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 18958 0 0 0 64 5 0 0 20 0 1 0 185324921 131776512 21820 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 32172 21820 3213 3540 0 20429 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 128688 KiB
Current children cumulated memory: 87280 KiB
[startup+1.5003 s]
/proc/loadavg: 4.10 4.21 4.19 5/244 967334
/proc/meminfo: memFree=113985400/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=253908 memory=212160 CPUtime=1.49 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 49674 0 0 0 137 12 0 0 20 0 1 0 185324921 260001792 53040 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 63477 53040 3213 3540 0 51734 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 253908 KiB
Current children cumulated memory: 212160 KiB
[startup+3.11294 s]
/proc/loadavg: 4.17 4.22 4.20 5/244 967334
/proc/meminfo: memFree=113558116/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=623756 memory=581024 CPUtime=3.08 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 134685 0 0 0 283 25 0 0 20 0 1 0 185324921 638726144 145190 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 155972 145190 3213 3540 0 144229 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 623756 KiB
Current children cumulated memory: 581024 KiB
[startup+6.3003 s]
/proc/loadavg: 4.17 4.22 4.20 5/244 967334
/proc/meminfo: memFree=112811208/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=1413084 memory=1371420 CPUtime=6.26 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 320600 0 0 0 569 57 0 0 20 0 1 0 185324921 1446998016 342855 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 353271 342855 3213 3540 0 341528 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1413084 KiB
Current children cumulated memory: 1371420 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.21 4.19 5/244 967335
/proc/meminfo: memFree=111324788/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=2994752 memory=2946300 CPUtime=12.64 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 687809 0 0 0 1147 117 0 0 20 0 1 0 185324921 3066626048 736575 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 748688 736575 3213 3540 0 736945 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2994752 KiB
Current children cumulated memory: 2946300 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.21 4.19 5/244 967337
/proc/meminfo: memFree=105664700/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=8828052 memory=8705956 CPUtime=25.4 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 1972659 0 0 0 2226 314 0 0 20 0 1 0 185324921 9039925248 2176489 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 2207013 2176489 3501 3540 0 2195270 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 8828052 KiB
Current children cumulated memory: 8705956 KiB
[startup+51.1131 s]
/proc/loadavg: 4.16 4.21 4.19 5/244 967341
/proc/meminfo: memFree=101045188/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=13365972 memory=13042840 CPUtime=50.92 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2045388 0 0 0 4603 489 0 0 20 0 1 0 185324921 13686755328 3260710 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 3341493 3260710 3676 3540 0 3329750 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 13365972 KiB
Current children cumulated memory: 13042840 KiB
[startup+102.3 s]
/proc/loadavg: 4.42 4.25 4.20 5/244 967351
/proc/meminfo: memFree=100969924/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=13419952 memory=13116440 CPUtime=101.92 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2656463 0 0 0 9578 614 0 0 20 0 1 0 185324921 13742030848 3279110 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 3354988 3279110 3724 3540 0 3343245 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 13419952 KiB
Current children cumulated memory: 13116440 KiB
[startup+162.3 s]
/proc/loadavg: 4.67 4.37 4.25 5/244 967361
/proc/meminfo: memFree=100967900/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=13419952 memory=13116440 CPUtime=161.68 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2656908 0 0 0 15551 617 0 0 20 0 1 0 185324921 13742030848 3279110 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 3354988 3279110 3724 3540 0 3343245 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 13419952 KiB
Current children cumulated memory: 13116440 KiB
[startup+222.3 s]
/proc/loadavg: 4.92 4.49 4.30 5/244 967372
/proc/meminfo: memFree=100966076/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=13419952 memory=13116440 CPUtime=221.44 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2657365 0 0 0 21521 623 0 0 20 0 1 0 185324921 13742030848 3279110 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 3354988 3279110 3724 3540 0 3343245 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 13419952 KiB
Current children cumulated memory: 13116440 KiB
[startup+282.3 s]
/proc/loadavg: 4.50 4.46 4.30 5/242 967383
/proc/meminfo: memFree=90571704/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=25182052 memory=23482624 CPUtime=281.23 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2687731 0 0 0 27280 843 0 0 20 0 1 0 185324921 25786421248 5870656 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 6295513 5870656 3756 3540 0 6283770 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 25182052 KiB
Current children cumulated memory: 23482624 KiB
[startup+330.021 s]
# the end of solver process 967333 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=319.291 s, system=9.49264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 4.41 4.44 4.30 5/242 967387
/proc/meminfo: memFree=90560592/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=25182052 memory=23482644 CPUtime=306.04 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2708057 0 0 0 29700 904 0 0 20 0 1 0 185324921 25786421248 5870661 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 6295513 5870661 3756 3540 0 6283770 0
Current children cumulated CPU time: 306.04 s
Current children cumulated vsize: 25182052 KiB
Current children cumulated memory: 23482644 KiB
[startup+320 s]*
/proc/loadavg: 4.35 4.42 4.29 5/242 967390
/proc/meminfo: memFree=90558032/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=25182052 memory=23482644 CPUtime=318.81 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2708243 0 0 0 30976 905 0 0 20 0 1 0 185324921 25786421248 5870661 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 6295513 5870661 3756 3540 0 6283770 0
Current children cumulated CPU time: 318.81 s
Current children cumulated vsize: 25182052 KiB
Current children cumulated memory: 23482644 KiB
[startup+326.4 s]
/proc/loadavg: 4.32 4.41 4.29 5/242 967390
/proc/meminfo: memFree=90557524/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=25123764 memory=23430720 CPUtime=325.17 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2708370 0 0 0 31611 906 0 0 20 0 1 0 185324921 25726734336 5857680 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 6280941 5857680 3756 3540 0 6269198 0
Current children cumulated CPU time: 325.17 s
Current children cumulated vsize: 25123764 KiB
Current children cumulated memory: 23430720 KiB
[startup+328 s]*
/proc/loadavg: 4.29 4.41 4.29 5/242 967390
/proc/meminfo: memFree=91783664/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=23932940 memory=22240024 CPUtime=326.78 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2709470 0 0 0 31767 911 0 0 20 0 1 0 185324921 24507330560 5560006 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 5983235 5560006 3788 3540 0 5971492 0
Current children cumulated CPU time: 326.78 s
Current children cumulated vsize: 23932940 KiB
Current children cumulated memory: 22240024 KiB
[startup+328.8 s]
/proc/loadavg: 4.29 4.41 4.29 5/242 967390
/proc/meminfo: memFree=91783664/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=23078976 memory=21386060 CPUtime=327.56 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2711006 0 0 0 31841 915 0 0 20 0 1 0 185324921 23632871424 5346515 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 5769744 5346515 3788 3540 0 5758001 0
Current children cumulated CPU time: 327.56 s
Current children cumulated vsize: 23078976 KiB
Current children cumulated memory: 21386060 KiB
[startup+329.6 s]
/proc/loadavg: 4.29 4.41 4.29 5/242 967390
/proc/meminfo: memFree=92890812/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=22099908 memory=20413708 CPUtime=328.36 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2711008 0 0 0 31917 919 0 0 20 0 1 0 185324921 22630305792 5103427 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 5524977 5103427 3788 3540 0 5513234 0
Current children cumulated CPU time: 328.36 s
Current children cumulated vsize: 22099908 KiB
Current children cumulated memory: 20413708 KiB
[startup+329.8 s]
/proc/loadavg: 4.29 4.41 4.29 5/242 967390
/proc/meminfo: memFree=92890812/131655788 swapFree=131071996/131071996
[pid=967333] ppid=967330 vsize=10564968 memory=10281104 CPUtime=328.56 cores=0,2
/proc/967333/stat : 967333 (pbscip) R 967330 967333 963708 0 -1 4194304 2711051 0 0 0 31929 927 0 0 20 0 1 0 185324921 10818527232 2570276 134679101440 4194304 18693293 140730886157664 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 27619328 140730886165507 140730886165606 140730886165606 140730886172622 0
/proc/967333/statm: 2641242 2570276 3788 3540 0 2629499 0
Current children cumulated CPU time: 328.56 s
Current children cumulated vsize: 10564968 KiB
Current children cumulated memory: 10281104 KiB
[startup+329.9 s]*
/proc/loadavg: 4.29 4.41 4.29 5/242 967391
/proc/meminfo: memFree=109685136/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 330.021
CPU time (s): 328.784
CPU user time (s): 319.291
CPU system time (s): 9.49264
CPU usage (%): 99.625
Max. virtual memory (cumulated for all children) (KiB): 28240492
Max. memory (cumulated for all children) (KiB): 25976696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 319.291
system time used= 9.49264
maximum resident set size= 25995332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2711057
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= 16
involuntary context switches= 2306
# summary of solver processes directly reported to runsolver:
# pid: 967333
# total CPU time (s): 328.784
# total CPU user time (s): 319.291
# total CPU system time (s): 9.49264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.60626 second user time and 3.25684 second system time
The end