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.2 | 1800.73 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_3_15.opb |
MD5SUM | 0f8b3c4075c45404d33689fa65bc6a7e |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6180 |
Sum of products size (including duplicates) | 12360 |
Number of different products | 3090 |
Sum of products size | 6180 |
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-2664869-1276678349.opb> 0.00/0.04 c original problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3392 constraints 0.00/0.04 c problem read 0.00/0.04 c No objective function, only one solution is needed. 0.00/0.04 c presolving settings loaded 0.06/0.08 c presolving: 0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 24920 impls, 200 clqs 0.49/0.50 c presolving (2 rounds): 0.49/0.50 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.49/0.50 c 24920 implications, 200 cliques 0.49/0.50 c presolved problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3392 constraints 0.49/0.50 c 1 constraints of type <knapsack> 0.49/0.50 c 200 constraints of type <setppc> 0.49/0.50 c 3090 constraints of type <and> 0.49/0.50 c 1 constraints of type <linear> 0.49/0.50 c 100 constraints of type <logicor> 0.49/0.50 c transformed objective value is always integral (scale: 1) 0.49/0.50 c Presolving Time: 0.25 0.49/0.50 c - non default parameters ---------------------------------------------------------------------- 0.49/0.50 c # SCIP version 1.2.1.2 0.49/0.50 c 0.49/0.50 c # frequency for displaying node information lines 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100] 0.49/0.50 c display/freq = 10000 0.49/0.50 c 0.49/0.50 c # maximal time in seconds to run 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.50 c limits/time = 1799.97 0.49/0.50 c 0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.50 c limits/memory = 1620 0.49/0.50 c 0.49/0.50 c # solving stops, if the given number of solutions were found (-1: no limit) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c limits/solutions = 1 0.49/0.50 c 0.49/0.50 c # maximal number of separation rounds per node (-1: unlimited) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 5] 0.49/0.50 c separating/maxrounds = 1 0.49/0.50 c 0.49/0.50 c # maximal number of separation rounds in the root node (-1: unlimited) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c separating/maxroundsroot = 5 0.49/0.50 c 0.49/0.50 c # should presolving try to simplify inequalities 0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.50 c constraints/linear/simplifyinequalities = TRUE 0.49/0.50 c 0.49/0.50 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.49/0.50 c constraints/knapsack/disaggregation = FALSE 0.49/0.50 c 0.49/0.50 c # should presolving try to simplify knapsacks 0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.50 c constraints/knapsack/simplifyinequalities = TRUE 0.49/0.50 c 0.49/0.50 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c presolving/probing/maxrounds = 0 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/coefdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/coefdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/coefdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 30] 0.49/0.50 c heuristics/crossover/freq = -1 0.49/0.50 c 0.49/0.50 c # number of nodes added to the contingent of the total nodes 0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.50 c heuristics/crossover/nodesofs = 750 0.49/0.50 c 0.49/0.50 c # number of nodes without incumbent change that heuristic should wait 0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.49/0.50 c heuristics/crossover/nwaitingnodes = 100 0.49/0.50 c 0.49/0.50 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.49/0.50 c # [type: real, range: [0,1], default: 0.1] 0.49/0.50 c heuristics/crossover/nodesquot = 0.15 0.49/0.50 c 0.49/0.50 c # minimum percentage of integer variables that have to be fixed 0.49/0.50 c # [type: real, range: [0,1], default: 0.666] 0.49/0.50 c heuristics/crossover/minfixingrate = 0.5 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.50 c heuristics/feaspump/freq = -1 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/feaspump/maxlpiterofs = 2000 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/fracdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/fracdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/fracdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/guideddiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/guideddiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/guideddiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/intdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/intshifting/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/linesearchdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/nlp/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.50 c heuristics/objpscostdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to total iteration number 0.49/0.50 c # [type: real, range: [0,1], default: 0.01] 0.49/0.50 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/oneopt/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/pscostdiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/pscostdiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.50 c heuristics/rens/freq = -1 0.49/0.50 c 0.49/0.50 c # minimum percentage of integer variables that have to be fixable 0.49/0.50 c # [type: real, range: [0,1], default: 0.5] 0.49/0.50 c heuristics/rens/minfixingrate = 0.3 0.49/0.50 c 0.49/0.50 c # number of nodes added to the contingent of the total nodes 0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.50 c heuristics/rens/nodesofs = 2000 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.50 c heuristics/rootsoldiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.49/0.50 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/rounding/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/shifting/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/simplerounding/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.50 c heuristics/trivial/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/trysol/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.50 c heuristics/veclendiving/freq = -1 0.49/0.50 c 0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.50 c heuristics/veclendiving/maxlpiterquot = 0.075 0.49/0.50 c 0.49/0.50 c # additional number of allowed LP iterations 0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.50 c heuristics/veclendiving/maxlpiterofs = 1500 0.49/0.50 c 0.49/0.50 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.50 c heuristics/zirounding/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.50 c separating/cmir/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.50 c separating/flowcover/freq = -1 0.49/0.50 c 0.49/0.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.50 c separating/rapidlearning/freq = 0 0.49/0.50 c 0.49/0.50 c ----------------------------------------------------------------------------------------------- 0.49/0.50 c start solving 0.49/0.50 c 0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.69/0.70 c 0.5s| 1 | 0 | 308 | - | 14M| 0 | 244 |3290 |3392 |3290 |6482 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 2.89/2.91 c 2.5s| 1 | 0 | 393 | - | 15M| 0 | 211 |3290 |3392 |3290 |6489 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf 4.79/4.89 c 4.4s| 1 | 0 | 435 | - | 16M| 0 | 200 |3290 |3392 |3290 |6496 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 6.79/6.83 c 6.3s| 1 | 0 | 481 | - | 16M| 0 | 202 |3290 |3392 |3290 |6503 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 8.89/8.98 c 8.5s| 1 | 0 | 555 | - | 17M| 0 | 236 |3290 |3392 |3290 |6510 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf 11.38/11.42 c 10.9s| 1 | 0 | 598 | - | 18M| 0 | 262 |3290 |3392 |3290 |6519 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf 17.19/17.24 c 16.7s| 1 | 2 | 598 | - | 18M| 0 | 262 |3290 |3392 |3290 |6519 | 37 | 0 | 9 | 0.000000e+00 | -- | Inf 371.38/371.51 c 360s| 10000 | 285 |656721 | 65.6 | 23M| 35 | - |3290 |4246 |3290 | 807 | 436k|3168 |8487 | 0.000000e+00 | -- | Inf 678.08/678.35 c 656s| 20000 | 396 | 1281k| 64.0 | 25M| 41 | - |3290 |4851 |3290 | 810 | 784k|7484 | 13k| 0.000000e+00 | -- | Inf 940.70/941.04 c 911s| 30000 | 500 | 1854k| 61.8 | 28M| 44 | - |3290 |5557 |3290 | 804 |1071k| 12k| 16k| 0.000000e+00 | -- | Inf 1228.12/1228.57 c 1189s| 40000 | 580 | 2458k| 61.4 | 29M| 45 | 47 |3290 |5312 |3290 | 803 |1418k| 16k| 19k| 0.000000e+00 | -- | Inf 1512.45/1512.94 c 1464s| 50000 | 652 | 3082k| 61.6 | 30M| 45 | - |3290 |5710 |3290 | 775 |1747k| 21k| 22k| 0.000000e+00 | -- | Inf 1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.08/1800.62 c 1800.08/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.62 c Solving Time (sec) : 1742.88 1800.08/1800.62 c Solving Nodes : 59810 1800.08/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.08/1800.62 c Dual Bound : +0.00000000000000e+00 1800.08/1800.62 c Gap : infinite 1800.08/1800.62 s UNKNOWN 1800.08/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.62 c Solving Time : 1742.88 1800.08/1800.62 c Original Problem : 1800.08/1800.62 c Problem name : HOME/instance-2664869-1276678349.opb 1800.08/1800.62 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.62 c Constraints : 3392 initial, 3392 maximal 1800.08/1800.62 c Presolved Problem : 1800.08/1800.62 c Problem name : t_HOME/instance-2664869-1276678349.opb 1800.08/1800.62 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.62 c Constraints : 3392 initial, 5825 maximal 1800.08/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.08/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.62 c and : 0.20 0 0 0 0 0 0 0 0 1800.08/1800.62 c linear : 0.02 0 0 0 0 0 0 0 0 1800.08/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.62 c root node : - 0 - - 0 - - - - 1800.08/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.08/1800.62 c integral : 0 0 0 32169 0 53 2142 0 0 60736 1800.08/1800.62 c knapsack : 1 5 201667 142 0 87 1275 0 0 0 1800.08/1800.62 c setppc : 200 5 201736 142 0 1200 386431 0 0 0 1800.08/1800.62 c and : 3090 51981 200536 142 0 166 4493408 2103049 0 0 1800.08/1800.62 c linear : 1 5 200366 0 0 11 67 0 0 0 1800.08/1800.62 c logicor : 100+ 5 82736 0 0 102 67508 0 0 0 1800.08/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.08/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.08/1800.62 c integral : 205.52 0.00 0.00 205.52 0.00 1800.08/1800.62 c knapsack : 1.17 0.01 1.16 0.00 0.00 1800.08/1800.62 c setppc : 2.08 0.00 2.08 0.00 0.00 1800.08/1800.62 c and : 44.54 23.44 21.06 0.04 0.00 1800.08/1800.62 c linear : 5.96 0.00 5.96 0.00 0.00 1800.08/1800.62 c logicor : 4.73 0.00 4.73 0.00 0.00 1800.08/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.08/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.08/1800.62 c vbounds : 0.17 1 0 0 1800.08/1800.62 c rootredcost : 0.18 0 0 0 1800.08/1800.62 c pseudoobj : 0.07 0 0 0 1800.08/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.08/1800.62 c propagation : 0.10 1566 1549 3378 43.0 62 57.3 - 1800.08/1800.62 c infeasible LP : 39.15 27850 5757 55533 72.8 48 2.9 0 1800.08/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.08/1800.62 c applied globally : - - - 24576 71.9 - - - 1800.08/1800.62 c applied locally : - - - 0 0.0 - - - 1800.08/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.08/1800.62 c cut pool : 0.01 4 - - 8 - (maximal pool size: 591) 1800.08/1800.62 c redcost : 11.90 51981 0 0 0 0 1800.08/1800.62 c impliedbounds : 0.00 5 0 0 1 0 1800.08/1800.62 c intobj : 0.00 0 0 0 0 0 1800.08/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.08/1800.62 c gomory : 7.99 5 0 0 0 0 1800.08/1800.62 c strongcg : 1.65 5 0 0 2500 0 1800.08/1800.62 c cmir : 0.00 0 0 0 0 0 1800.08/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.08/1800.62 c clique : 0.05 5 0 0 32 0 1800.08/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.08/1800.62 c mcf : 0.11 2 0 0 0 0 1800.08/1800.62 c rapidlearning : 0.37 1 0 0 0 0 1800.08/1800.62 c Pricers : Time Calls Vars 1800.08/1800.62 c problem variables: 0.00 0 0 1800.08/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.08/1800.62 c relpscost : 205.36 32027 53 2142 0 0 60736 1800.08/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.08/1800.62 c inference : 0.00 0 0 0 0 0 0 1800.08/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.08/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.08/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.62 c random : 0.00 0 0 0 0 0 0 1800.08/1800.62 c Primal Heuristics : Time Calls Found 1800.08/1800.62 c LP solutions : 0.00 - 0 1800.08/1800.62 c pseudo solutions : 0.00 - 0 1800.08/1800.62 c trivial : 0.01 1 0 1800.08/1800.62 c simplerounding : 0.00 0 0 1800.08/1800.62 c zirounding : 0.00 0 0 1800.08/1800.62 c rounding : 0.00 0 0 1800.08/1800.62 c shifting : 0.00 0 0 1800.08/1800.62 c intshifting : 0.00 0 0 1800.08/1800.62 c oneopt : 0.00 0 0 1800.08/1800.62 c twoopt : 0.00 0 0 1800.08/1800.62 c fixandinfer : 0.00 0 0 1800.08/1800.62 c feaspump : 0.00 0 0 1800.08/1800.62 c coefdiving : 0.00 0 0 1800.08/1800.62 c pscostdiving : 0.00 0 0 1800.08/1800.62 c fracdiving : 0.00 0 0 1800.08/1800.62 c veclendiving : 0.00 0 0 1800.08/1800.63 c intdiving : 0.00 0 0 1800.08/1800.63 c actconsdiving : 0.00 0 0 1800.08/1800.63 c objpscostdiving : 0.00 0 0 1800.08/1800.63 c rootsoldiving : 0.00 0 0 1800.08/1800.63 c linesearchdiving : 0.00 0 0 1800.08/1800.63 c guideddiving : 0.00 0 0 1800.08/1800.63 c octane : 0.00 0 0 1800.08/1800.63 c rens : 0.00 0 0 1800.08/1800.63 c rins : 0.00 0 0 1800.08/1800.63 c localbranching : 0.00 0 0 1800.08/1800.63 c mutation : 0.00 0 0 1800.08/1800.63 c crossover : 0.00 0 0 1800.08/1800.63 c dins : 0.00 0 0 1800.08/1800.63 c undercover : 0.00 0 0 1800.08/1800.63 c nlp : 0.00 0 0 1800.08/1800.63 c trysol : 0.00 0 0 1800.08/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec 1800.08/1800.63 c primal LP : 167.51 0 0 0.00 0.00 1800.08/1800.63 c dual LP : 1056.21 111970 3710114 33.13 3512.67 1800.08/1800.63 c lex dual LP : 0.00 0 0 0.00 - 1800.08/1800.63 c barrier LP : 0.00 0 0 0.00 - 1800.08/1800.63 c diving/probing LP: 0.00 0 0 0.00 - 1800.08/1800.63 c strong branching : 202.90 24910 861794 34.60 4247.38 1800.08/1800.63 c (at root node) : - 9 5693 632.56 - 1800.08/1800.63 c conflict analysis: 0.00 0 0 0.00 - 1800.08/1800.63 c B&B Tree : 1800.08/1800.63 c number of runs : 1 1800.08/1800.63 c nodes : 59810 1800.08/1800.63 c nodes (total) : 59810 1800.08/1800.63 c nodes left : 879 1800.08/1800.63 c max depth : 45 1800.08/1800.63 c max depth (total): 45 1800.08/1800.63 c backtracks : 10199 (17.1%) 1800.08/1800.63 c delayed cutoffs : 48 1800.08/1800.63 c repropagations : 28848 (116154 domain reductions, 27 cutoffs) 1800.08/1800.63 c avg switch length: 3.98 1800.08/1800.63 c switching time : 210.40 1800.08/1800.63 c Solution : 1800.08/1800.63 c Solutions found : 0 (0 improvements) 1800.08/1800.63 c Primal Bound : - 1800.08/1800.63 c Dual Bound : +0.00000000000000e+00 1800.08/1800.63 c Gap : infinite 1800.08/1800.63 c Root Dual Bound : +0.00000000000000e+00 1800.08/1800.63 c Root Iterations : 598 1800.18/1800.72 c Time complete: 1800.19.
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-2664869-1276678349/watcher-2664869-1276678349 -o /tmp/evaluation-result-2664869-1276678349/solver-2664869-1276678349 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664869-1276678349.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/107 8982 /proc/meminfo: memFree=1771676/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=9288 CPUtime=0 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 1038 0 0 0 0 0 0 0 18 0 1 0 41490613 9510912 958 1992294400 4194304 9819077 140736248384176 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8982/statm: 2322 969 371 1374 0 943 0 [startup+0.0706959 s] /proc/loadavg: 0.99 0.98 0.99 3/107 8982 /proc/meminfo: memFree=1771676/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=20608 CPUtime=0.06 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 4489 0 0 0 5 1 0 0 20 0 1 0 41490613 21102592 4055 1992294400 4194304 9819077 140736248384176 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 5152 4055 449 1374 0 3773 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 20608 [startup+0.100698 s] /proc/loadavg: 0.99 0.98 0.99 3/107 8982 /proc/meminfo: memFree=1771676/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=22732 CPUtime=0.09 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 4783 0 0 0 8 1 0 0 20 0 1 0 41490613 23277568 4349 1992294400 4194304 9819077 140736248384176 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 5683 4349 472 1374 0 4304 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22732 [startup+0.300716 s] /proc/loadavg: 0.99 0.98 0.99 3/107 8982 /proc/meminfo: memFree=1771676/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=25088 CPUtime=0.29 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 5918 0 0 0 20 9 0 0 20 0 1 0 41490613 25690112 4970 1992294400 4194304 9819077 140736248384176 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 6272 4970 495 1374 0 4893 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25088 [startup+0.700752 s] /proc/loadavg: 0.99 0.98 0.99 3/107 8982 /proc/meminfo: memFree=1771676/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=42824 CPUtime=0.69 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 11567 0 0 0 49 20 0 0 20 0 1 0 41490613 43851776 8611 1992294400 4194304 9819077 140736248384176 18446744073709551615 5893835 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 10706 8611 642 1374 0 9327 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42824 [startup+1.50082 s] /proc/loadavg: 0.99 0.98 0.99 2/108 8983 /proc/meminfo: memFree=1739428/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=42956 CPUtime=1.49 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 11619 0 0 0 129 20 0 0 23 0 1 0 41490613 43986944 8663 1992294400 4194304 9819077 140736248384176 18446744073709551615 4310901 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 10739 8663 659 1374 0 9360 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42956 [startup+3.10097 s] /proc/loadavg: 0.99 0.98 0.99 2/108 8983 /proc/meminfo: memFree=1736328/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=46900 CPUtime=3.09 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 20835 0 0 0 266 43 0 0 25 0 1 0 41490613 48025600 9772 1992294400 4194304 9819077 140736248384176 18446744073709551615 6032221 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 11725 9772 695 1374 0 10346 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46900 [startup+6.30125 s] /proc/loadavg: 0.99 0.98 0.99 2/108 8983 /proc/meminfo: memFree=1730500/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=51056 CPUtime=6.29 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 22047 0 0 0 584 45 0 0 25 0 1 0 41490613 52281344 10789 1992294400 4194304 9819077 140736248384176 18446744073709551615 5755243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 12764 10789 695 1374 0 11385 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51056 [startup+12.7018 s] /proc/loadavg: 0.99 0.98 0.99 2/108 8983 /proc/meminfo: memFree=1725416/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=60800 CPUtime=12.69 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 26009 0 0 0 1220 49 0 0 25 0 1 0 41490613 62259200 12331 1992294400 4194304 9819077 140736248384176 18446744073709551615 7296179 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 15200 12331 701 1374 0 13821 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60800 [startup+25.501 s] /proc/loadavg: 1.07 1.00 1.00 2/108 8983 /proc/meminfo: memFree=1727276/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=52212 CPUtime=25.48 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 43859 0 0 0 2481 67 0 0 25 0 1 0 41490613 53465088 11559 1992294400 4194304 9819077 140736248384176 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 13053 11560 727 1374 0 11674 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52212 [startup+51.1013 s] /proc/loadavg: 1.04 1.00 1.00 2/108 8985 /proc/meminfo: memFree=1726160/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=53648 CPUtime=51.07 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 155924 0 0 0 4949 158 0 0 25 0 1 0 41490613 54935552 11886 1992294400 4194304 9819077 140736248384176 18446744073709551615 6391609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 13412 11886 728 1374 0 12033 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53648 [startup+102.309 s] /proc/loadavg: 1.07 1.01 1.00 2/108 8985 /proc/meminfo: memFree=1721076/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=60296 CPUtime=102.27 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 388110 0 0 0 9901 326 0 0 25 0 1 0 41490613 61743104 13029 1992294400 4194304 9819077 140736248384176 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 15074 13029 728 1374 0 13695 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60296 [startup+162.301 s] /proc/loadavg: 1.02 1.01 1.00 2/108 8987 /proc/meminfo: memFree=1716984/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=63644 CPUtime=162.24 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 647673 0 0 0 15704 520 0 0 25 0 1 0 41490613 65171456 14125 1992294400 4194304 9819077 140736248384176 18446744073709551615 6513142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 15911 14125 728 1374 0 14532 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 63644 [startup+222.301 s] /proc/loadavg: 1.01 1.00 1.00 2/108 8989 /proc/meminfo: memFree=1714008/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=64940 CPUtime=222.22 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 899513 0 0 0 21515 707 0 0 25 0 1 0 41490613 66498560 14772 1992294400 4194304 9819077 140736248384176 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 16235 14772 728 1374 0 14856 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 64940 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 8991 /proc/meminfo: memFree=1711652/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=69384 CPUtime=282.21 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 1162912 0 0 0 27326 895 0 0 25 0 1 0 41490613 71049216 15368 1992294400 4194304 9819077 140736248384176 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 16962 15357 728 1374 0 15583 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 69384 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 8993 /proc/meminfo: memFree=1709420/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=70004 CPUtime=342.18 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 1420018 0 0 0 33133 1085 0 0 25 0 1 0 41490613 71684096 16040 1992294400 4194304 9819077 140736248384176 18446744073709551615 7291689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 17501 16040 728 1374 0 16122 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 70004 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 8993 /proc/meminfo: memFree=1706072/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=72260 CPUtime=402.17 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 1686839 0 0 0 38931 1286 0 0 25 0 1 0 41490613 73994240 16757 1992294400 4194304 9819077 140736248384176 18446744073709551615 7096947 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 18065 16757 728 1374 0 16686 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 72260 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 8995 /proc/meminfo: memFree=1705452/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=73548 CPUtime=462.15 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 1910082 0 0 0 44752 1463 0 0 25 0 1 0 41490613 75313152 16940 1992294400 4194304 9819077 140736248384176 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 18387 16940 728 1374 0 17008 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 73548 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9006 /proc/meminfo: memFree=1703716/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=74616 CPUtime=522.13 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 2180632 0 0 0 50559 1654 0 0 25 0 1 0 41490613 76406784 17159 1992294400 4194304 9819077 140736248384176 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 18654 17159 728 1374 0 17275 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 74616 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9008 /proc/meminfo: memFree=1702476/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=76212 CPUtime=582.1 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 2455979 0 0 0 56358 1852 0 0 25 0 1 0 41490613 78041088 17521 1992294400 4194304 9819077 140736248384176 18446744073709551615 6590267 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 19053 17521 728 1374 0 17674 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 76212 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9010 /proc/meminfo: memFree=1702228/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=76064 CPUtime=642.1 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 2715197 0 0 0 62161 2049 0 0 25 0 1 0 41490613 77889536 17605 1992294400 4194304 9819077 140736248384176 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 19016 17605 728 1374 0 17637 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 76064 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9016 /proc/meminfo: memFree=1698880/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=79640 CPUtime=882.02 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 3685454 0 0 0 85438 2764 0 0 25 0 1 0 41490613 81551360 18442 1992294400 4194304 9819077 140736248384176 18446744073709551615 6391609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 19910 18442 728 1374 0 18531 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 79640 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9018 /proc/meminfo: memFree=1698012/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=80612 CPUtime=942 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 3984708 0 0 0 91226 2974 0 0 25 0 1 0 41490613 82546688 18664 1992294400 4194304 9819077 140736248384176 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 20153 18664 728 1374 0 18774 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 80612 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9018 /proc/meminfo: memFree=1697764/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=80944 CPUtime=1001.99 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 4265451 0 0 0 97026 3173 0 0 25 0 1 0 41490613 82886656 18721 1992294400 4194304 9819077 140736248384176 18446744073709551615 4651872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 20236 18721 728 1374 0 18857 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 80944 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9020 /proc/meminfo: memFree=1696648/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=81752 CPUtime=1061.96 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 4545730 0 0 0 102828 3368 0 0 25 0 1 0 41490613 83714048 18846 1992294400 4194304 9819077 140736248384176 18446744073709551615 4651872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 20438 18846 728 1374 0 19059 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 81752 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9022 /proc/meminfo: memFree=1696524/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=81912 CPUtime=1121.95 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 4812294 0 0 0 108637 3558 0 0 25 0 1 0 41490613 83877888 18933 1992294400 4194304 9819077 140736248384176 18446744073709551615 6362207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 20478 18933 728 1374 0 19099 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 81912 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9024 /proc/meminfo: memFree=1695284/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=82928 CPUtime=1181.93 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 5069020 0 0 0 114439 3754 0 0 25 0 1 0 41490613 84918272 19339 1992294400 4194304 9819077 140736248384176 18446744073709551615 6391563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 20732 19339 728 1374 0 19353 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 82928 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9026 /proc/meminfo: memFree=1694912/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=83340 CPUtime=1241.91 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 5351130 0 0 0 120235 3956 0 0 25 0 1 0 41490613 85340160 19348 1992294400 4194304 9819077 140736248384176 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 20835 19348 728 1374 0 19456 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 83340 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9026 /proc/meminfo: memFree=1694292/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=83436 CPUtime=1301.91 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 5607136 0 0 0 126054 4137 0 0 25 0 1 0 41490613 85438464 19469 1992294400 4194304 9819077 140736248384176 18446744073709551615 6372188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 20859 19469 728 1374 0 19480 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 83436 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9028 /proc/meminfo: memFree=1693796/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=86588 CPUtime=1361.88 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 5880825 0 0 0 131854 4334 0 0 25 0 1 0 41490613 88666112 19594 1992294400 4194304 9819077 140736248384176 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 21647 19594 728 1374 0 20268 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 86588 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9030 /proc/meminfo: memFree=1692804/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=84824 CPUtime=1421.88 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 6147986 0 0 0 137658 4530 0 0 25 0 1 0 41490613 86859776 19848 1992294400 4194304 9819077 140736248384176 18446744073709551615 7317620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 21206 19848 728 1374 0 19827 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 84824 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9032 /proc/meminfo: memFree=1692680/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=85564 CPUtime=1481.85 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 6401929 0 0 0 143464 4721 0 0 25 0 1 0 41490613 87617536 19966 1992294400 4194304 9819077 140736248384176 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 21391 19966 728 1374 0 20012 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 85564 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9034 /proc/meminfo: memFree=1692432/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=85576 CPUtime=1541.84 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 6669892 0 0 0 149277 4907 0 0 25 0 1 0 41490613 87629824 19958 1992294400 4194304 9819077 140736248384176 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 21493 19960 728 1374 0 20114 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 85576 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9034 /proc/meminfo: memFree=1691688/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=85040 CPUtime=1601.82 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 6958382 0 0 0 155070 5112 0 0 25 0 1 0 41490613 87080960 20174 1992294400 4194304 9819077 140736248384176 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 21445 20177 728 1374 0 20066 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 85040 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9036 /proc/meminfo: memFree=1690572/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=86808 CPUtime=1661.8 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 7203241 0 0 0 160889 5291 0 0 25 0 1 0 41490613 88891392 20405 1992294400 4194304 9819077 140736248384176 18446744073709551615 6513142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 21702 20405 728 1374 0 20323 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 86808 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9038 /proc/meminfo: memFree=1690200/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=87848 CPUtime=1721.78 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 7421720 0 0 0 166710 5468 0 0 25 0 1 0 41490613 89956352 20479 1992294400 4194304 9819077 140736248384176 18446744073709551615 7096800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 21962 20479 728 1374 0 20583 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 87848 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9040 /proc/meminfo: memFree=1688960/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=87960 CPUtime=1781.77 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 7668392 0 0 0 172531 5646 0 0 25 0 1 0 41490613 90071040 20627 1992294400 4194304 9819077 140736248384176 18446744073709551615 7263152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 21990 20627 728 1374 0 20611 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 87960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9040 /proc/meminfo: memFree=1688588/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=88940 CPUtime=1800.08 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 7763026 0 0 0 174290 5718 0 0 25 0 1 0 41490613 91074560 20830 1992294400 4194304 9819077 140736248384176 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8982/statm: 22301 20831 728 1374 0 20922 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 88940 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9040 /proc/meminfo: memFree=1688588/2059040 swapFree=4140108/4192956 [pid=8982] ppid=8980 vsize=54024 CPUtime=1800.18 /proc/8982/stat : 8982 (pbscip.linux.x8) R 8980 8982 8359 0 -1 4202496 7763055 0 0 0 174300 5718 0 0 25 0 1 0 41490613 55320576 12758 1992294400 4194304 9819077 140736248384176 18446744073709551615 8494951 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8982/statm: 13506 12758 731 1374 0 12127 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 54024 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.2 CPU user time (s): 1743.01 CPU system time (s): 57.1943 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 91792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1743.01 system time used= 57.1943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7763059 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= 3850 runsolver used 2.94955 second user time and 8.5347 second system time The end
Begin job on node025 at 2010-06-16 10:52:29 IDJOB=2664869 IDBENCH=48317 IDSOLVER=1168 FILE ID=node025/2664869-1276678349 PBS_JOBID= 11172539 Free space on /tmp= 62580 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_100_25_3_15.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-2664869-1276678349/watcher-2664869-1276678349 -o /tmp/evaluation-result-2664869-1276678349/solver-2664869-1276678349 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664869-1276678349.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0f8b3c4075c45404d33689fa65bc6a7e RANDOM SEED=829741425 node025.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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1772204 kB Buffers: 79188 kB Cached: 118032 kB SwapCached: 7304 kB Active: 103468 kB Inactive: 108188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1772204 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 6324 kB Writeback: 0 kB AnonPages: 11948 kB Mapped: 13024 kB Slab: 53396 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182660 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= 62576 MiB End job on node025 at 2010-06-16 11:22:31