0.00/0.03 c SCIP version 1.1.0.7
0.00/0.03 c LP-Solver SoPlex 1.4.1
0.00/0.03 c user parameter file <scip.set> not found - using default parameters
0.00/0.03 c read problem <HOME/instance-3742688-1338791849.opb>
0.00/0.03 c original problem has 3685 variables (3685 bin, 0 int, 0 impl, 0 cont) and 3821 constraints
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c start presolving problem
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 2 del vars, 2 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5610 impls, 67 clqs
0.00/0.06 c (round 2) 165 del vars, 16 del conss, 165 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5610 impls, 64 clqs
0.00/0.06 c (round 3) 230 del vars, 187 del conss, 230 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5656 impls, 63 clqs
0.00/0.06 c (round 4) 293 del vars, 249 del conss, 292 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5896 impls, 63 clqs
0.00/0.07 c (round 5) 341 del vars, 299 del conss, 340 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6018 impls, 63 clqs
0.00/0.07 c (round 6) 376 del vars, 334 del conss, 375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6202 impls, 63 clqs
0.00/0.07 c (round 7) 403 del vars, 361 del conss, 402 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6324 impls, 63 clqs
0.00/0.07 c (round 8) 425 del vars, 383 del conss, 424 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6438 impls, 63 clqs
0.00/0.07 c (round 9) 443 del vars, 401 del conss, 442 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6528 impls, 63 clqs
0.00/0.07 c (round 10) 451 del vars, 409 del conss, 450 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6602 impls, 63 clqs
0.00/0.08 c (round 11) 455 del vars, 413 del conss, 454 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6648 impls, 63 clqs
0.00/0.08 c (round 12) 456 del vars, 414 del conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6678 impls, 63 clqs
0.09/0.10 c (round 13) 456 del vars, 477 del conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3281 upgd conss, 6684 impls, 63 clqs
0.09/0.11 c (round 14) 456 del vars, 477 del conss, 455 chg bounds, 0 chg sides, 0 chg coeffs, 3344 upgd conss, 6684 impls, 63 clqs
0.09/0.11 c presolving (15 rounds):
0.09/0.11 c 456 deleted vars, 477 deleted constraints, 455 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 6684 implications, 63 cliques
0.09/0.11 c presolved problem has 3229 variables (3229 bin, 0 int, 0 impl, 0 cont) and 3344 constraints
0.09/0.11 c 63 constraints of type <setppc>
0.09/0.11 c 3281 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.06
0.09/0.11 c SATUNSAT-LIN
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c separating/flowcover/freq = c -1
0.09/0.11 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c separating/cmir/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/veclendiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/veclendiving/freq = c -1
0.09/0.11 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/simplerounding/freq = c -1
0.09/0.11 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/shifting/freq = c -1
0.09/0.11 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/rounding/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.11 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.09/0.11 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11 c heuristics/rootsoldiving/freq = c -1
0.09/0.11 c # number of nodes added to the contingent of the total nodes
0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.11 c heuristics/rens/nodesofs = c 2000
0.09/0.11 c # minimum percentage of integer variables that have to be fixable
0.09/0.11 c # [type: real, range: [0,1], default: 0.5]
0.09/0.11 c heuristics/rens/minfixingrate = c 0.3
0.09/0.11 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c heuristics/rens/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/pscostdiving/freq = c -1
0.09/0.11 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/oneopt/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.11 c # [type: real, range: [0,1], default: 0.01]
0.09/0.11 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.09/0.11 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11 c heuristics/objpscostdiving/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/linesearchdiving/freq = c -1
0.09/0.11 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/intshifting/freq = c -1
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/intdiving/maxlpiterquot = c 0.075
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/guideddiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/guideddiving/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/fracdiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/fracdiving/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/feaspump/maxlpiterofs = c 2000
0.09/0.11 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11 c heuristics/feaspump/freq = c -1
0.09/0.11 c # minimum percentage of integer variables that have to be fixed
0.09/0.11 c # [type: real, range: [0,1], default: 0.666]
0.09/0.11 c heuristics/crossover/minfixingrate = c 0.5
0.09/0.11 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.11 c # [type: real, range: [0,1], default: 0.1]
0.09/0.11 c heuristics/crossover/nodesquot = c 0.15
0.09/0.11 c # number of nodes without incumbent change that heuristic should wait
0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.11 c heuristics/crossover/nwaitingnodes = c 100
0.09/0.11 c # number of nodes added to the contingent of the total nodes
0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.11 c heuristics/crossover/nodesofs = c 750
0.09/0.11 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.11 c heuristics/crossover/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/coefdiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/coefdiving/freq = c -1
0.09/0.11 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c presolving/probing/maxrounds = c 0
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = c TRUE
0.09/0.11 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.11 c constraints/knapsack/disaggregation = c FALSE
0.09/0.11 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c constraints/knapsack/maxnumcardlift = c 0
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = c TRUE
0.09/0.11 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/maxroundsroot = c 5
0.09/0.11 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.11 c separating/maxrounds = c 1
0.09/0.11 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c limits/solutions = c 1
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = c 13950
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = c 1791
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = c 10000
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving problem
0.09/0.11 c
0.79/0.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.89 c 0.8s| 1 | 0 | 2551 | 13M| 0 | 884 |3229 |3344 |3344 |3229 |3344 | 0 | 0 | 0 | 6.700000e+01 | -- | Inf
1.49/1.56 c 1.5s| 1 | 0 | 3527 | 13M| 0 | 990 |3229 |3344 |3344 |3229 |3351 | 7 | 0 | 0 | 6.700000e+01 | -- | Inf
2.09/2.18 c 2.1s| 1 | 0 | 4305 | 13M| 0 | 957 |3229 |3344 |3344 |3229 |3357 | 13 | 0 | 0 | 6.700000e+01 | -- | Inf
2.69/2.71 c 2.6s| 1 | 0 | 4964 | 13M| 0 |1020 |3229 |3344 |3344 |3229 |3362 | 18 | 0 | 0 | 6.700000e+01 | -- | Inf
3.20/3.25 c 3.2s| 1 | 0 | 5603 | 13M| 0 |1006 |3229 |3344 |3344 |3229 |3368 | 24 | 0 | 0 | 6.700000e+01 | -- | Inf
3.69/3.73 c 3.6s| 1 | 0 | 6149 | 13M| 0 |1023 |3229 |3344 |3344 |3229 |3374 | 30 | 0 | 0 | 6.700000e+01 | -- | Inf
20.28/20.30 c 20.2s| 1 | 2 | 6149 | 13M| 0 |1023 |3229 |3344 |3344 |3229 |3374 | 30 | 0 | 25 | 6.700000e+01 | -- | Inf
754.47/754.61 c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1796.31/1796.67 c
1796.31/1796.67 c SCIP Status : solving was interrupted [time limit reached]
1796.31/1796.67 c Solving Time (sec) : 1791.01
1796.31/1796.67 c Solving Nodes : 3191
1796.31/1796.67 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.31/1796.67 c Dual Bound : +6.70000000000001e+01
1796.31/1796.67 c Gap : infinite
1796.31/1796.67 c NODE 3191
1796.31/1796.67 c DUAL BOUND 67
1796.31/1796.67 c PRIMAL BOUND 1e+20
1796.31/1796.67 c GAP 1e+20
1796.31/1796.67 s UNKNOWN
1796.31/1796.67 c SCIP Status : solving was interrupted [time limit reached]
1796.31/1796.67 c Solving Time : 1791.01
1796.31/1796.67 c Original Problem :
1796.31/1796.67 c Problem name : HOME/instance-3742688-1338791849.opb
1796.31/1796.67 c Variables : 3685 (3685 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.31/1796.67 c Constraints : 3821 initial, 3821 maximal
1796.31/1796.67 c Presolved Problem :
1796.31/1796.67 c Problem name : t_HOME/instance-3742688-1338791849.opb
1796.31/1796.67 c Variables : 3229 (3229 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.31/1796.67 c Constraints : 3344 initial, 3619 maximal
1796.31/1796.67 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.31/1796.67 c trivial : 0.00 0 0 0 0 0 0 0 0
1796.31/1796.67 c dualfix : 0.00 0 0 0 0 0 0 0 0
1796.31/1796.67 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.31/1796.67 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.31/1796.67 c implics : 0.00 0 1 0 0 0 0 0 0
1796.31/1796.67 c probing : 0.00 0 0 0 0 0 0 0 0
1796.31/1796.67 c setppc : 0.00 0 0 0 0 0 0 0 0
1796.31/1796.67 c linear : 0.04 455 0 0 455 0 477 0 0
1796.31/1796.67 c logicor : 0.01 0 0 0 0 0 0 0 0
1796.31/1796.67 c root node : - 0 - - 0 - - - -
1796.31/1796.67 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.31/1796.67 c integral : 0 0 0 1764 0 0 194 0 0 3358
1796.31/1796.67 c setppc : 63 5 17799 0 1 14 63914 0 0 0
1796.31/1796.67 c logicor : 3281+ 5 15410 0 1 110 154588 0 0 0
1796.31/1796.67 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.31/1796.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.31/1796.67 c integral : 662.16 0.00 0.00 662.16 0.00
1796.31/1796.67 c setppc : 0.11 0.00 0.11 0.00 0.00
1796.31/1796.67 c logicor : 0.42 0.00 0.42 0.00 0.00
1796.31/1796.67 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.31/1796.67 c Propagators : Time Calls Cutoffs DomReds
1796.31/1796.67 c rootredcost : 0.00 0 0 0
1796.31/1796.67 c pseudoobj : 0.77 17800 0 0
1796.31/1796.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.31/1796.67 c propagation : 0.02 124 124 359 32.9 7 4.0 -
1796.31/1796.67 c infeasible LP : 2.02 1389 21 328 441.8 1 4.0 0
1796.31/1796.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.31/1796.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.31/1796.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.31/1796.67 c applied globally : - - - 331 37.2 - - -
1796.31/1796.67 c applied locally : - - - 0 0.0 - - -
1796.31/1796.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.31/1796.67 c cut pool : 0.00 4 - - 0 - (maximal pool size: 31)
1796.31/1796.67 c redcost : 0.05 1696 0 0 0 0
1796.31/1796.67 c impliedbounds : 0.01 5 0 0 0 0
1796.31/1796.67 c intobj : 0.00 0 0 0 0 0
1796.31/1796.67 c gomory : 0.29 5 0 0 7 0
1796.31/1796.67 c strongcg : 0.29 5 0 0 7 0
1796.31/1796.67 c cmir : 0.00 0 0 0 0 0
1796.31/1796.67 c flowcover : 0.00 0 0 0 0 0
1796.31/1796.67 c clique : 0.07 5 0 0 29 0
1796.31/1796.67 c zerohalf : 0.00 0 0 0 0 0
1796.31/1796.67 c mcf : 0.00 1 0 0 0 0
1796.31/1796.67 c Pricers : Time Calls Vars
1796.31/1796.67 c problem variables: 0.00 0 0
1796.31/1796.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.31/1796.67 c relpscost : 662.16 1764 0 194 0 0 3358
1796.31/1796.67 c pscost : 0.00 0 0 0 0 0 0
1796.31/1796.67 c inference : 0.00 1 0 0 0 0 2
1796.31/1796.67 c mostinf : 0.00 0 0 0 0 0 0
1796.31/1796.67 c leastinf : 0.00 0 0 0 0 0 0
1796.31/1796.67 c fullstrong : 0.00 0 0 0 0 0 0
1796.31/1796.67 c allfullstrong : 0.00 0 0 0 0 0 0
1796.31/1796.67 c random : 0.00 0 0 0 0 0 0
1796.31/1796.67 c Primal Heuristics : Time Calls Found
1796.31/1796.67 c LP solutions : 0.00 - 0
1796.31/1796.67 c pseudo solutions : 0.00 - 0
1796.31/1796.67 c simplerounding : 0.00 0 0
1796.31/1796.67 c rounding : 0.00 0 0
1796.31/1796.67 c shifting : 0.00 0 0
1796.31/1796.67 c intshifting : 0.00 0 0
1796.31/1796.67 c oneopt : 0.00 0 0
1796.31/1796.67 c fixandinfer : 0.00 0 0
1796.31/1796.67 c feaspump : 0.00 0 0
1796.31/1796.67 c coefdiving : 0.00 0 0
1796.31/1796.67 c pscostdiving : 0.00 0 0
1796.31/1796.67 c fracdiving : 0.00 0 0
1796.31/1796.67 c veclendiving : 0.00 0 0
1796.31/1796.67 c intdiving : 0.00 0 0
1796.31/1796.67 c actconsdiving : 0.00 0 0
1796.31/1796.67 c objpscostdiving : 0.00 0 0
1796.31/1796.67 c rootsoldiving : 0.00 0 0
1796.31/1796.67 c linesearchdiving : 0.00 0 0
1796.31/1796.67 c guideddiving : 0.00 0 0
1796.31/1796.67 c octane : 0.00 0 0
1796.31/1796.67 c rens : 0.00 0 0
1796.31/1796.67 c rins : 0.00 0 0
1796.31/1796.67 c localbranching : 0.00 0 0
1796.31/1796.67 c mutation : 0.00 0 0
1796.31/1796.67 c crossover : 0.00 0 0
1796.31/1796.67 c dins : 0.00 0 0
1796.31/1796.67 c LP : Time Calls Iterations Iter/call Iter/sec
1796.31/1796.67 c primal LP : 0.00 0 0 0.00 -
1796.31/1796.67 c dual LP : 1122.58 3160 2455966 777.20 2187.79
1796.31/1796.67 c barrier LP : 0.00 0 0 0.00 -
1796.31/1796.67 c diving/probing LP: 0.00 0 0 0.00 -
1796.31/1796.67 c strong branching : 661.95 1584 1353656 854.58 2044.95
1796.31/1796.67 c (at root node) : - 25 25000 1000.00 -
1796.31/1796.67 c conflict analysis: 0.00 0 0 0.00 -
1796.31/1796.67 c B&B Tree :
1796.31/1796.67 c number of runs : 1
1796.31/1796.67 c nodes : 3191
1796.31/1796.67 c nodes (total) : 3191
1796.31/1796.67 c nodes left : 162
1796.31/1796.67 c max depth : 44
1796.31/1796.67 c max depth (total): 44
1796.31/1796.67 c backtracks : 578 (18.1%)
1796.31/1796.67 c delayed cutoffs : 8
1796.31/1796.67 c repropagations : 730 (1370 domain reductions, 2 cutoffs)
1796.31/1796.67 c avg switch length: 3.23
1796.31/1796.67 c switching time : 0.60
1796.31/1796.67 c Solution :
1796.31/1796.67 c Solutions found : 0 (0 improvements)
1796.31/1796.67 c Primal Bound : -
1796.31/1796.67 c Dual Bound : +6.70000000000001e+01
1796.31/1796.67 c Gap : infinite
1796.31/1796.67 c Root Dual Bound : +6.70000000000001e+01
1796.31/1796.69 c Time complete: 1796.4.
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-3742688-1338791849/watcher-3742688-1338791849 -o /tmp/evaluation-result-3742688-1338791849/solver-3742688-1338791849 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742688-1338791849.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.10 2.05 2.00 3/176 7878
/proc/meminfo: memFree=27809992/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=9400 CPUtime=0 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 1700 0 0 0 0 0 0 0 20 0 1 0 345310344 9625600 1652 33554432000 4194304 7823515 140733242468272 140733242464984 6911387 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 2350 1653 351 887 0 1460 0
[startup+0.0066209 s]
/proc/loadavg: 2.10 2.05 2.00 3/176 7878
/proc/meminfo: memFree=27809992/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=9756 CPUtime=0 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 1793 0 0 0 0 0 0 0 20 0 1 0 345310344 9990144 1745 33554432000 4194304 7823515 140733242468272 140733242464984 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 2439 1745 351 887 0 1549 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9756
[startup+0.100149 s]
/proc/loadavg: 2.10 2.05 2.00 3/176 7878
/proc/meminfo: memFree=27809992/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=28296 CPUtime=0.09 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 6518 0 0 0 7 2 0 0 20 0 1 0 345310344 28975104 6116 33554432000 4194304 7823515 140733242468272 140733242332872 4402248 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 7074 6116 436 887 0 6184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28296
[startup+0.300219 s]
/proc/loadavg: 2.10 2.05 2.00 3/176 7878
/proc/meminfo: memFree=27809992/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=35392 CPUtime=0.29 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 8443 0 0 0 26 3 0 0 20 0 1 0 345310344 36241408 8017 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 8848 8017 520 887 0 7958 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35392
[startup+0.700164 s]
/proc/loadavg: 2.10 2.05 2.00 3/176 7878
/proc/meminfo: memFree=27809992/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=35792 CPUtime=0.69 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 8575 0 0 0 66 3 0 0 20 0 1 0 345310344 36651008 8149 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 8948 8149 520 887 0 8058 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35792
[startup+1.50018 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 7879
/proc/meminfo: memFree=27777124/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=37696 CPUtime=1.49 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 8971 0 0 0 146 3 0 0 20 0 1 0 345310344 38600704 8545 33554432000 4194304 7823515 140733242468272 140733242464024 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 9424 8545 549 887 0 8534 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37696
[startup+3.10022 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 7879
/proc/meminfo: memFree=27774372/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=38004 CPUtime=3.09 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 9167 0 0 0 305 4 0 0 20 0 1 0 345310344 38916096 8741 33554432000 4194304 7823515 140733242468272 140733242463464 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 9501 8741 549 887 0 8611 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38004
[startup+6.30023 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 7879
/proc/meminfo: memFree=27770616/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=38004 CPUtime=6.29 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 9171 0 0 0 625 4 0 0 20 0 1 0 345310344 38916096 8745 33554432000 4194304 7823515 140733242468272 140733242462968 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 9501 8745 552 887 0 8611 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38004
[startup+12.7002 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 7879
/proc/meminfo: memFree=27770532/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=38004 CPUtime=12.69 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 9171 0 0 0 1263 6 0 0 20 0 1 0 345310344 38916096 8745 33554432000 4194304 7823515 140733242468272 140733242462968 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 9501 8745 552 887 0 8611 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38004
[startup+25.5002 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 7879
/proc/meminfo: memFree=27768880/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=38288 CPUtime=25.48 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 9232 0 0 0 2541 7 0 0 20 0 1 0 345310344 39206912 9081 33554432000 4194304 7823515 140733242468272 140733242463384 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 9572 9081 553 887 0 8682 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38288
[startup+51.1002 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 7879
/proc/meminfo: memFree=27769940/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=38288 CPUtime=51.08 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 9237 0 0 0 5093 15 0 0 20 0 1 0 345310344 39206912 9162 33554432000 4194304 7823515 140733242468272 140733242463384 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 9572 9162 553 887 0 8682 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38288
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 7879
/proc/meminfo: memFree=27768268/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=38436 CPUtime=102.27 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 24049 0 0 0 10200 27 0 0 20 0 1 0 345310344 39358464 9057 33554432000 4194304 7823515 140733242468272 140733242464072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 9609 9057 557 887 0 8719 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 38436
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 7882
/proc/meminfo: memFree=27765432/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=39800 CPUtime=162.26 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 25048 0 0 0 16184 42 0 0 20 0 1 0 345310344 40755200 9508 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 9950 9508 559 887 0 9060 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 39800
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7883
/proc/meminfo: memFree=27765824/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=40872 CPUtime=222.25 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 25359 0 0 0 22160 65 0 0 20 0 1 0 345310344 41852928 9819 33554432000 4194304 7823515 140733242468272 140733242464072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10218 9819 559 887 0 9328 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 40872
[startup+282.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/177 7883
/proc/meminfo: memFree=27765140/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=41236 CPUtime=282.24 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 25412 0 0 0 28143 81 0 0 20 0 1 0 345310344 42225664 9872 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10309 9872 559 887 0 9419 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 41236
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 7883
/proc/meminfo: memFree=27763220/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=42236 CPUtime=342.23 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 25676 0 0 0 34125 98 0 0 20 0 1 0 345310344 43249664 10135 33554432000 4194304 7823515 140733242468272 140733242463432 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10559 10135 559 887 0 9669 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 42236
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 7883
/proc/meminfo: memFree=27762788/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=42236 CPUtime=402.22 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 25676 0 0 0 40103 119 0 0 20 0 1 0 345310344 43249664 10135 33554432000 4194304 7823515 140733242468272 140733242463384 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10559 10135 559 887 0 9669 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 42236
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7883
/proc/meminfo: memFree=27761236/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=42236 CPUtime=462.21 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 25676 0 0 0 46085 136 0 0 20 0 1 0 345310344 43249664 10135 33554432000 4194304 7823515 140733242468272 140733242464072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10559 10135 559 887 0 9669 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 42236
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 7883
/proc/meminfo: memFree=27760624/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=42236 CPUtime=522.2 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 25676 0 0 0 52066 154 0 0 20 0 1 0 345310344 43249664 10135 33554432000 4194304 7823515 140733242468272 140733242465048 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10559 10135 559 887 0 9669 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 42236
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7884
/proc/meminfo: memFree=27761360/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=42236 CPUtime=582.19 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 25676 0 0 0 58048 171 0 0 20 0 1 0 345310344 43249664 10135 33554432000 4194304 7823515 140733242468272 140733242464072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10559 10135 559 887 0 9669 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 42236
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27756832/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43344 CPUtime=1122.1 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30080 0 0 0 111873 337 0 0 20 0 1 0 345310344 44384256 10504 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10836 10504 646 887 0 9946 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 43344
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 7889
/proc/meminfo: memFree=27756708/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43744 CPUtime=1182.1 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30107 0 0 0 117858 352 0 0 20 0 1 0 345310344 44793856 10531 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10936 10531 646 887 0 10046 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 43744
[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 7889
/proc/meminfo: memFree=27756088/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43744 CPUtime=1242.09 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30140 0 0 0 123835 374 0 0 20 0 1 0 345310344 44793856 10625 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10936 10625 646 887 0 10046 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 43744
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 7889
/proc/meminfo: memFree=27755528/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43744 CPUtime=1302.08 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30141 0 0 0 129814 394 0 0 20 0 1 0 345310344 44793856 10626 33554432000 4194304 7823515 140733242468272 140733242464072 6205839 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10936 10626 646 887 0 10046 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 43744
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 7892
/proc/meminfo: memFree=27754400/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43744 CPUtime=1362.07 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30141 0 0 0 135795 412 0 0 20 0 1 0 345310344 44793856 10626 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10936 10626 646 887 0 10046 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 43744
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 7915
/proc/meminfo: memFree=27753304/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43744 CPUtime=1422.06 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30148 0 0 0 141778 428 0 0 20 0 1 0 345310344 44793856 10633 33554432000 4194304 7823515 140733242468272 140733242464072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10936 10633 646 887 0 10046 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 43744
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7916
/proc/meminfo: memFree=27754036/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43744 CPUtime=1482.05 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30148 0 0 0 147760 445 0 0 20 0 1 0 345310344 44793856 10633 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10936 10633 646 887 0 10046 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 43744
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7916
/proc/meminfo: memFree=27753916/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43744 CPUtime=1542.05 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30148 0 0 0 153742 463 0 0 20 0 1 0 345310344 44793856 10633 33554432000 4194304 7823515 140733242468272 140733242463384 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10936 10633 646 887 0 10046 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 43744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7916
/proc/meminfo: memFree=27753544/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43744 CPUtime=1602.03 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30148 0 0 0 159724 479 0 0 20 0 1 0 345310344 44793856 10633 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10936 10633 646 887 0 10046 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 43744
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7916
/proc/meminfo: memFree=27752860/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43996 CPUtime=1662.02 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30185 0 0 0 165705 497 0 0 20 0 1 0 345310344 45051904 10670 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10999 10670 646 887 0 10109 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 43996
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7916
/proc/meminfo: memFree=27752860/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=44192 CPUtime=1722.02 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30232 0 0 0 171689 513 0 0 20 0 1 0 345310344 45252608 10717 33554432000 4194304 7823515 140733242468272 140733242462968 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 11048 10717 646 887 0 10158 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 44192
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7917
/proc/meminfo: memFree=27751248/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=44192 CPUtime=1782.01 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30232 0 0 0 177672 529 0 0 20 0 1 0 345310344 45252608 10717 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 11048 10717 646 887 0 10158 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 44192
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7917
/proc/meminfo: memFree=27750876/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=44192 CPUtime=1785.2 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30232 0 0 0 177990 530 0 0 20 0 1 0 345310344 45252608 10717 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 11048 10717 646 887 0 10158 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 44192
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7917
/proc/meminfo: memFree=27750876/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=44192 CPUtime=1791.61 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30232 0 0 0 178629 532 0 0 20 0 1 0 345310344 45252608 10717 33554432000 4194304 7823515 140733242468272 140733242464072 6209422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 11048 10717 646 887 0 10158 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 44192
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7917
/proc/meminfo: memFree=27752612/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=42356 CPUtime=1794.81 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30341 0 0 0 178948 533 0 0 20 0 1 0 345310344 43372544 10249 33554432000 4194304 7823515 140733242468272 140733242464072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10589 10249 646 887 0 9699 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 42356
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7917
/proc/meminfo: memFree=27752612/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43156 CPUtime=1795.6 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30522 0 0 0 179027 533 0 0 20 0 1 0 345310344 44191744 10430 33554432000 4194304 7823515 140733242468272 140733242464024 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10789 10430 646 887 0 9899 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 43156
[startup+1796.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 7946
/proc/meminfo: memFree=27814772/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43156 CPUtime=1796.02 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30522 0 0 0 179068 534 0 0 20 0 1 0 345310344 44191744 10430 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10789 10430 646 887 0 9899 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 43156
[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 7946
/proc/meminfo: memFree=27814772/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=43156 CPUtime=1796.21 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30522 0 0 0 179087 534 0 0 20 0 1 0 345310344 44191744 10430 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 10789 10430 646 887 0 9899 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 43156
[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 7946
/proc/meminfo: memFree=27814772/32873648 swapFree=7116/7116
[pid=7878] ppid=7876 vsize=44044 CPUtime=1796.31 cores=1,3,5,7
/proc/7878/stat : 7878 (pbscip.linux.x8) R 7876 7878 7629 0 -1 4202496 30663 0 0 0 179097 534 0 0 20 0 1 0 345310344 45101056 10571 33554432000 4194304 7823515 140733242468272 140733242463608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7878/statm: 11011 10571 646 887 0 10121 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (KiB) 44044
Child status: 0
Real time (s): 1796.69
CPU time (s): 1796.41
CPU user time (s): 1791.06
CPU system time (s): 5.34519
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 44724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.06
system time used= 5.34519
maximum resident set size= 42872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 1849
runsolver used 2.98855 second user time and 7.9068 second system time
The end