PB'11 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
SCIP spx E_2 2011-06-10 (fixed)	?	1800.03	1799.99

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3489348-1307759871.opb>
1.39/1.42	c original problem has 87751 variables (87751 bin, 0 int, 0 impl, 0 cont) and 254772 constraints
1.39/1.42	c problem read
1.39/1.42	c No objective function, only one solution is needed.
1.39/1.42	c presolving settings loaded
1.89/1.93	c presolving:
4.29/4.35	c (round 1) 5653 del vars, 8317 del conss, 0 add conss, 2616 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5441313 impls, 0 clqs
4.40/4.46	c (round 2) 5780 del vars, 14987 del conss, 0 add conss, 2645 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5441657 impls, 0 clqs
4.50/4.51	c (round 3) 6055 del vars, 15623 del conss, 0 add conss, 2914 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5443433 impls, 0 clqs
4.50/4.56	c (round 4) 6211 del vars, 15907 del conss, 0 add conss, 3070 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5444171 impls, 0 clqs
4.59/4.61	c (round 5) 6401 del vars, 16299 del conss, 0 add conss, 3261 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5447554 impls, 0 clqs
4.59/4.66	c (round 6) 6653 del vars, 16815 del conss, 0 add conss, 3508 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5455550 impls, 0 clqs
4.69/4.72	c (round 7) 6909 del vars, 17458 del conss, 0 add conss, 3770 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5462702 impls, 0 clqs
4.69/4.78	c (round 8) 7118 del vars, 18112 del conss, 0 add conss, 3962 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5466698 impls, 0 clqs
4.79/4.84	c (round 9) 7324 del vars, 18607 del conss, 0 add conss, 4168 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5469436 impls, 0 clqs
4.89/4.90	c (round 10) 7474 del vars, 19094 del conss, 0 add conss, 4324 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5475822 impls, 0 clqs
4.89/4.95	c (round 11) 7518 del vars, 19428 del conss, 0 add conss, 4365 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5482317 impls, 0 clqs
4.99/5.00	c (round 12) 7540 del vars, 19521 del conss, 0 add conss, 4385 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5483988 impls, 0 clqs
4.99/5.05	c (round 13) 7562 del vars, 19572 del conss, 0 add conss, 4406 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5484146 impls, 0 clqs
4.99/5.09	c (round 14) 7584 del vars, 19625 del conss, 0 add conss, 4428 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5484660 impls, 0 clqs
5.09/5.14	c (round 15) 7606 del vars, 19680 del conss, 0 add conss, 4450 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5485482 impls, 0 clqs
5.09/5.19	c (round 16) 7630 del vars, 19741 del conss, 0 add conss, 4477 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5486603 impls, 0 clqs
5.19/5.24	c (round 17) 7654 del vars, 19807 del conss, 0 add conss, 4498 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5486994 impls, 0 clqs
5.19/5.29	c (round 18) 7675 del vars, 19860 del conss, 0 add conss, 4519 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5487543 impls, 0 clqs
5.29/5.34	c (round 19) 7693 del vars, 19909 del conss, 0 add conss, 4537 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5487785 impls, 0 clqs
5.29/5.39	c (round 20) 7711 del vars, 19954 del conss, 0 add conss, 4555 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5488125 impls, 0 clqs
5.39/5.43	c (round 21) 7719 del vars, 19994 del conss, 0 add conss, 4563 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5488265 impls, 0 clqs
5.39/5.48	c (round 22) 7727 del vars, 20014 del conss, 0 add conss, 4571 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5488337 impls, 0 clqs
6.29/6.39	c (round 23) 7729 del vars, 20195 del conss, 0 add conss, 4573 chg bounds, 3856 chg sides, 8378 chg coeffs, 234487 upgd conss, 5488437 impls, 0 clqs
6.70/6.76	c (round 24) 7729 del vars, 20195 del conss, 0 add conss, 4573 chg bounds, 3856 chg sides, 8378 chg coeffs, 234577 upgd conss, 5488437 impls, 0 clqs
6.89/6.96	c presolving (25 rounds):
6.89/6.96	c  7729 deleted vars, 20195 deleted constraints, 0 added constraints, 4573 tightened bounds, 0 added holes, 3856 changed sides, 8378 changed coefficients
6.89/6.96	c  5488437 implications, 0 cliques
6.89/6.96	c presolved problem has 80022 variables (80022 bin, 0 int, 0 impl, 0 cont) and 234577 constraints
6.89/6.96	c    7712 constraints of type <knapsack>
6.89/6.96	c  151607 constraints of type <setppc>
6.89/6.96	c   75258 constraints of type <logicor>
6.89/6.96	c transformed objective value is always integral (scale: 1)
6.89/6.96	c Presolving Time: 5.18
6.89/6.96	c - non default parameters ----------------------------------------------------------------------
6.89/6.96	c # SCIP version 2.0.1.5
6.89/6.96	c 
6.89/6.96	c # frequency for displaying node information lines
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 100]
6.89/6.96	c display/freq = 10000
6.89/6.96	c 
6.89/6.96	c # maximal time in seconds to run
6.89/6.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.89/6.96	c limits/time = 1797
6.89/6.96	c 
6.89/6.96	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.89/6.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.89/6.96	c limits/memory = 13950
6.89/6.96	c 
6.89/6.96	c # solving stops, if the given number of solutions were found (-1: no limit)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: -1]
6.89/6.96	c limits/solutions = 1
6.89/6.96	c 
6.89/6.96	c # maximal number of separation rounds per node (-1: unlimited)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 5]
6.89/6.96	c separating/maxrounds = 1
6.89/6.96	c 
6.89/6.96	c # maximal number of separation rounds in the root node (-1: unlimited)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: -1]
6.89/6.96	c separating/maxroundsroot = 5
6.89/6.96	c 
6.89/6.96	c # default clock type (1: CPU user seconds, 2: wall clock time)
6.89/6.96	c # [type: int, range: [1,2], default: 1]
6.89/6.96	c timing/clocktype = 2
6.89/6.96	c 
6.89/6.96	c # belongs reading time to solving time?
6.89/6.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.89/6.96	c timing/reading = TRUE
6.89/6.96	c 
6.89/6.96	c # should presolving try to simplify inequalities
6.89/6.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.89/6.96	c constraints/linear/simplifyinequalities = TRUE
6.89/6.96	c 
6.89/6.96	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
6.89/6.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.89/6.96	c constraints/indicator/addCouplingCons = TRUE
6.89/6.96	c 
6.89/6.96	c # should disaggregation of knapsack constraints be allowed in preprocessing?
6.89/6.96	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
6.89/6.96	c constraints/knapsack/disaggregation = FALSE
6.89/6.96	c 
6.89/6.96	c # should presolving try to simplify knapsacks
6.89/6.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.89/6.96	c constraints/knapsack/simplifyinequalities = TRUE
6.89/6.96	c 
6.89/6.96	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: -1]
6.89/6.96	c presolving/probing/maxrounds = 0
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.96	c heuristics/coefdiving/freq = -1
6.89/6.96	c 
6.89/6.96	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.96	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.96	c heuristics/coefdiving/maxlpiterquot = 0.075
6.89/6.96	c 
6.89/6.96	c # additional number of allowed LP iterations
6.89/6.96	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.96	c heuristics/coefdiving/maxlpiterofs = 1500
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 30]
6.89/6.96	c heuristics/crossover/freq = -1
6.89/6.96	c 
6.89/6.96	c # number of nodes added to the contingent of the total nodes
6.89/6.96	c # [type: longint, range: [0,9223372036854775807], default: 500]
6.89/6.96	c heuristics/crossover/nodesofs = 750
6.89/6.96	c 
6.89/6.96	c # number of nodes without incumbent change that heuristic should wait
6.89/6.96	c # [type: longint, range: [0,9223372036854775807], default: 200]
6.89/6.96	c heuristics/crossover/nwaitingnodes = 100
6.89/6.96	c 
6.89/6.96	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
6.89/6.96	c # [type: real, range: [0,1], default: 0.1]
6.89/6.96	c heuristics/crossover/nodesquot = 0.15
6.89/6.96	c 
6.89/6.96	c # minimum percentage of integer variables that have to be fixed 
6.89/6.96	c # [type: real, range: [0,1], default: 0.666]
6.89/6.96	c heuristics/crossover/minfixingrate = 0.5
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 20]
6.89/6.96	c heuristics/feaspump/freq = -1
6.89/6.96	c 
6.89/6.96	c # additional number of allowed LP iterations
6.89/6.96	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.96	c heuristics/feaspump/maxlpiterofs = 2000
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.96	c heuristics/fracdiving/freq = -1
6.89/6.96	c 
6.89/6.96	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.96	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.96	c heuristics/fracdiving/maxlpiterquot = 0.075
6.89/6.96	c 
6.89/6.96	c # additional number of allowed LP iterations
6.89/6.96	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.96	c heuristics/fracdiving/maxlpiterofs = 1500
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.96	c heuristics/guideddiving/freq = -1
6.89/6.96	c 
6.89/6.96	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.96	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.96	c heuristics/guideddiving/maxlpiterquot = 0.075
6.89/6.96	c 
6.89/6.96	c # additional number of allowed LP iterations
6.89/6.96	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.96	c heuristics/guideddiving/maxlpiterofs = 1500
6.89/6.96	c 
6.89/6.96	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.96	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.96	c heuristics/intdiving/maxlpiterquot = 0.075
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.96	c heuristics/intshifting/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.96	c heuristics/linesearchdiving/freq = -1
6.89/6.96	c 
6.89/6.96	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.96	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.96	c heuristics/linesearchdiving/maxlpiterquot = 0.075
6.89/6.96	c 
6.89/6.96	c # additional number of allowed LP iterations
6.89/6.96	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.96	c heuristics/linesearchdiving/maxlpiterofs = 1500
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 20]
6.89/6.96	c heuristics/objpscostdiving/freq = -1
6.89/6.96	c 
6.89/6.96	c # maximal fraction of diving LP iterations compared to total iteration number
6.89/6.96	c # [type: real, range: [0,1], default: 0.01]
6.89/6.96	c heuristics/objpscostdiving/maxlpiterquot = 0.015
6.89/6.96	c 
6.89/6.96	c # additional number of allowed LP iterations
6.89/6.96	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.96	c heuristics/objpscostdiving/maxlpiterofs = 1500
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.96	c heuristics/oneopt/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.96	c heuristics/pscostdiving/freq = -1
6.89/6.96	c 
6.89/6.96	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.96	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.96	c heuristics/pscostdiving/maxlpiterquot = 0.075
6.89/6.96	c 
6.89/6.96	c # additional number of allowed LP iterations
6.89/6.96	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.96	c heuristics/pscostdiving/maxlpiterofs = 1500
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 0]
6.89/6.96	c heuristics/rens/freq = -1
6.89/6.96	c 
6.89/6.96	c # minimum percentage of integer variables that have to be fixable 
6.89/6.96	c # [type: real, range: [0,1], default: 0.5]
6.89/6.96	c heuristics/rens/minfixingrate = 0.3
6.89/6.96	c 
6.89/6.96	c # number of nodes added to the contingent of the total nodes
6.89/6.96	c # [type: longint, range: [0,9223372036854775807], default: 500]
6.89/6.96	c heuristics/rens/nodesofs = 2000
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 20]
6.89/6.96	c heuristics/rootsoldiving/freq = -1
6.89/6.96	c 
6.89/6.96	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.96	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
6.89/6.96	c heuristics/rootsoldiving/maxlpiterquot = 0.015
6.89/6.96	c 
6.89/6.96	c # additional number of allowed LP iterations
6.89/6.96	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.96	c heuristics/rootsoldiving/maxlpiterofs = 1500
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.96	c heuristics/rounding/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 0]
6.89/6.96	c heuristics/shiftandpropagate/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.96	c heuristics/shifting/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.96	c heuristics/simplerounding/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.96	c heuristics/subnlp/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 0]
6.89/6.96	c heuristics/trivial/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.96	c heuristics/trysol/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 0]
6.89/6.96	c heuristics/undercover/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 10]
6.89/6.96	c heuristics/veclendiving/freq = -1
6.89/6.96	c 
6.89/6.96	c # maximal fraction of diving LP iterations compared to node LP iterations
6.89/6.96	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
6.89/6.96	c heuristics/veclendiving/maxlpiterquot = 0.075
6.89/6.96	c 
6.89/6.96	c # additional number of allowed LP iterations
6.89/6.96	c # [type: int, range: [0,2147483647], default: 1000]
6.89/6.96	c heuristics/veclendiving/maxlpiterofs = 1500
6.89/6.96	c 
6.89/6.96	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 1]
6.89/6.96	c heuristics/zirounding/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 0]
6.89/6.96	c separating/cmir/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: 0]
6.89/6.96	c separating/flowcover/freq = -1
6.89/6.96	c 
6.89/6.96	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.89/6.96	c # [type: int, range: [-1,2147483647], default: -1]
6.89/6.96	c separating/rapidlearning/freq = 0
6.89/6.96	c 
6.89/6.96	c -----------------------------------------------------------------------------------------------
6.89/6.96	c start solving
6.89/6.99	c 
28.09/28.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
28.09/28.15	c  28.2s|     1 |     0 | 12193 |     - | 633M|   0 |6824 |  80k| 234k|  80k| 234k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
70.09/70.18	c  70.2s|     1 |     0 | 16186 |     - | 634M|   0 |7744 |  80k| 234k|  80k| 234k| 138 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
109.69/109.78	c   110s|     1 |     0 | 23633 |     - | 634M|   0 |8714 |  80k| 234k|  80k| 234k| 247 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
177.29/177.33	c   177s|     1 |     0 | 34253 |     - | 634M|   0 |9842 |  80k| 234k|  80k| 234k| 374 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
572.40/572.47	c   572s|     1 |     0 | 55073 |     - | 634M|   0 |  12k|  80k| 234k|  80k| 235k| 518 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1356.03/1356.09	c  1356s|     1 |     0 | 82889 |     - | 635M|   0 |  15k|  80k| 234k|  80k| 235k| 733 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1452.14/1452.19	c  1452s|     1 |     2 | 82889 |     - | 635M|   0 |  15k|  80k| 234k|  80k| 235k| 733 |   0 |  21 | 0.000000e+00 |      --      |    Inf 
1799.14/1799.14	c 
1799.14/1799.14	c SCIP Status        : solving was interrupted [time limit reached]
1799.14/1799.14	c Solving Time (sec) : 1799.14
1799.14/1799.14	c Solving Nodes      : 3
1799.14/1799.14	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1799.14/1799.14	c Dual Bound         : +0.00000000000000e+00
1799.14/1799.14	c Gap                : infinite
1799.14/1799.14	s UNKNOWN
1799.14/1799.14	c SCIP Status        : solving was interrupted [time limit reached]
1799.14/1799.14	c Total Time         :    1799.14
1799.14/1799.14	c   solving          :    1799.14
1799.14/1799.14	c   presolving       :       5.18 (included in solving)
1799.14/1799.14	c   reading          :       1.42 (included in solving)
1799.14/1799.14	c Original Problem   :
1799.14/1799.14	c   Problem name     : HOME/instance-3489348-1307759871.opb
1799.14/1799.14	c   Variables        : 87751 (87751 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.14/1799.14	c   Constraints      : 254772 initial, 254772 maximal
1799.14/1799.14	c Presolved Problem  :
1799.14/1799.14	c   Problem name     : t_HOME/instance-3489348-1307759871.opb
1799.14/1799.14	c   Variables        : 80022 (80022 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.14/1799.14	c   Constraints      : 234577 initial, 234577 maximal
1799.14/1799.14	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1799.14/1799.14	c   trivial          :       0.11         84          0          0          0          0          0          0          0          0
1799.14/1799.14	c   dualfix          :       0.10          0          0          0          0          0          0          0          0          0
1799.14/1799.14	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1799.14/1799.14	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1799.14/1799.14	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1799.14/1799.14	c   implics          :       0.70          0       3089          0          0          0          0          0          0          0
1799.14/1799.14	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1799.14/1799.14	c   knapsack         :       0.06          0          0          0          0          0          0          0          0          0
1799.14/1799.14	c   setppc           :       0.32          0          0          0          0          0          0          0          0          0
1799.14/1799.14	c   linear           :       3.38       4550          6          0       4573          0      20195          0       3856       8378
1799.14/1799.14	c   logicor          :       0.14          0          0          0          0          0          0          0          0          0
1799.14/1799.14	c   root node        :          -          3          -          -          3          -          -          -          -          -
1799.14/1799.14	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1799.14/1799.14	c   integral         :          0          0          0          3          0          1          0          0          0          0          0          6
1799.14/1799.14	c   knapsack         :       7712          5          8          0          0          0          0          0          0       1001          0          0
1799.14/1799.14	c   setppc           :     151607          5          8          0          0          0          0          0         69          0          0          0
1799.14/1799.14	c   logicor          :      75258          5          6          0          0          0          0          0          8          0          0          0
1799.14/1799.14	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1799.14/1799.14	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1799.14/1799.14	c   integral         :     403.41       0.00       0.00     403.41       0.00       0.00       0.00
1799.14/1799.14	c   knapsack         :       0.02       0.02       0.00       0.00       0.00       0.00       0.00
1799.14/1799.14	c   setppc           :       0.07       0.03       0.03       0.00       0.00       0.00       0.00
1799.14/1799.14	c   logicor          :       0.06       0.02       0.04       0.00       0.00       0.00       0.00
1799.14/1799.14	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1799.14/1799.14	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1799.14/1799.14	c   vbounds          :          0          0          0          0
1799.14/1799.14	c   rootredcost      :          0          0          0          0
1799.14/1799.14	c   pseudoobj        :          0          0          0          0
1799.14/1799.14	c Propagator Timings :  TotalTime  Propagate    Resprop
1799.14/1799.14	c   vbounds          :       0.00       0.00       0.00
1799.14/1799.14	c   rootredcost      :       0.00       0.00       0.00
1799.14/1799.14	c   pseudoobj        :       0.00       0.00       0.00
1799.14/1799.14	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.14/1799.14	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1799.14/1799.14	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1799.14/1799.14	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.14/1799.14	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.14/1799.14	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1799.14/1799.14	c   applied globally :          -          -          -          0        0.0          -          -          -
1799.14/1799.14	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.14/1799.14	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.14/1799.14	c   cut pool         :       0.00          4          -          -        137          -    (maximal pool size: 1175)
1799.14/1799.14	c   redcost          :       0.02          7          0          0          0          0
1799.14/1799.14	c   impliedbounds    :       0.12          5          0          0          0          0
1799.14/1799.14	c   intobj           :       0.00          0          0          0          0          0
1799.14/1799.14	c   gomory           :     443.00          5          0          0       2462          0
1799.14/1799.14	c   cgmip            :       0.00          0          0          0          0          0
1799.14/1799.14	c   closecuts        :       0.00          0          0          0          0          0
1799.14/1799.14	c   strongcg         :     469.36          5          0          0       2390          0
1799.14/1799.14	c   cmir             :       0.00          0          0          0          0          0
1799.14/1799.14	c   flowcover        :       0.00          0          0          0          0          0
1799.14/1799.14	c   clique           :       7.64          5          0          0         38          0
1799.14/1799.14	c   zerohalf         :       0.00          0          0          0          0          0
1799.14/1799.14	c   mcf              :      17.82          1          0          0          0          0
1799.14/1799.14	c   oddcycle         :       0.00          0          0          0          0          0
1799.14/1799.14	c   rapidlearning    :       0.00          0          0          0          0          0
1799.14/1799.14	c Pricers            :       Time      Calls       Vars
1799.14/1799.14	c   problem variables:       0.00          0          0
1799.14/1799.14	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.14/1799.14	c   relpscost        :     403.41          3          0          0          0          0          6
1799.14/1799.14	c   pscost           :       0.00          0          0          0          0          0          0
1799.14/1799.14	c   inference        :       0.00          0          0          0          0          0          0
1799.14/1799.14	c   mostinf          :       0.00          0          0          0          0          0          0
1799.14/1799.14	c   leastinf         :       0.00          0          0          0          0          0          0
1799.14/1799.14	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.14/1799.14	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.14/1799.14	c   random           :       0.00          0          0          0          0          0          0
1799.14/1799.14	c Primal Heuristics  :       Time      Calls      Found
1799.14/1799.14	c   LP solutions     :       0.00          -          0
1799.14/1799.14	c   pseudo solutions :       0.00          -          0
1799.14/1799.14	c   trivial          :       0.06          1          0
1799.14/1799.14	c   shiftandpropagate:       0.00          0          0
1799.14/1799.14	c   simplerounding   :       0.00          0          0
1799.14/1799.14	c   zirounding       :       0.00          0          0
1799.14/1799.14	c   rounding         :       0.00          0          0
1799.14/1799.14	c   shifting         :       0.00          0          0
1799.14/1799.14	c   intshifting      :       0.00          0          0
1799.14/1799.14	c   oneopt           :       0.00          0          0
1799.14/1799.14	c   twoopt           :       0.00          0          0
1799.14/1799.14	c   fixandinfer      :       0.00          0          0
1799.14/1799.14	c   feaspump         :       0.00          0          0
1799.14/1799.14	c   clique           :       0.00          0          0
1799.14/1799.14	c   coefdiving       :       0.00          0          0
1799.14/1799.14	c   pscostdiving     :       0.00          0          0
1799.14/1799.14	c   fracdiving       :       0.00          0          0
1799.14/1799.14	c   veclendiving     :       0.00          0          0
1799.14/1799.14	c   intdiving        :       0.00          0          0
1799.14/1799.14	c   actconsdiving    :       0.00          0          0
1799.14/1799.14	c   objpscostdiving  :       0.00          0          0
1799.14/1799.14	c   rootsoldiving    :       0.00          0          0
1799.14/1799.14	c   linesearchdiving :       0.00          0          0
1799.14/1799.14	c   guideddiving     :       0.00          0          0
1799.14/1799.14	c   octane           :       0.00          0          0
1799.14/1799.14	c   rens             :       0.00          0          0
1799.14/1799.14	c   rins             :       0.00          0          0
1799.14/1799.14	c   localbranching   :       0.00          0          0
1799.14/1799.14	c   mutation         :       0.00          0          0
1799.14/1799.14	c   crossover        :       0.00          0          0
1799.14/1799.14	c   dins             :       0.00          0          0
1799.14/1799.14	c   vbounds          :       0.00          0          0
1799.14/1799.14	c   undercover       :       0.00          0          0
1799.14/1799.14	c   subnlp           :       0.00          0          0
1799.14/1799.14	c   trysol           :       0.00          0          0
1799.14/1799.14	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.14/1799.14	c   primal LP        :       0.09          0          0       0.00       0.00
1799.14/1799.14	c   dual LP          :     449.63          8      92283   11535.38     205.24
1799.14/1799.14	c   lex dual LP      :       0.00          0          0       0.00          -
1799.14/1799.14	c   barrier LP       :       0.00          0          0       0.00          -
1799.14/1799.14	c   diving/probing LP:       0.00          0          0       0.00          -
1799.14/1799.14	c   strong branching :     403.36         77      75945     986.30     188.28
1799.14/1799.14	c     (at root node) :          -         21      20244     964.00          -
1799.14/1799.14	c   conflict analysis:       0.00          0          0       0.00          -
1799.14/1799.14	c B&B Tree           :
1799.14/1799.14	c   number of runs   :          1
1799.14/1799.14	c   nodes            :          3
1799.14/1799.14	c   nodes (total)    :          3
1799.14/1799.14	c   nodes left       :          4
1799.14/1799.14	c   max depth        :          2
1799.14/1799.14	c   max depth (total):          2
1799.14/1799.14	c   backtracks       :          0 (0.0%)
1799.14/1799.14	c   delayed cutoffs  :          0
1799.14/1799.14	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1799.14/1799.14	c   avg switch length:       1.00
1799.14/1799.14	c   switching time   :       0.11
1799.14/1799.14	c Solution           :
1799.14/1799.14	c   Solutions found  :          0 (0 improvements)
1799.14/1799.14	c   Primal Bound     :          -
1799.14/1799.14	c   Dual Bound       : +0.00000000000000e+00
1799.14/1799.14	c   Gap              :   infinite
1799.14/1799.14	c   Root Dual Bound  : +0.00000000000000e+00
1799.14/1799.14	c   Root Iterations  :      82889
1799.94/1799.98	c Time complete: 1800.02.

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3489348-1307759871/watcher-3489348-1307759871 -o /tmp/evaluation-result-3489348-1307759871/solver-3489348-1307759871 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489348-1307759871.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.99 2/174 31661
/proc/meminfo: memFree=30678272/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=12568 CPUtime=0 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 2138 0 0 0 0 0 0 0 25 0 1 0 887587557 12869632 2092 33554432000 4194304 9016284 140736187038480 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31661/statm: 3142 2092 357 1178 0 1960 0

[startup+0.10009 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 31661
/proc/meminfo: memFree=30678272/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=25756 CPUtime=0.09 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 5426 0 0 0 9 0 0 0 25 0 1 0 887587557 26374144 5380 33554432000 4194304 9016284 140736187038480 18446744073709551615 4536486 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31661/statm: 6439 5380 357 1178 0 5257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25756

[startup+0.201071 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 31661
/proc/meminfo: memFree=30678272/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=37284 CPUtime=0.19 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 8282 0 0 0 19 0 0 0 25 0 1 0 887587557 38178816 8236 33554432000 4194304 9016284 140736187038480 18446744073709551615 7870463 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31661/statm: 9321 8236 357 1178 0 8139 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37284

[startup+0.30105 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 31661
/proc/meminfo: memFree=30678272/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=48672 CPUtime=0.29 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 11142 0 0 0 29 0 0 0 25 0 1 0 887587557 49840128 11096 33554432000 4194304 9016284 140736187038480 18446744073709551615 7870493 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31661/statm: 12168 11096 357 1178 0 10986 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48672

[startup+0.70098 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 31661
/proc/meminfo: memFree=30678272/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=93480 CPUtime=0.69 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 22338 0 0 0 68 1 0 0 25 0 1 0 887587557 95723520 22292 33554432000 4194304 9016284 140736187038480 18446744073709551615 6184660 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/31661/statm: 23370 22292 357 1178 0 22188 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93480

[startup+1.50086 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31662
/proc/meminfo: memFree=30545732/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=248016 CPUtime=1.49 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 60869 0 0 0 144 5 0 0 25 0 1 0 887587557 253968384 60823 33554432000 4194304 9016284 140736187038480 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31661/statm: 62004 60823 404 1178 0 60822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 248016

[startup+3.10056 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31662
/proc/meminfo: memFree=30241556/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=542332 CPUtime=3.09 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 131699 0 0 0 297 12 0 0 25 0 1 0 887587557 555347968 131599 33554432000 4194304 9016284 140736187038480 18446744073709551615 5215747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31661/statm: 135583 131599 483 1178 0 134401 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 542332

[startup+6.30094 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31662
/proc/meminfo: memFree=30082720/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=698984 CPUtime=6.29 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 181667 0 0 0 612 17 0 0 25 0 1 0 887587557 715759616 169975 33554432000 4194304 9016284 140736187038480 18446744073709551615 6812671 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 174746 169975 505 1178 0 173564 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 698984

[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31662
/proc/meminfo: memFree=29664328/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1083420 CPUtime=12.68 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 279402 0 0 0 1240 28 0 0 25 0 1 0 887587557 1109422080 253976 33554432000 4194304 9016284 140736187038480 18446744073709551615 7214542 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31661/statm: 270855 253976 883 1178 0 269673 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1083420

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31662
/proc/meminfo: memFree=29647576/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1094236 CPUtime=25.49 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 283520 0 0 0 2519 30 0 0 25 0 1 0 887587557 1120497664 258003 33554432000 4194304 9016284 140736187038480 18446744073709551615 7178167 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31661/statm: 273559 258003 918 1178 0 272377 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1094236

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31663
/proc/meminfo: memFree=29630088/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1094236 CPUtime=51.08 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 288095 0 0 0 5077 31 0 0 25 0 1 0 887587557 1120497664 262398 33554432000 4194304 9016284 140736187038480 18446744073709551615 6306288 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 273559 262398 813 1178 0 272377 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1094236

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31664
/proc/meminfo: memFree=29599096/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1121716 CPUtime=102.29 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 295994 0 0 0 10194 35 0 0 25 0 1 0 887587557 1148637184 270001 33554432000 4194304 9016284 140736187038480 18446744073709551615 6971592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 280429 270001 725 1178 0 279247 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1121716

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31666
/proc/meminfo: memFree=29587776/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=162.29 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 298678 0 0 0 16188 41 0 0 25 0 1 0 887587557 1158225920 272674 33554432000 4194304 9016284 140736187038480 18446744073709551615 7214571 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 272674 715 1178 0 281588 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1131080

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31668
/proc/meminfo: memFree=29585736/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=222.29 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 298686 0 0 0 22184 45 0 0 25 0 1 0 887587557 1158225920 272682 33554432000 4194304 9016284 140736187038480 18446744073709551615 6924823 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 272682 715 1178 0 281588 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1131080

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31669
/proc/meminfo: memFree=29576272/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=282.3 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 298688 0 0 0 28180 50 0 0 25 0 1 0 887587557 1158225920 272684 33554432000 4194304 9016284 140736187038480 18446744073709551615 6922753 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 272684 715 1178 0 281588 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1131080

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31671
/proc/meminfo: memFree=29561224/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=342.29 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 298688 0 0 0 34176 53 0 0 25 0 1 0 887587557 1158225920 272684 33554432000 4194304 9016284 140736187038480 18446744073709551615 6922766 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 272684 715 1178 0 281588 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1131080

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31672
/proc/meminfo: memFree=29555844/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=402.3 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 298688 0 0 0 40172 58 0 0 25 0 1 0 887587557 1158225920 272684 33554432000 4194304 9016284 140736187038480 18446744073709551615 6922736 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 272684 715 1178 0 281588 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1131080

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31674
/proc/meminfo: memFree=29555680/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=462.3 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 298705 0 0 0 46166 64 0 0 25 0 1 0 887587557 1158225920 272701 33554432000 4194304 9016284 140736187038480 18446744073709551615 7214482 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 272701 715 1178 0 281588 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1131080

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31676
/proc/meminfo: memFree=29555512/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=522.3 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 298705 0 0 0 52163 67 0 0 25 0 1 0 887587557 1158225920 272701 33554432000 4194304 9016284 140736187038480 18446744073709551615 7181511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 272701 715 1178 0 281588 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1131080

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 31677
/proc/meminfo: memFree=29555348/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=582.3 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 298712 0 0 0 58161 69 0 0 25 0 1 0 887587557 1158225920 272708 33554432000 4194304 9016284 140736187038480 18446744073709551615 6520740 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 272708 715 1178 0 281588 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1131080

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=30528780/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=1122.32 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 298712 0 0 0 112129 103 0 0 25 0 1 0 887587557 1158225920 272708 33554432000 4194304 9016284 140736187038480 18446744073709551615 7870594 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 272708 715 1178 0 281588 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1131080

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31732
/proc/meminfo: memFree=30522152/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=1182.32 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 300114 0 0 0 118124 108 0 0 25 0 1 0 887587557 1158225920 274110 33554432000 4194304 9016284 140736187038480 18446744073709551615 6971607 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 274110 715 1178 0 281588 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1131080

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31734
/proc/meminfo: memFree=30522360/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=1242.32 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 300151 0 0 0 124121 111 0 0 25 0 1 0 887587557 1158225920 274147 33554432000 4194304 9016284 140736187038480 18446744073709551615 7124303 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 274147 715 1178 0 281588 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1131080

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31735
/proc/meminfo: memFree=30521696/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1131080 CPUtime=1302.32 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 300245 0 0 0 130117 115 0 0 25 0 1 0 887587557 1158225920 274241 33554432000 4194304 9016284 140736187038480 18446744073709551615 7124299 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 282770 274241 715 1178 0 281588 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1131080

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31737
/proc/meminfo: memFree=30512236/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1138468 CPUtime=1362.32 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 300947 0 0 0 136113 119 0 0 25 0 1 0 887587557 1165791232 274943 33554432000 4194304 9016284 140736187038480 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 284617 274943 716 1178 0 283435 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1138468

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31748
/proc/meminfo: memFree=30502732/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1422.33 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303174 0 0 0 142109 124 0 0 25 0 1 0 887587557 1168846848 277170 33554432000 4194304 9016284 140736187038480 18446744073709551615 7180882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277170 716 1178 0 284181 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1141452

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31749
/proc/meminfo: memFree=30501204/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1482.33 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303212 0 0 0 148104 129 0 0 25 0 1 0 887587557 1168846848 277208 33554432000 4194304 9016284 140736187038480 18446744073709551615 6855193 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277208 720 1178 0 284181 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1141452

[startup+1542.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 31751
/proc/meminfo: memFree=30501284/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1542.33 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303212 0 0 0 154101 132 0 0 25 0 1 0 887587557 1168846848 277208 33554432000 4194304 9016284 140736187038480 18446744073709551615 7180932 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277208 720 1178 0 284181 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1141452

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 31755
/proc/meminfo: memFree=30502264/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1602.33 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303212 0 0 0 160096 137 0 0 25 0 1 0 887587557 1168846848 277208 33554432000 4194304 9016284 140736187038480 18446744073709551615 7178154 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277208 720 1178 0 284181 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1141452

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 31757
/proc/meminfo: memFree=30501840/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1662.34 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303212 0 0 0 166091 143 0 0 25 0 1 0 887587557 1168846848 277208 33554432000 4194304 9016284 140736187038480 18446744073709551615 7180604 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277208 720 1178 0 284181 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1141452

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31759
/proc/meminfo: memFree=30501796/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1722.34 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303212 0 0 0 172087 147 0 0 25 0 1 0 887587557 1168846848 277208 33554432000 4194304 9016284 140736187038480 18446744073709551615 7178171 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277208 720 1178 0 284181 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1141452

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31760
/proc/meminfo: memFree=30501376/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1782.34 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303212 0 0 0 178082 152 0 0 25 0 1 0 887587557 1168846848 277208 33554432000 4194304 9016284 140736187038480 18446744073709551615 7080744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277208 720 1178 0 284181 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1141452

Solver just ended. Dumping a history of the last processes samples

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31761
/proc/meminfo: memFree=30501356/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1792.05 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303212 0 0 0 179052 153 0 0 25 0 1 0 887587557 1168846848 277208 33554432000 4194304 9016284 140736187038480 18446744073709551615 7178505 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277208 720 1178 0 284181 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 1141452

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31761
/proc/meminfo: memFree=30501480/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1795.25 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303212 0 0 0 179372 153 0 0 25 0 1 0 887587557 1168846848 277208 33554432000 4194304 9016284 140736187038480 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277208 720 1178 0 284181 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 1141452

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31761
/proc/meminfo: memFree=30501356/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1798.44 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303212 0 0 0 179691 153 0 0 25 0 1 0 887587557 1168846848 277208 33554432000 4194304 9016284 140736187038480 18446744073709551615 7156517 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277208 720 1178 0 284181 0
Current children cumulated CPU time (s) 1798.44
Current children cumulated vsize (KiB) 1141452

[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31761
/proc/meminfo: memFree=30501356/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1141452 CPUtime=1799.24 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303217 0 0 0 179771 153 0 0 25 0 1 0 887587557 1168846848 277213 33554432000 4194304 9016284 140736187038480 18446744073709551615 6548416 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31661/statm: 285363 277213 725 1178 0 284181 0
Current children cumulated CPU time (s) 1799.24
Current children cumulated vsize (KiB) 1141452

[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31761
/proc/meminfo: memFree=30501728/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1140500 CPUtime=1799.64 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303219 0 0 0 179811 153 0 0 25 0 1 0 887587557 1167872000 276977 33554432000 4194304 9016284 140736187038480 18446744073709551615 6812686 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31661/statm: 285125 276977 727 1178 0 283943 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 1140500

[startup+1799.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31761
/proc/meminfo: memFree=30501728/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=1099404 CPUtime=1799.83 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303219 0 0 0 179830 153 0 0 25 0 1 0 887587557 1125789696 266755 33554432000 4194304 9016284 140736187038480 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31661/statm: 274851 266546 727 1178 0 273669 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (KiB) 1099404

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31761
/proc/meminfo: memFree=30501728/32951124 swapFree=67064368/67111528
[pid=31661] ppid=31659 vsize=834752 CPUtime=1799.94 cores=0,2,4,6
/proc/31661/stat : 31661 (scip-2.0.1.4b_2) R 31659 31661 29294 0 -1 4202496 303219 0 0 0 179839 155 0 0 25 0 1 0 887587557 854786048 203229 33554432000 4194304 9016284 140736187038480 18446744073709551615 6817529 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31661/statm: 208688 203229 727 1178 0 207506 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (KiB) 834752

Child status: 0
Real time (s): 1799.99
CPU time (s): 1800.03
CPU user time (s): 1798.44
CPU system time (s): 1.59076
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1141452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.44
system time used= 1.59076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303227
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= 7
involuntary context switches= 5658

runsolver used 3.08553 second user time and 5.99009 second system time

The end

Launcher Data

Begin job on node105 at 2011-06-11 04:37:51
IDJOB=3489348
IDBENCH=1495
IDSOLVER=1979
FILE ID=node105/3489348-1307759871
RUNJOBID= node105-1307750180-29312
PBS_JOBID= 13550855
Free space on /tmp= 74044 MiB

SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3489348-1307759871/watcher-3489348-1307759871 -o /tmp/evaluation-result-3489348-1307759871/solver-3489348-1307759871 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489348-1307759871.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2b5564b5f03b34138f988fcf164c2fb6
RANDOM SEED=1382764227

node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5410.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30678832 kB
Buffers:        260540 kB
Cached:         798220 kB
SwapCached:      20132 kB
Active:        1411920 kB
Inactive:       633512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30678832 kB
SwapTotal:    67111528 kB
SwapFree:     67064368 kB
Dirty:           24928 kB
Writeback:           0 kB
AnonPages:      983968 kB
Mapped:          13296 kB
Slab:           160468 kB
PageTables:       6280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1163352 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74036 MiB
End job on node105 at 2011-06-11 05:07:51

Name	normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
MD5SUM	2b5564b5f03b34138f988fcf164c2fb6
Bench Category	DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	5.56215
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved	YES
Best value of the objective function
Optimality of the best value was proved
Number of variables	87751
Total number of constraints	254772
Number of constraints which are clauses	247060
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	7712
Minimum length of a constraint	1
Maximum length of a constraint	15
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 3489348

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data