0.08/0.15 c SCIP version 1.1.0.7
0.08/0.15 c LP-Solver SoPlex 1.4.1
0.08/0.15 c user parameter file <scip.set> not found - using default parameters
0.08/0.15 c read problem <HOME/instance-3742532-1338786258.opb>
0.08/0.15 c original problem has 14875 variables (14875 bin, 0 int, 0 impl, 0 cont) and 15127 constraints
0.19/0.21 c No objective function, only one solution is needed.
0.19/0.21 c start presolving problem
0.19/0.21 c presolving:
0.19/0.26 c (round 1) 2 del vars, 2 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13830 impls, 125 clqs
0.19/0.27 c (round 2) 238 del vars, 13 del conss, 238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13830 impls, 123 clqs
0.19/0.28 c (round 3) 367 del vars, 260 del conss, 367 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13938 impls, 123 clqs
0.19/0.29 c (round 4) 475 del vars, 368 del conss, 475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14136 impls, 123 clqs
0.19/0.29 c (round 5) 562 del vars, 455 del conss, 562 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14358 impls, 123 clqs
0.29/0.30 c (round 6) 626 del vars, 519 del conss, 626 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14584 impls, 123 clqs
0.29/0.31 c (round 7) 669 del vars, 562 del conss, 669 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14744 impls, 123 clqs
0.29/0.32 c (round 8) 696 del vars, 589 del conss, 696 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14870 impls, 123 clqs
0.29/0.32 c (round 9) 714 del vars, 607 del conss, 714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14912 impls, 123 clqs
0.29/0.33 c (round 10) 728 del vars, 621 del conss, 728 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14958 impls, 123 clqs
0.29/0.33 c (round 11) 737 del vars, 630 del conss, 737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15014 impls, 123 clqs
0.29/0.34 c (round 12) 742 del vars, 635 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15044 impls, 123 clqs
0.39/0.45 c (round 13) 742 del vars, 758 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 14246 upgd conss, 15060 impls, 123 clqs
0.39/0.47 c (round 14) 742 del vars, 758 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 14369 upgd conss, 15060 impls, 123 clqs
0.49/0.50 c presolving (15 rounds):
0.49/0.50 c 742 deleted vars, 758 deleted constraints, 742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50 c 15060 implications, 123 cliques
0.49/0.50 c presolved problem has 14133 variables (14133 bin, 0 int, 0 impl, 0 cont) and 14369 constraints
0.49/0.50 c 123 constraints of type <setppc>
0.49/0.50 c 14246 constraints of type <logicor>
0.49/0.50 c transformed objective value is always integral (scale: 1)
0.49/0.50 c Presolving Time: 0.25
0.49/0.50 c SATUNSAT-LIN
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c separating/flowcover/freq = c -1
0.49/0.50 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c separating/cmir/freq = c -1
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/veclendiving/maxlpiterofs = c 1500
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.49/0.50 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/veclendiving/freq = c -1
0.49/0.50 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/simplerounding/freq = c -1
0.49/0.50 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/shifting/freq = c -1
0.49/0.50 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/rounding/freq = c -1
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.50 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.49/0.50 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/rootsoldiving/freq = c -1
0.49/0.50 c # number of nodes added to the contingent of the total nodes
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50 c heuristics/rens/nodesofs = c 2000
0.49/0.50 c # minimum percentage of integer variables that have to be fixable
0.49/0.50 c # [type: real, range: [0,1], default: 0.5]
0.49/0.50 c heuristics/rens/minfixingrate = c 0.3
0.49/0.50 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c heuristics/rens/freq = c -1
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.49/0.50 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/pscostdiving/freq = c -1
0.49/0.50 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/oneopt/freq = c -1
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.49/0.50 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.50 c # [type: real, range: [0,1], default: 0.01]
0.49/0.50 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.49/0.50 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/objpscostdiving/freq = c -1
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.49/0.50 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/linesearchdiving/freq = c -1
0.49/0.50 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/intshifting/freq = c -1
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/intdiving/maxlpiterquot = c 0.075
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/guideddiving/maxlpiterofs = c 1500
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.49/0.50 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/guideddiving/freq = c -1
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/fracdiving/maxlpiterofs = c 1500
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.49/0.50 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/fracdiving/freq = c -1
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/feaspump/maxlpiterofs = c 2000
0.49/0.50 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/feaspump/freq = c -1
0.49/0.50 c # minimum percentage of integer variables that have to be fixed
0.49/0.50 c # [type: real, range: [0,1], default: 0.666]
0.49/0.50 c heuristics/crossover/minfixingrate = c 0.5
0.49/0.50 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.50 c # [type: real, range: [0,1], default: 0.1]
0.49/0.50 c heuristics/crossover/nodesquot = c 0.15
0.49/0.50 c # number of nodes without incumbent change that heuristic should wait
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.50 c heuristics/crossover/nwaitingnodes = c 100
0.49/0.50 c # number of nodes added to the contingent of the total nodes
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50 c heuristics/crossover/nodesofs = c 750
0.49/0.50 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.50 c heuristics/crossover/freq = c -1
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/coefdiving/maxlpiterofs = c 1500
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.49/0.50 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/coefdiving/freq = c -1
0.49/0.50 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c presolving/probing/maxrounds = c 0
0.49/0.50 c # should presolving try to simplify knapsacks
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/knapsack/simplifyinequalities = c TRUE
0.49/0.50 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.50 c constraints/knapsack/disaggregation = c FALSE
0.49/0.50 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c constraints/knapsack/maxnumcardlift = c 0
0.49/0.50 c # should presolving try to simplify inequalities
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/linear/simplifyinequalities = c TRUE
0.49/0.50 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/maxroundsroot = c 5
0.49/0.50 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.50 c separating/maxrounds = c 1
0.49/0.50 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c limits/solutions = c 1
0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/memory = c 13950
0.49/0.50 c # maximal time in seconds to run
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/time = c 1791
0.49/0.50 c # frequency for displaying node information lines
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50 c display/freq = c 10000
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c start solving problem
0.49/0.50 c
13.98/14.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.98/14.02 c 13.8s| 1 | 0 | 8634 | 57M| 0 |3066 | 14k| 14k| 14k| 14k| 14k| 0 | 0 | 0 | 1.250000e+02 | -- | Inf
25.89/25.99 c 25.7s| 1 | 0 | 13022 | 57M| 0 |3457 | 14k| 14k| 14k| 14k| 14k| 6 | 0 | 0 | 1.250000e+02 | -- | Inf
37.98/38.06 c 37.8s| 1 | 0 | 16994 | 57M| 0 |3249 | 14k| 14k| 14k| 14k| 14k| 12 | 0 | 0 | 1.250000e+02 | -- | Inf
57.28/57.31 c 57.0s| 1 | 0 | 23211 | 57M| 0 |3422 | 14k| 14k| 14k| 14k| 14k| 18 | 0 | 0 | 1.250000e+02 | -- | Inf
75.97/76.07 c 75.8s| 1 | 0 | 29135 | 57M| 0 |3581 | 14k| 14k| 14k| 14k| 14k| 25 | 0 | 0 | 1.250000e+02 | -- | Inf
96.17/96.21 c 95.9s| 1 | 0 | 35338 | 57M| 0 |3499 | 14k| 14k| 14k| 14k| 14k| 31 | 0 | 0 | 1.250000e+02 | -- | Inf
181.66/181.70 c 181s| 1 | 0 | 43142 | 57M| 0 |3878 | 14k| 14k| 14k| 14k| 14k| 31 | 0 | 22 | 1.250000e+02 | -- | Inf
284.14/284.28 c 284s| 1 | 2 | 43142 | 57M| 0 |3878 | 14k| 14k| 14k| 14k| 14k| 31 | 0 | 59 | 1.250000e+02 | -- | Inf
1793.01/1793.32 c
1793.01/1793.32 c SCIP Status : solving was interrupted [time limit reached]
1793.01/1793.32 c Solving Time (sec) : 1791.38
1793.01/1793.32 c Solving Nodes : 33
1793.01/1793.32 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.01/1793.32 c Dual Bound : +1.25000000000000e+02
1793.01/1793.32 c Gap : infinite
1793.01/1793.32 c NODE 33
1793.01/1793.32 c DUAL BOUND 125
1793.01/1793.32 c PRIMAL BOUND 1e+20
1793.01/1793.32 c GAP 1e+20
1793.01/1793.32 s UNKNOWN
1793.01/1793.32 c SCIP Status : solving was interrupted [time limit reached]
1793.01/1793.32 c Solving Time : 1791.38
1793.01/1793.32 c Original Problem :
1793.01/1793.32 c Problem name : HOME/instance-3742532-1338786258.opb
1793.01/1793.32 c Variables : 14875 (14875 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.01/1793.32 c Constraints : 15127 initial, 15127 maximal
1793.01/1793.32 c Presolved Problem :
1793.01/1793.32 c Problem name : t_HOME/instance-3742532-1338786258.opb
1793.01/1793.32 c Variables : 14133 (14133 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.01/1793.32 c Constraints : 14369 initial, 14383 maximal
1793.01/1793.32 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.01/1793.32 c trivial : 0.01 0 0 0 0 0 0 0 0
1793.01/1793.32 c dualfix : 0.00 0 0 0 0 0 0 0 0
1793.01/1793.32 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.01/1793.32 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.01/1793.32 c implics : 0.01 0 0 0 0 0 0 0 0
1793.01/1793.32 c probing : 0.00 0 0 0 0 0 0 0 0
1793.01/1793.32 c setppc : 0.01 0 0 0 0 0 0 0 0
1793.01/1793.32 c linear : 0.15 742 0 0 742 0 758 0 0
1793.01/1793.32 c logicor : 0.03 0 0 0 0 0 0 0 0
1793.01/1793.32 c root node : - 1 - - 1 - - - -
1793.01/1793.32 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.01/1793.32 c integral : 0 0 0 31 0 0 4 0 0 56
1793.01/1793.32 c setppc : 123 5 469 0 0 0 2063 0 0 0
1793.01/1793.32 c logicor : 14246+ 5 434 0 0 0 9870 0 0 0
1793.01/1793.32 c countsols : 0 0 0 0 0 0 0 0 0 0
1793.01/1793.32 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.01/1793.32 c integral : 890.05 0.00 0.00 890.05 0.00
1793.01/1793.32 c setppc : 0.00 0.00 0.00 0.00 0.00
1793.01/1793.32 c logicor : 0.01 0.00 0.01 0.00 0.00
1793.01/1793.32 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.01/1793.32 c Propagators : Time Calls Cutoffs DomReds
1793.01/1793.32 c rootredcost : 0.00 0 0 0
1793.01/1793.32 c pseudoobj : 0.10 470 0 0
1793.01/1793.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.01/1793.32 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.01/1793.32 c infeasible LP : 0.06 5 4 52 975.9 2 4.0 0
1793.01/1793.32 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.01/1793.32 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.01/1793.32 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.01/1793.32 c applied globally : - - - 15 600.0 - - -
1793.01/1793.32 c applied locally : - - - 0 0.0 - - -
1793.01/1793.32 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.01/1793.32 c cut pool : 0.00 4 - - 0 - (maximal pool size: 45)
1793.01/1793.32 c redcost : 0.00 32 0 0 0 0
1793.01/1793.32 c impliedbounds : 0.00 5 0 0 0 0
1793.01/1793.32 c intobj : 0.00 0 0 0 0 0
1793.01/1793.32 c gomory : 2.77 5 0 0 25 0
1793.01/1793.32 c strongcg : 2.75 5 0 0 25 0
1793.01/1793.32 c cmir : 0.00 0 0 0 0 0
1793.01/1793.32 c flowcover : 0.00 0 0 0 0 0
1793.01/1793.32 c clique : 0.59 5 0 0 30 0
1793.01/1793.32 c zerohalf : 0.00 0 0 0 0 0
1793.01/1793.32 c mcf : 0.01 1 0 0 0 0
1793.01/1793.32 c Pricers : Time Calls Vars
1793.01/1793.32 c problem variables: 0.00 0 0
1793.01/1793.32 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.01/1793.32 c relpscost : 890.05 31 0 4 0 0 56
1793.01/1793.32 c pscost : 0.00 0 0 0 0 0 0
1793.01/1793.32 c inference : 0.00 0 0 0 0 0 0
1793.01/1793.32 c mostinf : 0.00 0 0 0 0 0 0
1793.01/1793.32 c leastinf : 0.00 0 0 0 0 0 0
1793.01/1793.32 c fullstrong : 0.00 0 0 0 0 0 0
1793.01/1793.32 c allfullstrong : 0.00 0 0 0 0 0 0
1793.01/1793.32 c random : 0.00 0 0 0 0 0 0
1793.01/1793.32 c Primal Heuristics : Time Calls Found
1793.01/1793.32 c LP solutions : 0.00 - 0
1793.01/1793.32 c pseudo solutions : 0.00 - 0
1793.01/1793.32 c simplerounding : 0.00 0 0
1793.01/1793.32 c rounding : 0.00 0 0
1793.01/1793.32 c shifting : 0.00 0 0
1793.01/1793.32 c intshifting : 0.00 0 0
1793.01/1793.32 c oneopt : 0.00 0 0
1793.01/1793.32 c fixandinfer : 0.00 0 0
1793.01/1793.32 c feaspump : 0.00 0 0
1793.01/1793.32 c coefdiving : 0.00 0 0
1793.01/1793.32 c pscostdiving : 0.00 0 0
1793.01/1793.32 c fracdiving : 0.00 0 0
1793.01/1793.32 c veclendiving : 0.00 0 0
1793.01/1793.32 c intdiving : 0.00 0 0
1793.01/1793.32 c actconsdiving : 0.00 0 0
1793.01/1793.32 c objpscostdiving : 0.00 0 0
1793.01/1793.32 c rootsoldiving : 0.00 0 0
1793.01/1793.32 c linesearchdiving : 0.00 0 0
1793.01/1793.32 c guideddiving : 0.00 0 0
1793.01/1793.32 c octane : 0.00 0 0
1793.01/1793.32 c rens : 0.00 0 0
1793.01/1793.32 c rins : 0.00 0 0
1793.01/1793.32 c localbranching : 0.00 0 0
1793.01/1793.32 c mutation : 0.00 0 0
1793.01/1793.32 c crossover : 0.00 0 0
1793.01/1793.32 c dins : 0.00 0 0
1793.01/1793.32 c LP : Time Calls Iterations Iter/call Iter/sec
1793.01/1793.32 c primal LP : 0.05 0 0 0.00 0.00
1793.01/1793.32 c dual LP : 894.41 41 338080 8245.85 377.99
1793.01/1793.32 c barrier LP : 0.00 0 0 0.00 -
1793.01/1793.32 c diving/probing LP: 0.00 0 0 0.00 -
1793.01/1793.32 c strong branching : 890.00 331 323263 976.63 363.22
1793.01/1793.32 c (at root node) : - 59 56427 956.39 -
1793.01/1793.32 c conflict analysis: 0.00 0 0 0.00 -
1793.01/1793.32 c B&B Tree :
1793.01/1793.32 c number of runs : 1
1793.01/1793.32 c nodes : 33
1793.01/1793.32 c nodes (total) : 33
1793.01/1793.32 c nodes left : 24
1793.01/1793.32 c max depth : 17
1793.01/1793.32 c max depth (total): 17
1793.01/1793.32 c backtracks : 1 (3.0%)
1793.01/1793.32 c delayed cutoffs : 0
1793.01/1793.32 c repropagations : 13 (4 domain reductions, 0 cutoffs)
1793.01/1793.32 c avg switch length: 2.00
1793.01/1793.32 c switching time : 0.09
1793.01/1793.32 c Solution :
1793.01/1793.32 c Solutions found : 0 (0 improvements)
1793.01/1793.32 c Primal Bound : -
1793.01/1793.32 c Dual Bound : +1.25000000000000e+02
1793.01/1793.32 c Gap : infinite
1793.01/1793.32 c Root Dual Bound : +1.25000000000000e+02
1793.10/1793.41 c Time complete: 1793.13.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742532-1338786258/watcher-3742532-1338786258 -o /tmp/evaluation-result-3742532-1338786258/solver-3742532-1338786258 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742532-1338786258.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 30736
/proc/meminfo: memFree=27971560/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=8736 CPUtime=0 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 1543 0 0 0 0 0 0 0 20 0 1 0 344750374 8945664 1496 33554432000 4194304 7823515 140735765814000 140733756114408 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 2184 1496 351 887 0 1294 0
[startup+0.0290899 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 30736
/proc/meminfo: memFree=27971560/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=19980 CPUtime=0.02 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 4339 0 0 0 2 0 0 0 20 0 1 0 344750374 20459520 4292 33554432000 4194304 7823515 140735765814000 140733756114408 6896331 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 4995 4292 351 887 0 4105 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19980
[startup+0.10035 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 30736
/proc/meminfo: memFree=27971560/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=26176 CPUtime=0.08 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 5875 0 0 0 8 0 0 0 20 0 1 0 344750374 26804224 5828 33554432000 4194304 7823515 140735765814000 140733756114408 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 6544 5828 351 887 0 5654 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26176
[startup+0.300304 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 30736
/proc/meminfo: memFree=27971560/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=58660 CPUtime=0.29 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 14129 0 0 0 25 4 0 0 20 0 1 0 344750374 60067840 13728 33554432000 4194304 7823515 140735765814000 140733756114408 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 14665 13728 428 887 0 13775 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58660
[startup+0.700298 s]
/proc/loadavg: 2.00 2.00 1.87 3/176 30736
/proc/meminfo: memFree=27971560/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=99368 CPUtime=0.69 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 24126 0 0 0 61 8 0 0 20 0 1 0 344750374 101752832 23190 33554432000 4194304 7823515 140735765814000 140733756114408 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 24842 23190 514 887 0 23952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99368
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 30737
/proc/meminfo: memFree=27877832/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=102288 CPUtime=1.48 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 25064 0 0 0 140 8 0 0 20 0 1 0 344750374 104742912 24102 33554432000 4194304 7823515 140735765814000 140735765809800 6236648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 25572 24102 517 887 0 24682 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 102288
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 30737
/proc/meminfo: memFree=27874840/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=102996 CPUtime=3.09 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 25347 0 0 0 300 9 0 0 20 0 1 0 344750374 105467904 24385 33554432000 4194304 7823515 140735765814000 140735765809800 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 25749 24385 517 887 0 24859 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102996
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 30737
/proc/meminfo: memFree=27873600/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=103712 CPUtime=6.29 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 25566 0 0 0 620 9 0 0 20 0 1 0 344750374 106201088 24604 33554432000 4194304 7823515 140735765814000 140735765809336 6211327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 25928 24604 517 887 0 25038 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103712
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 30737
/proc/meminfo: memFree=27868292/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=106164 CPUtime=12.68 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 26030 0 0 0 1259 9 0 0 20 0 1 0 344750374 108711936 25068 33554432000 4194304 7823515 140735765814000 140735765809336 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 26541 25068 517 887 0 25651 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 106164
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 30738
/proc/meminfo: memFree=27861216/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=109504 CPUtime=25.49 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 27167 0 0 0 2538 11 0 0 20 0 1 0 344750374 112132096 26166 33554432000 4194304 7823515 140735765814000 140735765809336 6252299 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 27376 26166 542 887 0 26486 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109504
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 30738
/proc/meminfo: memFree=27853792/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=112464 CPUtime=51.09 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 27964 0 0 0 5095 14 0 0 20 0 1 0 344750374 115163136 26963 33554432000 4194304 7823515 140735765814000 140735765809000 6211331 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 28116 26963 542 887 0 27226 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 112464
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 30738
/proc/meminfo: memFree=27847096/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=115348 CPUtime=102.28 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 28683 0 0 0 10209 19 0 0 20 0 1 0 344750374 118116352 27681 33554432000 4194304 7823515 140735765814000 140735765808696 6211600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 28837 27681 549 887 0 27947 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 115348
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 30738
/proc/meminfo: memFree=27843796/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=116304 CPUtime=162.26 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 28891 0 0 0 16201 25 0 0 20 0 1 0 344750374 119095296 28618 33554432000 4194304 7823515 140735765814000 140735765809752 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29076 28618 549 887 0 28186 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 116304
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 30738
/proc/meminfo: memFree=27841560/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=116988 CPUtime=222.25 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 29042 0 0 0 22196 29 0 0 20 0 1 0 344750374 119795712 28769 33554432000 4194304 7823515 140735765814000 140735765808696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29247 28769 549 887 0 28357 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 116988
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 30738
/proc/meminfo: memFree=27842556/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=116988 CPUtime=282.24 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 29042 0 0 0 28191 33 0 0 20 0 1 0 344750374 119795712 28769 33554432000 4194304 7823515 140735765814000 140735765808024 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29247 28769 549 887 0 28357 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 116988
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 30739
/proc/meminfo: memFree=27844108/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=114384 CPUtime=342.23 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 29985 0 0 0 34185 38 0 0 20 0 1 0 344750374 117129216 28185 33554432000 4194304 7823515 140735765814000 140735765808328 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 28596 28185 550 887 0 27706 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 114384
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 30742
/proc/meminfo: memFree=27844904/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=114384 CPUtime=402.22 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 29985 0 0 0 40179 43 0 0 20 0 1 0 344750374 117129216 28185 33554432000 4194304 7823515 140735765814000 140735765808696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 28596 28185 550 887 0 27706 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 114384
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30742
/proc/meminfo: memFree=27843420/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=115444 CPUtime=462.21 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 30254 0 0 0 46174 47 0 0 20 0 1 0 344750374 118214656 28453 33554432000 4194304 7823515 140735765814000 140735765809048 6211350 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 28861 28453 550 887 0 27971 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 115444
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30742
/proc/meminfo: memFree=27845588/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=115444 CPUtime=522.2 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 30283 0 0 0 52170 50 0 0 20 0 1 0 344750374 118214656 28482 33554432000 4194304 7823515 140735765814000 140735765809112 6211376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 28861 28482 550 887 0 27971 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 115444
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30742
/proc/meminfo: memFree=27842612/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=116336 CPUtime=582.2 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 30476 0 0 0 58164 56 0 0 20 0 1 0 344750374 119128064 28675 33554432000 4194304 7823515 140735765814000 140735765809800 6210984 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29084 28675 550 887 0 28194 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 116336
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27841728/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=117164 CPUtime=1122.11 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 30645 0 0 0 112118 93 0 0 20 0 1 0 344750374 119975936 28844 33554432000 4194304 7823515 140735765814000 140735765809336 6177535 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29291 28844 550 887 0 28401 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 117164
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30747
/proc/meminfo: memFree=27841668/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=117164 CPUtime=1182.1 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 30681 0 0 0 118112 98 0 0 20 0 1 0 344750374 119975936 28880 33554432000 4194304 7823515 140735765814000 140735765809336 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29291 28880 550 887 0 28401 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 117164
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30748
/proc/meminfo: memFree=27839696/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=115436 CPUtime=1242.1 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 31770 0 0 0 124107 103 0 0 20 0 1 0 344750374 118206464 28448 33554432000 4194304 7823515 140735765814000 140735765809752 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 28859 28448 550 887 0 27969 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 115436
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30748
/proc/meminfo: memFree=27838872/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1302.09 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 31935 0 0 0 130101 108 0 0 20 0 1 0 344750374 120930304 28613 33554432000 4194304 7823515 140735765814000 140735765809336 6211785 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 28613 550 887 0 28634 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 118096
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30748
/proc/meminfo: memFree=27838620/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1362.08 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 31936 0 0 0 136095 113 0 0 20 0 1 0 344750374 120930304 28613 33554432000 4194304 7823515 140735765814000 140735765809336 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 28613 550 887 0 28634 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 118096
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.92 3/177 30748
/proc/meminfo: memFree=27838620/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1422.07 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 31942 0 0 0 142088 119 0 0 20 0 1 0 344750374 120930304 28619 33554432000 4194304 7823515 140735765814000 140735765809800 6205316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 28619 556 887 0 28634 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 118096
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 30748
/proc/meminfo: memFree=27838372/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1482.05 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 31972 0 0 0 148080 125 0 0 20 0 1 0 344750374 120930304 28649 33554432000 4194304 7823515 140735765814000 140735765809752 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 28649 556 887 0 28634 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 118096
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/176 30748
/proc/meminfo: memFree=27837264/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1542.04 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32318 0 0 0 154074 130 0 0 20 0 1 0 344750374 120930304 28995 33554432000 4194304 7823515 140735765814000 140735765809160 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 28995 556 887 0 28634 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 118096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 30752
/proc/meminfo: memFree=27837248/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1602.04 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32318 0 0 0 160068 136 0 0 20 0 1 0 344750374 120930304 28995 33554432000 4194304 7823515 140735765814000 140735765809800 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 28995 556 887 0 28634 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 118096
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30752
/proc/meminfo: memFree=27837316/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1662.03 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32319 0 0 0 166063 140 0 0 20 0 1 0 344750374 120930304 28995 33554432000 4194304 7823515 140735765814000 140735765809336 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 28995 556 887 0 28634 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 118096
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 30752
/proc/meminfo: memFree=27837324/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1722.02 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32406 0 0 0 172056 146 0 0 20 0 1 0 344750374 120930304 29082 33554432000 4194304 7823515 140735765814000 140735765808696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 29082 556 887 0 28634 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 118096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 30753
/proc/meminfo: memFree=27836696/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1782.01 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32406 0 0 0 178051 150 0 0 20 0 1 0 344750374 120930304 29082 33554432000 4194304 7823515 140735765814000 140735765809112 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 29082 556 887 0 28634 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 118096
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 30753
/proc/meminfo: memFree=27836448/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1785.2 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32407 0 0 0 178370 150 0 0 20 0 1 0 344750374 120930304 29083 33554432000 4194304 7823515 140735765814000 140735765809112 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 29083 556 887 0 28634 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 118096
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 30753
/proc/meminfo: memFree=27836572/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1788.41 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32407 0 0 0 178690 151 0 0 20 0 1 0 344750374 120930304 29083 33554432000 4194304 7823515 140735765814000 140735765808696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 29083 556 887 0 28634 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 118096
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 30791
/proc/meminfo: memFree=27859080/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1791.61 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32407 0 0 0 179010 151 0 0 20 0 1 0 344750374 120930304 29083 33554432000 4194304 7823515 140735765814000 140735765809112 6216465 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 29083 556 887 0 28634 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 118096
[startup+1792.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 30791
/proc/meminfo: memFree=27859080/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1792.41 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32407 0 0 0 179090 151 0 0 20 0 1 0 344750374 120930304 29083 33554432000 4194304 7823515 140735765814000 140735765809160 6205843 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 29083 556 887 0 28634 0
Current children cumulated CPU time (s) 1792.41
Current children cumulated vsize (KiB) 118096
[startup+1793.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 30791
/proc/meminfo: memFree=27858716/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1792.81 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32407 0 0 0 179130 151 0 0 20 0 1 0 344750374 120930304 29083 33554432000 4194304 7823515 140735765814000 140735765808696 6253929 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 29083 556 887 0 28634 0
Current children cumulated CPU time (s) 1792.81
Current children cumulated vsize (KiB) 118096
[startup+1793.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 30791
/proc/meminfo: memFree=27858716/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1793.01 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32407 0 0 0 179150 151 0 0 20 0 1 0 344750374 120930304 29083 33554432000 4194304 7823515 140735765814000 140735765808696 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 29083 556 887 0 28634 0
Current children cumulated CPU time (s) 1793.01
Current children cumulated vsize (KiB) 118096
[startup+1793.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 30791
/proc/meminfo: memFree=27858716/32873844 swapFree=7108/7108
[pid=30736] ppid=30734 vsize=118096 CPUtime=1793.1 cores=1,3,5,7
/proc/30736/stat : 30736 (pbscip.linux.x8) R 30734 30736 30579 0 -1 4202496 32413 0 0 0 179159 151 0 0 20 0 1 0 344750374 120930304 29089 33554432000 4194304 7823515 140735765814000 140735765808696 5875738 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30736/statm: 29524 29089 562 887 0 28634 0
Current children cumulated CPU time (s) 1793.1
Current children cumulated vsize (KiB) 118096
Child status: 0
Real time (s): 1793.42
CPU time (s): 1793.13
CPU user time (s): 1791.61
CPU system time (s): 1.52177
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 119816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.61
system time used= 1.52177
maximum resident set size= 116356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 1844
runsolver used 3.04254 second user time and 8.70668 second system time
The end