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.35 | 1800.9 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_1_40.opb |
MD5SUM | 3f7fb60f05fdea42d317cf95beb113ab |
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 | 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 | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2496 |
Sum of products size (including duplicates) | 4992 |
Number of different products | 1248 |
Sum of products size | 2496 |
0.00/0.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.01 c 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c reading problem <HOME/instance-2664903-1276681123.opb> 0.00/0.02 c original problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1550 constraints 0.00/0.02 c problem read 0.00/0.02 c No objective function, only one solution is needed. 0.00/0.03 c presolving settings loaded 0.00/0.04 c presolving: 0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10184 impls, 200 clqs 0.39/0.42 c presolving (2 rounds): 0.39/0.42 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.39/0.42 c 10184 implications, 200 cliques 0.39/0.42 c presolved problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1550 constraints 0.39/0.42 c 1 constraints of type <knapsack> 0.39/0.42 c 200 constraints of type <setppc> 0.39/0.42 c 1248 constraints of type <and> 0.39/0.42 c 1 constraints of type <linear> 0.39/0.42 c 100 constraints of type <logicor> 0.39/0.42 c transformed objective value is always integral (scale: 1) 0.39/0.42 c Presolving Time: 0.19 0.39/0.42 c - non default parameters ---------------------------------------------------------------------- 0.39/0.42 c # SCIP version 1.2.1.2 0.39/0.42 c 0.39/0.42 c # frequency for displaying node information lines 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100] 0.39/0.42 c display/freq = 10000 0.39/0.42 c 0.39/0.42 c # maximal time in seconds to run 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.39/0.42 c limits/time = 1799.98 0.39/0.42 c 0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.39/0.42 c limits/memory = 1620 0.39/0.42 c 0.39/0.42 c # solving stops, if the given number of solutions were found (-1: no limit) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.42 c limits/solutions = 1 0.39/0.42 c 0.39/0.42 c # maximal number of separation rounds per node (-1: unlimited) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 5] 0.39/0.42 c separating/maxrounds = 1 0.39/0.42 c 0.39/0.42 c # maximal number of separation rounds in the root node (-1: unlimited) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.42 c separating/maxroundsroot = 5 0.39/0.42 c 0.39/0.42 c # should presolving try to simplify inequalities 0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.39/0.42 c constraints/linear/simplifyinequalities = TRUE 0.39/0.42 c 0.39/0.42 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.39/0.42 c constraints/knapsack/disaggregation = FALSE 0.39/0.42 c 0.39/0.42 c # should presolving try to simplify knapsacks 0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE 0.39/0.42 c 0.39/0.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.42 c presolving/probing/maxrounds = 0 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/coefdiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/coefdiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/coefdiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 30] 0.39/0.42 c heuristics/crossover/freq = -1 0.39/0.42 c 0.39/0.42 c # number of nodes added to the contingent of the total nodes 0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.39/0.42 c heuristics/crossover/nodesofs = 750 0.39/0.42 c 0.39/0.42 c # number of nodes without incumbent change that heuristic should wait 0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.39/0.42 c heuristics/crossover/nwaitingnodes = 100 0.39/0.42 c 0.39/0.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.39/0.42 c # [type: real, range: [0,1], default: 0.1] 0.39/0.42 c heuristics/crossover/nodesquot = 0.15 0.39/0.42 c 0.39/0.42 c # minimum percentage of integer variables that have to be fixed 0.39/0.42 c # [type: real, range: [0,1], default: 0.666] 0.39/0.42 c heuristics/crossover/minfixingrate = 0.5 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.42 c heuristics/feaspump/freq = -1 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/feaspump/maxlpiterofs = 2000 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/fracdiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/fracdiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/fracdiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/guideddiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/guideddiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/guideddiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/intdiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/intshifting/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/linesearchdiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/nlp/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.42 c heuristics/objpscostdiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to total iteration number 0.39/0.42 c # [type: real, range: [0,1], default: 0.01] 0.39/0.42 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/oneopt/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/pscostdiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/pscostdiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.42 c heuristics/rens/freq = -1 0.39/0.42 c 0.39/0.42 c # minimum percentage of integer variables that have to be fixable 0.39/0.42 c # [type: real, range: [0,1], default: 0.5] 0.39/0.42 c heuristics/rens/minfixingrate = 0.3 0.39/0.42 c 0.39/0.42 c # number of nodes added to the contingent of the total nodes 0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.39/0.42 c heuristics/rens/nodesofs = 2000 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.42 c heuristics/rootsoldiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.39/0.42 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/rounding/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/shifting/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/simplerounding/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.42 c heuristics/trivial/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/trysol/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.42 c heuristics/veclendiving/freq = -1 0.39/0.42 c 0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.42 c heuristics/veclendiving/maxlpiterquot = 0.075 0.39/0.42 c 0.39/0.42 c # additional number of allowed LP iterations 0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.42 c heuristics/veclendiving/maxlpiterofs = 1500 0.39/0.42 c 0.39/0.42 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.42 c heuristics/zirounding/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.42 c separating/cmir/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.42 c separating/flowcover/freq = -1 0.39/0.42 c 0.39/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.42 c separating/rapidlearning/freq = 0 0.39/0.42 c 0.39/0.42 c ----------------------------------------------------------------------------------------------- 0.39/0.42 c start solving 0.39/0.43 c 0.79/0.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.79/0.82 c 0.6s| 1 | 0 | 831 | - |6614k| 0 | 598 |1448 |1550 |1448 |2798 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 3.79/3.89 c 3.4s| 1 | 0 | 911 | - |8344k| 0 | 569 |1448 |1605 |1448 |2804 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf 6.09/6.15 c 5.7s| 1 | 0 | 991 | - |9888k| 0 | 588 |1448 |1605 |1448 |2811 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 8.49/8.53 c 8.0s| 1 | 0 | 1040 | - | 11M| 0 | 597 |1448 |1605 |1448 |2817 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 10.90/10.91 c 10.4s| 1 | 0 | 1091 | - | 13M| 0 | 606 |1448 |1605 |1448 |2822 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 13.29/13.34 c 12.8s| 1 | 0 | 1152 | - | 15M| 0 | 620 |1448 |1605 |1448 |2828 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf 15.88/15.96 c 15.4s| 1 | 2 | 1152 | - | 15M| 0 | 620 |1448 |1605 |1448 |2828 | 30 | 0 | 10 | 0.000000e+00 | -- | Inf 1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.17/1800.79 c 1800.17/1800.79 c SCIP Status : solving was interrupted [user interrupt] 1800.17/1800.79 c Solving Time (sec) : 1789.63 1800.17/1800.79 c Solving Nodes : 3353 1800.17/1800.79 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.17/1800.79 c Dual Bound : +0.00000000000000e+00 1800.17/1800.79 c Gap : infinite 1800.17/1800.79 s UNKNOWN 1800.17/1800.79 c SCIP Status : solving was interrupted [user interrupt] 1800.17/1800.79 c Solving Time : 1789.63 1800.17/1800.79 c Original Problem : 1800.17/1800.79 c Problem name : HOME/instance-2664903-1276681123.opb 1800.17/1800.79 c Variables : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.17/1800.79 c Constraints : 1550 initial, 1550 maximal 1800.17/1800.79 c Presolved Problem : 1800.17/1800.79 c Problem name : t_HOME/instance-2664903-1276681123.opb 1800.17/1800.79 c Variables : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.17/1800.79 c Constraints : 1550 initial, 1766 maximal 1800.17/1800.79 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.17/1800.79 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.79 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.79 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.79 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.79 c implics : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.79 c probing : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.79 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.79 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.17/1800.79 c and : 0.17 0 0 0 0 0 0 0 0 1800.17/1800.79 c linear : 0.01 0 0 0 0 0 0 0 0 1800.17/1800.79 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.17/1800.79 c root node : - 0 - - 0 - - - - 1800.17/1800.79 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.17/1800.79 c integral : 0 0 0 2124 0 13 141 0 0 4076 1800.17/1800.79 c knapsack : 1 5 9397 0 0 0 0 0 0 0 1800.17/1800.79 c setppc : 200 5 9397 0 0 0 71 0 0 0 1800.17/1800.79 c and : 1248 2945 9397 0 0 0 43177 282157 0 0 1800.17/1800.79 c linear : 1+ 6 9397 0 0 0 1379 0 0 0 1800.17/1800.79 c logicor : 100+ 5 3005 0 0 0 2043 0 0 0 1800.17/1800.79 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.17/1800.79 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.17/1800.79 c integral : 382.17 0.00 0.00 382.17 0.00 1800.17/1800.79 c knapsack : 0.04 0.00 0.04 0.00 0.00 1800.17/1800.79 c setppc : 0.10 0.00 0.10 0.00 0.00 1800.17/1800.79 c and : 3.89 3.00 0.89 0.00 0.00 1800.17/1800.79 c linear : 0.39 0.00 0.39 0.00 0.00 1800.17/1800.79 c logicor : 0.06 0.00 0.06 0.00 0.00 1800.17/1800.79 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.17/1800.79 c Propagators : Time Calls Cutoffs DomReds 1800.17/1800.79 c vbounds : 0.01 1 0 0 1800.17/1800.79 c rootredcost : 0.01 0 0 0 1800.17/1800.79 c pseudoobj : 0.01 0 0 0 1800.17/1800.79 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.17/1800.79 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1800.17/1800.79 c infeasible LP : 0.94 1302 147 761 17.6 0 0.0 0 1800.17/1800.79 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.17/1800.79 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.17/1800.79 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.17/1800.79 c applied globally : - - - 162 15.7 - - - 1800.17/1800.79 c applied locally : - - - 0 0.0 - - - 1800.17/1800.79 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.17/1800.79 c cut pool : 0.01 4 - - 28 - (maximal pool size: 1092) 1800.17/1800.79 c redcost : 0.09 2945 0 0 0 0 1800.17/1800.79 c impliedbounds : 0.00 5 0 0 0 0 1800.17/1800.79 c intobj : 0.00 0 0 0 0 0 1800.17/1800.79 c cgmip : 0.00 0 0 0 0 0 1800.17/1800.79 c gomory : 6.03 5 0 0 0 0 1800.17/1800.79 c strongcg : 5.26 5 0 0 1834 0 1800.17/1800.79 c cmir : 0.00 0 0 0 0 0 1800.17/1800.79 c flowcover : 0.00 0 0 0 0 0 1800.17/1800.79 c clique : 0.08 5 0 0 35 0 1800.17/1800.79 c zerohalf : 0.00 0 0 0 0 0 1800.17/1800.79 c mcf : 0.00 1 0 0 0 0 1800.17/1800.79 c rapidlearning : 0.58 1 0 0 0 55 1800.17/1800.79 c Pricers : Time Calls Vars 1800.17/1800.79 c problem variables: 0.00 0 0 1800.17/1800.79 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.17/1800.79 c relpscost : 382.17 2124 13 141 0 0 4076 1800.17/1800.79 c pscost : 0.00 0 0 0 0 0 0 1800.17/1800.79 c inference : 0.00 0 0 0 0 0 0 1800.17/1800.79 c mostinf : 0.00 0 0 0 0 0 0 1800.17/1800.79 c leastinf : 0.00 0 0 0 0 0 0 1800.17/1800.79 c fullstrong : 0.00 0 0 0 0 0 0 1800.17/1800.79 c allfullstrong : 0.00 0 0 0 0 0 0 1800.17/1800.79 c random : 0.00 0 0 0 0 0 0 1800.17/1800.79 c Primal Heuristics : Time Calls Found 1800.17/1800.79 c LP solutions : 0.00 - 0 1800.17/1800.79 c pseudo solutions : 0.00 - 0 1800.17/1800.79 c trivial : 0.00 1 0 1800.17/1800.79 c simplerounding : 0.00 0 0 1800.17/1800.79 c zirounding : 0.00 0 0 1800.17/1800.79 c rounding : 0.00 0 0 1800.17/1800.79 c shifting : 0.00 0 0 1800.17/1800.79 c intshifting : 0.00 0 0 1800.17/1800.79 c oneopt : 0.00 0 0 1800.17/1800.79 c twoopt : 0.00 0 0 1800.17/1800.79 c fixandinfer : 0.00 0 0 1800.17/1800.79 c feaspump : 0.00 0 0 1800.17/1800.79 c coefdiving : 0.00 0 0 1800.17/1800.79 c pscostdiving : 0.00 0 0 1800.17/1800.79 c fracdiving : 0.00 0 0 1800.17/1800.79 c veclendiving : 0.00 0 0 1800.17/1800.79 c intdiving : 0.00 0 0 1800.17/1800.79 c actconsdiving : 0.00 0 0 1800.17/1800.79 c objpscostdiving : 0.00 0 0 1800.17/1800.79 c rootsoldiving : 0.00 0 0 1800.17/1800.79 c linesearchdiving : 0.00 0 0 1800.17/1800.79 c guideddiving : 0.00 0 0 1800.17/1800.79 c octane : 0.00 0 0 1800.17/1800.79 c rens : 0.00 0 0 1800.17/1800.79 c rins : 0.00 0 0 1800.17/1800.79 c localbranching : 0.00 0 0 1800.17/1800.79 c mutation : 0.00 0 0 1800.17/1800.79 c crossover : 0.00 0 0 1800.17/1800.79 c dins : 0.00 0 0 1800.17/1800.79 c undercover : 0.00 0 0 1800.17/1800.79 c nlp : 0.00 0 0 1800.17/1800.79 c trysol : 0.00 0 0 1800.17/1800.79 c LP : Time Calls Iterations Iter/call Iter/sec 1800.17/1800.79 c primal LP : 175.43 0 0 0.00 0.00 1800.17/1800.79 c dual LP : 1204.07 6371 1603026 251.61 1331.34 1800.17/1800.79 c lex dual LP : 0.00 0 0 0.00 - 1800.17/1800.79 c barrier LP : 0.00 0 0 0.00 - 1800.17/1800.79 c diving/probing LP: 0.00 0 0 0.00 - 1800.17/1800.79 c strong branching : 381.59 2281 800626 351.00 2098.13 1800.17/1800.79 c (at root node) : - 10 3261 326.10 - 1800.17/1800.79 c conflict analysis: 0.00 0 0 0.00 - 1800.17/1800.79 c B&B Tree : 1800.17/1800.79 c number of runs : 1 1800.17/1800.79 c nodes : 3353 1800.17/1800.79 c nodes (total) : 3353 1800.17/1800.79 c nodes left : 724 1800.17/1800.79 c max depth : 25 1800.17/1800.79 c max depth (total): 25 1800.17/1800.79 c backtracks : 528 (15.7%) 1800.17/1800.79 c delayed cutoffs : 0 1800.17/1800.79 c repropagations : 366 (1695 domain reductions, 0 cutoffs) 1800.17/1800.79 c avg switch length: 4.82 1800.17/1800.79 c switching time : 176.67 1800.17/1800.79 c Solution : 1800.17/1800.79 c Solutions found : 0 (0 improvements) 1800.17/1800.79 c Primal Bound : - 1800.17/1800.79 c Dual Bound : +0.00000000000000e+00 1800.17/1800.79 c Gap : infinite 1800.17/1800.79 c Root Dual Bound : +0.00000000000000e+00 1800.17/1800.79 c Root Iterations : 1152 1800.25/1800.89 c Time complete: 1800.35.
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-2664903-1276681123/watcher-2664903-1276681123 -o /tmp/evaluation-result-2664903-1276681123/solver-2664903-1276681123 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664903-1276681123.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15886 /proc/meminfo: memFree=1568904/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=10316 CPUtime=0 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1305 0 0 0 0 0 0 0 25 0 1 0 9405184 10563584 1226 1992294400 4194304 9819077 140736985360496 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15886/statm: 2579 1236 371 1374 0 1200 0 [startup+0.0480349 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15886 /proc/meminfo: memFree=1568904/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=17276 CPUtime=0.04 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 3440 0 0 0 3 1 0 0 25 0 1 0 9405184 17690624 3006 1992294400 4194304 9819077 140736985360496 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 4319 3013 472 1374 0 2940 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 17276 [startup+0.10104 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15886 /proc/meminfo: memFree=1568904/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=17584 CPUtime=0.09 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 3753 0 0 0 5 4 0 0 25 0 1 0 9405184 18006016 3062 1992294400 4194304 9819077 140736985360496 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 4396 3062 472 1374 0 3017 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17584 [startup+0.30106 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15886 /proc/meminfo: memFree=1568904/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=18604 CPUtime=0.29 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 5593 0 0 0 15 14 0 0 25 0 1 0 9405184 19050496 3360 1992294400 4194304 9819077 140736985360496 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 4651 3360 505 1374 0 3272 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18604 [startup+0.701099 s] /proc/loadavg: 1.00 1.00 1.00 3/106 15886 /proc/meminfo: memFree=1568904/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=28356 CPUtime=0.69 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 8365 0 0 0 48 21 0 0 25 0 1 0 9405184 29036544 5353 1992294400 4194304 9819077 140736985360496 18446744073709551615 7312735 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 7089 5353 636 1374 0 5710 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28356 [startup+1.50118 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15887 /proc/meminfo: memFree=1549924/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=28588 CPUtime=1.49 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 8849 0 0 0 128 21 0 0 25 0 1 0 9405184 29274112 5330 1992294400 4194304 9819077 140736985360496 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 7147 5330 659 1374 0 5768 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28588 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15887 /proc/meminfo: memFree=1549180/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44144 CPUtime=3.08 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 12764 0 0 0 282 26 0 0 25 0 1 0 9405184 45203456 8976 1992294400 4194304 9819077 140736985360496 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11036 8976 677 1374 0 9657 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 44144 [startup+6.30065 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15887 /proc/meminfo: memFree=1539384/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=35344 CPUtime=6.29 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 16006 0 0 0 583 46 0 0 25 0 1 0 9405184 36192256 7745 1992294400 4194304 9819077 140736985360496 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 8836 7745 697 1374 0 7457 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35344 [startup+12.7003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15887 /proc/meminfo: memFree=1535788/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=42476 CPUtime=12.68 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 17708 0 0 0 1220 48 0 0 25 0 1 0 9405184 43495424 9434 1992294400 4194304 9819077 140736985360496 18446744073709551615 4310898 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 10619 9434 697 1374 0 9240 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 42476 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15889 /proc/meminfo: memFree=1531448/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=43936 CPUtime=25.48 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 23006 0 0 0 2496 52 0 0 25 0 1 0 9405184 44990464 9808 1992294400 4194304 9819077 140736985360496 18446744073709551615 7312676 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 10984 9808 725 1374 0 9605 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43936 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15889 /proc/meminfo: memFree=1531448/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45724 CPUtime=51.08 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 26580 0 0 0 5048 60 0 0 25 0 1 0 9405184 46821376 9825 1992294400 4194304 9819077 140736985360496 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11431 9825 725 1374 0 10052 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45724 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15891 /proc/meminfo: memFree=1531200/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=43792 CPUtime=102.26 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 31801 0 0 0 10154 72 0 0 25 0 1 0 9405184 44843008 9807 1992294400 4194304 9819077 140736985360496 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 10948 9807 727 1374 0 9569 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 43792 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15891 /proc/meminfo: memFree=1531324/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44004 CPUtime=162.24 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 40896 0 0 0 16138 86 0 0 25 0 1 0 9405184 45060096 9810 1992294400 4194304 9819077 140736985360496 18446744073709551615 6823871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11001 9810 727 1374 0 9622 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 44004 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15893 /proc/meminfo: memFree=1531200/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44232 CPUtime=222.21 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 58690 0 0 0 22115 106 0 0 25 0 1 0 9405184 45293568 9815 1992294400 4194304 9819077 140736985360496 18446744073709551615 6816870 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11058 9815 727 1374 0 9679 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 44232 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15895 /proc/meminfo: memFree=1531200/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44240 CPUtime=282.2 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 81634 0 0 0 28092 128 0 0 25 0 1 0 9405184 45301760 9813 1992294400 4194304 9819077 140736985360496 18446744073709551615 6476325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11060 9813 727 1374 0 9681 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 44240 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15897 /proc/meminfo: memFree=1531076/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44680 CPUtime=342.19 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 105562 0 0 0 34070 149 0 0 25 0 1 0 9405184 45752320 9815 1992294400 4194304 9819077 140736985360496 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11170 9815 727 1374 0 9791 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 44680 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15899 /proc/meminfo: memFree=1531076/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45084 CPUtime=402.16 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 142740 0 0 0 40041 175 0 0 25 0 1 0 9405184 46166016 9819 1992294400 4194304 9819077 140736985360496 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/15886/statm: 11271 9819 727 1374 0 9892 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 45084 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15899 /proc/meminfo: memFree=1530828/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44192 CPUtime=462.14 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 185919 0 0 0 46009 205 0 0 25 0 1 0 9405184 45252608 9821 1992294400 4194304 9819077 140736985360496 18446744073709551615 7309067 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11048 9821 727 1374 0 9669 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 44192 [startup+522.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 15901 /proc/meminfo: memFree=1530828/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44608 CPUtime=522.13 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 236143 0 0 0 51975 238 0 0 25 0 1 0 9405184 45678592 9818 1992294400 4194304 9819077 140736985360496 18446744073709551615 7318419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11152 9818 727 1374 0 9773 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 44608 [startup+582.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 15903 /proc/meminfo: memFree=1530828/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44168 CPUtime=582.11 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 286937 0 0 0 57939 272 0 0 25 0 1 0 9405184 45228032 9827 1992294400 4194304 9819077 140736985360496 18446744073709551615 7326159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11042 9827 727 1374 0 9663 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 44168 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15905 /proc/meminfo: memFree=1530828/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44848 CPUtime=642.1 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 341867 0 0 0 63906 304 0 0 25 0 1 0 9405184 45924352 9817 1992294400 4194304 9819077 140736985360496 18446744073709551615 7291886 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11212 9817 727 1374 0 9833 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 44848 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15911 /proc/meminfo: memFree=1530704/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44608 CPUtime=882.03 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 562011 0 0 0 87758 445 0 0 25 0 1 0 9405184 45678592 9846 1992294400 4194304 9819077 140736985360496 18446744073709551615 6391571 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11152 9846 727 1374 0 9773 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 44608 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15913 /proc/meminfo: memFree=1530704/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44656 CPUtime=942.01 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 617437 0 0 0 93719 482 0 0 25 0 1 0 9405184 45727744 9870 1992294400 4194304 9819077 140736985360496 18446744073709551615 7312750 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11164 9870 727 1374 0 9785 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 44656 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15915 /proc/meminfo: memFree=1530580/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45020 CPUtime=1001.99 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 676098 0 0 0 99682 517 0 0 25 0 1 0 9405184 46100480 9847 1992294400 4194304 9819077 140736985360496 18446744073709551615 7292047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11255 9847 727 1374 0 9876 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 45020 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15915 /proc/meminfo: memFree=1530580/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44804 CPUtime=1061.97 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 739390 0 0 0 105640 557 0 0 25 0 1 0 9405184 45879296 9846 1992294400 4194304 9819077 140736985360496 18446744073709551615 7302703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11201 9846 727 1374 0 9822 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 44804 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15917 /proc/meminfo: memFree=1530456/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44620 CPUtime=1121.96 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 806764 0 0 0 111600 596 0 0 25 0 1 0 9405184 45690880 9909 1992294400 4194304 9819077 140736985360496 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11155 9909 727 1374 0 9776 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 44620 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15919 /proc/meminfo: memFree=1530456/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45172 CPUtime=1181.94 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 875632 0 0 0 117561 633 0 0 25 0 1 0 9405184 46256128 9890 1992294400 4194304 9819077 140736985360496 18446744073709551615 7304790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11293 9890 727 1374 0 9914 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 45172 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15921 /proc/meminfo: memFree=1530332/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44996 CPUtime=1241.92 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 943507 0 0 0 123518 674 0 0 25 0 1 0 9405184 46075904 9883 1992294400 4194304 9819077 140736985360496 18446744073709551615 7311718 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11249 9883 727 1374 0 9870 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 44996 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15923 /proc/meminfo: memFree=1530332/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45364 CPUtime=1301.91 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1009492 0 0 0 129481 710 0 0 25 0 1 0 9405184 46452736 9878 1992294400 4194304 9819077 140736985360496 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11341 9878 727 1374 0 9962 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 45364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15932 /proc/meminfo: memFree=1530084/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=44996 CPUtime=1361.87 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1074646 0 0 0 135438 749 0 0 25 0 1 0 9405184 46075904 9863 1992294400 4194304 9819077 140736985360496 18446744073709551615 7292282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11249 9863 727 1374 0 9870 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 44996 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15934 /proc/meminfo: memFree=1530084/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=48692 CPUtime=1421.86 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1150511 0 0 0 141396 790 0 0 25 0 1 0 9405184 49860608 9898 1992294400 4194304 9819077 140736985360496 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 12173 9899 727 1374 0 10794 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 48692 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15936 /proc/meminfo: memFree=1530084/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45568 CPUtime=1481.83 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1227906 0 0 0 147351 832 0 0 25 0 1 0 9405184 46661632 9939 1992294400 4194304 9819077 140736985360496 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11392 9939 727 1374 0 10013 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 45568 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15938 /proc/meminfo: memFree=1529588/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45772 CPUtime=1541.82 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1307458 0 0 0 153307 875 0 0 25 0 1 0 9405184 46870528 10026 1992294400 4194304 9819077 140736985360496 18446744073709551615 7290981 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11443 10026 727 1374 0 10064 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 45772 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15940 /proc/meminfo: memFree=1529588/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45716 CPUtime=1601.8 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1392731 0 0 0 159263 917 0 0 25 0 1 0 9405184 46813184 9996 1992294400 4194304 9819077 140736985360496 18446744073709551615 7302694 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11429 9996 727 1374 0 10050 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 45716 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15940 /proc/meminfo: memFree=1529588/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45808 CPUtime=1661.79 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1474791 0 0 0 165217 962 0 0 25 0 1 0 9405184 46907392 9999 1992294400 4194304 9819077 140736985360496 18446744073709551615 7302675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11452 9999 727 1374 0 10073 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 45808 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15942 /proc/meminfo: memFree=1529588/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45964 CPUtime=1721.77 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1558097 0 0 0 171171 1006 0 0 25 0 1 0 9405184 47067136 10005 1992294400 4194304 9819077 140736985360496 18446744073709551615 7302712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11491 10005 727 1374 0 10112 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 45964 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15944 /proc/meminfo: memFree=1529340/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45880 CPUtime=1781.75 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1640479 0 0 0 177130 1045 0 0 25 0 1 0 9405184 46981120 10051 1992294400 4194304 9819077 140736985360496 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11470 10051 727 1374 0 10091 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 45880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15944 /proc/meminfo: memFree=1529340/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45716 CPUtime=1800.06 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1666039 0 0 0 178947 1059 0 0 25 0 1 0 9405184 46813184 9998 1992294400 4194304 9819077 140736985360496 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15886/statm: 11429 9998 727 1374 0 10050 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 45716 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: 1.00 1.00 1.00 2/107 15944 /proc/meminfo: memFree=1529340/2059040 swapFree=4192956/4192956 [pid=15886] ppid=15884 vsize=45924 CPUtime=1800.25 /proc/15886/stat : 15886 (pbscip.linux.x8) R 15884 15886 15165 0 -1 4202496 1666229 0 0 0 178966 1059 0 0 25 0 1 0 9405184 47026176 10007 1992294400 4194304 9819077 140736985360496 18446744073709551615 7291711 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15886/statm: 11481 10007 728 1374 0 10102 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 45924 Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.35 CPU user time (s): 1789.75 CPU system time (s): 10.6004 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 49804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.75 system time used= 10.6004 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1666238 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 6137 runsolver used 3.19351 second user time and 8.29274 second system time The end
Begin job on node036 at 2010-06-16 11:38:43 IDJOB=2664903 IDBENCH=48351 IDSOLVER=1168 FILE ID=node036/2664903-1276681123 PBS_JOBID= 11172546 Free space on /tmp= 62524 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_10_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-2664903-1276681123/watcher-2664903-1276681123 -o /tmp/evaluation-result-2664903-1276681123/solver-2664903-1276681123 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664903-1276681123.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3f7fb60f05fdea42d317cf95beb113ab RANDOM SEED=930117837 node036.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.251 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.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1569308 kB Buffers: 120820 kB Cached: 227684 kB SwapCached: 0 kB Active: 159864 kB Inactive: 248184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1569308 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6220 kB Writeback: 0 kB AnonPages: 59620 kB Mapped: 15432 kB Slab: 59792 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181044 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= 62520 MiB End job on node036 at 2010-06-16 12:08:45