Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.43 | 1800.98 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_1_40.opb |
MD5SUM | 6f80de356bf70dde8dfbe2efc2cb9dee |
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 | 400 |
Total number of constraints | 602 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12408 |
Sum of products size (including duplicates) | 24816 |
Number of different products | 6204 |
Sum of products size | 12408 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE] 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-2664889-1276679719.opb> 0.00/0.08 c original problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6806 constraints 0.00/0.08 c problem read 0.00/0.08 c No objective function, only one solution is needed. 0.00/0.08 c presolving settings loaded 0.09/0.16 c presolving: 0.39/0.46 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50032 impls, 400 clqs 0.59/0.68 c presolving (2 rounds): 0.59/0.68 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.59/0.68 c 50032 implications, 400 cliques 0.59/0.68 c presolved problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 6806 constraints 0.59/0.69 c 1 constraints of type <knapsack> 0.59/0.69 c 400 constraints of type <setppc> 0.59/0.69 c 6204 constraints of type <and> 0.59/0.69 c 1 constraints of type <linear> 0.59/0.69 c 200 constraints of type <logicor> 0.59/0.69 c transformed objective value is always integral (scale: 1) 0.59/0.69 c Presolving Time: 0.35 0.59/0.69 c - non default parameters ---------------------------------------------------------------------- 0.59/0.69 c # SCIP version 1.2.1.2 0.59/0.69 c 0.59/0.69 c # frequency for displaying node information lines 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 100] 0.59/0.69 c display/freq = 10000 0.59/0.69 c 0.59/0.69 c # maximal time in seconds to run 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.59/0.69 c limits/time = 1799.93 0.59/0.69 c 0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.59/0.69 c limits/memory = 1620 0.59/0.69 c 0.59/0.69 c # solving stops, if the given number of solutions were found (-1: no limit) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.69 c limits/solutions = 1 0.59/0.69 c 0.59/0.69 c # maximal number of separation rounds per node (-1: unlimited) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 5] 0.59/0.69 c separating/maxrounds = 1 0.59/0.69 c 0.59/0.69 c # maximal number of separation rounds in the root node (-1: unlimited) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.69 c separating/maxroundsroot = 5 0.59/0.69 c 0.59/0.69 c # should presolving try to simplify inequalities 0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.59/0.69 c constraints/linear/simplifyinequalities = TRUE 0.59/0.69 c 0.59/0.69 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.59/0.69 c constraints/knapsack/disaggregation = FALSE 0.59/0.69 c 0.59/0.69 c # should presolving try to simplify knapsacks 0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.59/0.69 c constraints/knapsack/simplifyinequalities = TRUE 0.59/0.69 c 0.59/0.69 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.69 c presolving/probing/maxrounds = 0 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/coefdiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/coefdiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/coefdiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 30] 0.59/0.69 c heuristics/crossover/freq = -1 0.59/0.69 c 0.59/0.69 c # number of nodes added to the contingent of the total nodes 0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.59/0.69 c heuristics/crossover/nodesofs = 750 0.59/0.69 c 0.59/0.69 c # number of nodes without incumbent change that heuristic should wait 0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.59/0.69 c heuristics/crossover/nwaitingnodes = 100 0.59/0.69 c 0.59/0.69 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.59/0.69 c # [type: real, range: [0,1], default: 0.1] 0.59/0.69 c heuristics/crossover/nodesquot = 0.15 0.59/0.69 c 0.59/0.69 c # minimum percentage of integer variables that have to be fixed 0.59/0.69 c # [type: real, range: [0,1], default: 0.666] 0.59/0.69 c heuristics/crossover/minfixingrate = 0.5 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.69 c heuristics/feaspump/freq = -1 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/feaspump/maxlpiterofs = 2000 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/fracdiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/fracdiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/fracdiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/guideddiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/guideddiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/guideddiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/intdiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/intshifting/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/linesearchdiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/nlp/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.69 c heuristics/objpscostdiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to total iteration number 0.59/0.69 c # [type: real, range: [0,1], default: 0.01] 0.59/0.69 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/oneopt/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/pscostdiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/pscostdiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.69 c heuristics/rens/freq = -1 0.59/0.69 c 0.59/0.69 c # minimum percentage of integer variables that have to be fixable 0.59/0.69 c # [type: real, range: [0,1], default: 0.5] 0.59/0.69 c heuristics/rens/minfixingrate = 0.3 0.59/0.69 c 0.59/0.69 c # number of nodes added to the contingent of the total nodes 0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.59/0.69 c heuristics/rens/nodesofs = 2000 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.69 c heuristics/rootsoldiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.59/0.69 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/rounding/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/shifting/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/simplerounding/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.69 c heuristics/trivial/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/trysol/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/veclendiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/veclendiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/veclendiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/zirounding/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.69 c separating/cmir/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.69 c separating/flowcover/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.69 c separating/rapidlearning/freq = 0 0.59/0.69 c 0.59/0.69 c ----------------------------------------------------------------------------------------------- 0.59/0.69 c start solving 0.59/0.69 c 2.79/2.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.79/2.83 c 2.5s| 1 | 0 | 1113 | - | 29M| 0 | 789 |6604 |6806 |6604 | 13k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 22.99/23.06 c 22.4s| 1 | 0 | 1231 | - | 30M| 0 | 752 |6604 |6806 |6604 | 13k| 7 | 0 | 0 | 0.000000e+00 | -- | Inf 43.28/43.30 c 42.6s| 1 | 0 | 1302 | - | 32M| 0 | 750 |6604 |6806 |6604 | 13k| 12 | 0 | 0 | 0.000000e+00 | -- | Inf 64.48/64.50 c 63.7s| 1 | 0 | 1380 | - | 35M| 0 | 718 |6604 |6806 |6604 | 13k| 18 | 0 | 0 | 0.000000e+00 | -- | Inf 77.57/77.64 c 76.8s| 1 | 0 | 1455 | - | 36M| 0 | 759 |6604 |6806 |6604 | 13k| 24 | 0 | 0 | 0.000000e+00 | -- | Inf 92.76/92.89 c 92.0s| 1 | 0 | 1559 | - | 38M| 0 | 803 |6604 |6806 |6604 | 13k| 31 | 0 | 0 | 0.000000e+00 | -- | Inf 121.56/121.68 c 121s| 1 | 2 | 1559 | - | 38M| 0 | 803 |6604 |6806 |6604 | 13k| 31 | 0 | 13 | 0.000000e+00 | -- | Inf 1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.25/1800.83 c 1800.25/1800.83 c SCIP Status : solving was interrupted [user interrupt] 1800.25/1800.83 c Solving Time (sec) : 1780.04 1800.25/1800.83 c Solving Nodes : 2943 1800.25/1800.83 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.25/1800.83 c Dual Bound : +0.00000000000000e+00 1800.25/1800.83 c Gap : infinite 1800.25/1800.83 s UNKNOWN 1800.25/1800.83 c SCIP Status : solving was interrupted [user interrupt] 1800.25/1800.83 c Solving Time : 1780.04 1800.25/1800.83 c Original Problem : 1800.25/1800.83 c Problem name : HOME/instance-2664889-1276679719.opb 1800.25/1800.83 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.25/1800.83 c Constraints : 6806 initial, 6806 maximal 1800.25/1800.83 c Presolved Problem : 1800.25/1800.83 c Problem name : t_HOME/instance-2664889-1276679719.opb 1800.25/1800.83 c Variables : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.25/1800.83 c Constraints : 6806 initial, 7232 maximal 1800.25/1800.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.25/1800.83 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.25/1800.83 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c implics : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c probing : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.25/1800.83 c and : 0.22 0 0 0 0 0 0 0 0 1800.25/1800.83 c linear : 0.05 0 0 0 0 0 0 0 0 1800.25/1800.83 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.25/1800.83 c root node : - 0 - - 0 - - - - 1800.25/1800.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.25/1800.83 c integral : 0 0 0 1923 0 4 578 0 0 3194 1800.25/1800.83 c knapsack : 1 5 8566 0 0 0 0 0 0 0 1800.25/1800.83 c setppc : 400 5 8566 0 0 50 26328 0 0 0 1800.25/1800.83 c and : 6204 2729 8516 0 0 7 452763 644490 0 0 1800.25/1800.83 c linear : 1 5 8509 0 0 0 0 0 0 0 1800.25/1800.83 c logicor : 200+ 5 3198 0 0 0 1330 0 0 0 1800.25/1800.83 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.25/1800.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.25/1800.83 c integral : 405.29 0.00 0.00 405.29 0.00 1800.25/1800.83 c knapsack : 0.18 0.05 0.13 0.00 0.00 1800.25/1800.83 c setppc : 0.28 0.00 0.28 0.00 0.00 1800.25/1800.83 c and : 9.56 6.56 3.00 0.00 0.00 1800.25/1800.83 c linear : 0.58 0.00 0.58 0.00 0.00 1800.25/1800.83 c logicor : 0.11 0.00 0.11 0.00 0.00 1800.25/1800.83 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.25/1800.83 c Propagators : Time Calls Cutoffs DomReds 1800.25/1800.83 c vbounds : 0.01 1 0 0 1800.25/1800.83 c rootredcost : 0.00 0 0 0 1800.25/1800.83 c pseudoobj : 0.01 0 0 0 1800.25/1800.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.25/1800.83 c propagation : 0.00 57 57 63 6.7 2 73.0 - 1800.25/1800.83 c infeasible LP : 2.90 1285 133 1267 75.9 1 3.0 0 1800.25/1800.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.25/1800.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.25/1800.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.25/1800.83 c applied globally : - - - 593 88.3 - - - 1800.25/1800.83 c applied locally : - - - 0 0.0 - - - 1800.25/1800.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.25/1800.83 c cut pool : 0.01 4 - - 2 - (maximal pool size: 614) 1800.25/1800.83 c redcost : 2.70 2729 0 0 0 0 1800.25/1800.83 c impliedbounds : 0.02 5 0 0 5 0 1800.25/1800.83 c intobj : 0.00 0 0 0 0 0 1800.25/1800.83 c cgmip : 0.00 0 0 0 0 0 1800.25/1800.83 c gomory : 22.20 5 0 0 0 0 1800.25/1800.83 c strongcg : 64.75 5 0 0 2077 0 1800.25/1800.83 c cmir : 0.00 0 0 0 0 0 1800.25/1800.83 c flowcover : 0.00 0 0 0 0 0 1800.25/1800.83 c clique : 0.19 5 0 0 32 0 1800.25/1800.83 c zerohalf : 0.00 0 0 0 0 0 1800.25/1800.83 c mcf : 0.35 3 0 0 3 0 1800.25/1800.83 c rapidlearning : 0.80 1 0 0 0 0 1800.25/1800.83 c Pricers : Time Calls Vars 1800.25/1800.83 c problem variables: 0.00 0 0 1800.25/1800.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.25/1800.83 c relpscost : 405.29 1923 4 578 0 0 3194 1800.25/1800.83 c pscost : 0.00 0 0 0 0 0 0 1800.25/1800.83 c inference : 0.00 0 0 0 0 0 0 1800.25/1800.83 c mostinf : 0.00 0 0 0 0 0 0 1800.25/1800.83 c leastinf : 0.00 0 0 0 0 0 0 1800.25/1800.83 c fullstrong : 0.00 0 0 0 0 0 0 1800.25/1800.83 c allfullstrong : 0.00 0 0 0 0 0 0 1800.25/1800.83 c random : 0.00 0 0 0 0 0 0 1800.25/1800.83 c Primal Heuristics : Time Calls Found 1800.25/1800.83 c LP solutions : 0.00 - 0 1800.25/1800.83 c pseudo solutions : 0.00 - 0 1800.25/1800.83 c trivial : 0.01 1 0 1800.25/1800.83 c simplerounding : 0.00 0 0 1800.25/1800.83 c zirounding : 0.00 0 0 1800.25/1800.83 c rounding : 0.00 0 0 1800.25/1800.83 c shifting : 0.00 0 0 1800.25/1800.83 c intshifting : 0.00 0 0 1800.25/1800.83 c oneopt : 0.00 0 0 1800.25/1800.83 c twoopt : 0.00 0 0 1800.25/1800.83 c fixandinfer : 0.00 0 0 1800.25/1800.83 c feaspump : 0.00 0 0 1800.25/1800.83 c coefdiving : 0.00 0 0 1800.25/1800.83 c pscostdiving : 0.00 0 0 1800.25/1800.83 c fracdiving : 0.00 0 0 1800.25/1800.83 c veclendiving : 0.00 0 0 1800.25/1800.83 c intdiving : 0.00 0 0 1800.25/1800.83 c actconsdiving : 0.00 0 0 1800.25/1800.83 c objpscostdiving : 0.00 0 0 1800.25/1800.83 c rootsoldiving : 0.00 0 0 1800.25/1800.83 c linesearchdiving : 0.00 0 0 1800.25/1800.83 c guideddiving : 0.00 0 0 1800.25/1800.83 c octane : 0.00 0 0 1800.25/1800.83 c rens : 0.00 0 0 1800.25/1800.83 c rins : 0.00 0 0 1800.25/1800.83 c localbranching : 0.00 0 0 1800.25/1800.83 c mutation : 0.00 0 0 1800.25/1800.83 c crossover : 0.00 0 0 1800.25/1800.83 c dins : 0.00 0 0 1800.25/1800.83 c undercover : 0.00 0 0 1800.25/1800.83 c nlp : 0.00 0 0 1800.25/1800.83 c trysol : 0.00 0 0 1800.25/1800.83 c LP : Time Calls Iterations Iter/call Iter/sec 1800.25/1800.83 c primal LP : 127.36 0 0 0.00 0.00 1800.25/1800.83 c dual LP : 1110.95 5937 1005432 169.35 905.02 1800.25/1800.83 c lex dual LP : 0.00 0 0 0.00 - 1800.25/1800.83 c barrier LP : 0.00 0 0 0.00 - 1800.25/1800.83 c diving/probing LP: 0.00 0 0 0.00 - 1800.25/1800.83 c strong branching : 404.91 4482 589464 131.52 1455.79 1800.25/1800.83 c (at root node) : - 13 10247 788.23 - 1800.25/1800.83 c conflict analysis: 0.00 0 0 0.00 - 1800.25/1800.83 c B&B Tree : 1800.25/1800.83 c number of runs : 1 1800.25/1800.83 c nodes : 2943 1800.25/1800.83 c nodes (total) : 2943 1800.25/1800.83 c nodes left : 252 1800.25/1800.83 c max depth : 35 1800.25/1800.83 c max depth (total): 35 1800.25/1800.83 c backtracks : 597 (20.3%) 1800.25/1800.83 c delayed cutoffs : 0 1800.25/1800.83 c repropagations : 870 (4248 domain reductions, 0 cutoffs) 1800.25/1800.83 c avg switch length: 4.69 1800.25/1800.83 c switching time : 132.11 1800.25/1800.83 c Solution : 1800.25/1800.83 c Solutions found : 0 (0 improvements) 1800.25/1800.83 c Primal Bound : - 1800.25/1800.83 c Dual Bound : +0.00000000000000e+00 1800.25/1800.83 c Gap : infinite 1800.25/1800.83 c Root Dual Bound : +0.00000000000000e+00 1800.25/1800.83 c Root Iterations : 1559 1800.34/1800.97 c Time complete: 1800.42.
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-2664889-1276679719/watcher-2664889-1276679719 -o /tmp/evaluation-result-2664889-1276679719/solver-2664889-1276679719 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664889-1276679719.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.92 0.98 0.99 3/106 15242 /proc/meminfo: memFree=1726284/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=9288 CPUtime=0 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 1167 0 0 0 0 0 0 0 20 0 1 0 43575886 9510912 1087 1992294400 4194304 9819077 140734737573024 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15242/statm: 2322 1096 371 1374 0 943 0 [startup+0.088889 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15242 /proc/meminfo: memFree=1726284/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=18836 CPUtime=0.08 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 3897 0 0 0 7 1 0 0 20 0 1 0 43575886 19288064 3463 1992294400 4194304 9819077 140734737573024 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 4709 3476 423 1374 0 3330 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18836 [startup+0.10089 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15242 /proc/meminfo: memFree=1726284/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=24568 CPUtime=0.09 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 5453 0 0 0 8 1 0 0 20 0 1 0 43575886 25157632 5019 1992294400 4194304 9819077 140734737573024 18446744073709551615 6180880 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 6142 5019 426 1374 0 4763 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24568 [startup+0.30091 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15242 /proc/meminfo: memFree=1726284/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=33524 CPUtime=0.29 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 7764 0 0 0 22 7 0 0 20 0 1 0 43575886 34328576 7073 1992294400 4194304 9819077 140734737573024 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 8381 7073 472 1374 0 7002 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33524 [startup+0.700952 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15242 /proc/meminfo: memFree=1726284/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=40620 CPUtime=0.69 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 11327 0 0 0 46 23 0 0 21 0 1 0 43575886 41594880 8837 1992294400 4194304 9819077 140734737573024 18446744073709551615 6012970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 10155 8837 530 1374 0 8776 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40620 [startup+1.50103 s] /proc/loadavg: 0.92 0.98 0.99 2/107 15243 /proc/meminfo: memFree=1671096/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=69108 CPUtime=1.49 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 17741 0 0 0 124 25 0 0 22 0 1 0 43575886 70766592 14784 1992294400 4194304 9819077 140734737573024 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 17277 14784 636 1374 0 15898 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 69108 [startup+3.1012 s] /proc/loadavg: 0.92 0.98 0.99 2/107 15243 /proc/meminfo: memFree=1669112/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=70952 CPUtime=3.09 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 19698 0 0 0 283 26 0 0 25 0 1 0 43575886 72654848 14445 1992294400 4194304 9819077 140734737573024 18446744073709551615 6044402 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 17738 14445 662 1374 0 16359 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 70952 [startup+6.30152 s] /proc/loadavg: 0.93 0.98 0.99 2/107 15243 /proc/meminfo: memFree=1670352/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=70952 CPUtime=6.29 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 19698 0 0 0 602 27 0 0 25 0 1 0 43575886 72654848 14445 1992294400 4194304 9819077 140734737573024 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 17738 14445 662 1374 0 16359 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 70952 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/107 15243 /proc/meminfo: memFree=1668740/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=72632 CPUtime=12.69 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 20142 0 0 0 1240 29 0 0 25 0 1 0 43575886 74375168 14884 1992294400 4194304 9819077 140734737573024 18446744073709551615 8494986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 18158 14884 661 1374 0 16779 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72632 [startup+25.5005 s] /proc/loadavg: 0.95 0.98 0.99 2/107 15243 /proc/meminfo: memFree=1665144/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=76204 CPUtime=25.48 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 33238 0 0 0 2491 57 0 0 25 0 1 0 43575886 78032896 15801 1992294400 4194304 9819077 140734737573024 18446744073709551615 6044355 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 19051 15801 695 1374 0 17672 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76204 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/107 15245 /proc/meminfo: memFree=1660680/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=80836 CPUtime=51.07 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 35524 0 0 0 5043 64 0 0 25 0 1 0 43575886 82776064 16918 1992294400 4194304 9819077 140734737573024 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 20209 16918 695 1374 0 18830 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 80836 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 15245 /proc/meminfo: memFree=1646544/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=104856 CPUtime=102.27 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 52565 0 0 0 10141 86 0 0 25 0 1 0 43575886 107372544 20455 1992294400 4194304 9819077 140734737573024 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 26214 20455 701 1374 0 24835 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 104856 [startup+162.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15247 /proc/meminfo: memFree=1649644/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=90296 CPUtime=162.24 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 113816 0 0 0 16095 129 0 0 25 0 1 0 43575886 92463104 19535 1992294400 4194304 9819077 140734737573024 18446744073709551615 6676868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 22574 19535 723 1374 0 21195 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 90296 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15249 /proc/meminfo: memFree=1648528/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=93132 CPUtime=222.22 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 183595 0 0 0 22049 173 0 0 25 0 1 0 43575886 95367168 19853 1992294400 4194304 9819077 140734737573024 18446744073709551615 7309280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 23283 19853 723 1374 0 21904 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 93132 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15251 /proc/meminfo: memFree=1648032/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=96620 CPUtime=282.21 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 247182 0 0 0 28007 214 0 0 25 0 1 0 43575886 98938880 20075 1992294400 4194304 9819077 140734737573024 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 24155 20075 727 1374 0 22776 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 96620 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15251 /proc/meminfo: memFree=1648404/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=90252 CPUtime=342.19 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 315130 0 0 0 33955 264 0 0 25 0 1 0 43575886 92418048 19725 1992294400 4194304 9819077 140734737573024 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 22563 19725 727 1374 0 21184 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 90252 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15253 /proc/meminfo: memFree=1647288/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=99708 CPUtime=402.17 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 408136 0 0 0 39888 329 0 0 25 0 1 0 43575886 102100992 20178 1992294400 4194304 9819077 140734737573024 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 24927 20178 727 1374 0 23548 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 99708 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15255 /proc/meminfo: memFree=1647164/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=100256 CPUtime=462.15 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 513691 0 0 0 45821 394 0 0 25 0 1 0 43575886 102662144 20200 1992294400 4194304 9819077 140734737573024 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 25064 20200 727 1374 0 23685 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 100256 [startup+522.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15257 /proc/meminfo: memFree=1646048/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=93624 CPUtime=522.13 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 648352 0 0 0 51735 478 0 0 25 0 1 0 43575886 95870976 20329 1992294400 4194304 9819077 140734737573024 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 23406 20329 727 1374 0 22027 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 93624 [startup+582.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15259 /proc/meminfo: memFree=1645180/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=94064 CPUtime=582.11 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 774005 0 0 0 57658 553 0 0 25 0 1 0 43575886 96321536 20552 1992294400 4194304 9819077 140734737573024 18446744073709551615 7312742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 23516 20552 727 1374 0 22137 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 94064 [startup+642.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15259 /proc/meminfo: memFree=1645304/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=94148 CPUtime=642.1 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 916591 0 0 0 63578 632 0 0 25 0 1 0 43575886 96407552 20565 1992294400 4194304 9819077 140734737573024 18446744073709551615 6003331 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 23537 20565 727 1374 0 22158 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 94148 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15267 /proc/meminfo: memFree=1641336/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=106208 CPUtime=941.99 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 1533200 0 0 0 93201 998 0 0 25 0 1 0 43575886 108756992 21493 1992294400 4194304 9819077 140734737573024 18446744073709551615 6698789 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 26552 21493 727 1374 0 25173 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 106208 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15269 /proc/meminfo: memFree=1641584/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=97852 CPUtime=1001.97 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 1649569 0 0 0 99132 1065 0 0 25 0 1 0 43575886 100200448 21430 1992294400 4194304 9819077 140734737573024 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 24463 21430 727 1374 0 23084 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 97852 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15271 /proc/meminfo: memFree=1640592/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=98900 CPUtime=1061.96 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 1769825 0 0 0 105059 1137 0 0 25 0 1 0 43575886 101273600 21644 1992294400 4194304 9819077 140734737573024 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 24725 21644 727 1374 0 23346 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 98900 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15273 /proc/meminfo: memFree=1640592/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=105272 CPUtime=1121.95 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 1883230 0 0 0 110987 1208 0 0 25 0 1 0 43575886 107798528 21707 1992294400 4194304 9819077 140734737573024 18446744073709551615 7480871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 26318 21707 727 1374 0 24939 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 105272 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15275 /proc/meminfo: memFree=1639848/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=98796 CPUtime=1181.92 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 2003828 0 0 0 116916 1276 0 0 25 0 1 0 43575886 101167104 21808 1992294400 4194304 9819077 140734737573024 18446744073709551615 6823123 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 24699 21808 727 1374 0 23320 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 98796 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15275 /proc/meminfo: memFree=1638980/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=100040 CPUtime=1241.91 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 2123906 0 0 0 122839 1352 0 0 25 0 1 0 43575886 102440960 22049 1992294400 4194304 9819077 140734737573024 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 25010 22049 727 1374 0 23631 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 100040 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15277 /proc/meminfo: memFree=1638856/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=100060 CPUtime=1301.9 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 2242436 0 0 0 128773 1417 0 0 25 0 1 0 43575886 102461440 22153 1992294400 4194304 9819077 140734737573024 18446744073709551615 7308981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 25015 22153 727 1374 0 23636 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 100060 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15279 /proc/meminfo: memFree=1638732/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=100232 CPUtime=1361.87 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 2363937 0 0 0 134701 1486 0 0 25 0 1 0 43575886 102637568 22083 1992294400 4194304 9819077 140734737573024 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 25058 22083 727 1374 0 23679 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 100232 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15281 /proc/meminfo: memFree=1637988/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=109700 CPUtime=1421.86 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 2494499 0 0 0 140624 1562 0 0 25 0 1 0 43575886 112332800 22338 1992294400 4194304 9819077 140734737573024 18446744073709551615 7289309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 27425 22338 727 1374 0 26046 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 109700 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15283 /proc/meminfo: memFree=1637616/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=101120 CPUtime=1481.84 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 2612727 0 0 0 146554 1630 0 0 25 0 1 0 43575886 103546880 22364 1992294400 4194304 9819077 140734737573024 18446744073709551615 7293330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 25280 22364 727 1374 0 23901 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 101120 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15283 /proc/meminfo: memFree=1636376/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=103016 CPUtime=1541.82 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 2730121 0 0 0 152485 1697 0 0 25 0 1 0 43575886 105488384 22687 1992294400 4194304 9819077 140734737573024 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 25754 22687 727 1374 0 24375 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 103016 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15285 /proc/meminfo: memFree=1636500/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=102848 CPUtime=1601.8 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 2858748 0 0 0 158401 1779 0 0 25 0 1 0 43575886 105316352 23111 1992294400 4194304 9819077 140734737573024 18446744073709551615 7317729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 25712 23111 727 1374 0 24333 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 102848 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15287 /proc/meminfo: memFree=1635508/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=104192 CPUtime=1661.79 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 2977539 0 0 0 164325 1854 0 0 25 0 1 0 43575886 106692608 23011 1992294400 4194304 9819077 140734737573024 18446744073709551615 7326159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 26048 23011 727 1374 0 24669 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 104192 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15289 /proc/meminfo: memFree=1635012/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=101708 CPUtime=1721.77 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 3090155 0 0 0 170258 1919 0 0 25 0 1 0 43575886 104148992 22896 1992294400 4194304 9819077 140734737573024 18446744073709551615 6372188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 25427 22899 727 1374 0 24048 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 101708 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15291 /proc/meminfo: memFree=1634392/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=104452 CPUtime=1781.75 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 3215687 0 0 0 176179 1996 0 0 25 0 1 0 43575886 106958848 23025 1992294400 4194304 9819077 140734737573024 18446744073709551615 7291689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 26113 23025 727 1374 0 24734 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 104452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15291 /proc/meminfo: memFree=1633772/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=105376 CPUtime=1800.07 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 3250696 0 0 0 177990 2017 0 0 25 0 1 0 43575886 107905024 23341 1992294400 4194304 9819077 140734737573024 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 26344 23341 727 1374 0 24965 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 105376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15291 /proc/meminfo: memFree=1633772/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=105404 CPUtime=1800.25 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 3250971 0 0 0 178008 2017 0 0 25 0 1 0 43575886 107933696 23343 1992294400 4194304 9819077 140734737573024 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15242/statm: 26351 23343 727 1374 0 24972 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 105404 [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/107 15291 /proc/meminfo: memFree=1633772/2059040 swapFree=4135684/4192956 [pid=15242] ppid=15240 vsize=103740 CPUtime=1800.34 /proc/15242/stat : 15242 (pbscip.linux.x8) R 15240 15242 14966 0 -1 4202496 3251042 0 0 0 178017 2017 0 0 25 0 1 0 43575886 106229760 22768 1992294400 4194304 9819077 140734737573024 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15242/statm: 25935 22768 730 1374 0 24556 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 103740 Child status: 0 Real time (s): 1800.98 CPU time (s): 1800.43 CPU user time (s): 1780.24 CPU system time (s): 20.1869 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 113316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.24 system time used= 20.1869 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3251046 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= 4 involuntary context switches= 2508 runsolver used 2.89256 second user time and 8.59369 second system time The end
Begin job on node002 at 2010-06-16 11:15:19 IDJOB=2664889 IDBENCH=48337 IDSOLVER=1168 FILE ID=node002/2664889-1276679719 PBS_JOBID= 11172560 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_1_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664889-1276679719/watcher-2664889-1276679719 -o /tmp/evaluation-result-2664889-1276679719/solver-2664889-1276679719 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664889-1276679719.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6f80de356bf70dde8dfbe2efc2cb9dee RANDOM SEED=18650746 node002.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.242 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.48 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1726688 kB Buffers: 107124 kB Cached: 130556 kB SwapCached: 10940 kB Active: 112020 kB Inactive: 139192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1726688 kB SwapTotal: 4192956 kB SwapFree: 4135684 kB Dirty: 6368 kB Writeback: 0 kB AnonPages: 11676 kB Mapped: 9392 kB Slab: 59260 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182204 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= 62564 MiB End job on node002 at 2010-06-16 11:45:22