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.26 | 1800.8 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_40.opb |
MD5SUM | ff64c7b9cef588c95a335f732f2d905b |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 400 |
Total number of constraints | 602 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12440 |
Sum of products size (including duplicates) | 24880 |
Number of different products | 6220 |
Sum of products size | 12440 |
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-2664911-1276682208.opb> 0.00/0.08 c original problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 6822 constraints 0.00/0.08 c problem read 0.00/0.08 c No objective function, only one solution is needed. 0.00/0.08 c presolving settings loaded 0.10/0.17 c presolving: 0.39/0.46 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 50160 impls, 400 clqs 0.59/0.69 c presolving (2 rounds): 0.59/0.69 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.59/0.69 c 50160 implications, 400 cliques 0.59/0.69 c presolved problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 6822 constraints 0.59/0.69 c 1 constraints of type <knapsack> 0.59/0.69 c 400 constraints of type <setppc> 0.59/0.69 c 6220 constraints of type <and> 0.59/0.69 c 1 constraints of type <linear> 0.59/0.69 c 200 constraints of type <logicor> 0.59/0.69 c transformed objective value is always integral (scale: 1) 0.59/0.69 c Presolving Time: 0.38 0.59/0.69 c - non default parameters ---------------------------------------------------------------------- 0.59/0.69 c # SCIP version 1.2.1.2 0.59/0.69 c 0.59/0.69 c # frequency for displaying node information lines 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 100] 0.59/0.69 c display/freq = 10000 0.59/0.69 c 0.59/0.69 c # maximal time in seconds to run 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.59/0.69 c limits/time = 1799.92 0.59/0.69 c 0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.59/0.69 c limits/memory = 1620 0.59/0.69 c 0.59/0.69 c # solving stops, if the given number of solutions were found (-1: no limit) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.69 c limits/solutions = 1 0.59/0.69 c 0.59/0.69 c # maximal number of separation rounds per node (-1: unlimited) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 5] 0.59/0.69 c separating/maxrounds = 1 0.59/0.69 c 0.59/0.69 c # maximal number of separation rounds in the root node (-1: unlimited) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.69 c separating/maxroundsroot = 5 0.59/0.69 c 0.59/0.69 c # should presolving try to simplify inequalities 0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.59/0.69 c constraints/linear/simplifyinequalities = TRUE 0.59/0.69 c 0.59/0.69 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.59/0.69 c constraints/knapsack/disaggregation = FALSE 0.59/0.69 c 0.59/0.69 c # should presolving try to simplify knapsacks 0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.59/0.69 c constraints/knapsack/simplifyinequalities = TRUE 0.59/0.69 c 0.59/0.69 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.69 c presolving/probing/maxrounds = 0 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/coefdiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/coefdiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/coefdiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 30] 0.59/0.69 c heuristics/crossover/freq = -1 0.59/0.69 c 0.59/0.69 c # number of nodes added to the contingent of the total nodes 0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.59/0.69 c heuristics/crossover/nodesofs = 750 0.59/0.69 c 0.59/0.69 c # number of nodes without incumbent change that heuristic should wait 0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.59/0.69 c heuristics/crossover/nwaitingnodes = 100 0.59/0.69 c 0.59/0.69 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.59/0.69 c # [type: real, range: [0,1], default: 0.1] 0.59/0.69 c heuristics/crossover/nodesquot = 0.15 0.59/0.69 c 0.59/0.69 c # minimum percentage of integer variables that have to be fixed 0.59/0.69 c # [type: real, range: [0,1], default: 0.666] 0.59/0.69 c heuristics/crossover/minfixingrate = 0.5 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.69 c heuristics/feaspump/freq = -1 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/feaspump/maxlpiterofs = 2000 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/fracdiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/fracdiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/fracdiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/guideddiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/guideddiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/guideddiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/intdiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/intshifting/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/linesearchdiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/nlp/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.69 c heuristics/objpscostdiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to total iteration number 0.59/0.69 c # [type: real, range: [0,1], default: 0.01] 0.59/0.69 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/oneopt/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/pscostdiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/pscostdiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.69 c heuristics/rens/freq = -1 0.59/0.69 c 0.59/0.69 c # minimum percentage of integer variables that have to be fixable 0.59/0.69 c # [type: real, range: [0,1], default: 0.5] 0.59/0.69 c heuristics/rens/minfixingrate = 0.3 0.59/0.69 c 0.59/0.69 c # number of nodes added to the contingent of the total nodes 0.59/0.69 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.59/0.69 c heuristics/rens/nodesofs = 2000 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 20] 0.59/0.69 c heuristics/rootsoldiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.59/0.69 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/rounding/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/shifting/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/simplerounding/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.69 c heuristics/trivial/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/trysol/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 10] 0.59/0.69 c heuristics/veclendiving/freq = -1 0.59/0.69 c 0.59/0.69 c # maximal fraction of diving LP iterations compared to node LP iterations 0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.59/0.69 c heuristics/veclendiving/maxlpiterquot = 0.075 0.59/0.69 c 0.59/0.69 c # additional number of allowed LP iterations 0.59/0.69 c # [type: int, range: [0,2147483647], default: 1000] 0.59/0.69 c heuristics/veclendiving/maxlpiterofs = 1500 0.59/0.69 c 0.59/0.69 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1] 0.59/0.69 c heuristics/zirounding/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.69 c separating/cmir/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0] 0.59/0.69 c separating/flowcover/freq = -1 0.59/0.69 c 0.59/0.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1] 0.59/0.69 c separating/rapidlearning/freq = 0 0.59/0.69 c 0.59/0.69 c ----------------------------------------------------------------------------------------------- 0.59/0.69 c start solving 0.59/0.70 c 2.49/2.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.49/2.52 c 2.2s| 1 | 0 | 997 | - | 30M| 0 | 739 |6620 |6822 |6620 | 13k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 20.49/20.53 c 19.9s| 1 | 0 | 1091 | - | 31M| 0 | 690 |6620 |6822 |6620 | 13k| 9 | 0 | 0 | 0.000000e+00 | -- | Inf 32.38/32.47 c 31.8s| 1 | 0 | 1172 | - | 32M| 0 | 716 |6620 |6822 |6620 | 13k| 17 | 0 | 0 | 0.000000e+00 | -- | Inf 43.88/43.95 c 43.2s| 1 | 0 | 1279 | - | 34M| 0 | 766 |6620 |6822 |6620 | 13k| 24 | 0 | 0 | 0.000000e+00 | -- | Inf 58.38/58.48 c 57.7s| 1 | 0 | 1343 | - | 37M| 0 | 781 |6620 |6822 |6620 | 13k| 32 | 0 | 0 | 0.000000e+00 | -- | Inf 71.48/71.57 c 70.8s| 1 | 0 | 1438 | - | 39M| 0 | 837 |6620 |6822 |6620 | 13k| 38 | 0 | 0 | 0.000000e+00 | -- | Inf 95.67/95.78 c 94.8s| 1 | 2 | 1438 | - | 39M| 0 | 837 |6620 |6822 |6620 | 13k| 38 | 0 | 12 | 0.000000e+00 | -- | Inf 1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.06/1800.65 c 1800.06/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.65 c Solving Time (sec) : 1779.31 1800.06/1800.65 c Solving Nodes : 3229 1800.06/1800.65 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.06/1800.65 c Dual Bound : +0.00000000000000e+00 1800.06/1800.65 c Gap : infinite 1800.06/1800.65 s UNKNOWN 1800.06/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.65 c Solving Time : 1779.31 1800.06/1800.65 c Original Problem : 1800.06/1800.65 c Problem name : HOME/instance-2664911-1276682208.opb 1800.06/1800.65 c Variables : 6620 (6620 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.06/1800.65 c Constraints : 6822 initial, 6822 maximal 1800.06/1800.65 c Presolved Problem : 1800.06/1800.65 c Problem name : t_HOME/instance-2664911-1276682208.opb 1800.06/1800.65 c Variables : 6620 (6620 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.06/1800.65 c Constraints : 6822 initial, 7548 maximal 1800.06/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.06/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.65 c probing : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.65 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.06/1800.65 c setppc : 0.01 0 0 0 0 0 0 0 0 1800.06/1800.65 c and : 0.25 0 0 0 0 0 0 0 0 1800.06/1800.65 c linear : 0.05 0 0 0 0 0 0 0 0 1800.06/1800.65 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.66 c root node : - 0 - - 0 - - - - 1800.06/1800.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.06/1800.66 c integral : 0 0 0 1937 0 10 334 0 0 3422 1800.06/1800.66 c knapsack : 1 5 9367 0 0 0 0 0 0 0 1800.06/1800.66 c setppc : 400 5 9367 0 0 38 29368 0 0 0 1800.06/1800.66 c and : 6220 2940 9329 0 0 7 507909 683911 0 0 1800.06/1800.66 c linear : 1 5 9322 0 0 0 0 0 0 0 1800.06/1800.66 c logicor : 200+ 5 3528 0 0 0 1160 0 0 0 1800.06/1800.66 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.06/1800.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.06/1800.66 c integral : 408.45 0.00 0.00 408.45 0.00 1800.06/1800.66 c knapsack : 0.15 0.05 0.10 0.00 0.00 1800.06/1800.66 c setppc : 0.22 0.00 0.22 0.00 0.00 1800.06/1800.66 c and : 9.45 6.46 2.99 0.00 0.00 1800.06/1800.66 c linear : 0.49 0.00 0.49 0.00 0.00 1800.06/1800.66 c logicor : 0.25 0.00 0.25 0.00 0.00 1800.06/1800.66 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.66 c Propagators : Time Calls Cutoffs DomReds 1800.06/1800.66 c vbounds : 0.02 1 0 0 1800.06/1800.66 c rootredcost : 0.01 0 0 0 1800.06/1800.66 c pseudoobj : 0.00 0 0 0 1800.06/1800.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.06/1800.66 c propagation : 0.00 45 45 45 2.8 0 0.0 - 1800.06/1800.66 c infeasible LP : 3.69 1464 202 2092 65.6 0 0.0 0 1800.06/1800.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.06/1800.66 c applied globally : - - - 878 96.2 - - - 1800.06/1800.66 c applied locally : - - - 0 0.0 - - - 1800.06/1800.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.06/1800.66 c cut pool : 0.02 4 - - 7 - (maximal pool size: 672) 1800.06/1800.66 c redcost : 2.73 2940 0 0 0 0 1800.06/1800.66 c impliedbounds : 0.02 5 0 0 6 0 1800.06/1800.66 c intobj : 0.00 0 0 0 0 0 1800.06/1800.66 c cgmip : 0.00 0 0 0 0 0 1800.06/1800.66 c gomory : 21.58 5 0 0 0 0 1800.06/1800.66 c strongcg : 44.52 5 0 0 2351 0 1800.06/1800.66 c cmir : 0.00 0 0 0 0 0 1800.06/1800.66 c flowcover : 0.00 0 0 0 0 0 1800.06/1800.66 c clique : 0.19 5 0 0 32 0 1800.06/1800.66 c zerohalf : 0.00 0 0 0 0 0 1800.06/1800.66 c mcf : 0.34 3 0 0 6 0 1800.06/1800.66 c rapidlearning : 0.79 1 0 0 0 0 1800.06/1800.66 c Pricers : Time Calls Vars 1800.06/1800.66 c problem variables: 0.00 0 0 1800.06/1800.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.06/1800.66 c relpscost : 408.43 1937 10 334 0 0 3422 1800.06/1800.66 c pscost : 0.00 0 0 0 0 0 0 1800.06/1800.66 c inference : 0.00 0 0 0 0 0 0 1800.06/1800.66 c mostinf : 0.00 0 0 0 0 0 0 1800.06/1800.66 c leastinf : 0.00 0 0 0 0 0 0 1800.06/1800.66 c fullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.66 c allfullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.66 c random : 0.00 0 0 0 0 0 0 1800.06/1800.66 c Primal Heuristics : Time Calls Found 1800.06/1800.66 c LP solutions : 0.00 - 0 1800.06/1800.66 c pseudo solutions : 0.00 - 0 1800.06/1800.66 c trivial : 0.01 1 0 1800.06/1800.66 c simplerounding : 0.00 0 0 1800.06/1800.66 c zirounding : 0.00 0 0 1800.06/1800.66 c rounding : 0.00 0 0 1800.06/1800.66 c shifting : 0.00 0 0 1800.06/1800.66 c intshifting : 0.00 0 0 1800.06/1800.66 c oneopt : 0.00 0 0 1800.06/1800.66 c twoopt : 0.00 0 0 1800.06/1800.66 c fixandinfer : 0.00 0 0 1800.06/1800.66 c feaspump : 0.00 0 0 1800.06/1800.66 c coefdiving : 0.00 0 0 1800.06/1800.66 c pscostdiving : 0.00 0 0 1800.06/1800.66 c fracdiving : 0.00 0 0 1800.06/1800.66 c veclendiving : 0.00 0 0 1800.06/1800.66 c intdiving : 0.00 0 0 1800.06/1800.66 c actconsdiving : 0.00 0 0 1800.06/1800.66 c objpscostdiving : 0.00 0 0 1800.06/1800.66 c rootsoldiving : 0.00 0 0 1800.06/1800.66 c linesearchdiving : 0.00 0 0 1800.06/1800.66 c guideddiving : 0.00 0 0 1800.06/1800.66 c octane : 0.00 0 0 1800.06/1800.66 c rens : 0.00 0 0 1800.06/1800.66 c rins : 0.00 0 0 1800.06/1800.66 c localbranching : 0.00 0 0 1800.06/1800.66 c mutation : 0.00 0 0 1800.06/1800.66 c crossover : 0.00 0 0 1800.06/1800.66 c dins : 0.00 0 0 1800.06/1800.66 c undercover : 0.00 0 0 1800.06/1800.66 c nlp : 0.00 0 0 1800.06/1800.66 c trysol : 0.00 0 0 1800.06/1800.66 c LP : Time Calls Iterations Iter/call Iter/sec 1800.06/1800.66 c primal LP : 117.75 0 0 0.00 0.00 1800.06/1800.66 c dual LP : 1134.54 6341 1088272 171.62 959.22 1800.06/1800.66 c lex dual LP : 0.00 0 0 0.00 - 1800.06/1800.66 c barrier LP : 0.00 0 0 0.00 - 1800.06/1800.66 c diving/probing LP: 0.00 0 0 0.00 - 1800.06/1800.66 c strong branching : 407.84 4409 625670 141.91 1534.11 1800.06/1800.66 c (at root node) : - 12 8693 724.42 - 1800.06/1800.66 c conflict analysis: 0.00 0 0 0.00 - 1800.06/1800.66 c B&B Tree : 1800.06/1800.66 c number of runs : 1 1800.06/1800.66 c nodes : 3229 1800.06/1800.66 c nodes (total) : 3229 1800.06/1800.66 c nodes left : 193 1800.06/1800.66 c max depth : 32 1800.06/1800.66 c max depth (total): 32 1800.06/1800.66 c backtracks : 654 (20.3%) 1800.06/1800.66 c delayed cutoffs : 1 1800.06/1800.66 c repropagations : 1096 (5572 domain reductions, 1 cutoffs) 1800.06/1800.66 c avg switch length: 4.50 1800.06/1800.66 c switching time : 123.18 1800.06/1800.66 c Solution : 1800.06/1800.66 c Solutions found : 0 (0 improvements) 1800.06/1800.66 c Primal Bound : - 1800.06/1800.66 c Dual Bound : +0.00000000000000e+00 1800.06/1800.66 c Gap : infinite 1800.06/1800.66 c Root Dual Bound : +0.00000000000000e+00 1800.06/1800.66 c Root Iterations : 1438 1800.24/1800.80 c Time complete: 1800.24.
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-2664911-1276682208/watcher-2664911-1276682208 -o /tmp/evaluation-result-2664911-1276682208/solver-2664911-1276682208 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664911-1276682208.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.07 1.02 1.00 3/106 15502 /proc/meminfo: memFree=1739552/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=9288 CPUtime=0 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 1146 0 0 0 0 0 0 0 18 0 1 0 9508892 9510912 1067 1992294400 4194304 9819077 140735940687856 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15502/statm: 2322 1077 371 1374 0 943 0 [startup+0.091336 s] /proc/loadavg: 1.07 1.02 1.00 3/106 15502 /proc/meminfo: memFree=1739552/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=18904 CPUtime=0.08 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 4034 0 0 0 7 1 0 0 20 0 1 0 9508892 19357696 3601 1992294400 4194304 9819077 140735940687856 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 4726 3606 426 1374 0 3347 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18904 [startup+0.101338 s] /proc/loadavg: 1.07 1.02 1.00 3/106 15502 /proc/meminfo: memFree=1739552/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=24348 CPUtime=0.1 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 5319 0 0 0 8 2 0 0 20 0 1 0 9508892 24932352 4887 1992294400 4194304 9819077 140735940687856 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 6087 4896 426 1374 0 4708 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 24348 [startup+0.301365 s] /proc/loadavg: 1.07 1.02 1.00 3/106 15502 /proc/meminfo: memFree=1739552/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=33404 CPUtime=0.29 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 7726 0 0 0 22 7 0 0 20 0 1 0 9508892 34205696 7036 1992294400 4194304 9819077 140735940687856 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 8351 7036 472 1374 0 6972 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33404 [startup+0.701424 s] /proc/loadavg: 1.07 1.02 1.00 3/106 15502 /proc/meminfo: memFree=1739552/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=39356 CPUtime=0.69 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 11034 0 0 0 48 21 0 0 20 0 1 0 9508892 40300544 8545 1992294400 4194304 9819077 140735940687856 18446744073709551615 6181120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 9839 8545 525 1374 0 8460 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39356 [startup+1.50054 s] /proc/loadavg: 1.07 1.02 1.00 2/107 15503 /proc/meminfo: memFree=1684116/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=68932 CPUtime=1.49 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 17769 0 0 0 126 23 0 0 23 0 1 0 9508892 70586368 14814 1992294400 4194304 9819077 140735940687856 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 17233 14814 636 1374 0 15854 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 68932 [startup+3.10076 s] /proc/loadavg: 1.07 1.02 1.00 2/107 15503 /proc/meminfo: memFree=1682132/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=70972 CPUtime=3.09 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 19617 0 0 0 285 24 0 0 25 0 1 0 9508892 72675328 14429 1992294400 4194304 9819077 140735940687856 18446744073709551615 6044105 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 17743 14429 662 1374 0 16364 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 70972 [startup+6.30122 s] /proc/loadavg: 1.06 1.02 1.00 2/107 15503 /proc/meminfo: memFree=1684000/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=70972 CPUtime=6.29 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 19617 0 0 0 603 26 0 0 25 0 1 0 9508892 72675328 14429 1992294400 4194304 9819077 140735940687856 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 17743 14429 662 1374 0 16364 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 70972 [startup+12.7011 s] /proc/loadavg: 1.06 1.01 1.00 2/107 15503 /proc/meminfo: memFree=1680652/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=74256 CPUtime=12.69 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 20420 0 0 0 1242 27 0 0 25 0 1 0 9508892 76038144 15227 1992294400 4194304 9819077 140735940687856 18446744073709551615 8491803 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 18564 15227 661 1374 0 17185 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 74256 [startup+25.5009 s] /proc/loadavg: 1.04 1.01 1.00 2/107 15503 /proc/meminfo: memFree=1676312/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=78468 CPUtime=25.48 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 33668 0 0 0 2493 55 0 0 25 0 1 0 9508892 80351232 16360 1992294400 4194304 9819077 140735940687856 18446744073709551615 6056795 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 19617 16360 695 1374 0 18238 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 78468 [startup+51.1006 s] /proc/loadavg: 1.03 1.01 1.00 2/107 15505 /proc/meminfo: memFree=1669244/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=85752 CPUtime=51.08 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 37341 0 0 0 5044 64 0 0 25 0 1 0 9508892 87810048 18152 1992294400 4194304 9819077 140735940687856 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 21438 18152 695 1374 0 20059 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 85752 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 15505 /proc/meminfo: memFree=1662920/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=87004 CPUtime=102.27 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 71285 0 0 0 10137 90 0 0 25 0 1 0 9508892 89092096 19570 1992294400 4194304 9819077 140735940687856 18446744073709551615 7311723 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 21751 19570 722 1374 0 20372 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 87004 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15507 /proc/meminfo: memFree=1661308/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=92624 CPUtime=162.24 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 127937 0 0 0 16092 132 0 0 25 0 1 0 9508892 94846976 19947 1992294400 4194304 9819077 140735940687856 18446744073709551615 6700274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 23156 19948 723 1374 0 21777 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 92624 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15509 /proc/meminfo: memFree=1661432/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=88384 CPUtime=222.22 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 198425 0 0 0 22042 180 0 0 25 0 1 0 9508892 90505216 19966 1992294400 4194304 9819077 140735940687856 18446744073709551615 6391514 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 22096 19966 727 1374 0 20717 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 88384 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15520 /proc/meminfo: memFree=1659200/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=91448 CPUtime=282.2 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 278765 0 0 0 27983 237 0 0 25 0 1 0 9508892 93642752 20305 1992294400 4194304 9819077 140735940687856 18446744073709551615 7298799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 22862 20305 727 1374 0 21483 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 91448 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15522 /proc/meminfo: memFree=1659820/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=98444 CPUtime=342.17 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 371068 0 0 0 33920 297 0 0 25 0 1 0 9508892 100806656 20250 1992294400 4194304 9819077 140735940687856 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 24611 20250 727 1374 0 23232 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 98444 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15522 /proc/meminfo: memFree=1659448/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=98684 CPUtime=402.16 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 471303 0 0 0 39855 361 0 0 25 0 1 0 9508892 101052416 20370 1992294400 4194304 9819077 140735940687856 18446744073709551615 6698692 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 24671 20370 727 1374 0 23292 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 98684 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15524 /proc/meminfo: memFree=1657960/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=93832 CPUtime=462.15 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 590770 0 0 0 45782 433 0 0 25 0 1 0 9508892 96083968 20706 1992294400 4194304 9819077 140735940687856 18446744073709551615 6365148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 23458 20706 727 1374 0 22079 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 93832 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15526 /proc/meminfo: memFree=1657464/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=94124 CPUtime=522.13 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 704429 0 0 0 51718 495 0 0 25 0 1 0 9508892 96382976 20771 1992294400 4194304 9819077 140735940687856 18446744073709551615 6388076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 23531 20771 727 1374 0 22152 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 94124 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15528 /proc/meminfo: memFree=1657092/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=101836 CPUtime=582.11 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 818428 0 0 0 57644 567 0 0 25 0 1 0 9508892 104280064 21014 1992294400 4194304 9819077 140735940687856 18446744073709551615 6513085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 25459 21014 727 1374 0 24080 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 101836 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15530 /proc/meminfo: memFree=1655356/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=96520 CPUtime=642.1 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 929172 0 0 0 63577 633 0 0 25 0 1 0 9508892 98836480 21444 1992294400 4194304 9819077 140735940687856 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 24130 21444 727 1374 0 22751 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 96520 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15536 /proc/meminfo: memFree=1653744/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=98016 CPUtime=882.01 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 1425274 0 0 0 87272 929 0 0 25 0 1 0 9508892 100368384 21915 1992294400 4194304 9819077 140735940687856 18446744073709551615 6391609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 24504 21915 727 1374 0 23125 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 98016 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15538 /proc/meminfo: memFree=1652752/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=106020 CPUtime=942 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 1543311 0 0 0 93197 1003 0 0 25 0 1 0 9508892 108564480 22040 1992294400 4194304 9819077 140735940687856 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 26505 22040 727 1374 0 25126 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 106020 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15538 /proc/meminfo: memFree=1652628/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=106284 CPUtime=1001.99 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 1662986 0 0 0 99128 1071 0 0 25 0 1 0 9508892 108834816 22137 1992294400 4194304 9819077 140735940687856 18446744073709551615 7312689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 26571 22137 727 1374 0 25192 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 106284 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15540 /proc/meminfo: memFree=1651760/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=107020 CPUtime=1061.97 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 1783638 0 0 0 105058 1139 0 0 25 0 1 0 9508892 109588480 22423 1992294400 4194304 9819077 140735940687856 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 26755 22423 727 1374 0 25376 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 107020 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15542 /proc/meminfo: memFree=1650148/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=100792 CPUtime=1121.95 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 1899217 0 0 0 110987 1208 0 0 25 0 1 0 9508892 103211008 22411 1992294400 4194304 9819077 140735940687856 18446744073709551615 6822917 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 25198 22411 727 1374 0 23819 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 100792 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15544 /proc/meminfo: memFree=1650644/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=107756 CPUtime=1181.93 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 2017970 0 0 0 116913 1280 0 0 25 0 1 0 9508892 110342144 22526 1992294400 4194304 9819077 140735940687856 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 26939 22526 727 1374 0 25560 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 107756 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15546 /proc/meminfo: memFree=1650024/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=101624 CPUtime=1241.92 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 2132576 0 0 0 122841 1351 0 0 25 0 1 0 9508892 104062976 22600 1992294400 4194304 9819077 140735940687856 18446744073709551615 7291721 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 25406 22600 727 1374 0 24027 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 101624 [startup+1302.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 15546 /proc/meminfo: memFree=1649652/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=101904 CPUtime=1301.9 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 2246630 0 0 0 128769 1421 0 0 25 0 1 0 9508892 104349696 22645 1992294400 4194304 9819077 140735940687856 18446744073709551615 7291689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 25476 22645 727 1374 0 24097 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 101904 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 15548 /proc/meminfo: memFree=1648412/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=103496 CPUtime=1361.88 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 2364420 0 0 0 134695 1493 0 0 25 0 1 0 9508892 105979904 23068 1992294400 4194304 9819077 140735940687856 18446744073709551615 7311953 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 25874 23068 727 1374 0 24495 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 103496 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/107 15550 /proc/meminfo: memFree=1647792/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=103544 CPUtime=1421.87 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 2505423 0 0 0 140610 1577 0 0 25 0 1 0 9508892 106029056 23294 1992294400 4194304 9819077 140735940687856 18446744073709551615 6365164 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 25886 23294 727 1374 0 24507 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 103544 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15552 /proc/meminfo: memFree=1647296/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=104756 CPUtime=1481.84 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 2647285 0 0 0 146525 1659 0 0 25 0 1 0 9508892 107270144 23280 1992294400 4194304 9819077 140735940687856 18446744073709551615 6391502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 26189 23280 727 1374 0 24810 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 104756 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15554 /proc/meminfo: memFree=1647048/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=104260 CPUtime=1541.83 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 2780476 0 0 0 152449 1734 0 0 25 0 1 0 9508892 106762240 23303 1992294400 4194304 9819077 140735940687856 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 26065 23303 727 1374 0 24686 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 104260 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15554 /proc/meminfo: memFree=1646428/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=104780 CPUtime=1601.81 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 2909178 0 0 0 158367 1814 0 0 25 0 1 0 9508892 107294720 23420 1992294400 4194304 9819077 140735940687856 18446744073709551615 7317636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 26195 23420 727 1374 0 24816 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 104780 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15556 /proc/meminfo: memFree=1645932/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=105164 CPUtime=1661.79 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 3028278 0 0 0 164296 1883 0 0 25 0 1 0 9508892 107687936 23606 1992294400 4194304 9819077 140735940687856 18446744073709551615 7311946 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 26291 23606 727 1374 0 24912 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 105164 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15558 /proc/meminfo: memFree=1645684/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=111656 CPUtime=1721.77 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 3192940 0 0 0 170196 1981 0 0 25 0 1 0 9508892 114335744 23626 1992294400 4194304 9819077 140735940687856 18446744073709551615 6676868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 27914 23626 731 1374 0 26535 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 111656 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15560 /proc/meminfo: memFree=1645188/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=105880 CPUtime=1781.75 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 3312691 0 0 0 176125 2050 0 0 25 0 1 0 9508892 108421120 23647 1992294400 4194304 9819077 140735940687856 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 26470 23647 731 1374 0 25091 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 105880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15560 /proc/meminfo: memFree=1644692/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=106388 CPUtime=1800.06 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 3347802 0 0 0 177934 2072 0 0 25 0 1 0 9508892 108941312 23897 1992294400 4194304 9819077 140735940687856 18446744073709551615 7324005 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15502/statm: 26597 23900 731 1374 0 25218 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 106388 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 15560 /proc/meminfo: memFree=1644692/2059040 swapFree=4144492/4192956 [pid=15502] ppid=15500 vsize=24700 CPUtime=1800.24 /proc/15502/stat : 15502 (pbscip.linux.x8) R 15500 15502 15477 0 -1 4202496 3347919 0 0 0 177951 2073 0 0 25 0 1 0 9508892 25292800 3342 1992294400 4194304 9819077 140735940687856 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15502/statm: 6175 3342 734 1374 0 4796 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 24700 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.26 CPU user time (s): 1779.52 CPU system time (s): 20.7388 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 113540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.52 system time used= 20.7388 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3347923 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= 1 involuntary context switches= 1643 runsolver used 3.07953 second user time and 8.40572 second system time The end
Begin job on node049 at 2010-06-16 11:56:48 IDJOB=2664911 IDBENCH=48359 IDSOLVER=1168 FILE ID=node049/2664911-1276682208 PBS_JOBID= 11172578 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_200_25_2_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-2664911-1276682208/watcher-2664911-1276682208 -o /tmp/evaluation-result-2664911-1276682208/solver-2664911-1276682208 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664911-1276682208.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff64c7b9cef588c95a335f732f2d905b RANDOM SEED=2020948087 node049.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.244 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.244 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: 1740080 kB Buffers: 107516 kB Cached: 115208 kB SwapCached: 5920 kB Active: 106652 kB Inactive: 132876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1740080 kB SwapTotal: 4192956 kB SwapFree: 4144492 kB Dirty: 6376 kB Writeback: 0 kB AnonPages: 14020 kB Mapped: 13052 kB Slab: 57580 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182004 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62516 MiB End job on node049 at 2010-06-16 12:26:51