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-4432825-1721127035.opb>
0.32/0.33 c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
0.32/0.33 c problem read in 0.32
0.42/0.49 c presolving:
0.79/0.83 c (0.8s) running MILP presolver
0.89/0.97 c (1.0s) MILP presolver found nothing
1.09/1.17 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
1.29/1.37 c (round 2, medium) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 43200 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
1.59/1.63 c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 64800 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
2.28/2.31 c (2.3s) probing: 51/2700 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.28/2.31 c (2.3s) probing aborted: 50/50 successive totally useless probings
2.58/2.66 c (2.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.78/2.80 c (2.8s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.07)
2.78/2.80 c dynamic symmetry handling statistics:
2.78/2.80 c orbitopal reduction: no components
2.78/2.80 c orbital reduction: 1 components of sizes 2
2.78/2.80 c lexicographic reduction: 2 permutations with support sizes 2624, 2700
2.78/2.80 c handled 1 out of 1 symmetry components
2.78/2.84 c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
2.78/2.84 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
2.78/2.84 c 0 implications, 3960 cliques
2.78/2.84 c presolved problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
2.78/2.84 c 21770 constraints of type <knapsack>
2.78/2.84 c 3960 constraints of type <setppc>
2.78/2.84 c 16890 constraints of type <logicor>
2.78/2.84 c transformed objective value is always integral (scale: 1)
2.78/2.84 c Presolving Time: 2.35
2.78/2.84 c - non default parameters ----------------------------------------------------------------------
2.78/2.84 c # SCIP version 10.0.0
2.78/2.84 c
2.78/2.84 c # maximal time in seconds to run
2.78/2.84 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.78/2.84 c limits/time = 3596.993065
2.78/2.84 c
2.78/2.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.78/2.84 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.78/2.84 c limits/memory = 27900
2.78/2.84 c
2.78/2.84 c # belongs reading time to solving time?
2.78/2.84 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.78/2.84 c timing/reading = TRUE
2.78/2.84 c
2.78/2.84 c -----------------------------------------------------------------------------------------------
2.78/2.84 c start solving
2.78/2.84 c
8.17/8.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.17/8.29 c 8.3s| 1 | 0 | 6859 | - | 412M | 0 |2700 | 42k| 42k| 0 | 0 | 100 | 0 | 1.400000e+02 | -- | Inf | unknown
39.79/39.97 c 40.0s| 1 | 0 | 44916 | - | 418M | 0 |2700 | 42k| 42k| 19 | 1 | 102 | 0 | 1.400000e+02 | -- | Inf | unknown
50.76/50.91 c 50.9s| 1 | 0 | 50691 | - | 422M | 0 |2700 | 42k| 42k| 29 | 2 | 104 | 0 | 1.400000e+02 | -- | Inf | unknown
61.95/62.12 c 62.1s| 1 | 0 | 56204 | - | 427M | 0 |2700 | 42k| 42k| 38 | 3 | 105 | 0 | 1.400000e+02 | -- | Inf | unknown
74.11/74.35 c 74.3s| 1 | 0 | 62486 | - | 431M | 0 |2700 | 42k| 42k| 48 | 4 | 111 | 0 | 1.400000e+02 | -- | Inf | unknown
84.90/85.19 c 85.2s| 1 | 0 | 67958 | - | 435M | 0 |2700 | 42k| 42k| 58 | 5 | 112 | 0 | 1.400000e+02 | -- | Inf | unknown
98.35/98.66 c 98.6s| 1 | 0 | 75132 | - | 439M | 0 |2700 | 42k| 42k| 68 | 6 | 113 | 0 | 1.400000e+02 | -- | Inf | unknown
109.62/109.91 c 110s| 1 | 0 | 80619 | - | 443M | 0 |2700 | 42k| 42k| 79 | 7 | 120 | 0 | 1.400000e+02 | -- | Inf | unknown
121.30/121.66 c 122s| 1 | 0 | 86540 | - | 448M | 0 |2700 | 42k| 42k| 90 | 8 | 121 | 0 | 1.400000e+02 | -- | Inf | unknown
132.97/133.39 c 133s| 1 | 0 | 92202 | - | 452M | 0 |2700 | 42k| 42k| 99 | 9 | 122 | 0 | 1.400000e+02 | -- | Inf | unknown
145.83/146.27 c 146s| 1 | 0 | 98757 | - | 456M | 0 |2700 | 42k| 42k| 106 | 10 | 124 | 0 | 1.400000e+02 | -- | Inf | unknown
154.81/155.25 c 155s| 1 | 0 |106923 | - | 460M | 0 |2700 | 42k| 42k| 117 | 11 | 126 | 0 | 1.400000e+02 | -- | Inf | unknown
283.52/284.22 c 284s| 1 | 2 |184030 | - | 461M | 0 |2700 | 42k| 42k| 117 | 11 | 143 | 26 | 1.400000e+02 | -- | Inf | unknown
1056.23/1059.09 c 1059s| 100 | 97 |646329 |5448.5 | 503M | 27 |2700 | 42k| 42k| 287 | 1 | 286 | 392 | 1.400000e+02 | -- | Inf | 50.00%
1609.30/1613.77 c 1614s| 200 | 197 | 1078k|4882.7 | 542M | 33 |2700 | 42k| 42k| 463 | 1 | 354 | 593 | 1.400000e+02 | -- | Inf | 50.00%
1953.79/1959.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1953.79/1959.25 c 1959s| 300 | 297 | 1385k|4276.5 | 545M | 35 |2700 | 42k| 42k| 495 | 1 | 511 | 740 | 1.400000e+02 | -- | Inf | 50.00%
2295.81/2302.28 c 2302s| 400 | 397 | 1728k|4064.3 | 547M | 37 |2700 | 43k| 42k| 520 | 1 | 573 | 880 | 1.400000e+02 | -- | Inf | 50.00%
2680.09/2687.67 c 2688s| 500 | 497 | 2042k|3879.4 | 579M | 41 |2700 | 43k| 42k| 641 | 1 | 653 |1054 | 1.400000e+02 | -- | Inf | 50.00%
3074.04/3082.77 c 3083s| 600 | 595 | 2390k|3812.0 | 616M | 43 |2700 | 43k| 42k| 797 | 1 | 729 |1216 | 1.400000e+02 | -- | Inf | 50.00%
3461.69/3471.57 c 3472s| 700 | 695 | 2723k|3742.7 | 638M | 43 |2700 | 43k| 42k| 908 | 1 | 833 |1389 | 1.400000e+02 | -- | Inf | 50.00%
3586.73/3597.00 c
3586.73/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.73/3597.00 c Solving Time (sec) : 3596.99
3586.73/3597.00 c Solving Nodes : 746
3586.73/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.73/3597.00 c Dual Bound : +1.40000000000000e+02
3586.73/3597.00 c Gap : infinite
3586.73/3597.00 s UNKNOWN
3586.73/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.73/3597.00 c Total Time : 3596.99
3586.73/3597.00 c solving : 3596.99
3586.73/3597.00 c presolving : 2.35 (included in solving)
3586.73/3597.00 c reading : 0.32 (included in solving)
3586.73/3597.00 c copying : 0.24 (4 #copies) (minimal 0.06, maximal 0.06, average 0.06)
3586.73/3597.00 c Original Problem :
3586.73/3597.00 c Problem name : HOME/instance-4432825-1721127035.opb
3586.73/3597.00 c Variables : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.73/3597.00 c Constraints : 42620 initial, 42620 maximal
3586.73/3597.00 c Objective : minimize, 900 non-zeros (abs.min = 1, abs.max = 5)
3586.73/3597.00 c Presolved Problem :
3586.73/3597.00 c Problem name : t_HOME/instance-4432825-1721127035.opb
3586.73/3597.00 c Variables : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.73/3597.00 c Constraints : 42620 initial, 43099 maximal
3586.73/3597.00 c Objective : minimize, 900 non-zeros (abs.min = 1, abs.max = 5)
3586.73/3597.00 c Nonzeros : 328920 constraint, 13222 clique table
3586.73/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.73/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c domcol : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c dualsparsify : 0.35 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c gateextraction : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c milp : 0.32 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c sparsify : 0.16 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c probing : 0.22 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c symmetry : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c knapsack : 0.65 0.00 8 0 0 0 0 0 0 0 43200 64800
3586.73/3597.00 c setppc : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c linear : 0.33 0.06 2 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c logicor : 0.04 0.00 7 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c root node : - - - 10 - - 10 - - - - -
3586.73/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.73/3597.00 c benderslp : 0 0 0 0 746 0 0 144 0 0 0 0 0 0 0
3586.73/3597.00 c integral : 0 0 0 0 746 0 0 144 0 0 4 0 0 17 1484
3586.73/3597.00 c knapsack : 21770+ 21774 11 19548 0 0 0 140 1853 17 2546 0 0 0 0
3586.73/3597.00 c setppc : 3960+ 3961 11 19531 0 0 0 1 8719 82 22614 0 0 0 0
3586.73/3597.00 c linear : 0+ 6 0 10885 0 0 0 3 0 6 0 0 0 0 0
3586.73/3597.00 c logicor : 16890+ 17397 11 8989 0 0 0 0 2252 10 1762 7 3 0 0
3586.73/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.73/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c integral : 1166.90 0.00 0.00 0.00 1166.90 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c knapsack : 2.22 0.00 0.51 0.95 0.00 0.00 0.00 0.00 0.00 0.76
3586.73/3597.00 c setppc : 1.33 0.00 0.00 0.65 0.00 0.00 0.00 0.00 0.00 0.67
3586.73/3597.00 c linear : 0.07 0.06 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c logicor : 0.38 0.00 0.04 0.16 0.00 0.00 0.00 0.00 0.00 0.18
3586.73/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.73/3597.00 c dualfix : 1 0 0 0
3586.73/3597.00 c genvbounds : 0 0 0 0
3586.73/3597.00 c nlobbt : 0 0 0 0
3586.73/3597.00 c obbt : 0 0 0 0
3586.73/3597.00 c probing : 0 0 0 0
3586.73/3597.00 c pseudoobj : 3047 0 0 0
3586.73/3597.00 c redcost : 13 0 0 0
3586.73/3597.00 c rootredcost : 1 0 0 0
3586.73/3597.00 c symmetry : 14696 0 0 92
3586.73/3597.00 c vbounds : 9153 0 0 0
3586.73/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.73/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c probing : 0.22 0.00 0.22 0.00 0.00 0.00
3586.73/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3586.73/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.73/3597.00 c symmetry : 0.39 0.00 0.14 0.18 0.00 0.08
3586.73/3597.00 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.73/3597.00 c Symmetry :
3586.73/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.73/3597.00 c orbital reduction: 90 reductions applied, 0 cutoffs
3586.73/3597.00 c lexicographic red: 20 reductions applied, 0 cutoffs
3586.73/3597.00 c shadow tree time : 0.00 s
3586.73/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.73/3597.00 c propagation : 0.01 104 103 - 1255 56.1 84 10.4 - - -
3586.73/3597.00 c infeasible LP : 0.02 18 18 - 405 88.3 11 9.8 18 149.1 0
3586.73/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.73/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.73/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.73/3597.00 c applied globally : 0.01 - - 0 835 30.3 - - 18 - -
3586.73/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.73/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.73/3597.00 c cut pool : 0.09 - 258 21 - - 2270 4831 - - - - - (maximal pool size: 1416)
3586.73/3597.00 c aggregation : 0.37 0.00 74 11 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.73/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.73/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.73/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c clique : 0.08 0.00 11 11 0 0 66 215 0 206 206 0 0
3586.73/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c gomory : 150.17 0.00 60 10 0 0 1940 3779 0 136 136 0 0
3586.73/3597.00 c > gomorymi : - - - - - - - 1493 0 43 43 0 -
3586.73/3597.00 c > strongcg : - - - - - - - 2286 0 93 93 0 -
3586.73/3597.00 c impliedbounds : 0.01 0.00 74 11 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c multilinear : 0.00 0.00 40 11 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c rlt : 0.00 0.00 24 10 0 0 0 0 0 0 0 0 0
3586.73/3597.00 c zerohalf : 1.16 0.00 61 11 0 0 264 837 0 656 656 0 0
3586.73/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.73/3597.00 c hybrid : 0.01 0.00 168 11 1001 0 3837 117 0 147
3586.73/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.73/3597.00 c problem variables: 0.00 - 0 0
3586.73/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.73/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c relpscost : 1166.90 0.00 746 0 0 0 4 0 21 1484
3586.73/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.73/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.73/3597.00 c LP solutions : 0.00 - - 0 0
3586.73/3597.00 c relax solutions : 0.00 - - 0 0
3586.73/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.73/3597.00 c strong branching : 0.00 - - 0 0
3586.73/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.73/3597.00 c adaptivediving : 27.83 0.00 5 0 0
3586.73/3597.00 c alns : 0.63 0.00 3 0 0
3586.73/3597.00 c bound : 0.00 0.00 0 0 0
3586.73/3597.00 c clique : 0.15 0.00 1 0 0
3586.73/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.73/3597.00 c completesol : 0.00 0.00 0 0 0
3586.73/3597.00 c conflictdiving : 22.47 0.00 4 0 0
3586.73/3597.00 c crossover : 0.00 0.00 0 0 0
3586.73/3597.00 c dins : 0.00 0.00 0 0 0
3586.73/3597.00 c distributiondivin: 11.27 0.00 4 0 0
3586.73/3597.00 c dps : 0.00 0.00 0 0 0
3586.73/3597.00 c dualval : 0.00 0.00 0 0 0
3586.73/3597.00 c farkasdiving : 89.39 0.00 1 0 0
3586.73/3597.00 c feasjump : 0.09 0.00 1 0 0
3586.73/3597.00 c feaspump : 40.10 0.00 2 0 0
3586.73/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.73/3597.00 c fracdiving : 7.14 0.00 4 0 0
3586.73/3597.00 c gins : 0.00 0.00 0 0 0
3586.73/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.73/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3586.73/3597.00 c indicator : 0.00 0.00 0 0 0
3586.73/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.73/3597.00 c indoneopt : 0.00 0.00 0 0 0
3586.73/3597.00 c indrounding : 0.00 0.00 0 0 0
3586.73/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3586.73/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.73/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.73/3597.00 c linesearchdiving : 8.92 0.00 4 0 0
3586.73/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.73/3597.00 c locks : 0.05 0.00 1 0 0
3586.73/3597.00 c lpface : 0.00 0.00 0 0 0
3586.73/3597.00 c mpec : 0.00 0.00 0 0 0
3586.73/3597.00 c multistart : 0.00 0.00 0 0 0
3586.73/3597.00 c mutation : 0.00 0.00 0 0 0
3586.73/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.73/3597.00 c objpscostdiving : 83.98 0.00 3 0 0
3586.73/3597.00 c octane : 0.00 0.00 0 0 0
3586.73/3597.00 c ofins : 0.00 0.00 0 0 0
3586.73/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.73/3597.00 c padm : 0.00 0.00 0 0 0
3586.73/3597.00 c proximity : 0.00 0.00 0 0 0
3586.73/3597.00 c pscostdiving : 32.85 0.00 4 0 0
3586.73/3597.00 c randrounding : 0.46 0.00 149 0 0
3586.73/3597.00 c rens : 0.25 0.00 1 0 0
3586.73/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.73/3597.00 c repair : 0.00 0.00 0 0 0
3586.73/3597.00 c rins : 0.00 0.00 0 0 0
3586.73/3597.00 c rootsoldiving : 33.78 0.00 2 0 0
3586.73/3597.00 c rounding : 0.58 0.00 384 0 0
3586.73/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.73/3597.00 c shiftandpropagate: 0.03 0.00 1 0 0
3586.73/3597.00 c shifting : 0.78 0.00 172 0 0
3586.73/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.73/3597.00 c smallcard : 0.00 0.00 0 0 0
3586.73/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.73/3597.00 c trivial : 0.00 0.00 2 0 0
3586.73/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.73/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.73/3597.00 c trysol : 0.00 0.00 0 0 0
3586.73/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.73/3597.00 c undercover : 0.00 0.00 0 0 0
3586.73/3597.00 c vbounds : 0.14 0.00 1 0 0
3586.73/3597.00 c veclendiving : 13.31 0.00 4 0 0
3586.73/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.73/3597.00 c zirounding : 0.87 0.00 741 0 0
3586.73/3597.00 c other solutions : - - - 0 -
3586.73/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.73/3597.00 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.73/3597.00 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.73/3597.00 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.73/3597.00 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.73/3597.00 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.73/3597.00 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.73/3597.00 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.73/3597.00 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.73/3597.00 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.73/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.73/3597.00 c primal LP : 0.49 75 0 0.00 0.00 0.49 75
3586.73/3597.00 c dual LP : 1894.55 916 2363688 2580.45 1247.63 0.00 0
3586.73/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.73/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.73/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.73/3597.00 c diving/probing LP: 439.73 983 481759 490.09 1095.57
3586.73/3597.00 c strong branching : 1088.18 1454 1328941 913.99 1221.25 - - 2477
3586.73/3597.00 c (at root node) : - 26 26000 1000.00 -
3586.73/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.73/3597.00 c B&B Tree :
3586.73/3597.00 c number of runs : 1
3586.73/3597.00 c nodes : 746 (742 internal, 4 leaves)
3586.73/3597.00 c feasible leaves : 0
3586.73/3597.00 c infeas. leaves : 4
3586.73/3597.00 c objective leaves : 0
3586.73/3597.00 c nodes (total) : 746 (742 internal, 4 leaves)
3586.73/3597.00 c nodes left : 739
3586.73/3597.00 c max depth : 43
3586.73/3597.00 c max depth (total): 43
3586.73/3597.00 c backtracks : 39 (5.2%)
3586.73/3597.00 c early backtracks : 0 (0.0%)
3586.73/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.73/3597.00 c delayed cutoffs : 0
3586.73/3597.00 c repropagations : 5 (10 domain reductions, 0 cutoffs)
3586.73/3597.00 c avg switch length: 2.24
3586.73/3597.00 c switching time : 0.90
3586.73/3597.00 c Root Node :
3586.73/3597.00 c First LP value : +1.40000000000000e+02
3586.73/3597.00 c First LP Iters : 6859 (1376.28 Iter/sec)
3586.73/3597.00 c First LP Time : 4.98
3586.73/3597.00 c Final Dual Bound : +1.40000000000000e+02
3586.73/3597.00 c Final Root Iters : 106923
3586.73/3597.00 c Root LP Estimate : +1.56557119972975e+02
3586.73/3597.00 c Solution :
3586.73/3597.00 c Solutions found : 0 (0 improvements)
3586.73/3597.00 c Primal Bound : -
3586.73/3597.00 c Dual Bound : +1.40000000000000e+02
3586.73/3597.00 c Gap : infinite
3586.73/3597.00 c Integrals : Total Avg%
3586.73/3597.00 c primal-dual : 359699.49 100.00
3586.73/3597.00 c primal-ref : - - (not evaluated)
3586.73/3597.00 c dual-ref : - - (not evaluated)
3586.94/3597.15 c Time complete: 3586.98.
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 (62019 MiB free)
memory of node 1: 64510 MiB (61641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432825-1721127035/watcher-4432825-1721127035 -o /tmp/evaluation-result-4432825-1721127035/solver-4432825-1721127035 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721119850-842307 --watchdog 3760 pbscip -f HOME/instance-4432825-1721127035.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
solver pid=847847, runsolver pid=847844
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.15 4.13 4.13 5/243 847848
/proc/meminfo: memFree=126613968/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=70472 memory=29948 CPUtime=0.1 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 4565 0 0 0 9 1 0 0 20 0 1 0 164862801 72163328 7487 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 17618 7487 3242 3540 0 5875 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 70472 KiB
Current children cumulated memory: 29948 KiB
[startup+0.213697 s]*
/proc/loadavg: 4.15 4.13 4.13 5/243 847848
/proc/meminfo: memFree=126604728/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=78260 memory=37448 CPUtime=0.21 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 6421 0 0 0 20 1 0 0 20 0 1 0 164862801 80138240 9362 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 19565 9362 3242 3540 0 7822 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 78260 KiB
Current children cumulated memory: 37448 KiB
[startup+0.313167 s]*
/proc/loadavg: 4.15 4.13 4.13 5/243 847848
/proc/meminfo: memFree=126597204/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=85484 memory=44824 CPUtime=0.32 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 8248 0 0 0 30 2 0 0 20 0 1 0 164862801 87535616 11206 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 21371 11206 3242 3540 0 9628 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 85484 KiB
Current children cumulated memory: 44824 KiB
[startup+0.700313 s]
/proc/loadavg: 4.15 4.13 4.13 5/243 847848
/proc/meminfo: memFree=126538936/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=157016 memory=113948 CPUtime=0.69 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 25390 0 0 0 63 6 0 0 20 0 1 0 164862801 160784384 28487 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 39254 28487 3609 3540 0 27511 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 157016 KiB
Current children cumulated memory: 113948 KiB
[startup+1.5003 s]
/proc/loadavg: 4.15 4.13 4.13 5/243 847848
/proc/meminfo: memFree=126525692/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=199956 memory=158732 CPUtime=1.49 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 46148 0 0 0 137 12 0 0 20 0 1 0 164862801 204754944 39683 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 49989 39683 3784 3540 0 38246 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 199956 KiB
Current children cumulated memory: 158732 KiB
[startup+3.11344 s]
/proc/loadavg: 4.14 4.12 4.13 5/243 847848
/proc/meminfo: memFree=126238324/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=490240 memory=404848 CPUtime=3.1 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 78835 0 0 0 290 20 0 0 20 0 1 0 164862801 502005760 101212 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 122560 101212 3848 3540 0 110817 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 490240 KiB
Current children cumulated memory: 404848 KiB
[startup+6.30027 s]
/proc/loadavg: 4.14 4.12 4.13 5/243 847849
/proc/meminfo: memFree=126227420/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=498840 memory=415040 CPUtime=6.27 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 81398 0 0 0 607 20 0 0 20 0 1 0 164862801 510812160 103760 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 124710 103760 3864 3540 0 112967 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 498840 KiB
Current children cumulated memory: 415040 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.13 5/243 847849
/proc/meminfo: memFree=126227200/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=498840 memory=415644 CPUtime=12.66 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 81412 0 0 0 1246 20 0 0 20 0 1 0 164862801 510812160 103911 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 124710 103911 3960 3540 0 112967 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 498840 KiB
Current children cumulated memory: 415644 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.13 5/243 847852
/proc/meminfo: memFree=126225556/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=498840 memory=415644 CPUtime=25.42 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 81426 0 0 0 2522 20 0 0 20 0 1 0 164862801 510812160 103911 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 124710 103911 3960 3540 0 112967 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 498840 KiB
Current children cumulated memory: 415644 KiB
[startup+51.1133 s]
/proc/loadavg: 4.14 4.12 4.13 5/243 847901
/proc/meminfo: memFree=127211852/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=517772 memory=429192 CPUtime=50.97 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 83840 0 0 0 5076 21 0 0 20 0 1 0 164862801 530198528 107298 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 129443 107298 3976 3540 0 117700 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 517772 KiB
Current children cumulated memory: 429192 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/243 848003
/proc/meminfo: memFree=127254532/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=539612 memory=436448 CPUtime=102.04 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 84633 0 0 0 10182 22 0 0 20 0 1 0 164862801 552562688 109112 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 134903 109112 3976 3540 0 123160 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 539612 KiB
Current children cumulated memory: 436448 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/243 848013
/proc/meminfo: memFree=124212584/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=565404 memory=439520 CPUtime=161.89 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 85400 0 0 0 16167 22 0 0 20 0 1 0 164862801 578973696 109880 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 141351 109880 3976 3540 0 129608 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 565404 KiB
Current children cumulated memory: 439520 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/243 848024
/proc/meminfo: memFree=124204476/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=565404 memory=439520 CPUtime=221.77 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 85423 0 0 0 22154 23 0 0 20 0 1 0 164862801 578973696 109880 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 141351 109880 3976 3540 0 129608 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 565404 KiB
Current children cumulated memory: 439520 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/243 848034
/proc/meminfo: memFree=124129660/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=634328 memory=509128 CPUtime=281.62 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 101770 0 0 0 28137 25 0 0 20 0 1 0 164862801 649551872 127282 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 158582 127282 4007 3540 0 146839 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 634328 KiB
Current children cumulated memory: 509128 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.13 4.12 5/244 848431
/proc/meminfo: memFree=124121496/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=634328 memory=509220 CPUtime=341.47 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 101789 0 0 0 34122 25 0 0 20 0 1 0 164862801 649551872 127305 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 158582 127305 4007 3540 0 146839 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 634328 KiB
Current children cumulated memory: 509220 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/244 848441
/proc/meminfo: memFree=124117848/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=634328 memory=512296 CPUtime=401.32 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 101811 0 0 0 40107 25 0 0 20 0 1 0 164862801 649551872 128074 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 158582 128074 4021 3540 0 146839 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 634328 KiB
Current children cumulated memory: 512296 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/244 848451
/proc/meminfo: memFree=124107376/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=634328 memory=515408 CPUtime=461.17 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 101868 0 0 0 46092 25 0 0 20 0 1 0 164862801 649551872 128852 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 158582 128852 4021 3540 0 146839 0
################
# More data... #
################
/proc/loadavg: 4.07 4.09 4.14 6/243 849791
/proc/meminfo: memFree=120458508/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=711608 memory=564212 CPUtime=3213.23 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 116330 0 0 0 321293 30 0 0 20 0 1 0 164862801 728686592 141053 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 177902 141053 4024 3540 0 166159 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 711608 KiB
Current children cumulated memory: 564212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.14 6/243 849801
/proc/meminfo: memFree=120494104/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=711608 memory=564212 CPUtime=3273.06 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 116495 0 0 0 327276 30 0 0 20 0 1 0 164862801 728686592 141053 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 177902 141053 4024 3540 0 166159 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 711608 KiB
Current children cumulated memory: 564212 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.13 6/241 849812
/proc/meminfo: memFree=120454632/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=725424 memory=564228 CPUtime=3332.88 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 116723 0 0 0 333258 30 0 0 20 0 1 0 164862801 742834176 141057 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 181356 141057 4024 3540 0 169613 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 725424 KiB
Current children cumulated memory: 564228 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.12 4.14 6/241 849822
/proc/meminfo: memFree=120476720/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=729896 memory=567400 CPUtime=3392.7 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 117686 0 0 0 339240 30 0 0 20 0 1 0 164862801 747413504 141850 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 182474 141850 4024 3540 0 170731 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 729896 KiB
Current children cumulated memory: 567400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.13 6/241 849832
/proc/meminfo: memFree=120437500/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=731080 memory=568552 CPUtime=3452.52 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 118192 0 0 0 345222 30 0 0 20 0 1 0 164862801 748625920 142138 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 182770 142138 4024 3540 0 171027 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 731080 KiB
Current children cumulated memory: 568552 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.13 6/241 849843
/proc/meminfo: memFree=120399704/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=731080 memory=568580 CPUtime=3512.34 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 118370 0 0 0 351204 30 0 0 20 0 1 0 164862801 748625920 142145 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 182770 142145 4024 3540 0 171027 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 731080 KiB
Current children cumulated memory: 568580 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.13 6/241 849853
/proc/meminfo: memFree=120432764/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=742904 memory=573256 CPUtime=3572.17 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 119161 0 0 0 357187 30 0 0 20 0 1 0 164862801 760733696 143314 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 185726 143314 4024 3540 0 173983 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 742904 KiB
Current children cumulated memory: 573256 KiB
[startup+3597.15 s]
# the end of solver process 847847 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.68 s, system=0.314052 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.11 4.13 6/244 849861
/proc/meminfo: memFree=120431416/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=742904 memory=573256 CPUtime=3573.88 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 119220 0 0 0 357358 30 0 0 20 0 1 0 164862801 760733696 143314 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 185726 143314 4024 3540 0 173983 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 742904 KiB
Current children cumulated memory: 573256 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.11 4.13 6/244 849861
/proc/meminfo: memFree=120428672/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=742904 memory=573256 CPUtime=3580.25 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 119226 0 0 0 357995 30 0 0 20 0 1 0 164862801 760733696 143314 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 185726 143314 4024 3540 0 173983 0
Current children cumulated CPU time: 3580.25 s
Current children cumulated vsize: 742904 KiB
Current children cumulated memory: 573256 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.11 4.13 6/244 849861
/proc/meminfo: memFree=120428720/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=742904 memory=573520 CPUtime=3583.44 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 119230 0 0 0 358314 30 0 0 20 0 1 0 164862801 760733696 143380 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 185726 143380 4024 3540 0 173983 0
Current children cumulated CPU time: 3583.44 s
Current children cumulated vsize: 742904 KiB
Current children cumulated memory: 573520 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.11 4.13 6/244 849862
/proc/meminfo: memFree=120428600/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=742904 memory=573520 CPUtime=3585.03 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 119230 0 0 0 358473 30 0 0 20 0 1 0 164862801 760733696 143380 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 185726 143380 4024 3540 0 173983 0
Current children cumulated CPU time: 3585.03 s
Current children cumulated vsize: 742904 KiB
Current children cumulated memory: 573520 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.11 4.13 6/244 849862
/proc/meminfo: memFree=120428648/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=742904 memory=573536 CPUtime=3585.84 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 119314 0 0 0 358554 30 0 0 20 0 1 0 164862801 760733696 143384 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 185726 143384 4024 3540 0 173983 0
Current children cumulated CPU time: 3585.84 s
Current children cumulated vsize: 742904 KiB
Current children cumulated memory: 573536 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.13 6/244 849862
/proc/meminfo: memFree=120428648/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=742904 memory=573536 CPUtime=3586.63 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 119315 0 0 0 358633 30 0 0 20 0 1 0 164862801 760733696 143384 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 185726 143384 4024 3540 0 173983 0
Current children cumulated CPU time: 3586.63 s
Current children cumulated vsize: 742904 KiB
Current children cumulated memory: 573536 KiB
[startup+3597 s]*
/proc/loadavg: 4.10 4.11 4.13 6/244 849862
/proc/meminfo: memFree=120428212/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=742904 memory=573536 CPUtime=3586.84 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 119316 0 0 0 358654 30 0 0 20 0 1 0 164862801 760733696 143384 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 185726 143384 4024 3540 0 173983 0
Current children cumulated CPU time: 3586.84 s
Current children cumulated vsize: 742904 KiB
Current children cumulated memory: 573536 KiB
[startup+3597.11 s]
/proc/loadavg: 4.10 4.11 4.13 6/244 849862
/proc/meminfo: memFree=120428212/131655788 swapFree=131071996/131071996
[pid=847847] ppid=847844 vsize=738404 memory=569036 CPUtime=3586.94 cores=4,6
/proc/847847/stat : 847847 (pbscip) R 847844 847847 842296 0 -1 4194304 119333 0 0 0 358664 30 0 0 20 0 1 0 164862801 756125696 142259 134679101440 4194304 18693293 140731886021024 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55513088 140731886027780 140731886027879 140731886027879 140731886034894 0
/proc/847847/statm: 184601 142259 4024 3540 0 172858 0
Current children cumulated CPU time: 3586.94 s
Current children cumulated vsize: 738404 KiB
Current children cumulated memory: 569036 KiB
Child status: 0
Real time (s): 3597.15
CPU time (s): 3586.99
CPU user time (s): 3586.68
CPU system time (s): 0.314052
CPU usage (%): 99.7175
Max. virtual memory (cumulated for all children) (KiB): 742904
Max. memory (cumulated for all children) (KiB): 573536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.68
system time used= 0.314052
maximum resident set size= 573536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119370
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= 27
involuntary context switches= 2257
# summary of solver processes directly reported to runsolver:
# pid: 847847
# total CPU time (s): 3586.99
# total CPU user time (s): 3586.68
# total CPU system time (s): 0.314052
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5638 second user time and 36.2134 second system time
The end