Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1791.94 | 1792.64 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb |
MD5SUM | 2b5564b5f03b34138f988fcf164c2fb6 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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 | 53.5269 |
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 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 0.00/0.00 c Copyright (c) 2002-2010 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-2704278-1278550669.opb> 3.99/4.07 c original problem has 87751 variables (87751 bin, 0 int, 0 impl, 0 cont) and 254772 constraints 3.99/4.07 c problem read 3.99/4.07 c No objective function, only one solution is needed. 3.99/4.08 c presolving settings loaded 5.40/5.45 c presolving: 11.19/11.27 c (round 1) 5653 del vars, 8317 del conss, 2616 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5441313 impls, 0 clqs 11.49/11.55 c (round 2) 5780 del vars, 14987 del conss, 2645 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5441657 impls, 0 clqs 11.69/11.71 c (round 3) 6055 del vars, 15623 del conss, 2914 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5443433 impls, 0 clqs 11.79/11.86 c (round 4) 6211 del vars, 15907 del conss, 3070 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5444171 impls, 0 clqs 11.99/12.02 c (round 5) 6401 del vars, 16299 del conss, 3261 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5447554 impls, 0 clqs 12.09/12.18 c (round 6) 6653 del vars, 16815 del conss, 3508 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5455550 impls, 0 clqs 12.29/12.35 c (round 7) 6909 del vars, 17458 del conss, 3770 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5462702 impls, 0 clqs 12.49/12.51 c (round 8) 7118 del vars, 18112 del conss, 3962 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5466698 impls, 0 clqs 12.59/12.68 c (round 9) 7324 del vars, 18607 del conss, 4168 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5469436 impls, 0 clqs 12.79/12.86 c (round 10) 7474 del vars, 19094 del conss, 4324 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5475822 impls, 0 clqs 12.99/13.01 c (round 11) 7518 del vars, 19428 del conss, 4365 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5482317 impls, 0 clqs 13.09/13.16 c (round 12) 7540 del vars, 19521 del conss, 4385 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5483988 impls, 0 clqs 13.29/13.30 c (round 13) 7562 del vars, 19572 del conss, 4406 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5484146 impls, 0 clqs 13.39/13.44 c (round 14) 7584 del vars, 19625 del conss, 4428 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5484660 impls, 0 clqs 13.49/13.59 c (round 15) 7606 del vars, 19680 del conss, 4450 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5485482 impls, 0 clqs 13.68/13.74 c (round 16) 7630 del vars, 19741 del conss, 4477 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5486603 impls, 0 clqs 13.78/13.89 c (round 17) 7654 del vars, 19807 del conss, 4498 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5486994 impls, 0 clqs 13.98/14.04 c (round 18) 7675 del vars, 19860 del conss, 4519 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5487543 impls, 0 clqs 14.08/14.18 c (round 19) 7693 del vars, 19909 del conss, 4537 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5487785 impls, 0 clqs 14.29/14.33 c (round 20) 7711 del vars, 19954 del conss, 4555 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5488125 impls, 0 clqs 14.38/14.47 c (round 21) 7719 del vars, 19994 del conss, 4563 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5488265 impls, 0 clqs 14.58/14.61 c (round 22) 7727 del vars, 20014 del conss, 4571 chg bounds, 3856 chg sides, 8378 chg coeffs, 0 upgd conss, 5488337 impls, 0 clqs 16.49/16.54 c (round 23) 7729 del vars, 20195 del conss, 4573 chg bounds, 3856 chg sides, 8378 chg coeffs, 234487 upgd conss, 5488437 impls, 0 clqs 17.29/17.30 c (round 24) 7729 del vars, 20195 del conss, 4573 chg bounds, 3856 chg sides, 8378 chg coeffs, 234577 upgd conss, 5488437 impls, 0 clqs 17.59/17.69 c presolving (25 rounds): 17.59/17.69 c 7729 deleted vars, 20195 deleted constraints, 4573 tightened bounds, 0 added holes, 3856 changed sides, 8378 changed coefficients 17.59/17.69 c 5488437 implications, 0 cliques 17.59/17.69 c presolved problem has 80022 variables (80022 bin, 0 int, 0 impl, 0 cont) and 234577 constraints 17.59/17.69 c 7712 constraints of type <knapsack> 17.59/17.69 c 151607 constraints of type <setppc> 17.59/17.69 c 75258 constraints of type <logicor> 17.59/17.69 c transformed objective value is always integral (scale: 1) 17.59/17.69 c Presolving Time: 12.78 17.59/17.69 c - non default parameters ---------------------------------------------------------------------- 17.59/17.69 c # SCIP version 1.2.1.3 17.59/17.69 c 17.59/17.69 c # frequency for displaying node information lines 17.59/17.69 c # [type: int, range: [-1,2147483647], default: 100] 17.59/17.69 c display/freq = 10000 17.59/17.69 c 17.59/17.69 c # maximal time in seconds to run 17.59/17.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 17.59/17.69 c limits/time = 1785.92 17.59/17.69 c 17.59/17.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 17.59/17.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 17.59/17.69 c limits/memory = 1620 17.59/17.69 c 17.59/17.69 c # solving stops, if the given number of solutions were found (-1: no limit) 17.59/17.69 c # [type: int, range: [-1,2147483647], default: -1] 17.59/17.69 c limits/solutions = 1 17.59/17.69 c 17.59/17.69 c # maximal number of separation rounds per node (-1: unlimited) 17.59/17.69 c # [type: int, range: [-1,2147483647], default: 5] 17.59/17.69 c separating/maxrounds = 1 17.59/17.69 c 17.59/17.69 c # maximal number of separation rounds in the root node (-1: unlimited) 17.59/17.69 c # [type: int, range: [-1,2147483647], default: -1] 17.59/17.69 c separating/maxroundsroot = 5 17.59/17.69 c 17.59/17.69 c # default clock type (1: CPU user seconds, 2: wall clock time) 17.59/17.69 c # [type: int, range: [1,2], default: 1] 17.59/17.69 c timing/clocktype = 2 17.59/17.69 c 17.59/17.69 c # should presolving try to simplify inequalities 17.59/17.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 17.59/17.69 c constraints/linear/simplifyinequalities = TRUE 17.59/17.69 c 17.59/17.69 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 17.59/17.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 17.59/17.69 c constraints/indicator/addCouplingCons = TRUE 17.59/17.69 c 17.59/17.69 c # should disaggregation of knapsack constraints be allowed in preprocessing? 17.59/17.69 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 17.59/17.69 c constraints/knapsack/disaggregation = FALSE 17.59/17.69 c 17.59/17.69 c # should presolving try to simplify knapsacks 17.59/17.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 17.59/17.69 c constraints/knapsack/simplifyinequalities = TRUE 17.59/17.69 c 17.59/17.69 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 17.59/17.69 c # [type: int, range: [-1,2147483647], default: -1] 17.59/17.69 c presolving/probing/maxrounds = 0 17.59/17.69 c 17.59/17.69 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 17.59/17.69 c # [type: int, range: [-1,2147483647], default: 10] 17.59/17.69 c heuristics/coefdiving/freq = -1 17.59/17.69 c 17.59/17.69 c # maximal fraction of diving LP iterations compared to node LP iterations 17.59/17.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 17.59/17.69 c heuristics/coefdiving/maxlpiterquot = 0.075 17.59/17.69 c 17.59/17.69 c # additional number of allowed LP iterations 17.59/17.69 c # [type: int, range: [0,2147483647], default: 1000] 17.59/17.69 c heuristics/coefdiving/maxlpiterofs = 1500 17.59/17.69 c 17.59/17.69 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 17.59/17.69 c # [type: int, range: [-1,2147483647], default: 30] 17.59/17.69 c heuristics/crossover/freq = -1 17.59/17.69 c 17.59/17.69 c # number of nodes added to the contingent of the total nodes 17.59/17.69 c # [type: longint, range: [0,9223372036854775807], default: 500] 17.59/17.69 c heuristics/crossover/nodesofs = 750 17.59/17.69 c 17.59/17.69 c # number of nodes without incumbent change that heuristic should wait 17.59/17.69 c # [type: longint, range: [0,9223372036854775807], default: 200] 17.59/17.69 c heuristics/crossover/nwaitingnodes = 100 17.59/17.69 c 17.59/17.69 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 17.59/17.69 c # [type: real, range: [0,1], default: 0.1] 17.59/17.69 c heuristics/crossover/nodesquot = 0.15 17.59/17.69 c 17.59/17.69 c # minimum percentage of integer variables that have to be fixed 17.59/17.69 c # [type: real, range: [0,1], default: 0.666] 17.59/17.69 c heuristics/crossover/minfixingrate = 0.5 17.59/17.69 c 17.59/17.69 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 17.59/17.69 c # [type: int, range: [-1,2147483647], default: 20] 17.59/17.69 c heuristics/feaspump/freq = -1 17.59/17.69 c 17.59/17.69 c # additional number of allowed LP iterations 17.59/17.69 c # [type: int, range: [0,2147483647], default: 1000] 17.59/17.69 c heuristics/feaspump/maxlpiterofs = 2000 17.59/17.69 c 17.59/17.69 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 17.59/17.69 c # [type: int, range: [-1,2147483647], default: 10] 17.59/17.69 c heuristics/fracdiving/freq = -1 17.59/17.69 c 17.59/17.69 c # maximal fraction of diving LP iterations compared to node LP iterations 17.59/17.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 17.59/17.69 c heuristics/fracdiving/maxlpiterquot = 0.075 17.59/17.69 c 17.59/17.69 c # additional number of allowed LP iterations 17.59/17.69 c # [type: int, range: [0,2147483647], default: 1000] 17.59/17.69 c heuristics/fracdiving/maxlpiterofs = 1500 17.59/17.69 c 17.59/17.69 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 17.59/17.69 c # [type: int, range: [-1,2147483647], default: 10] 17.59/17.69 c heuristics/guideddiving/freq = -1 17.59/17.69 c 17.59/17.69 c # maximal fraction of diving LP iterations compared to node LP iterations 17.59/17.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 17.59/17.69 c heuristics/guideddiving/maxlpiterquot = 0.075 17.59/17.69 c 17.59/17.69 c # additional number of allowed LP iterations 17.59/17.69 c # [type: int, range: [0,2147483647], default: 1000] 17.59/17.69 c heuristics/guideddiving/maxlpiterofs = 1500 17.59/17.70 c 17.59/17.70 c # maximal fraction of diving LP iterations compared to node LP iterations 17.59/17.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 17.59/17.70 c heuristics/intdiving/maxlpiterquot = 0.075 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 10] 17.59/17.70 c heuristics/intshifting/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 10] 17.59/17.70 c heuristics/linesearchdiving/freq = -1 17.59/17.70 c 17.59/17.70 c # maximal fraction of diving LP iterations compared to node LP iterations 17.59/17.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 17.59/17.70 c heuristics/linesearchdiving/maxlpiterquot = 0.075 17.59/17.70 c 17.59/17.70 c # additional number of allowed LP iterations 17.59/17.70 c # [type: int, range: [0,2147483647], default: 1000] 17.59/17.70 c heuristics/linesearchdiving/maxlpiterofs = 1500 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 1] 17.59/17.70 c heuristics/nlp/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 20] 17.59/17.70 c heuristics/objpscostdiving/freq = -1 17.59/17.70 c 17.59/17.70 c # maximal fraction of diving LP iterations compared to total iteration number 17.59/17.70 c # [type: real, range: [0,1], default: 0.01] 17.59/17.70 c heuristics/objpscostdiving/maxlpiterquot = 0.015 17.59/17.70 c 17.59/17.70 c # additional number of allowed LP iterations 17.59/17.70 c # [type: int, range: [0,2147483647], default: 1000] 17.59/17.70 c heuristics/objpscostdiving/maxlpiterofs = 1500 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 1] 17.59/17.70 c heuristics/oneopt/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 10] 17.59/17.70 c heuristics/pscostdiving/freq = -1 17.59/17.70 c 17.59/17.70 c # maximal fraction of diving LP iterations compared to node LP iterations 17.59/17.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 17.59/17.70 c heuristics/pscostdiving/maxlpiterquot = 0.075 17.59/17.70 c 17.59/17.70 c # additional number of allowed LP iterations 17.59/17.70 c # [type: int, range: [0,2147483647], default: 1000] 17.59/17.70 c heuristics/pscostdiving/maxlpiterofs = 1500 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 0] 17.59/17.70 c heuristics/rens/freq = -1 17.59/17.70 c 17.59/17.70 c # minimum percentage of integer variables that have to be fixable 17.59/17.70 c # [type: real, range: [0,1], default: 0.5] 17.59/17.70 c heuristics/rens/minfixingrate = 0.3 17.59/17.70 c 17.59/17.70 c # number of nodes added to the contingent of the total nodes 17.59/17.70 c # [type: longint, range: [0,9223372036854775807], default: 500] 17.59/17.70 c heuristics/rens/nodesofs = 2000 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 20] 17.59/17.70 c heuristics/rootsoldiving/freq = -1 17.59/17.70 c 17.59/17.70 c # maximal fraction of diving LP iterations compared to node LP iterations 17.59/17.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 17.59/17.70 c heuristics/rootsoldiving/maxlpiterquot = 0.015 17.59/17.70 c 17.59/17.70 c # additional number of allowed LP iterations 17.59/17.70 c # [type: int, range: [0,2147483647], default: 1000] 17.59/17.70 c heuristics/rootsoldiving/maxlpiterofs = 1500 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 1] 17.59/17.70 c heuristics/rounding/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 10] 17.59/17.70 c heuristics/shifting/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 1] 17.59/17.70 c heuristics/simplerounding/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 0] 17.59/17.70 c heuristics/trivial/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 1] 17.59/17.70 c heuristics/trysol/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 10] 17.59/17.70 c heuristics/veclendiving/freq = -1 17.59/17.70 c 17.59/17.70 c # maximal fraction of diving LP iterations compared to node LP iterations 17.59/17.70 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 17.59/17.70 c heuristics/veclendiving/maxlpiterquot = 0.075 17.59/17.70 c 17.59/17.70 c # additional number of allowed LP iterations 17.59/17.70 c # [type: int, range: [0,2147483647], default: 1000] 17.59/17.70 c heuristics/veclendiving/maxlpiterofs = 1500 17.59/17.70 c 17.59/17.70 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 1] 17.59/17.70 c heuristics/zirounding/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 0] 17.59/17.70 c separating/cmir/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: 0] 17.59/17.70 c separating/flowcover/freq = -1 17.59/17.70 c 17.59/17.70 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 17.59/17.70 c # [type: int, range: [-1,2147483647], default: -1] 17.59/17.70 c separating/rapidlearning/freq = 0 17.59/17.70 c 17.59/17.70 c ----------------------------------------------------------------------------------------------- 17.59/17.70 c start solving 17.69/17.77 c 458.40/458.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 458.40/458.65 c 455s| 1 | 0 | 26225 | - | 601M| 0 | 16k| 80k| 234k| 80k| 234k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1790.20/1790.95 c 1787s| 1 | 0 | 64240 | - | 601M| 0 | - | 80k| 234k| 80k| 234k| 136 | 0 | 0 | 0.000000e+00 | -- | Inf 1790.30/1791.07 c 1787s| 1 | 2 | 64240 | - | 601M| 0 | - | 80k| 234k| 80k| 234k| 136 | 0 | 0 | 0.000000e+00 | -- | Inf 1790.30/1791.07 c 1790.30/1791.07 c SCIP Status : solving was interrupted [time limit reached] 1790.30/1791.07 c Solving Time (sec) : 1786.98 1790.30/1791.07 c Solving Nodes : 1 1790.30/1791.07 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1790.30/1791.07 c Dual Bound : +0.00000000000000e+00 1790.30/1791.07 c Gap : infinite 1790.30/1791.07 s UNKNOWN 1790.30/1791.07 c SCIP Status : solving was interrupted [time limit reached] 1790.30/1791.07 c Solving Time : 1786.98 1790.30/1791.07 c Original Problem : 1790.30/1791.07 c Problem name : HOME/instance-2704278-1278550669.opb 1790.30/1791.07 c Variables : 87751 (87751 binary, 0 integer, 0 implicit integer, 0 continuous) 1790.30/1791.07 c Constraints : 254772 initial, 254772 maximal 1790.30/1791.07 c Presolved Problem : 1790.30/1791.07 c Problem name : t_HOME/instance-2704278-1278550669.opb 1790.30/1791.07 c Variables : 80022 (80022 binary, 0 integer, 0 implicit integer, 0 continuous) 1790.30/1791.07 c Constraints : 234577 initial, 234577 maximal 1790.30/1791.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1790.30/1791.07 c trivial : 0.38 84 0 0 0 0 0 0 0 1790.30/1791.07 c dualfix : 0.38 0 0 0 0 0 0 0 0 1790.30/1791.07 c boundshift : 0.00 0 0 0 0 0 0 0 0 1790.30/1791.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1790.30/1791.07 c implics : 1.94 0 3089 0 0 0 0 0 0 1790.30/1791.07 c probing : 0.00 0 0 0 0 0 0 0 0 1790.30/1791.07 c knapsack : 0.12 0 0 0 0 0 0 0 0 1790.30/1791.07 c setppc : 0.62 0 0 0 0 0 0 0 0 1790.30/1791.07 c linear : 8.14 4550 6 0 4573 0 20195 3856 8378 1790.30/1791.07 c logicor : 0.27 0 0 0 0 0 0 0 0 1790.30/1791.07 c root node : - 3 - - 3 - - - - 1790.30/1791.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1790.30/1791.07 c integral : 0 0 0 0 0 0 0 0 0 0 1790.30/1791.07 c knapsack : 7712 1 3 0 1 0 0 200 0 0 1790.30/1791.07 c setppc : 151607 1 3 0 1 0 2 0 0 0 1790.30/1791.07 c logicor : 75258 1 2 0 1 0 0 0 0 0 1790.30/1791.07 c countsols : 0 0 0 0 1 0 0 0 0 0 1790.30/1791.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1790.30/1791.07 c integral : 0.00 0.00 0.00 0.00 0.00 1790.30/1791.07 c knapsack : 0.01 0.01 0.00 0.00 0.00 1790.30/1791.07 c setppc : 0.11 0.02 0.04 0.00 0.05 1790.30/1791.07 c logicor : 0.14 0.02 0.09 0.00 0.03 1790.30/1791.07 c countsols : 0.00 0.00 0.00 0.00 0.00 1790.30/1791.07 c Propagators : Time Calls Cutoffs DomReds 1790.30/1791.07 c vbounds : 0.00 1 0 0 1790.30/1791.07 c rootredcost : 0.00 0 0 0 1790.30/1791.07 c pseudoobj : 0.00 0 0 0 1790.30/1791.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1790.30/1791.07 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1790.30/1791.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1790.30/1791.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1790.30/1791.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1790.30/1791.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1790.30/1791.07 c applied globally : - - - 0 0.0 - - - 1790.30/1791.07 c applied locally : - - - 0 0.0 - - - 1790.30/1791.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1790.30/1791.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 355) 1790.30/1791.07 c redcost : 0.01 1 0 0 0 0 1790.30/1791.07 c impliedbounds : 0.12 1 0 0 0 0 1790.30/1791.07 c intobj : 0.00 0 0 0 0 0 1790.30/1791.07 c cgmip : 0.00 0 0 0 0 0 1790.30/1791.07 c gomory : 101.15 1 0 0 500 0 1790.30/1791.07 c strongcg : 167.79 1 0 0 500 0 1790.30/1791.07 c cmir : 0.00 0 0 0 0 0 1790.30/1791.07 c flowcover : 0.00 0 0 0 0 0 1790.30/1791.07 c clique : 7.78 1 0 0 7 0 1790.30/1791.07 c zerohalf : 0.00 0 0 0 0 0 1790.30/1791.07 c mcf : 72.81 1 0 0 0 0 1790.30/1791.07 c rapidlearning : 0.00 0 0 0 0 0 1790.30/1791.07 c Pricers : Time Calls Vars 1790.30/1791.07 c problem variables: 0.00 0 0 1790.30/1791.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1790.30/1791.07 c relpscost : 0.00 0 0 0 0 0 0 1790.30/1791.07 c pscost : 0.00 0 0 0 0 0 0 1790.30/1791.07 c inference : 0.03 1 0 0 0 0 2 1790.30/1791.07 c mostinf : 0.00 0 0 0 0 0 0 1790.30/1791.07 c leastinf : 0.00 0 0 0 0 0 0 1790.30/1791.07 c fullstrong : 0.00 0 0 0 0 0 0 1790.30/1791.07 c allfullstrong : 0.00 0 0 0 0 0 0 1790.30/1791.07 c random : 0.00 0 0 0 0 0 0 1790.30/1791.07 c Primal Heuristics : Time Calls Found 1790.30/1791.07 c LP solutions : 0.00 - 0 1790.30/1791.07 c pseudo solutions : 0.00 - 0 1790.30/1791.07 c trivial : 0.17 1 0 1790.30/1791.07 c simplerounding : 0.00 0 0 1790.30/1791.07 c zirounding : 0.00 0 0 1790.30/1791.07 c rounding : 0.00 0 0 1790.30/1791.07 c shifting : 0.00 0 0 1790.30/1791.07 c intshifting : 0.00 0 0 1790.30/1791.07 c oneopt : 0.00 0 0 1790.30/1791.07 c twoopt : 0.00 0 0 1790.30/1791.07 c fixandinfer : 0.00 0 0 1790.30/1791.07 c feaspump : 0.00 0 0 1790.30/1791.07 c coefdiving : 0.00 0 0 1790.30/1791.07 c pscostdiving : 0.00 0 0 1790.30/1791.07 c fracdiving : 0.00 0 0 1790.30/1791.07 c veclendiving : 0.00 0 0 1790.30/1791.07 c intdiving : 0.00 0 0 1790.30/1791.07 c actconsdiving : 0.00 0 0 1790.30/1791.07 c objpscostdiving : 0.00 0 0 1790.30/1791.07 c rootsoldiving : 0.00 0 0 1790.30/1791.07 c linesearchdiving : 0.00 0 0 1790.30/1791.07 c guideddiving : 0.00 0 0 1790.30/1791.07 c octane : 0.00 0 0 1790.30/1791.07 c rens : 0.00 0 0 1790.30/1791.07 c rins : 0.00 0 0 1790.30/1791.07 c localbranching : 0.00 0 0 1790.30/1791.07 c mutation : 0.00 0 0 1790.30/1791.07 c crossover : 0.00 0 0 1790.30/1791.07 c dins : 0.00 0 0 1790.30/1791.07 c undercover : 0.00 0 0 1790.30/1791.07 c nlp : 0.00 0 0 1790.30/1791.07 c trysol : 0.00 0 0 1790.30/1791.07 c LP : Time Calls Iterations Iter/call Iter/sec 1790.30/1791.07 c primal LP : 0.00 0 0 0.00 - 1790.30/1791.07 c dual LP : 1421.90 2 64240 32120.00 45.18 1790.30/1791.07 c lex dual LP : 0.00 0 0 0.00 - 1790.30/1791.07 c barrier LP : 0.00 0 0 0.00 - 1790.30/1791.07 c diving/probing LP: 0.00 0 0 0.00 - 1790.30/1791.07 c strong branching : 0.00 0 0 0.00 - 1790.30/1791.07 c (at root node) : - 0 0 0.00 - 1790.30/1791.07 c conflict analysis: 0.00 0 0 0.00 - 1790.30/1791.07 c B&B Tree : 1790.30/1791.07 c number of runs : 1 1790.30/1791.07 c nodes : 1 1790.30/1791.07 c nodes (total) : 1 1790.30/1791.07 c nodes left : 2 1790.30/1791.07 c max depth : 0 1790.30/1791.07 c max depth (total): 0 1790.30/1791.07 c backtracks : 0 (0.0%) 1790.30/1791.07 c delayed cutoffs : 0 1790.30/1791.07 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1790.30/1791.07 c avg switch length: 1.00 1790.30/1791.07 c switching time : 0.00 1790.30/1791.07 c Solution : 1790.30/1791.07 c Solutions found : 0 (0 improvements) 1790.30/1791.07 c Primal Bound : - 1790.30/1791.07 c Dual Bound : +0.00000000000000e+00 1790.30/1791.07 c Gap : infinite 1790.30/1791.07 c Root Dual Bound : +0.00000000000000e+00 1790.30/1791.07 c Root Iterations : 64240 1791.90/1792.63 c Time complete: 1791.94.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704278-1278550669/watcher-2704278-1278550669 -o /tmp/evaluation-result-2704278-1278550669/solver-2704278-1278550669 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704278-1278550669.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.91 3/106 26430 /proc/meminfo: memFree=1704776/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=7904 CPUtime=0 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 1043 0 0 0 0 0 0 0 19 0 1 0 23274001 8093696 955 1992294400 4194304 8395647 140734144251920 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 1976 963 365 1026 0 946 0 [startup+0.0300469 s] /proc/loadavg: 0.99 0.98 0.91 3/106 26430 /proc/meminfo: memFree=1704776/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=11464 CPUtime=0.02 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 2142 0 0 0 2 0 0 0 21 0 1 0 23274001 11739136 2054 1992294400 4194304 8395647 140734144251920 18446744073709551615 5758032 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 2866 2054 390 1026 0 1836 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11464 [startup+0.101059 s] /proc/loadavg: 0.99 0.98 0.91 3/106 26430 /proc/meminfo: memFree=1704776/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=16236 CPUtime=0.09 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 3346 0 0 0 8 1 0 0 21 0 1 0 23274001 16625664 3258 1992294400 4194304 8395647 140734144251920 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 4059 3258 390 1026 0 3029 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16236 [startup+0.301093 s] /proc/loadavg: 0.99 0.98 0.91 3/106 26430 /proc/meminfo: memFree=1704776/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=25260 CPUtime=0.29 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 5583 0 0 0 27 2 0 0 21 0 1 0 23274001 25866240 5495 1992294400 4194304 8395647 140734144251920 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 6315 5495 390 1026 0 5285 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25260 [startup+0.701162 s] /proc/loadavg: 0.99 0.98 0.91 3/106 26430 /proc/meminfo: memFree=1704776/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=39584 CPUtime=0.69 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 9199 0 0 0 66 3 0 0 22 0 1 0 23274001 40534016 9111 1992294400 4194304 8395647 140734144251920 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 9896 9111 390 1026 0 8866 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39584 [startup+1.5013 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26431 /proc/meminfo: memFree=1658640/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=69664 CPUtime=1.49 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 16671 0 0 0 143 6 0 0 25 0 1 0 23274001 71335936 16583 1992294400 4194304 8395647 140734144251920 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 17416 16583 390 1026 0 16386 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 69664 [startup+3.10158 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26431 /proc/meminfo: memFree=1615488/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=131256 CPUtime=3.09 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 32027 0 0 0 297 12 0 0 25 0 1 0 23274001 134406144 31939 1992294400 4194304 8395647 140734144251920 18446744073709551615 7370171 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 32814 31939 390 1026 0 31784 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 131256 [startup+6.30113 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26431 /proc/meminfo: memFree=1309084/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=443824 CPUtime=6.29 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 108505 0 0 0 593 36 0 0 25 0 1 0 23274001 454475776 108063 1992294400 4194304 8395647 140734144251920 18446744073709551615 6349193 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 110956 108063 469 1026 0 109926 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 443824 [startup+12.7012 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26431 /proc/meminfo: memFree=1123580/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=598612 CPUtime=12.69 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 145808 0 0 0 1222 47 0 0 25 0 1 0 23274001 612978688 145366 1992294400 4194304 8395647 140734144251920 18446744073709551615 5597507 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 149653 145366 475 1026 0 148623 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 598612 [startup+25.5004 s] /proc/loadavg: 0.99 0.98 0.91 2/107 26431 /proc/meminfo: memFree=785928/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=964720 CPUtime=25.48 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 243020 0 0 0 2469 79 0 0 25 0 1 0 23274001 987873280 229920 1992294400 4194304 8395647 140734144251920 18446744073709551615 6752916 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 241180 229920 801 1026 0 240150 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 964720 [startup+51.1009 s] /proc/loadavg: 1.07 1.00 0.91 2/107 26432 /proc/meminfo: memFree=771916/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1008016 CPUtime=51.06 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 246919 0 0 0 5021 85 0 0 25 0 1 0 23274001 1032208384 233544 1992294400 4194304 8395647 140734144251920 18446744073709551615 6697666 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 252004 233544 949 1026 0 250974 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 1008016 [startup+102.309 s] /proc/loadavg: 1.03 1.00 0.91 2/107 26433 /proc/meminfo: memFree=760880/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1009440 CPUtime=102.24 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 249660 0 0 0 10135 89 0 0 25 0 1 0 23274001 1033666560 236079 1992294400 4194304 8395647 140734144251920 18446744073709551615 6698084 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 252360 236079 743 1026 0 251330 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 1009440 [startup+162.301 s] /proc/loadavg: 1.12 1.03 0.93 2/107 26435 /proc/meminfo: memFree=746868/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1019192 CPUtime=162.21 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 253278 0 0 0 16126 95 0 0 25 0 1 0 23274001 1043652608 239599 1992294400 4194304 8395647 140734144251920 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 254798 239599 744 1026 0 253768 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 1019192 [startup+222.301 s] /proc/loadavg: 1.12 1.04 0.93 2/107 26445 /proc/meminfo: memFree=744264/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1019192 CPUtime=222.18 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 253916 0 0 0 22119 99 0 0 25 0 1 0 23274001 1043652608 240237 1992294400 4194304 8395647 140734144251920 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 254798 240237 744 1026 0 253768 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 1019192 [startup+282.301 s] /proc/loadavg: 1.11 1.04 0.94 2/107 26447 /proc/meminfo: memFree=737444/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1021180 CPUtime=282.16 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 255735 0 0 0 28111 105 0 0 25 0 1 0 23274001 1045688320 242033 1992294400 4194304 8395647 140734144251920 18446744073709551615 7382142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 255295 242033 850 1026 0 254265 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 1021180 [startup+342.301 s] /proc/loadavg: 1.25 1.08 0.95 2/107 26449 /proc/meminfo: memFree=735088/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1021180 CPUtime=342.14 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 256322 0 0 0 34104 110 0 0 25 0 1 0 23274001 1045688320 242620 1992294400 4194304 8395647 140734144251920 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 255295 242620 850 1026 0 254265 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 1021180 [startup+402.301 s] /proc/loadavg: 1.12 1.08 0.96 2/107 26450 /proc/meminfo: memFree=734468/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1021448 CPUtime=402.11 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 256498 0 0 0 40097 114 0 0 25 0 1 0 23274001 1045962752 242796 1992294400 4194304 8395647 140734144251920 18446744073709551615 7382112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 255362 242796 850 1026 0 254332 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 1021448 [startup+462.301 s] /proc/loadavg: 1.04 1.06 0.96 2/107 26452 /proc/meminfo: memFree=733972/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1021756 CPUtime=462.09 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 256641 0 0 0 46090 119 0 0 25 0 1 0 23274001 1046278144 242939 1992294400 4194304 8395647 140734144251920 18446744073709551615 6197315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 255439 242939 884 1026 0 254409 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 1021756 [startup+522.301 s] /proc/loadavg: 1.01 1.05 0.96 2/107 26453 /proc/meminfo: memFree=733848/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1021756 CPUtime=522.06 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 256654 0 0 0 52083 123 0 0 25 0 1 0 23274001 1046278144 242952 1992294400 4194304 8395647 140734144251920 18446744073709551615 6197311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 255439 242952 884 1026 0 254409 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 1021756 [startup+582.302 s] /proc/loadavg: 1.00 1.04 0.96 2/107 26455 /proc/meminfo: memFree=733848/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1021756 CPUtime=582.05 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 256655 0 0 0 58077 128 0 0 25 0 1 0 23274001 1046278144 242953 1992294400 4194304 8395647 140734144251920 18446744073709551615 6124447 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 255439 242953 885 1026 0 254409 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 1021756 [startup+642.301 s] /proc/loadavg: 1.00 1.03 0.96 2/107 26457 /proc/meminfo: memFree=733848/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1021756 CPUtime=642.02 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 256655 0 0 0 64069 133 0 0 25 0 1 0 23274001 1046278144 242953 1992294400 4194304 8395647 140734144251920 18446744073709551615 7385751 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 255439 242953 885 1026 0 254409 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 1021756 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=689456/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1062152 CPUtime=1121.85 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 268454 0 0 0 112024 161 0 0 25 0 1 0 23274001 1087643648 253899 1992294400 4194304 8395647 140734144251920 18446744073709551615 6697790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 265538 253899 785 1026 0 264508 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 1062152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26471 /proc/meminfo: memFree=689084/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1062152 CPUtime=1181.83 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 268544 0 0 0 118018 165 0 0 25 0 1 0 23274001 1087643648 253989 1992294400 4194304 8395647 140734144251920 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 265538 253989 785 1026 0 264508 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 1062152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26473 /proc/meminfo: memFree=688836/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1062152 CPUtime=1241.81 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 268601 0 0 0 124013 168 0 0 25 0 1 0 23274001 1087643648 254046 1992294400 4194304 8395647 140734144251920 18446744073709551615 6698222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 265538 254046 785 1026 0 264508 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 1062152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26474 /proc/meminfo: memFree=676932/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1069416 CPUtime=1301.78 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 271561 0 0 0 130007 171 0 0 25 0 1 0 23274001 1095081984 257001 1992294400 4194304 8395647 140734144251920 18446744073709551615 7382137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267354 257001 784 1026 0 266324 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 1069416 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 0.96 2/107 26479 /proc/meminfo: memFree=676188/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1069416 CPUtime=1361.75 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 271572 0 0 0 136001 174 0 0 25 0 1 0 23274001 1095081984 257012 1992294400 4194304 8395647 140734144251920 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267354 257012 784 1026 0 266324 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 1069416 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 0.96 2/107 26480 /proc/meminfo: memFree=670732/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1069416 CPUtime=1421.74 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 272977 0 0 0 141996 178 0 0 25 0 1 0 23274001 1095081984 258416 1992294400 4194304 8395647 140734144251920 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267354 258416 802 1026 0 266324 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 1069416 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26482 /proc/meminfo: memFree=670732/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1069416 CPUtime=1481.71 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 272977 0 0 0 147991 180 0 0 25 0 1 0 23274001 1095081984 258416 1992294400 4194304 8395647 140734144251920 18446744073709551615 6698205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267354 258416 802 1026 0 266324 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 1069416 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26484 /proc/meminfo: memFree=670732/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1070260 CPUtime=1541.69 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 272981 0 0 0 153985 184 0 0 25 0 1 0 23274001 1095946240 258420 1992294400 4194304 8395647 140734144251920 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267565 258420 802 1026 0 266535 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 1070260 [startup+1602.3 s] /proc/loadavg: 1.07 1.02 0.97 2/107 26485 /proc/meminfo: memFree=670856/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1070540 CPUtime=1601.67 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 272990 0 0 0 159979 188 0 0 25 0 1 0 23274001 1096232960 258429 1992294400 4194304 8395647 140734144251920 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267635 258429 802 1026 0 266605 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 1070540 [startup+1662.3 s] /proc/loadavg: 1.02 1.01 0.97 2/107 26487 /proc/meminfo: memFree=670856/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1070852 CPUtime=1661.65 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 272997 0 0 0 165974 191 0 0 25 0 1 0 23274001 1096552448 258436 1992294400 4194304 8395647 140734144251920 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267713 258436 802 1026 0 266683 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 1070852 [startup+1722.3 s] /proc/loadavg: 1.01 1.00 0.97 2/107 26488 /proc/meminfo: memFree=670732/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1071032 CPUtime=1721.62 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 273004 0 0 0 171968 194 0 0 25 0 1 0 23274001 1096736768 258443 1992294400 4194304 8395647 140734144251920 18446744073709551615 6698072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267758 258443 802 1026 0 266728 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 1071032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 26490 /proc/meminfo: memFree=670732/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1071032 CPUtime=1781.61 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 273011 0 0 0 177964 197 0 0 25 0 1 0 23274001 1096736768 258447 1992294400 4194304 8395647 140734144251920 18446744073709551615 6700421 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267758 258447 799 1026 0 266728 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 1071032 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.97 2/107 26490 /proc/meminfo: memFree=670732/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1071032 CPUtime=1784.8 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 273011 0 0 0 178283 197 0 0 25 0 1 0 23274001 1096736768 258447 1992294400 4194304 8395647 140734144251920 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267758 258447 799 1026 0 266728 0 Current children cumulated CPU time (s) 1784.8 Current children cumulated vsize (KiB) 1071032 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 0.97 2/107 26490 /proc/meminfo: memFree=670732/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1071032 CPUtime=1788.01 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 273011 0 0 0 178603 198 0 0 25 0 1 0 23274001 1096736768 258447 1992294400 4194304 8395647 140734144251920 18446744073709551615 6698222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267758 258447 799 1026 0 266728 0 Current children cumulated CPU time (s) 1788.01 Current children cumulated vsize (KiB) 1071032 [startup+1790.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 26490 /proc/meminfo: memFree=670732/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1071032 CPUtime=1789.6 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 273011 0 0 0 178762 198 0 0 25 0 1 0 23274001 1096736768 258447 1992294400 4194304 8395647 140734144251920 18446744073709551615 7382137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26430/statm: 267758 258447 799 1026 0 266728 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (KiB) 1071032 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.97 2/107 26490 /proc/meminfo: memFree=670608/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1071032 CPUtime=1791.21 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 273020 0 0 0 178923 198 0 0 25 0 1 0 23274001 1096736768 258456 1992294400 4194304 8395647 140734144251920 18446744073709551615 4213860 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 267758 258456 808 1026 0 266728 0 Current children cumulated CPU time (s) 1791.21 Current children cumulated vsize (KiB) 1071032 [startup+1792.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 26490 /proc/meminfo: memFree=670608/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=1068840 CPUtime=1791.6 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 273020 0 0 0 178962 198 0 0 25 0 1 0 23274001 1094492160 257958 1992294400 4194304 8395647 140734144251920 18446744073709551615 4750032 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 267210 257958 808 1026 0 266180 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 1068840 [startup+1792.5 s] /proc/loadavg: 1.00 1.00 0.97 2/107 26490 /proc/meminfo: memFree=670608/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=879332 CPUtime=1791.8 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 273020 0 0 0 178980 200 0 0 25 0 1 0 23274001 900435968 211181 1992294400 4194304 8395647 140734144251920 18446744073709551615 4750263 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 219833 211181 776 1026 0 218803 0 Current children cumulated CPU time (s) 1791.8 Current children cumulated vsize (KiB) 879332 [startup+1792.6 s] /proc/loadavg: 1.00 1.00 0.97 2/107 26490 /proc/meminfo: memFree=670608/2059040 swapFree=4139720/4192956 [pid=26430] ppid=26428 vsize=549820 CPUtime=1791.9 /proc/26430/stat : 26430 (pbscip.linux.x8) R 26428 26430 25841 0 -1 4202496 273021 0 0 0 178985 205 0 0 25 0 1 0 23274001 563015680 86798 1992294400 4194304 8395647 140734144251920 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26430/statm: 137455 86798 623 1026 0 136425 0 Current children cumulated CPU time (s) 1791.9 Current children cumulated vsize (KiB) 549820 Child status: 0 Real time (s): 1792.64 CPU time (s): 1791.94 CPU user time (s): 1789.85 CPU system time (s): 2.09268 CPU usage (%): 99.9614 Max. virtual memory (cumulated for all children) (KiB): 1071032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.85 system time used= 2.09268 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273027 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= 3 involuntary context switches= 3596 runsolver used 2.99654 second user time and 8.43172 second system time The end
Begin job on node048 at 2010-07-08 02:57:50 IDJOB=2704278 IDBENCH=1495 IDSOLVER=1213 FILE ID=node048/2704278-1278550669 PBS_JOBID= 11239493 Free space on /tmp= 62560 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704278-1278550669/watcher-2704278-1278550669 -o /tmp/evaluation-result-2704278-1278550669/solver-2704278-1278550669 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704278-1278550669.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b5564b5f03b34138f988fcf164c2fb6 RANDOM SEED=660975632 node048.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1705304 kB Buffers: 61060 kB Cached: 204864 kB SwapCached: 7124 kB Active: 130360 kB Inactive: 149480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1705304 kB SwapTotal: 4192956 kB SwapFree: 4139720 kB Dirty: 18676 kB Writeback: 0 kB AnonPages: 11456 kB Mapped: 11884 kB Slab: 51980 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180016 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node048 at 2010-07-08 03:27:42