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-4432834-1721124954.opb>
0.59/0.65 c original problem has 204880 variables (204880 bin, 0 int, 0 impl, 0 cont) and 159488 constraints
0.59/0.65 c problem read in 0.65
1.29/1.37 c presolving:
1.99/2.03 c (round 1, fast) 63401 del vars, 50882 del conss, 0 add conss, 15668 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 74126 clqs
2.09/2.18 c (round 2, fast) 64256 del vars, 61136 del conss, 0 add conss, 15913 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 73907 clqs
2.19/2.21 c (round 3, fast) 67683 del vars, 61489 del conss, 0 add conss, 15918 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 73720 clqs
2.48/2.53 c (2.5s) running MILP presolver
2.88/2.96 c (3.0s) MILP presolver (3 rounds): 0 aggregations, 103 fixings, 0 bound changes
2.98/3.09 c (round 4, medium) 67862 del vars, 61496 del conss, 0 add conss, 15918 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 73240 clqs
3.08/3.12 c (round 5, fast) 69221 del vars, 62360 del conss, 0 add conss, 16470 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 72886 clqs
3.08/3.13 c (round 6, fast) 69245 del vars, 62606 del conss, 0 add conss, 16470 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 72886 clqs
3.48/3.52 c (round 7, exhaustive) 69349 del vars, 62616 del conss, 0 add conss, 16470 chg bounds, 0 chg sides, 0 chg coeffs, 72876 upgd conss, 0 impls, 72876 clqs
36.27/36.46 c (36.5s) probing: 1000/136066 (0.7%) - 20 fixings, 0 aggregations, 306198 implications, 0 bound changes
45.44/45.68 c (45.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
45.74/45.95 c (45.9s) no symmetry present (symcode time: 0.11)
45.95/46.13 c presolving (8 rounds: 8 fast, 3 medium, 2 exhaustive):
45.95/46.13 c 69388 deleted vars, 62629 deleted constraints, 0 added constraints, 16470 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
45.95/46.13 c 0 implications, 464873 cliques
45.95/46.13 c presolved problem has 136040 variables (136040 bin, 0 int, 0 impl, 0 cont) and 96859 constraints
45.95/46.13 c 72863 constraints of type <setppc>
45.95/46.13 c 23996 constraints of type <linear>
45.95/46.13 c transformed objective value is always integral (scale: 1)
45.95/46.13 c Presolving Time: 44.85
45.95/46.13 c - non default parameters ----------------------------------------------------------------------
45.95/46.13 c # SCIP version 10.0.0
45.95/46.13 c
45.95/46.13 c # maximal time in seconds to run
45.95/46.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
45.95/46.13 c limits/time = 3596.997058
45.95/46.13 c
45.95/46.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
45.95/46.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
45.95/46.13 c limits/memory = 27900
45.95/46.13 c
45.95/46.13 c # belongs reading time to solving time?
45.95/46.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
45.95/46.13 c timing/reading = TRUE
45.95/46.13 c
45.95/46.13 c -----------------------------------------------------------------------------------------------
45.95/46.13 c start solving
45.95/46.16 c
626.93/629.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
626.93/629.16 c 629s| 1 | 0 |110928 | - | 1131M | 0 | 136k| 96k| 96k| 0 | 0 | 10 | 0 | 4.818770e+07 | -- | Inf | unknown
1589.80/1594.64 c 1595s| 1 | 0 |291093 | - | 1276M | 0 | 136k| 96k| 96k| 5 | 1 | 10 | 0 | 4.822252e+07 | -- | Inf | unknown
1802.18/1807.68 c 1808s| 1 | 0 |307583 | - | 1291M | 0 | 136k| 96k| 96k| 6 | 2 | 10 | 0 | 4.825246e+07 | -- | Inf | unknown
1978.49/1984.42 c 1984s| 1 | 0 |318543 | - | 1308M | 0 | 136k| 96k| 96k| 10 | 3 | 10 | 0 | 4.825503e+07 | -- | Inf | unknown
2105.15/2111.45 c 2111s| 1 | 0 |326709 | - | 1319M | 0 | 136k| 96k| 96k| 16 | 4 | 10 | 0 | 4.825800e+07 | -- | Inf | unknown
2154.89/2161.34 c 2161s| 1 | 0 |333350 | - | 1329M | 0 | 136k| 96k| 96k| 21 | 5 | 10 | 0 | 4.825867e+07 | -- | Inf | unknown
2215.20/2221.83 c 2222s| 1 | 0 |342240 | - | 1340M | 0 | 136k| 96k| 96k| 26 | 6 | 10 | 0 | 4.826212e+07 | -- | Inf | unknown
2248.81/2255.58 c 2256s| 1 | 0 |345135 | - | 1350M | 0 | 136k| 96k| 96k| 30 | 7 | 10 | 0 | 4.826278e+07 | -- | Inf | unknown
2274.93/2281.79 c 2282s| 1 | 0 |346375 | - | 1360M | 0 | 136k| 96k| 96k| 34 | 8 | 10 | 0 | 4.826308e+07 | -- | Inf | unknown
2316.10/2323.09 c 2323s| 1 | 0 |350525 | - | 1371M | 0 | 136k| 96k| 96k| 37 | 9 | 13 | 0 | 4.826466e+07 | -- | Inf | unknown
2369.13/2376.27 c 2376s| 1 | 0 |357641 | - | 1381M | 0 | 136k| 96k| 96k| 41 | 10 | 13 | 0 | 4.826554e+07 | -- | Inf | unknown
2393.75/2400.90 c 2401s| 1 | 0 |359603 | - | 1393M | 0 | 136k| 96k| 96k| 43 | 11 | 13 | 0 | 4.826592e+07 | -- | Inf | unknown
2424.96/2432.25 c 2432s| 1 | 0 |362926 | - | 1403M | 0 | 136k| 96k| 96k| 45 | 12 | 13 | 0 | 4.826645e+07 | -- | Inf | unknown
3586.30/3597.06 c 3597s| 1 | 2 |477782 | - | 1405M | 0 | 136k| 96k| 96k| 45 | 12 | 13 | 0 | 4.826645e+07 | -- | Inf | unknown
3586.30/3597.06 c
3586.30/3597.06 c SCIP Status : solving was interrupted [time limit reached]
3586.30/3597.06 c Solving Time (sec) : 3597.06
3586.30/3597.06 c Solving Nodes : 1
3586.30/3597.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.30/3597.06 c Dual Bound : +4.82664464205307e+07
3586.30/3597.06 c Gap : infinite
3586.30/3597.06 s UNKNOWN
3586.30/3597.06 c SCIP Status : solving was interrupted [time limit reached]
3586.30/3597.06 c Total Time : 3597.06
3586.30/3597.06 c solving : 3597.06
3586.30/3597.06 c presolving : 44.85 (included in solving)
3586.30/3597.06 c reading : 0.65 (included in solving)
3586.30/3597.06 c copying : 0.00 (0 times copied the problem)
3586.30/3597.06 c Original Problem :
3586.30/3597.06 c Problem name : HOME/instance-4432834-1721124954.opb
3586.30/3597.06 c Variables : 204880 (204880 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.30/3597.06 c Constraints : 159488 initial, 159488 maximal
3586.30/3597.07 c Objective : minimize, 75648 non-zeros (abs.min = 100001, abs.max = 100303)
3586.30/3597.07 c Presolved Problem :
3586.30/3597.07 c Problem name : t_HOME/instance-4432834-1721124954.opb
3586.30/3597.07 c Variables : 136040 (136040 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.30/3597.07 c Constraints : 96859 initial, 96859 maximal
3586.30/3597.07 c Objective : minimize, 65248 non-zeros (abs.min = 5, abs.max = 200296)
3586.30/3597.07 c Nonzeros : 495103 constraint, 1056162 clique table
3586.30/3597.07 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.30/3597.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c domcol : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c dualsparsify : 0.25 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c implics : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c milp : 0.73 0.00 1 103 0 0 0 0 0 0 0 0
3586.30/3597.07 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c sparsify : 0.59 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c trivial : 0.05 0.00 8 1324 0 0 0 0 0 0 0 0
3586.30/3597.07 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c dualfix : 0.05 0.00 8 3468 0 0 0 0 0 0 0 0
3586.30/3597.07 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c probing : 40.90 0.00 1 26 0 0 0 0 0 0 0 0
3586.30/3597.07 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c symmetry : 0.27 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c vbounds : 0.13 0.00 1 7 10 0 0 0 0 0 0 0
3586.30/3597.07 c setppc : 0.25 0.02 3 0 13 0 0 0 13 0 0 0
3586.30/3597.07 c linear : 0.98 0.12 10 16470 47419 0 16470 0 62616 0 0 0
3586.30/3597.07 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c components : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c root node : - - - 0 - - 0 - - - - -
3586.30/3597.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.30/3597.07 c benderslp : 0 0 0 0 0 0 1 7 0 0 0 0 0 0 0
3586.30/3597.07 c integral : 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0
3586.30/3597.07 c setppc : 72863 72863 12 13417 0 0 1 3 46 14 0 0 0 0 0
3586.30/3597.07 c linear : 23996 23996 12 13403 0 0 0 3 11 35 0 0 0 0 0
3586.30/3597.07 c logicor : 0+ 10 12 12 0 0 0 0 2 0 0 0 0 0 0
3586.30/3597.07 c benders : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3586.30/3597.07 c fixedvar : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3586.30/3597.07 c countsols : 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
3586.30/3597.07 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.30/3597.07 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c setppc : 5.04 0.02 0.13 4.86 0.00 0.02 0.00 0.00 0.00 0.00
3586.30/3597.07 c linear : 78.71 0.12 77.89 0.67 0.00 0.00 0.00 0.03 0.00 0.00
3586.30/3597.07 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c fixedvar : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.30/3597.07 c dualfix : 1 0 0 0
3586.30/3597.07 c genvbounds : 0 0 0 0
3586.30/3597.07 c nlobbt : 0 0 0 0
3586.30/3597.07 c obbt : 0 0 0 0
3586.30/3597.07 c probing : 0 0 0 0
3586.30/3597.07 c pseudoobj : 15 0 0 0
3586.30/3597.07 c redcost : 14 0 0 0
3586.30/3597.07 c rootredcost : 0 0 0 0
3586.30/3597.07 c symmetry : 0 0 0 0
3586.30/3597.07 c vbounds : 4005 0 0 0
3586.30/3597.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.30/3597.07 c dualfix : 0.05 0.00 0.05 0.00 0.00 0.00
3586.30/3597.07 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c probing : 40.90 0.00 40.90 0.00 0.00 0.00
3586.30/3597.07 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3586.30/3597.07 c redcost : 0.13 0.00 0.00 0.13 0.00 0.00
3586.30/3597.07 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.30/3597.07 c symmetry : 0.27 0.00 0.27 0.00 0.00 0.00
3586.30/3597.07 c vbounds : 0.18 0.00 0.13 0.05 0.00 0.00
3586.30/3597.07 c Symmetry :
3586.30/3597.07 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.30/3597.07 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.30/3597.07 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.30/3597.07 c shadow tree time : 0.00 s
3586.30/3597.07 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.30/3597.07 c propagation : 0.00 12 8 - 12 5.2 1 6.0 - - -
3586.30/3597.07 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.30/3597.07 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.30/3597.07 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.30/3597.07 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.30/3597.07 c applied globally : 0.00 - - 0 13 5.1 - - 0 - -
3586.30/3597.07 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.30/3597.07 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.30/3597.07 c cut pool : 0.00 - 23 23 - - 45 45 - - - - - (maximal pool size: 45)
3586.30/3597.07 c aggregation : 1.52 0.00 12 12 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.30/3597.07 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.30/3597.07 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.30/3597.07 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c clique : 89.59 0.00 12 12 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c gomory : 51.77 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3586.30/3597.07 c > strongcg : - - - - - - - 0 0 0 0 0 -
3586.30/3597.07 c impliedbounds : 0.56 0.00 12 12 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c mcf : 3.05 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c multilinear : 0.00 0.00 12 12 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.30/3597.07 c zerohalf : 1.66 0.00 12 12 0 0 45 45 0 45 45 0 0
3586.30/3597.07 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.30/3597.07 c hybrid : 0.00 0.00 12 12 45 0 0 45 0 0
3586.30/3597.07 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c Pricers : ExecTime SetupTime Calls Vars
3586.30/3597.07 c problem variables: 0.00 - 0 0
3586.30/3597.07 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.30/3597.07 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c inference : 0.03 0.00 0 0 1 0 0 0 0 2
3586.30/3597.07 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.30/3597.07 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.30/3597.07 c LP solutions : 0.00 - - 0 0
3586.30/3597.07 c relax solutions : 0.00 - - 0 0
3586.30/3597.07 c pseudo solutions : 0.00 - - 0 0
3586.30/3597.07 c strong branching : 0.00 - - 0 0
3586.30/3597.07 c actconsdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c adaptivediving : 0.00 0.00 0 0 0
3586.30/3597.07 c alns : 0.00 0.00 0 0 0
3586.30/3597.07 c bound : 0.00 0.00 0 0 0
3586.30/3597.07 c clique : 0.71 0.00 1 0 0
3586.30/3597.07 c coefdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c completesol : 0.00 0.00 0 0 0
3586.30/3597.07 c conflictdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c crossover : 0.00 0.00 0 0 0
3586.30/3597.07 c dins : 0.00 0.00 0 0 0
3586.30/3597.07 c distributiondivin: 0.00 0.00 0 0 0
3586.30/3597.07 c dps : 0.00 0.00 0 0 0
3586.30/3597.07 c dualval : 0.00 0.00 0 0 0
3586.30/3597.07 c farkasdiving : 1164.58 0.00 1 0 0
3586.30/3597.07 c feasjump : 0.16 0.00 1 0 0
3586.30/3597.07 c feaspump : 816.66 0.00 1 0 0
3586.30/3597.07 c fixandinfer : 0.00 0.00 0 0 0
3586.30/3597.07 c fracdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c gins : 0.00 0.00 0 0 0
3586.30/3597.07 c guideddiving : 0.00 0.00 0 0 0
3586.30/3597.07 c indcoefdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c indicator : 0.00 0.00 0 0 0
3586.30/3597.07 c indicatordiving : 0.00 0.00 0 0 0
3586.30/3597.07 c indoneopt : 0.00 0.00 0 0 0
3586.30/3597.07 c indrounding : 0.00 0.00 0 0 0
3586.30/3597.07 c indtwoopt : 0.00 0.00 0 0 0
3586.30/3597.07 c intdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c intshifting : 0.00 0.00 0 0 0
3586.30/3597.07 c linesearchdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c localbranching : 0.00 0.00 0 0 0
3586.30/3597.07 c locks : 0.12 0.00 1 0 0
3586.30/3597.07 c lpface : 0.00 0.00 0 0 0
3586.30/3597.07 c mpec : 0.00 0.00 0 0 0
3586.30/3597.07 c multistart : 0.00 0.00 0 0 0
3586.30/3597.07 c mutation : 0.00 0.00 0 0 0
3586.30/3597.07 c nlpdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c objpscostdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c octane : 0.00 0.00 0 0 0
3586.30/3597.07 c ofins : 0.00 0.00 0 0 0
3586.30/3597.07 c oneopt : 0.00 0.00 0 0 0
3586.30/3597.07 c padm : 0.00 0.00 0 0 0
3586.30/3597.07 c proximity : 0.00 0.00 0 0 0
3586.30/3597.07 c pscostdiving : 0.00 0.00 0 0 0
3586.30/3597.07 c randrounding : 0.67 0.00 13 0 0
3586.30/3597.07 c rens : 0.00 0.00 0 0 0
3586.30/3597.07 c reoptsols : 0.00 0.00 0 0 0
3586.30/3597.07 c repair : 0.00 0.00 0 0 0
3586.30/3597.07 c rins : 0.00 0.00 0 0 0
3586.30/3597.07 c rootsoldiving : 0.00 0.00 0 0 0
3586.30/3597.07 c rounding : 0.06 0.00 13 0 0
3586.30/3597.07 c scheduler : 0.00 0.00 0 0 0
3586.30/3597.07 c shiftandpropagate: 0.13 0.00 1 0 0
3586.30/3597.07 c shifting : 1.24 0.00 13 0 0
3586.30/3597.07 c simplerounding : 0.00 0.00 13 0 0
3586.30/3597.07 c smallcard : 0.00 0.00 0 0 0
3586.30/3597.07 c subnlp : 0.00 0.00 0 0 0
3586.30/3597.07 c trivial : 0.14 0.00 2 0 0
3586.30/3597.07 c trivialnegation : 0.00 0.00 0 0 0
3586.30/3597.07 c trustregion : 0.00 0.00 0 0 0
3586.30/3597.07 c trysol : 0.00 0.00 0 0 0
3586.30/3597.07 c twoopt : 0.00 0.00 0 0 0
3586.30/3597.07 c undercover : 0.00 0.00 0 0 0
3586.30/3597.07 c vbounds : 0.19 0.00 1 0 0
3586.30/3597.07 c veclendiving : 0.00 0.00 0 0 0
3586.30/3597.07 c zeroobj : 0.00 0.00 0 0 0
3586.30/3597.07 c zirounding : 0.00 0.00 1 0 0
3586.30/3597.07 c other solutions : - - - 0 -
3586.30/3597.07 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.30/3597.07 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.30/3597.07 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.30/3597.07 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.30/3597.07 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.30/3597.07 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.30/3597.07 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.30/3597.07 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.30/3597.07 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.30/3597.07 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
3586.30/3597.07 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.30/3597.07 c primal LP : 0.00 0 0 0.00 - 0.00 0
3586.30/3597.07 c dual LP : 1337.18 13 201208 15477.54 150.47 0.00 0
3586.30/3597.07 c lex dual LP : 0.00 0 0 0.00 -
3586.30/3597.07 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.30/3597.07 c resolve instable : 0.00 0 0 0.00 -
3586.30/3597.07 c diving/probing LP: 1980.24 15 276574 18438.27 139.67
3586.30/3597.07 c strong branching : 0.00 0 0 0.00 - - - 0
3586.30/3597.07 c (at root node) : - 0 0 0.00 -
3586.30/3597.07 c conflict analysis: 0.00 0 0 0.00 -
3586.30/3597.07 c B&B Tree :
3586.30/3597.07 c number of runs : 1
3586.30/3597.07 c nodes : 1 (1 internal, 0 leaves)
3586.30/3597.07 c feasible leaves : 0
3586.30/3597.07 c infeas. leaves : 0
3586.30/3597.07 c objective leaves : 0
3586.30/3597.07 c nodes (total) : 1 (1 internal, 0 leaves)
3586.30/3597.07 c nodes left : 2
3586.30/3597.07 c max depth : 0
3586.30/3597.07 c max depth (total): 0
3586.30/3597.07 c backtracks : 0 (0.0%)
3586.30/3597.07 c early backtracks : 0 (0.0%)
3586.30/3597.07 c nodes exc. ref. : 0 (0.0%)
3586.30/3597.07 c delayed cutoffs : 0
3586.30/3597.07 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.30/3597.07 c avg switch length: 1.00
3586.30/3597.07 c switching time : 0.00
3586.30/3597.07 c Root Node :
3586.30/3597.07 c First LP value : +4.81876999453694e+07
3586.30/3597.07 c First LP Iters : 110928 (190.85 Iter/sec)
3586.30/3597.07 c First LP Time : 581.24
3586.30/3597.07 c Final Dual Bound : +4.82664464205307e+07
3586.30/3597.07 c Final Root Iters : 362926
3586.30/3597.07 c Root LP Estimate : -
3586.30/3597.07 c Solution :
3586.30/3597.07 c Solutions found : 0 (0 improvements)
3586.30/3597.07 c Primal Bound : -
3586.30/3597.07 c Dual Bound : +4.82664464205307e+07
3586.30/3597.07 c Gap : infinite
3586.30/3597.07 c Integrals : Total Avg%
3586.30/3597.07 c primal-dual : 359705.94 100.00
3586.30/3597.07 c primal-ref : - - (not evaluated)
3586.30/3597.07 c dual-ref : - - (not evaluated)
3587.10/3597.85 c Time complete: 3587.16.
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 (58774 MiB free)
memory of node 1: 64510 MiB (61024 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432834-1721124954/watcher-4432834-1721124954 -o /tmp/evaluation-result-4432834-1721124954/solver-4432834-1721124954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721117769-844128 --watchdog 3760 pbscip -f HOME/instance-4432834-1721124954.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=848246, runsolver pid=848243
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.13 4.12 4.13 5/254 848247
/proc/meminfo: memFree=122581012/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=148336 memory=104240 CPUtime=0.1 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 23171 0 0 0 7 3 0 0 20 0 1 0 164655621 151896064 26060 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 37084 26060 3206 3540 0 25341 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 148336 KiB
Current children cumulated memory: 104240 KiB
[startup+0.205669 s]*
/proc/loadavg: 4.13 4.12 4.13 5/254 848247
/proc/meminfo: memFree=122542540/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=186832 memory=142556 CPUtime=0.2 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 32770 0 0 0 17 3 0 0 20 0 1 0 164655621 191315968 35639 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 46708 35639 3206 3540 0 34965 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 186832 KiB
Current children cumulated memory: 142556 KiB
[startup+0.305668 s]*
/proc/loadavg: 4.13 4.12 4.13 5/254 848247
/proc/meminfo: memFree=122497404/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=231796 memory=187584 CPUtime=0.3 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 43992 0 0 0 25 5 0 0 20 0 1 0 164655621 237359104 46896 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 57949 46896 3206 3540 0 46206 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 231796 KiB
Current children cumulated memory: 187584 KiB
[startup+0.700232 s]
/proc/loadavg: 4.13 4.12 4.13 5/254 848247
/proc/meminfo: memFree=122398760/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=379452 memory=338584 CPUtime=0.69 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 85418 0 0 0 59 10 0 0 20 0 1 0 164655621 388558848 84646 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 94863 84646 3510 3540 0 83120 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 379452 KiB
Current children cumulated memory: 338584 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.12 4.13 5/254 848247
/proc/meminfo: memFree=122102456/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=734372 memory=684900 CPUtime=1.49 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 171948 0 0 0 127 22 0 0 20 0 1 0 164655621 751996928 171225 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 183593 171225 3558 3540 0 171850 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 734372 KiB
Current children cumulated memory: 684900 KiB
[startup+3.10549 s]
/proc/loadavg: 4.13 4.12 4.13 5/254 848247
/proc/meminfo: memFree=121796192/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=809460 memory=757280 CPUtime=3.08 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 193609 0 0 0 279 29 0 0 20 0 1 0 164655621 828887040 189320 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 202365 189320 3701 3540 0 190622 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 809460 KiB
Current children cumulated memory: 757280 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.12 4.13 5/254 848247
/proc/meminfo: memFree=121703600/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=890180 memory=831376 CPUtime=6.27 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 202939 0 0 0 594 33 0 0 20 0 1 0 164655621 911544320 207844 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 222545 207844 3749 3540 0 210802 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 890180 KiB
Current children cumulated memory: 831376 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.13 5/254 848249
/proc/meminfo: memFree=121673328/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=904760 memory=845836 CPUtime=12.65 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 206581 0 0 0 1230 35 0 0 20 0 1 0 164655621 926474240 211459 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 226190 211459 3749 3540 0 214447 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 904760 KiB
Current children cumulated memory: 845836 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.13 5/254 848250
/proc/meminfo: memFree=121625804/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=917464 memory=858652 CPUtime=25.41 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 209274 0 0 0 2504 37 0 0 20 0 1 0 164655621 939483136 214663 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 229366 214663 3749 3540 0 217623 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 917464 KiB
Current children cumulated memory: 858652 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.12 4.13 5/254 848255
/proc/meminfo: memFree=121278288/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1319712 memory=1189080 CPUtime=50.93 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 279383 0 0 0 5042 51 0 0 20 0 1 0 164655621 1351385088 297270 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 329928 297270 3941 3540 0 318185 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1319712 KiB
Current children cumulated memory: 1189080 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/254 848264
/proc/meminfo: memFree=121217496/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1332084 memory=1205716 CPUtime=101.95 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 283614 0 0 0 10142 53 0 0 20 0 1 0 164655621 1364054016 301429 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 333021 301429 3941 3540 0 321278 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1332084 KiB
Current children cumulated memory: 1205716 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/254 848274
/proc/meminfo: memFree=121162660/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1338080 memory=1211764 CPUtime=161.76 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 284637 0 0 0 16121 55 0 0 20 0 1 0 164655621 1370193920 302941 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 334520 302941 3941 3540 0 322777 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1338080 KiB
Current children cumulated memory: 1211764 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 848284
/proc/meminfo: memFree=121128516/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1338080 memory=1212128 CPUtime=221.57 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 284779 0 0 0 22101 56 0 0 20 0 1 0 164655621 1370193920 303032 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 334520 303032 3941 3540 0 322777 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1338080 KiB
Current children cumulated memory: 1212128 KiB
[startup+282.3 s]
/proc/loadavg: 4.27 4.15 4.13 5/256 848299
/proc/meminfo: memFree=121089424/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1338080 memory=1212256 CPUtime=281.36 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 284890 0 0 0 28079 57 0 0 20 0 1 0 164655621 1370193920 303064 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 334520 303064 3941 3540 0 322777 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 1338080 KiB
Current children cumulated memory: 1212256 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.15 4.13 5/256 848310
/proc/meminfo: memFree=121035768/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1343808 memory=1217704 CPUtime=341.15 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 285808 0 0 0 34056 59 0 0 20 0 1 0 164655621 1376059392 304426 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 335952 304426 3941 3540 0 324209 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 1343808 KiB
Current children cumulated memory: 1217704 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/256 848365
/proc/meminfo: memFree=118342180/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1343808 memory=1217868 CPUtime=400.95 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 285892 0 0 0 40034 61 0 0 20 0 1 0 164655621 1376059392 304467 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 335952 304467 3941 3540 0 324209 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 1343808 KiB
Current children cumulated memory: 1217868 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/256 848422
/proc/meminfo: memFree=118213808/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1352004 memory=1226064 CPUtime=460.74 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 288013 0 0 0 46011 63 0 0 20 0 1 0 164655621 1384452096 306516 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 338001 306516 3941 3540 0 326258 0
################
# More data... #
################
/proc/loadavg: 4.11 4.11 4.09 5/255 850100
/proc/meminfo: memFree=115172180/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3152.91 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 349753 0 0 0 315204 87 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3152.91 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 850110
/proc/meminfo: memFree=115114296/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3212.78 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 349864 0 0 0 321190 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3212.78 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 850126
/proc/meminfo: memFree=115071776/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3272.56 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350204 0 0 0 327168 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 850136
/proc/meminfo: memFree=115035952/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3332.42 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350226 0 0 0 333154 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 850147
/proc/meminfo: memFree=115002496/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3392.23 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350370 0 0 0 339135 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3392.23 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 850157
/proc/meminfo: memFree=114972872/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3452.06 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350480 0 0 0 345118 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3452.06 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/258 850169
/proc/meminfo: memFree=114940340/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3511.84 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350569 0 0 0 351096 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/255 850179
/proc/meminfo: memFree=114909732/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3571.64 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350879 0 0 0 357076 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3597.86 s]
# the end of solver process 848246 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.26 s, system=0.910057 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.14 4.10 5/255 850179
/proc/meminfo: memFree=114909020/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3573.34 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350879 0 0 0 357246 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 850181
/proc/meminfo: memFree=114904936/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3579.72 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350881 0 0 0 357884 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3579.72 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 850181
/proc/meminfo: memFree=114904512/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3582.91 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350882 0 0 0 358203 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3582.91 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 850181
/proc/meminfo: memFree=114903464/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3584.5 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350882 0 0 0 358362 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3584.5 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 850181
/proc/meminfo: memFree=114903412/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1663788 memory=1522512 CPUtime=3586.1 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 350882 0 0 0 358522 88 0 0 20 0 1 0 164655621 1703718912 380628 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415947 380628 3972 3540 0 404204 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 1663788 KiB
Current children cumulated memory: 1522512 KiB
[startup+3597.6 s]
/proc/loadavg: 4.14 4.13 4.09 5/249 850182
/proc/meminfo: memFree=117054228/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1662520 memory=1521244 CPUtime=3586.89 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 351267 0 0 0 358601 88 0 0 20 0 1 0 164655621 1702420480 380311 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 415630 380311 3972 3540 0 403887 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 1662520 KiB
Current children cumulated memory: 1521244 KiB
[startup+3597.8 s]
/proc/loadavg: 4.14 4.13 4.09 5/249 850182
/proc/meminfo: memFree=117054228/131524600 swapFree=131071996/131071996
[pid=848246] ppid=848243 vsize=1558544 memory=1416772 CPUtime=3587.1 cores=1,3
/proc/848246/stat : 848246 (pbscip) R 848243 848246 844116 0 -1 4194304 351283 0 0 0 358621 89 0 0 20 0 1 0 164655621 1595949056 354450 134679101440 4194304 18693293 140732228164240 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 29007872 140732228170756 140732228170855 140732228170855 140732228177870 0
/proc/848246/statm: 389636 354193 3988 3540 0 377893 0
Current children cumulated CPU time: 3587.1 s
Current children cumulated vsize: 1558544 KiB
Current children cumulated memory: 1416772 KiB
Child status: 0
Real time (s): 3597.86
CPU time (s): 3587.17
CPU user time (s): 3586.26
CPU system time (s): 0.910057
CPU usage (%): 99.7028
Max. virtual memory (cumulated for all children) (KiB): 1663788
Max. memory (cumulated for all children) (KiB): 1522512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.26
system time used= 0.910057
maximum resident set size= 1522512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351325
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= 23
involuntary context switches= 1885
# summary of solver processes directly reported to runsolver:
# pid: 848246
# total CPU time (s): 3587.17
# total CPU user time (s): 3586.26
# total CPU system time (s): 0.910057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00277 second user time and 16.6524 second system time
The end