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 | ? | 1789.6 | 1790.08 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_1_15.opb |
MD5SUM | c7cfddeeb3bb3e7896ee6eefe7e9ac17 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 100 |
Total number of constraints | 152 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1220 |
Sum of products size (including duplicates) | 2440 |
Number of different products | 610 |
Sum of products size | 1220 |
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-2702869-1278575080.opb> 0.00/0.02 c original problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 762 constraints 0.00/0.02 c problem read 0.00/0.02 c No objective function, only one solution is needed. 0.00/0.02 c presolving settings loaded 0.00/0.02 c presolving: 0.03/0.09 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 4980 impls, 100 clqs 0.03/0.09 c presolving (2 rounds): 0.03/0.09 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.03/0.09 c 4980 implications, 100 cliques 0.03/0.09 c presolved problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 762 constraints 0.03/0.09 c 1 constraints of type <knapsack> 0.03/0.09 c 150 constraints of type <setppc> 0.03/0.09 c 610 constraints of type <and> 0.03/0.09 c 1 constraints of type <linear> 0.03/0.09 c transformed objective value is always integral (scale: 1) 0.03/0.09 c Presolving Time: 0.07 0.03/0.09 c - non default parameters ---------------------------------------------------------------------- 0.03/0.09 c # SCIP version 1.2.1.3 0.03/0.09 c 0.03/0.09 c # frequency for displaying node information lines 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 100] 0.03/0.09 c display/freq = 10000 0.03/0.09 c 0.03/0.09 c # maximal time in seconds to run 0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.03/0.09 c limits/time = 1789.99 0.03/0.09 c 0.03/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.03/0.09 c limits/memory = 1620 0.03/0.09 c 0.03/0.09 c # solving stops, if the given number of solutions were found (-1: no limit) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: -1] 0.03/0.09 c limits/solutions = 1 0.03/0.09 c 0.03/0.09 c # maximal number of separation rounds per node (-1: unlimited) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 5] 0.03/0.09 c separating/maxrounds = 1 0.03/0.09 c 0.03/0.09 c # maximal number of separation rounds in the root node (-1: unlimited) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: -1] 0.03/0.09 c separating/maxroundsroot = 5 0.03/0.09 c 0.03/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.03/0.09 c # [type: int, range: [1,2], default: 1] 0.03/0.09 c timing/clocktype = 2 0.03/0.09 c 0.03/0.09 c # should presolving try to simplify inequalities 0.03/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.03/0.09 c constraints/linear/simplifyinequalities = TRUE 0.03/0.09 c 0.03/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.03/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.03/0.09 c constraints/indicator/addCouplingCons = TRUE 0.03/0.09 c 0.03/0.09 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.03/0.09 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.03/0.09 c constraints/knapsack/disaggregation = FALSE 0.03/0.09 c 0.03/0.09 c # should presolving try to simplify knapsacks 0.03/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.03/0.09 c constraints/knapsack/simplifyinequalities = TRUE 0.03/0.09 c 0.03/0.09 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: -1] 0.03/0.09 c presolving/probing/maxrounds = 0 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.03/0.09 c heuristics/coefdiving/freq = -1 0.03/0.09 c 0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.03/0.09 c heuristics/coefdiving/maxlpiterquot = 0.075 0.03/0.09 c 0.03/0.09 c # additional number of allowed LP iterations 0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.03/0.09 c heuristics/coefdiving/maxlpiterofs = 1500 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 30] 0.03/0.09 c heuristics/crossover/freq = -1 0.03/0.09 c 0.03/0.09 c # number of nodes added to the contingent of the total nodes 0.03/0.09 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.03/0.09 c heuristics/crossover/nodesofs = 750 0.03/0.09 c 0.03/0.09 c # number of nodes without incumbent change that heuristic should wait 0.03/0.09 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.03/0.09 c heuristics/crossover/nwaitingnodes = 100 0.03/0.09 c 0.03/0.09 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.03/0.09 c # [type: real, range: [0,1], default: 0.1] 0.03/0.09 c heuristics/crossover/nodesquot = 0.15 0.03/0.09 c 0.03/0.09 c # minimum percentage of integer variables that have to be fixed 0.03/0.09 c # [type: real, range: [0,1], default: 0.666] 0.03/0.09 c heuristics/crossover/minfixingrate = 0.5 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 20] 0.03/0.09 c heuristics/feaspump/freq = -1 0.03/0.09 c 0.03/0.09 c # additional number of allowed LP iterations 0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.03/0.09 c heuristics/feaspump/maxlpiterofs = 2000 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.03/0.09 c heuristics/fracdiving/freq = -1 0.03/0.09 c 0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.03/0.09 c heuristics/fracdiving/maxlpiterquot = 0.075 0.03/0.09 c 0.03/0.09 c # additional number of allowed LP iterations 0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.03/0.09 c heuristics/fracdiving/maxlpiterofs = 1500 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.03/0.09 c heuristics/guideddiving/freq = -1 0.03/0.09 c 0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.03/0.09 c heuristics/guideddiving/maxlpiterquot = 0.075 0.03/0.09 c 0.03/0.09 c # additional number of allowed LP iterations 0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.03/0.09 c heuristics/guideddiving/maxlpiterofs = 1500 0.03/0.09 c 0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.03/0.09 c heuristics/intdiving/maxlpiterquot = 0.075 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.03/0.09 c heuristics/intshifting/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.03/0.09 c heuristics/linesearchdiving/freq = -1 0.03/0.09 c 0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.03/0.09 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.03/0.09 c 0.03/0.09 c # additional number of allowed LP iterations 0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.03/0.09 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.03/0.09 c heuristics/nlp/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 20] 0.03/0.09 c heuristics/objpscostdiving/freq = -1 0.03/0.09 c 0.03/0.09 c # maximal fraction of diving LP iterations compared to total iteration number 0.03/0.09 c # [type: real, range: [0,1], default: 0.01] 0.03/0.09 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.03/0.09 c 0.03/0.09 c # additional number of allowed LP iterations 0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.03/0.09 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.03/0.09 c heuristics/oneopt/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.03/0.09 c heuristics/pscostdiving/freq = -1 0.03/0.09 c 0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.03/0.09 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.03/0.09 c 0.03/0.09 c # additional number of allowed LP iterations 0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.03/0.09 c heuristics/pscostdiving/maxlpiterofs = 1500 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 0] 0.03/0.09 c heuristics/rens/freq = -1 0.03/0.09 c 0.03/0.09 c # minimum percentage of integer variables that have to be fixable 0.03/0.09 c # [type: real, range: [0,1], default: 0.5] 0.03/0.09 c heuristics/rens/minfixingrate = 0.3 0.03/0.09 c 0.03/0.09 c # number of nodes added to the contingent of the total nodes 0.03/0.09 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.03/0.09 c heuristics/rens/nodesofs = 2000 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 20] 0.03/0.09 c heuristics/rootsoldiving/freq = -1 0.03/0.09 c 0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.03/0.09 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.03/0.09 c 0.03/0.09 c # additional number of allowed LP iterations 0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.03/0.09 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.03/0.09 c heuristics/rounding/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.03/0.09 c heuristics/shifting/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.03/0.09 c heuristics/simplerounding/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 0] 0.03/0.09 c heuristics/trivial/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.03/0.09 c heuristics/trysol/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.03/0.09 c heuristics/veclendiving/freq = -1 0.03/0.09 c 0.03/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.03/0.09 c heuristics/veclendiving/maxlpiterquot = 0.075 0.03/0.09 c 0.03/0.09 c # additional number of allowed LP iterations 0.03/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.03/0.09 c heuristics/veclendiving/maxlpiterofs = 1500 0.03/0.09 c 0.03/0.09 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.03/0.09 c heuristics/zirounding/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 0] 0.03/0.09 c separating/cmir/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: 0] 0.03/0.09 c separating/flowcover/freq = -1 0.03/0.09 c 0.03/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.03/0.09 c # [type: int, range: [-1,2147483647], default: -1] 0.03/0.09 c separating/rapidlearning/freq = 0 0.03/0.09 c 0.03/0.09 c ----------------------------------------------------------------------------------------------- 0.03/0.09 c start solving 0.03/0.09 c 0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.15 c 0.1s| 1 | 0 | 337 | - |3253k| 0 | 164 | 710 | 762 | 710 |1372 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.81 c 0.8s| 1 | 0 | 399 | - |3939k| 0 | 159 | 710 | 785 | 710 |1387 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 1.19/1.20 c 1.2s| 1 | 0 | 448 | - |4524k| 0 | 166 | 710 | 785 | 710 |1394 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.59 c 1.6s| 1 | 0 | 480 | - |5158k| 0 | 164 | 710 | 785 | 710 |1399 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 1.99/2.02 c 2.0s| 1 | 0 | 576 | - |5886k| 0 | 166 | 710 | 785 | 710 |1406 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf 2.39/2.41 c 2.4s| 1 | 0 | 607 | - |6514k| 0 | 160 | 710 | 785 | 710 |1413 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf 2.99/3.02 c 3.0s| 1 | 2 | 607 | - |6514k| 0 | 160 | 710 | 785 | 710 |1413 | 41 | 0 | 9 | 0.000000e+00 | -- | Inf 254.33/254.41 c 254s| 10000 | 496 |921230 | 92.1 | 10M| 32 | - | 710 |3386 | 710 | 475 | 105k| 10k|4609 | 0.000000e+00 | -- | Inf 476.47/476.60 c 477s| 20000 | 570 | 1851k| 92.6 | 11M| 32 | - | 710 |4349 | 710 | 475 | 193k| 20k|6269 | 0.000000e+00 | -- | Inf 693.71/693.99 c 694s| 30000 | 641 | 2757k| 91.9 | 12M| 32 | 110 | 710 |5156 | 710 | 474 | 278k| 31k|8015 | 0.000000e+00 | -- | Inf 906.66/906.97 c 907s| 40000 | 666 | 3655k| 91.4 | 13M| 37 | 131 | 710 |5274 | 710 | 473 | 360k| 41k|9362 | 0.000000e+00 | -- | Inf 1121.60/1121.91 c 1122s| 50000 | 617 | 4577k| 91.5 | 14M| 37 | - | 710 |6766 | 710 | 479 | 446k| 52k| 10k| 0.000000e+00 | -- | Inf 1338.73/1339.10 c 1339s| 60000 | 601 | 5481k| 91.4 | 14M| 37 | - | 710 |6670 | 710 | 480 | 527k| 63k| 12k| 0.000000e+00 | -- | Inf 1540.27/1540.75 c 1541s| 70000 | 585 | 6341k| 90.6 | 14M| 37 | - | 710 |7461 | 710 | 498 | 598k| 74k| 13k| 0.000000e+00 | -- | Inf 1736.23/1736.78 c 1737s| 80000 | 556 | 7185k| 89.8 | 15M| 39 | 108 | 710 |8008 | 710 | 488 | 667k| 85k| 13k| 0.000000e+00 | -- | Inf 1789.51/1790.03 c 1789.51/1790.03 c SCIP Status : solving was interrupted [time limit reached] 1789.51/1790.03 c Solving Time (sec) : 1790.01 1789.51/1790.03 c Solving Nodes : 82558 1789.51/1790.03 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.51/1790.03 c Dual Bound : +0.00000000000000e+00 1789.51/1790.03 c Gap : infinite 1789.51/1790.03 s UNKNOWN 1789.51/1790.03 c SCIP Status : solving was interrupted [time limit reached] 1789.51/1790.03 c Solving Time : 1790.01 1789.51/1790.03 c Original Problem : 1789.51/1790.03 c Problem name : HOME/instance-2702869-1278575080.opb 1789.51/1790.03 c Variables : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.51/1790.03 c Constraints : 762 initial, 762 maximal 1789.51/1790.03 c Presolved Problem : 1789.51/1790.03 c Problem name : t_HOME/instance-2702869-1278575080.opb 1789.51/1790.03 c Variables : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.51/1790.03 c Constraints : 762 initial, 9449 maximal 1789.51/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.51/1790.03 c trivial : 0.00 0 0 0 0 0 0 0 0 1789.51/1790.03 c dualfix : 0.00 0 0 0 0 0 0 0 0 1789.51/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.51/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.51/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0 1789.51/1790.03 c probing : 0.00 0 0 0 0 0 0 0 0 1789.51/1790.03 c knapsack : 0.00 0 0 0 0 0 0 0 0 1789.51/1790.03 c setppc : 0.00 0 0 0 0 0 0 0 0 1789.51/1790.03 c and : 0.05 0 0 0 0 0 0 0 0 1789.51/1790.03 c linear : 0.01 0 0 0 0 0 0 0 0 1789.51/1790.03 c logicor : 0.00 0 0 0 0 0 0 0 0 1789.51/1790.03 c root node : - 0 - - 0 - - - - 1789.51/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.51/1790.03 c integral : 0 0 0 43073 0 169 2306 0 0 83526 1789.51/1790.03 c knapsack : 1 5 357958 1 0 46 525 0 0 0 1789.51/1790.03 c setppc : 150 5 357947 1 0 364 269930 0 0 0 1789.51/1790.03 c and : 610 52457 357583 1 0 316 2771392 689064 0 0 1789.51/1790.03 c linear : 1+ 6 357267 0 0 6 2200 0 0 0 1789.51/1790.03 c logicor : 0+ 0 134060 0 0 239 119722 0 0 0 1789.51/1790.03 c countsols : 0 0 0 0 0 0 0 0 0 0 1789.51/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.51/1790.03 c integral : 214.98 0.00 0.00 214.98 0.00 1789.51/1790.03 c knapsack : 0.91 0.00 0.91 0.00 0.00 1789.51/1790.03 c setppc : 2.72 0.00 2.72 0.00 0.00 1789.51/1790.03 c and : 25.19 12.02 13.17 0.00 0.00 1789.51/1790.03 c linear : 3.48 0.00 3.48 0.00 0.00 1789.51/1790.03 c logicor : 15.73 0.00 15.73 0.00 0.00 1789.51/1790.03 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.51/1790.03 c Propagators : Time Calls Cutoffs DomReds 1789.51/1790.03 c vbounds : 0.19 1 0 0 1789.51/1790.03 c rootredcost : 0.18 0 0 0 1789.51/1790.03 c pseudoobj : 0.12 0 0 0 1789.51/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.51/1790.03 c propagation : 0.06 971 946 4413 24.1 60 30.8 - 1789.51/1790.03 c infeasible LP : 20.26 39798 36926 359121 27.0 26 13.2 0 1789.51/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.51/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.51/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.51/1790.03 c applied globally : - - - 88483 28.9 - - - 1789.51/1790.03 c applied locally : - - - 0 0.0 - - - 1789.51/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.51/1790.03 c cut pool : 0.00 4 - - 13 - (maximal pool size: 874) 1789.51/1790.03 c redcost : 1.06 52457 0 0 0 0 1789.51/1790.03 c impliedbounds : 0.00 5 0 0 18 0 1789.51/1790.03 c intobj : 0.00 0 0 0 0 0 1789.51/1790.03 c cgmip : 0.00 0 0 0 0 0 1789.51/1790.03 c gomory : 1.17 5 0 0 0 0 1789.51/1790.03 c strongcg : 0.65 5 0 0 2500 0 1789.51/1790.03 c cmir : 0.00 0 0 0 0 0 1789.51/1790.03 c flowcover : 0.00 0 0 0 0 0 1789.51/1790.03 c clique : 0.01 5 0 0 33 0 1789.51/1790.03 c zerohalf : 0.00 0 0 0 0 0 1789.51/1790.03 c mcf : 0.00 1 0 0 0 0 1789.51/1790.03 c rapidlearning : 0.30 1 0 0 0 23 1789.51/1790.03 c Pricers : Time Calls Vars 1789.51/1790.03 c problem variables: 0.00 0 0 1789.51/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.51/1790.03 c relpscost : 214.90 43072 169 2306 0 0 83526 1789.51/1790.03 c pscost : 0.00 0 0 0 0 0 0 1789.51/1790.03 c inference : 0.00 0 0 0 0 0 0 1789.51/1790.03 c mostinf : 0.00 0 0 0 0 0 0 1789.51/1790.03 c leastinf : 0.00 0 0 0 0 0 0 1789.51/1790.03 c fullstrong : 0.00 0 0 0 0 0 0 1789.51/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0 1789.51/1790.03 c random : 0.00 0 0 0 0 0 0 1789.51/1790.03 c Primal Heuristics : Time Calls Found 1789.51/1790.03 c LP solutions : 0.00 - 0 1789.51/1790.03 c pseudo solutions : 0.00 - 0 1789.51/1790.03 c trivial : 0.00 1 0 1789.51/1790.03 c simplerounding : 0.00 0 0 1789.51/1790.03 c zirounding : 0.00 0 0 1789.51/1790.03 c rounding : 0.00 0 0 1789.51/1790.03 c shifting : 0.00 0 0 1789.51/1790.03 c intshifting : 0.00 0 0 1789.51/1790.03 c oneopt : 0.00 0 0 1789.51/1790.03 c twoopt : 0.00 0 0 1789.51/1790.03 c fixandinfer : 0.00 0 0 1789.51/1790.03 c feaspump : 0.00 0 0 1789.51/1790.03 c coefdiving : 0.00 0 0 1789.51/1790.03 c pscostdiving : 0.00 0 0 1789.51/1790.03 c fracdiving : 0.00 0 0 1789.51/1790.03 c veclendiving : 0.00 0 0 1789.51/1790.03 c intdiving : 0.00 0 0 1789.51/1790.03 c actconsdiving : 0.00 0 0 1789.51/1790.03 c objpscostdiving : 0.00 0 0 1789.51/1790.03 c rootsoldiving : 0.00 0 0 1789.51/1790.03 c linesearchdiving : 0.00 0 0 1789.51/1790.03 c guideddiving : 0.00 0 0 1789.51/1790.03 c octane : 0.00 0 0 1789.51/1790.03 c rens : 0.00 0 0 1789.51/1790.03 c rins : 0.00 0 0 1789.51/1790.03 c localbranching : 0.00 0 0 1789.51/1790.03 c mutation : 0.00 0 0 1789.51/1790.03 c crossover : 0.00 0 0 1789.51/1790.03 c dins : 0.00 0 0 1789.51/1790.03 c undercover : 0.00 0 0 1789.51/1790.03 c nlp : 0.00 0 0 1789.51/1790.03 c trysol : 0.00 0 0 1789.51/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec 1789.51/1790.03 c primal LP : 24.51 0 0 0.00 0.00 1789.51/1790.03 c dual LP : 1396.97 134198 7407779 55.20 5302.73 1789.51/1790.03 c lex dual LP : 0.00 0 0 0.00 - 1789.51/1790.03 c barrier LP : 0.00 0 0 0.00 - 1789.51/1790.03 c diving/probing LP: 0.00 0 0 0.00 - 1789.51/1790.03 c strong branching : 211.10 14163 1080910 76.32 5120.33 1789.51/1790.03 c (at root node) : - 9 1644 182.67 - 1789.51/1790.03 c conflict analysis: 0.00 0 0 0.00 - 1789.51/1790.03 c B&B Tree : 1789.51/1790.03 c number of runs : 1 1789.51/1790.03 c nodes : 82558 1789.51/1790.03 c nodes (total) : 82558 1789.51/1790.03 c nodes left : 574 1789.51/1790.03 c max depth : 39 1789.51/1790.03 c max depth (total): 39 1789.51/1790.03 c backtracks : 14148 (17.1%) 1789.51/1790.03 c delayed cutoffs : 395 1789.51/1790.03 c repropagations : 97116 (404562 domain reductions, 143 cutoffs) 1789.51/1790.03 c avg switch length: 5.19 1789.51/1790.03 c switching time : 52.65 1789.51/1790.03 c Solution : 1789.51/1790.03 c Solutions found : 0 (0 improvements) 1789.51/1790.03 c Primal Bound : - 1789.51/1790.03 c Dual Bound : +0.00000000000000e+00 1789.51/1790.03 c Gap : infinite 1789.51/1790.03 c Root Dual Bound : +0.00000000000000e+00 1789.51/1790.03 c Root Iterations : 607 1789.51/1790.07 c Time complete: 1789.58.
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-2702869-1278575080/watcher-2702869-1278575080 -o /tmp/evaluation-result-2702869-1278575080/solver-2702869-1278575080 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702869-1278575080.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: 1.00 0.97 0.91 3/106 30360 /proc/meminfo: memFree=1732564/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=7904 CPUtime=0 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 1050 0 0 0 0 0 0 0 17 0 1 0 25715630 8093696 963 1992294400 4194304 8395647 140737099832032 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30360/statm: 1976 971 365 1026 0 946 0 [startup+0.0369429 s] /proc/loadavg: 1.00 0.97 0.91 3/106 30360 /proc/meminfo: memFree=1732564/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=15860 CPUtime=0.03 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 3327 0 0 0 2 1 0 0 19 0 1 0 25715630 16240640 2886 1992294400 4194304 8395647 140737099832032 18446744073709551615 6220419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 3965 2886 453 1026 0 2935 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 15860 [startup+0.10095 s] /proc/loadavg: 1.00 0.97 0.91 3/106 30360 /proc/meminfo: memFree=1732564/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=17272 CPUtime=0.09 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 3751 0 0 0 8 1 0 0 19 0 1 0 25715630 17686528 3310 1992294400 4194304 8395647 140737099832032 18446744073709551615 6153878 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 4318 3310 523 1026 0 3288 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17272 [startup+0.300972 s] /proc/loadavg: 1.00 0.97 0.91 3/106 30360 /proc/meminfo: memFree=1732564/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=19540 CPUtime=0.29 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 4483 0 0 0 27 2 0 0 19 0 1 0 25715630 20008960 4004 1992294400 4194304 8395647 140737099832032 18446744073709551615 6107101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 4885 4004 589 1026 0 3855 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19540 [startup+0.701015 s] /proc/loadavg: 1.00 0.97 0.91 3/106 30360 /proc/meminfo: memFree=1732564/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=33708 CPUtime=0.69 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 7717 0 0 0 56 13 0 0 19 0 1 0 25715630 34516992 7238 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 8427 7238 617 1026 0 7397 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33708 [startup+1.5011 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30361 /proc/meminfo: memFree=1705896/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=33708 CPUtime=1.49 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 7754 0 0 0 134 15 0 0 21 0 1 0 25715630 34516992 7275 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 8427 7275 625 1026 0 7397 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33708 [startup+3.10128 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30361 /proc/meminfo: memFree=1705400/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=33708 CPUtime=3.09 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 7863 0 0 0 293 16 0 0 25 0 1 0 25715630 34516992 7369 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 8427 7369 626 1026 0 7397 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33708 [startup+6.30063 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30361 /proc/meminfo: memFree=1704904/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=33708 CPUtime=6.29 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 7865 0 0 0 608 21 0 0 25 0 1 0 25715630 34516992 7371 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 8427 7371 628 1026 0 7397 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33708 [startup+12.7013 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30361 /proc/meminfo: memFree=1704904/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=33708 CPUtime=12.69 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 7865 0 0 0 1237 32 0 0 25 0 1 0 25715630 34516992 7371 1992294400 4194304 8395647 140737099832032 18446744073709551615 6696936 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 8427 7371 628 1026 0 7397 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33708 [startup+25.5007 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30363 /proc/meminfo: memFree=1704904/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=33708 CPUtime=25.48 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 7867 0 0 0 2496 52 0 0 25 0 1 0 25715630 34516992 7373 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 8427 7373 628 1026 0 7397 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33708 [startup+51.1005 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30363 /proc/meminfo: memFree=1704904/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=33708 CPUtime=51.08 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 7868 0 0 0 5014 94 0 0 25 0 1 0 25715630 34516992 7374 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 8427 7374 628 1026 0 7397 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33708 [startup+102.308 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30365 /proc/meminfo: memFree=1704160/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=33708 CPUtime=102.27 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 8121 0 0 0 10044 183 0 0 25 0 1 0 25715630 34516992 7627 1992294400 4194304 8395647 140737099832032 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 8427 7627 628 1026 0 7397 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33708 [startup+162.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30365 /proc/meminfo: memFree=1703416/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=34212 CPUtime=162.24 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 8270 0 0 0 15946 278 0 0 25 0 1 0 25715630 35033088 7776 1992294400 4194304 8395647 140737099832032 18446744073709551615 6696960 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 8553 7776 628 1026 0 7523 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34212 [startup+222.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30367 /proc/meminfo: memFree=1702424/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=35356 CPUtime=222.23 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 8546 0 0 0 21847 376 0 0 25 0 1 0 25715630 36204544 8052 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 8839 8052 628 1026 0 7809 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 35356 [startup+282.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30369 /proc/meminfo: memFree=1701060/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=36580 CPUtime=282.21 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 8845 0 0 0 27748 473 0 0 25 0 1 0 25715630 37457920 8351 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 9145 8351 628 1026 0 8115 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 36580 [startup+342.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30371 /proc/meminfo: memFree=1700068/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=37348 CPUtime=342.21 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 9058 0 0 0 33642 579 0 0 25 0 1 0 25715630 38244352 8564 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 9337 8564 628 1026 0 8307 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 37348 [startup+402.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30373 /proc/meminfo: memFree=1699448/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=38060 CPUtime=402.18 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 9236 0 0 0 39545 673 0 0 25 0 1 0 25715630 38973440 8742 1992294400 4194304 8395647 140737099832032 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 9515 8742 628 1026 0 8485 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 38060 [startup+462.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30373 /proc/meminfo: memFree=1698828/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=38748 CPUtime=462.17 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 9370 0 0 0 45446 771 0 0 25 0 1 0 25715630 39677952 8876 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 9687 8876 628 1026 0 8657 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 38748 [startup+522.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30375 /proc/meminfo: memFree=1698084/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=39384 CPUtime=522.15 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 9549 0 0 0 51346 869 0 0 25 0 1 0 25715630 40329216 9055 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 9846 9055 628 1026 0 8816 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 39384 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30377 /proc/meminfo: memFree=1697588/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=39804 CPUtime=582.14 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 9646 0 0 0 57245 969 0 0 25 0 1 0 25715630 40759296 9152 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 9951 9152 628 1026 0 8921 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 39804 [startup+642.301 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30379 /proc/meminfo: memFree=1697340/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=39944 CPUtime=642.13 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 9686 0 0 0 63145 1068 0 0 25 0 1 0 25715630 40902656 9192 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 9986 9192 628 1026 0 8956 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 39944 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1693620/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=42880 CPUtime=1062 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 10527 0 0 0 104443 1757 0 0 25 0 1 0 25715630 43909120 10033 1992294400 4194304 8395647 140737099832032 18446744073709551615 6723506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 10720 10033 727 1026 0 9690 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 42880 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30400 /proc/meminfo: memFree=1690892/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=45528 CPUtime=1121.98 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11202 0 0 0 110342 1856 0 0 25 0 1 0 25715630 46620672 10708 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11382 10708 727 1026 0 10352 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 45528 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30402 /proc/meminfo: memFree=1690892/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=45704 CPUtime=1181.97 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11227 0 0 0 116245 1952 0 0 25 0 1 0 25715630 46800896 10733 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11426 10733 727 1026 0 10396 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 45704 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30404 /proc/meminfo: memFree=1690644/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=45916 CPUtime=1241.96 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11291 0 0 0 122144 2052 0 0 25 0 1 0 25715630 47017984 10797 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11479 10797 727 1026 0 10449 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 45916 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30406 /proc/meminfo: memFree=1690520/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=46048 CPUtime=1301.94 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11306 0 0 0 128048 2146 0 0 25 0 1 0 25715630 47153152 10812 1992294400 4194304 8395647 140737099832032 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11512 10812 727 1026 0 10482 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 46048 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30406 /proc/meminfo: memFree=1690520/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=46048 CPUtime=1361.93 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11313 0 0 0 133945 2248 0 0 25 0 1 0 25715630 47153152 10819 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11512 10819 727 1026 0 10482 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 46048 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30408 /proc/meminfo: memFree=1690396/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=46224 CPUtime=1421.92 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11370 0 0 0 139843 2349 0 0 25 0 1 0 25715630 47333376 10876 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11556 10876 727 1026 0 10526 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 46224 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30410 /proc/meminfo: memFree=1690272/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=46392 CPUtime=1481.89 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11400 0 0 0 145740 2449 0 0 25 0 1 0 25715630 47505408 10906 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11598 10906 727 1026 0 10568 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 46392 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30412 /proc/meminfo: memFree=1690148/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=46392 CPUtime=1541.88 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11400 0 0 0 151640 2548 0 0 25 0 1 0 25715630 47505408 10906 1992294400 4194304 8395647 140737099832032 18446744073709551615 6696936 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11598 10906 727 1026 0 10568 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 46392 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30414 /proc/meminfo: memFree=1690148/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=46392 CPUtime=1601.86 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11409 0 0 0 157548 2638 0 0 25 0 1 0 25715630 47505408 10915 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11598 10915 727 1026 0 10568 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 46392 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30414 /proc/meminfo: memFree=1689900/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=46764 CPUtime=1661.85 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11467 0 0 0 163448 2737 0 0 25 0 1 0 25715630 47886336 10973 1992294400 4194304 8395647 140737099832032 18446744073709551615 6721251 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11691 10973 727 1026 0 10661 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 46764 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30416 /proc/meminfo: memFree=1689404/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=47188 CPUtime=1721.83 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11578 0 0 0 169353 2830 0 0 25 0 1 0 25715630 48320512 11084 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11797 11084 727 1026 0 10767 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 47188 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30418 /proc/meminfo: memFree=1688412/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=47864 CPUtime=1781.81 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11750 0 0 0 175253 2928 0 0 25 0 1 0 25715630 49012736 11256 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11966 11256 727 1026 0 10936 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 47864 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30418 /proc/meminfo: memFree=1688288/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=47864 CPUtime=1785.02 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11768 0 0 0 175568 2934 0 0 25 0 1 0 25715630 49012736 11274 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11966 11274 727 1026 0 10936 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 47864 [startup+1787.1 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30418 /proc/meminfo: memFree=1688288/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=47864 CPUtime=1786.61 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11771 0 0 0 175725 2936 0 0 25 0 1 0 25715630 49012736 11277 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11966 11277 727 1026 0 10936 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (KiB) 47864 [startup+1788.7 s] /proc/loadavg: 1.00 0.97 0.91 3/107 30418 /proc/meminfo: memFree=1688288/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=47864 CPUtime=1788.21 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11772 0 0 0 175882 2939 0 0 25 0 1 0 25715630 49012736 11278 1992294400 4194304 8395647 140737099832032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11966 11278 727 1026 0 10936 0 Current children cumulated CPU time (s) 1788.21 Current children cumulated vsize (KiB) 47864 [startup+1789.5 s] /proc/loadavg: 1.00 0.97 0.91 3/107 30418 /proc/meminfo: memFree=1688288/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=47864 CPUtime=1789.01 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11774 0 0 0 175961 2940 0 0 25 0 1 0 25715630 49012736 11280 1992294400 4194304 8395647 140737099832032 18446744073709551615 4696993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11966 11280 727 1026 0 10936 0 Current children cumulated CPU time (s) 1789.01 Current children cumulated vsize (KiB) 47864 [startup+1789.9 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30418 /proc/meminfo: memFree=1688288/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=47864 CPUtime=1789.41 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11775 0 0 0 176000 2941 0 0 25 0 1 0 25715630 49012736 11281 1992294400 4194304 8395647 140737099832032 18446744073709551615 6108006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11966 11281 727 1026 0 10936 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (KiB) 47864 [startup+1790 s] /proc/loadavg: 1.00 0.97 0.91 2/107 30418 /proc/meminfo: memFree=1688288/2059040 swapFree=4135624/4192956 [pid=30360] ppid=30358 vsize=47864 CPUtime=1789.51 /proc/30360/stat : 30360 (pbscip.linux.x8) R 30358 30360 30157 0 -1 4202496 11775 0 0 0 176010 2941 0 0 25 0 1 0 25715630 49012736 11281 1992294400 4194304 8395647 140737099832032 18446744073709551615 6667522 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30360/statm: 11966 11281 727 1026 0 10936 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (KiB) 47864 Child status: 0 Real time (s): 1790.08 CPU time (s): 1789.6 CPU user time (s): 1760.18 CPU system time (s): 29.4235 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 47864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1760.18 system time used= 29.4235 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11778 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= 2 involuntary context switches= 2445 runsolver used 2.98655 second user time and 8.41872 second system time The end
Begin job on node038 at 2010-07-08 09:44:40 IDJOB=2702869 IDBENCH=48318 IDSOLVER=1213 FILE ID=node038/2702869-1278575080 PBS_JOBID= 11240086 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_1_15.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-2702869-1278575080/watcher-2702869-1278575080 -o /tmp/evaluation-result-2702869-1278575080/solver-2702869-1278575080 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702869-1278575080.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c7cfddeeb3bb3e7896ee6eefe7e9ac17 RANDOM SEED=1159803550 node038.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.215 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.43 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.215 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1733092 kB Buffers: 34340 kB Cached: 191920 kB SwapCached: 11668 kB Active: 34880 kB Inactive: 205776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1733092 kB SwapTotal: 4192956 kB SwapFree: 4135624 kB Dirty: 10428 kB Writeback: 0 kB AnonPages: 11700 kB Mapped: 8508 kB Slab: 63044 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181420 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= 62528 MiB End job on node038 at 2010-07-08 10:14:30