Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.02 | 1801.52 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_5_80.opb |
MD5SUM | d5640996c15a8815d620b5d6c220fea1 |
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 | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
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 | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75000 |
Sum of products size (including duplicates) | 150000 |
Number of different products | 37500 |
Sum of products size | 75000 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663426-1276677170.opb> 0.39/0.44 c original problem has 38500 variables (38500 bin, 0 int, 0 impl, 0 cont) and 39002 constraints 0.39/0.44 c problem read 0.39/0.44 c No objective function, only one solution is needed. 0.39/0.44 c presolving settings loaded 0.39/0.45 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.89/0.93 c presolving: 2.29/2.37 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 300136 impls, 1000 clqs 3.30/3.39 c presolving (2 rounds): 3.30/3.39 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 3.30/3.39 c 300136 implications, 1000 cliques 3.30/3.39 c presolved problem has 38500 variables (38500 bin, 0 int, 0 impl, 0 cont) and 39002 constraints 3.30/3.39 c 1 constraints of type <knapsack> 3.30/3.39 c 1000 constraints of type <setppc> 3.30/3.39 c 37500 constraints of type <and> 3.30/3.39 c 1 constraints of type <linear> 3.30/3.39 c 500 constraints of type <logicor> 3.30/3.39 c transformed objective value is always integral (scale: 1) 3.30/3.39 c Presolving Time: 2.42 3.30/3.39 c - non default parameters ---------------------------------------------------------------------- 3.30/3.39 c # SCIP version 1.2.1.2 3.30/3.39 c 3.30/3.39 c # frequency for displaying node information lines 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 100] 3.30/3.39 c display/freq = 10000 3.30/3.39 c 3.30/3.39 c # maximal time in seconds to run 3.30/3.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.30/3.39 c limits/time = 1799.56 3.30/3.39 c 3.30/3.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 3.30/3.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.30/3.39 c limits/memory = 1620 3.30/3.39 c 3.30/3.39 c # solving stops, if the given number of solutions were found (-1: no limit) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: -1] 3.30/3.39 c limits/solutions = 1 3.30/3.39 c 3.30/3.39 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 1] 3.30/3.39 c lp/solvefreq = -1 3.30/3.39 c 3.30/3.39 c # maximal number of separation rounds per node (-1: unlimited) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 5] 3.30/3.39 c separating/maxrounds = 1 3.30/3.39 c 3.30/3.39 c # maximal number of separation rounds in the root node (-1: unlimited) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: -1] 3.30/3.39 c separating/maxroundsroot = 5 3.30/3.39 c 3.30/3.39 c # should presolving try to simplify inequalities 3.30/3.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.30/3.39 c constraints/linear/simplifyinequalities = TRUE 3.30/3.39 c 3.30/3.39 c # should disaggregation of knapsack constraints be allowed in preprocessing? 3.30/3.39 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 3.30/3.39 c constraints/knapsack/disaggregation = FALSE 3.30/3.39 c 3.30/3.39 c # should presolving try to simplify knapsacks 3.30/3.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.30/3.39 c constraints/knapsack/simplifyinequalities = TRUE 3.30/3.39 c 3.30/3.39 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: -1] 3.30/3.39 c presolving/probing/maxrounds = 0 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 10] 3.30/3.39 c heuristics/coefdiving/freq = -1 3.30/3.39 c 3.30/3.39 c # maximal fraction of diving LP iterations compared to node LP iterations 3.30/3.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.30/3.39 c heuristics/coefdiving/maxlpiterquot = 0.075 3.30/3.39 c 3.30/3.39 c # additional number of allowed LP iterations 3.30/3.39 c # [type: int, range: [0,2147483647], default: 1000] 3.30/3.39 c heuristics/coefdiving/maxlpiterofs = 1500 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 30] 3.30/3.39 c heuristics/crossover/freq = -1 3.30/3.39 c 3.30/3.39 c # number of nodes added to the contingent of the total nodes 3.30/3.39 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.30/3.39 c heuristics/crossover/nodesofs = 750 3.30/3.39 c 3.30/3.39 c # number of nodes without incumbent change that heuristic should wait 3.30/3.39 c # [type: longint, range: [0,9223372036854775807], default: 200] 3.30/3.39 c heuristics/crossover/nwaitingnodes = 100 3.30/3.39 c 3.30/3.39 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 3.30/3.39 c # [type: real, range: [0,1], default: 0.1] 3.30/3.39 c heuristics/crossover/nodesquot = 0.15 3.30/3.39 c 3.30/3.39 c # minimum percentage of integer variables that have to be fixed 3.30/3.39 c # [type: real, range: [0,1], default: 0.666] 3.30/3.39 c heuristics/crossover/minfixingrate = 0.5 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 20] 3.30/3.39 c heuristics/feaspump/freq = -1 3.30/3.39 c 3.30/3.39 c # additional number of allowed LP iterations 3.30/3.39 c # [type: int, range: [0,2147483647], default: 1000] 3.30/3.39 c heuristics/feaspump/maxlpiterofs = 2000 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 10] 3.30/3.39 c heuristics/fracdiving/freq = -1 3.30/3.39 c 3.30/3.39 c # maximal fraction of diving LP iterations compared to node LP iterations 3.30/3.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.30/3.39 c heuristics/fracdiving/maxlpiterquot = 0.075 3.30/3.39 c 3.30/3.39 c # additional number of allowed LP iterations 3.30/3.39 c # [type: int, range: [0,2147483647], default: 1000] 3.30/3.39 c heuristics/fracdiving/maxlpiterofs = 1500 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 10] 3.30/3.39 c heuristics/guideddiving/freq = -1 3.30/3.39 c 3.30/3.39 c # maximal fraction of diving LP iterations compared to node LP iterations 3.30/3.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.30/3.39 c heuristics/guideddiving/maxlpiterquot = 0.075 3.30/3.39 c 3.30/3.39 c # additional number of allowed LP iterations 3.30/3.39 c # [type: int, range: [0,2147483647], default: 1000] 3.30/3.39 c heuristics/guideddiving/maxlpiterofs = 1500 3.30/3.39 c 3.30/3.39 c # maximal fraction of diving LP iterations compared to node LP iterations 3.30/3.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.30/3.39 c heuristics/intdiving/maxlpiterquot = 0.075 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 10] 3.30/3.39 c heuristics/intshifting/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 10] 3.30/3.39 c heuristics/linesearchdiving/freq = -1 3.30/3.39 c 3.30/3.39 c # maximal fraction of diving LP iterations compared to node LP iterations 3.30/3.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.30/3.39 c heuristics/linesearchdiving/maxlpiterquot = 0.075 3.30/3.39 c 3.30/3.39 c # additional number of allowed LP iterations 3.30/3.39 c # [type: int, range: [0,2147483647], default: 1000] 3.30/3.39 c heuristics/linesearchdiving/maxlpiterofs = 1500 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 1] 3.30/3.39 c heuristics/nlp/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 20] 3.30/3.39 c heuristics/objpscostdiving/freq = -1 3.30/3.39 c 3.30/3.39 c # maximal fraction of diving LP iterations compared to total iteration number 3.30/3.39 c # [type: real, range: [0,1], default: 0.01] 3.30/3.39 c heuristics/objpscostdiving/maxlpiterquot = 0.015 3.30/3.39 c 3.30/3.39 c # additional number of allowed LP iterations 3.30/3.39 c # [type: int, range: [0,2147483647], default: 1000] 3.30/3.39 c heuristics/objpscostdiving/maxlpiterofs = 1500 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 1] 3.30/3.39 c heuristics/oneopt/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 10] 3.30/3.39 c heuristics/pscostdiving/freq = -1 3.30/3.39 c 3.30/3.39 c # maximal fraction of diving LP iterations compared to node LP iterations 3.30/3.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.30/3.39 c heuristics/pscostdiving/maxlpiterquot = 0.075 3.30/3.39 c 3.30/3.39 c # additional number of allowed LP iterations 3.30/3.39 c # [type: int, range: [0,2147483647], default: 1000] 3.30/3.39 c heuristics/pscostdiving/maxlpiterofs = 1500 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 0] 3.30/3.39 c heuristics/rens/freq = -1 3.30/3.39 c 3.30/3.39 c # minimum percentage of integer variables that have to be fixable 3.30/3.39 c # [type: real, range: [0,1], default: 0.5] 3.30/3.39 c heuristics/rens/minfixingrate = 0.3 3.30/3.39 c 3.30/3.39 c # number of nodes added to the contingent of the total nodes 3.30/3.39 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.30/3.39 c heuristics/rens/nodesofs = 2000 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 20] 3.30/3.39 c heuristics/rootsoldiving/freq = -1 3.30/3.39 c 3.30/3.39 c # maximal fraction of diving LP iterations compared to node LP iterations 3.30/3.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 3.30/3.39 c heuristics/rootsoldiving/maxlpiterquot = 0.015 3.30/3.39 c 3.30/3.39 c # additional number of allowed LP iterations 3.30/3.39 c # [type: int, range: [0,2147483647], default: 1000] 3.30/3.39 c heuristics/rootsoldiving/maxlpiterofs = 1500 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 1] 3.30/3.39 c heuristics/rounding/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 10] 3.30/3.39 c heuristics/shifting/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 1] 3.30/3.39 c heuristics/simplerounding/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 0] 3.30/3.39 c heuristics/trivial/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 1] 3.30/3.39 c heuristics/trysol/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 10] 3.30/3.39 c heuristics/veclendiving/freq = -1 3.30/3.39 c 3.30/3.39 c # maximal fraction of diving LP iterations compared to node LP iterations 3.30/3.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.30/3.39 c heuristics/veclendiving/maxlpiterquot = 0.075 3.30/3.39 c 3.30/3.39 c # additional number of allowed LP iterations 3.30/3.39 c # [type: int, range: [0,2147483647], default: 1000] 3.30/3.39 c heuristics/veclendiving/maxlpiterofs = 1500 3.30/3.39 c 3.30/3.39 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 1] 3.30/3.39 c heuristics/zirounding/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 0] 3.30/3.39 c separating/cmir/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: 0] 3.30/3.39 c separating/flowcover/freq = -1 3.30/3.39 c 3.30/3.39 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 3.30/3.39 c # [type: int, range: [-1,2147483647], default: -1] 3.30/3.39 c separating/rapidlearning/freq = 0 3.30/3.39 c 3.30/3.39 c ----------------------------------------------------------------------------------------------- 3.30/3.39 c start solving 3.39/3.43 c 3.39/3.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 3.39/3.46 c 2.7s| 1 | 2 | 0 | - | 100M| 0 | - | 38k| 39k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 274.92/275.03 c 274s| 10000 | 9769 | 0 | 0.0 | 145M| 879 | - | 38k| 39k| 0 | 0 | 0 | 199 | 0 | 0.000000e+00 | -- | Inf 567.23/567.41 c 566s| 20000 | 19695 | 0 | 0.0 | 180M| 879 | - | 38k| 39k| 0 | 0 | 0 | 254 | 0 | 0.000000e+00 | -- | Inf 849.47/849.70 c 847s| 30000 | 29627 | 0 | 0.0 | 215M| 879 | - | 38k| 39k| 0 | 0 | 0 | 306 | 0 | 0.000000e+00 | -- | Inf 1108.51/1108.87 c 1106s| 40000 | 39568 | 0 | 0.0 | 247M| 879 | - | 38k| 39k| 0 | 0 | 0 | 355 | 0 | 0.000000e+00 | -- | Inf 1376.12/1376.58 c 1373s| 50000 | 49494 | 0 | 0.0 | 279M| 879 | - | 38k| 39k| 0 | 0 | 0 | 414 | 0 | 0.000000e+00 | -- | Inf 1638.46/1638.92 c 1635s| 60000 | 59410 | 0 | 0.0 | 312M| 879 | - | 38k| 39k| 0 | 0 | 0 | 474 | 0 | 0.000000e+00 | -- | Inf 1800.11/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.11/1800.63 c 1800.11/1800.63 c SCIP Status : solving was interrupted [user interrupt] 1800.11/1800.63 c Solving Time (sec) : 1796.46 1800.11/1800.63 c Solving Nodes : 66238 1800.11/1800.63 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.11/1800.63 c Dual Bound : +0.00000000000000e+00 1800.11/1800.63 c Gap : infinite 1800.11/1800.63 s UNKNOWN 1800.11/1800.63 c SCIP Status : solving was interrupted [user interrupt] 1800.11/1800.63 c Solving Time : 1796.46 1800.11/1800.63 c Original Problem : 1800.11/1800.63 c Problem name : HOME/instance-2663426-1276677170.opb 1800.11/1800.63 c Variables : 38500 (38500 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.11/1800.63 c Constraints : 39002 initial, 39002 maximal 1800.11/1800.63 c Presolved Problem : 1800.11/1800.63 c Problem name : t_HOME/instance-2663426-1276677170.opb 1800.11/1800.63 c Variables : 38500 (38500 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.11/1800.63 c Constraints : 39002 initial, 39364 maximal 1800.11/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.11/1800.63 c trivial : 0.02 0 0 0 0 0 0 0 0 1800.11/1800.63 c dualfix : 0.01 0 0 0 0 0 0 0 0 1800.11/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.11/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.11/1800.63 c implics : 0.03 0 0 0 0 0 0 0 0 1800.11/1800.63 c probing : 0.00 0 0 0 0 0 0 0 0 1800.11/1800.63 c knapsack : 0.05 0 0 0 0 0 0 0 0 1800.11/1800.63 c setppc : 0.06 0 0 0 0 0 0 0 0 1800.11/1800.63 c and : 1.64 0 0 0 0 0 0 0 0 1800.11/1800.63 c linear : 0.30 0 0 0 0 0 0 0 0 1800.11/1800.63 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.11/1800.63 c root node : - 0 - - 0 - - - - 1800.11/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.11/1800.63 c integral : 0 0 0 0 0 0 0 0 0 0 1800.11/1800.63 c knapsack : 1 0 98530 0 47971 64 18570 0 0 0 1800.11/1800.63 c setppc : 1000 0 139385 0 65977 231 64629 0 0 0 1800.11/1800.63 c and : 37500 0 139154 0 65977 0 3559561 0 0 0 1800.11/1800.63 c linear : 1 0 139082 0 65977 87 6080 0 0 0 1800.11/1800.63 c logicor : 500+ 0 778 0 65977 3 15239 0 0 0 1800.11/1800.63 c countsols : 0 0 0 0 65977 0 0 0 0 0 1800.11/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.11/1800.63 c integral : 0.00 0.00 0.00 0.00 0.00 1800.11/1800.63 c knapsack : 7.38 0.00 2.80 0.00 4.58 1800.11/1800.63 c setppc : 380.71 0.00 10.61 0.00 370.10 1800.11/1800.63 c and : 715.50 0.00 268.20 0.00 447.30 1800.11/1800.63 c linear : 21.26 0.00 21.07 0.00 0.19 1800.11/1800.63 c logicor : 14.87 0.00 0.34 0.00 14.53 1800.11/1800.63 c countsols : 0.10 0.00 0.00 0.00 0.10 1800.11/1800.63 c Propagators : Time Calls Cutoffs DomReds 1800.11/1800.63 c vbounds : 0.18 1 0 0 1800.11/1800.63 c rootredcost : 0.11 0 0 0 1800.11/1800.63 c pseudoobj : 0.04 0 0 0 1800.11/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.11/1800.63 c propagation : 1.78 385 384 624 554.8 0 0.0 - 1800.11/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.11/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.11/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.11/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.11/1800.63 c applied globally : - - - 515 499.4 - - - 1800.11/1800.63 c applied locally : - - - 0 0.0 - - - 1800.11/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.11/1800.63 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.11/1800.63 c redcost : 0.00 0 0 0 0 0 1800.11/1800.63 c impliedbounds : 0.00 0 0 0 0 0 1800.11/1800.63 c intobj : 0.00 0 0 0 0 0 1800.11/1800.63 c cgmip : 0.00 0 0 0 0 0 1800.11/1800.63 c gomory : 0.00 0 0 0 0 0 1800.11/1800.63 c strongcg : 0.00 0 0 0 0 0 1800.11/1800.63 c cmir : 0.00 0 0 0 0 0 1800.11/1800.63 c flowcover : 0.00 0 0 0 0 0 1800.11/1800.63 c clique : 0.00 0 0 0 0 0 1800.11/1800.63 c zerohalf : 0.00 0 0 0 0 0 1800.11/1800.63 c mcf : 0.00 0 0 0 0 0 1800.11/1800.63 c rapidlearning : 0.00 0 0 0 0 0 1800.11/1800.63 c Pricers : Time Calls Vars 1800.11/1800.63 c problem variables: 0.00 0 0 1800.11/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.11/1800.63 c relpscost : 0.00 0 0 0 0 0 0 1800.11/1800.63 c pscost : 0.00 0 0 0 0 0 0 1800.11/1800.63 c inference : 636.12 65977 0 0 0 0 131954 1800.11/1800.63 c mostinf : 0.00 0 0 0 0 0 0 1800.11/1800.63 c leastinf : 0.00 0 0 0 0 0 0 1800.11/1800.63 c fullstrong : 0.00 0 0 0 0 0 0 1800.11/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0 1800.11/1800.63 c random : 0.00 0 0 0 0 0 0 1800.11/1800.63 c Primal Heuristics : Time Calls Found 1800.11/1800.63 c LP solutions : 0.00 - 0 1800.11/1800.63 c pseudo solutions : 0.00 - 0 1800.11/1800.63 c trivial : 0.08 1 0 1800.11/1800.63 c simplerounding : 0.00 0 0 1800.11/1800.63 c zirounding : 0.00 0 0 1800.11/1800.63 c rounding : 0.00 0 0 1800.11/1800.63 c shifting : 0.00 0 0 1800.11/1800.63 c intshifting : 0.00 0 0 1800.11/1800.63 c oneopt : 0.00 0 0 1800.11/1800.63 c twoopt : 0.00 0 0 1800.11/1800.63 c fixandinfer : 0.00 0 0 1800.11/1800.63 c feaspump : 0.00 0 0 1800.11/1800.63 c coefdiving : 0.00 0 0 1800.11/1800.63 c pscostdiving : 0.00 0 0 1800.11/1800.63 c fracdiving : 0.00 0 0 1800.11/1800.63 c veclendiving : 0.00 0 0 1800.11/1800.63 c intdiving : 0.00 0 0 1800.11/1800.63 c actconsdiving : 0.00 0 0 1800.11/1800.63 c objpscostdiving : 0.00 0 0 1800.11/1800.63 c rootsoldiving : 0.00 0 0 1800.11/1800.63 c linesearchdiving : 0.00 0 0 1800.11/1800.63 c guideddiving : 0.00 0 0 1800.11/1800.63 c octane : 0.00 0 0 1800.11/1800.63 c rens : 0.00 0 0 1800.11/1800.63 c rins : 0.00 0 0 1800.11/1800.63 c localbranching : 0.00 0 0 1800.11/1800.63 c mutation : 0.00 0 0 1800.11/1800.63 c crossover : 0.00 0 0 1800.11/1800.63 c dins : 0.00 0 0 1800.11/1800.63 c undercover : 0.00 0 0 1800.11/1800.63 c nlp : 0.00 0 0 1800.11/1800.63 c trysol : 0.00 0 0 1800.11/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec 1800.11/1800.63 c primal LP : 0.00 0 0 0.00 - 1800.11/1800.63 c dual LP : 0.00 0 0 0.00 - 1800.11/1800.63 c lex dual LP : 0.00 0 0 0.00 - 1800.11/1800.63 c barrier LP : 0.00 0 0 0.00 - 1800.11/1800.63 c diving/probing LP: 0.00 0 0 0.00 - 1800.11/1800.63 c strong branching : 0.00 0 0 0.00 - 1800.11/1800.63 c (at root node) : - 0 0 0.00 - 1800.11/1800.63 c conflict analysis: 0.00 0 0 0.00 - 1800.11/1800.63 c B&B Tree : 1800.11/1800.63 c number of runs : 1 1800.11/1800.63 c nodes : 66238 1800.11/1800.63 c nodes (total) : 66238 1800.11/1800.63 c nodes left : 65593 1800.11/1800.63 c max depth : 879 1800.11/1800.63 c max depth (total): 879 1800.11/1800.63 c backtracks : 127 (0.2%) 1800.11/1800.63 c delayed cutoffs : 124 1800.11/1800.63 c repropagations : 6444 (37590 domain reductions, 124 cutoffs) 1800.11/1800.63 c avg switch length: 2.30 1800.11/1800.63 c switching time : 11.26 1800.11/1800.63 c Solution : 1800.11/1800.63 c Solutions found : 0 (0 improvements) 1800.11/1800.63 c Primal Bound : - 1800.11/1800.63 c Dual Bound : +0.00000000000000e+00 1800.11/1800.63 c Gap : infinite 1800.11/1800.63 c Root Dual Bound : +0.00000000000000e+00 1800.11/1800.63 c Root Iterations : 0 1800.99/1801.51 c Time complete: 1801.01.
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-2663426-1276677170/watcher-2663426-1276677170 -o /tmp/evaluation-result-2663426-1276677170/solver-2663426-1276677170 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663426-1276677170.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 9556 /proc/meminfo: memFree=1608184/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=6880 CPUtime=0 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 1002 0 0 0 0 0 0 0 18 0 1 0 43320673 7045120 924 1992294400 4194304 7136930 140734768428256 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9556/statm: 1720 934 254 719 0 999 0 [startup+0.012861 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9556 /proc/meminfo: memFree=1608184/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=8808 CPUtime=0 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 1610 0 0 0 0 0 0 0 18 0 1 0 43320673 9019392 1532 1992294400 4194304 7136930 140734768428256 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9556/statm: 2202 1534 269 719 0 1481 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8808 [startup+0.100848 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9556 /proc/meminfo: memFree=1608184/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=21772 CPUtime=0.09 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 4894 0 0 0 8 1 0 0 21 0 1 0 43320673 22294528 4816 1992294400 4194304 7136930 140734768428256 18446744073709551615 4680120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9556/statm: 5443 4816 269 719 0 4722 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21772 [startup+0.300871 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9556 /proc/meminfo: memFree=1608184/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=42780 CPUtime=0.29 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 10170 0 0 0 26 3 0 0 21 0 1 0 43320673 43806720 10079 1992294400 4194304 7136930 140734768428256 18446744073709551615 6339954 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9556/statm: 10695 10079 269 719 0 9974 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 42780 [startup+0.700917 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9556 /proc/meminfo: memFree=1608184/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=103984 CPUtime=0.69 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 25883 0 0 0 61 8 0 0 22 0 1 0 43320673 106479616 25343 1992294400 4194304 7136930 140734768428256 18446744073709551615 4563759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 25996 25343 303 719 0 25275 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 103984 [startup+1.50101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9557 /proc/meminfo: memFree=1501660/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=119968 CPUtime=1.49 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 29678 0 0 0 138 11 0 0 25 0 1 0 43320673 122847232 29138 1992294400 4194304 7136930 140734768428256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 29992 29138 327 719 0 29271 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 119968 [startup+3.10119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9557 /proc/meminfo: memFree=1482688/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=140260 CPUtime=3.09 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 36393 0 0 0 283 26 0 0 25 0 1 0 43320673 143626240 33681 1992294400 4194304 7136930 140734768428256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 35065 33681 394 719 0 34344 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 140260 [startup+6.30156 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9557 /proc/meminfo: memFree=1472520/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=143580 CPUtime=6.28 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 38852 0 0 0 592 36 0 0 25 0 1 0 43320673 147025920 34307 1992294400 4194304 7136930 140734768428256 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 35895 34307 389 719 0 35174 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 143580 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9557 /proc/meminfo: memFree=1466692/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=149836 CPUtime=12.68 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 40419 0 0 0 1231 37 0 0 25 0 1 0 43320673 153432064 35874 1992294400 4194304 7136930 140734768428256 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 37459 35874 389 719 0 36738 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 149836 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9557 /proc/meminfo: memFree=1458756/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=156896 CPUtime=25.48 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 42143 0 0 0 2507 41 0 0 25 0 1 0 43320673 160661504 37598 1992294400 4194304 7136930 140734768428256 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 39224 37598 394 719 0 38503 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 156896 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9557 /proc/meminfo: memFree=1454168/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=161500 CPUtime=51.07 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 43268 0 0 0 5059 48 0 0 25 0 1 0 43320673 165376000 38723 1992294400 4194304 7136930 140734768428256 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 40375 38723 394 719 0 39654 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 161500 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9559 /proc/meminfo: memFree=1446356/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=169352 CPUtime=102.27 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 45197 0 0 0 10170 57 0 0 25 0 1 0 43320673 173416448 40652 1992294400 4194304 7136930 140734768428256 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 42338 40652 394 719 0 41617 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 169352 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9561 /proc/meminfo: memFree=1435072/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=180520 CPUtime=162.24 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 47969 0 0 0 16158 66 0 0 25 0 1 0 43320673 184852480 43424 1992294400 4194304 7136930 140734768428256 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 45130 43424 394 719 0 44409 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 180520 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9563 /proc/meminfo: memFree=1428004/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=187652 CPUtime=222.23 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 49753 0 0 0 22150 73 0 0 25 0 1 0 43320673 192155648 45208 1992294400 4194304 7136930 140734768428256 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 46913 45208 394 719 0 46192 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 187652 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9563 /proc/meminfo: memFree=1414116/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=202064 CPUtime=282.21 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 53327 0 0 0 28141 80 0 0 25 0 1 0 43320673 206913536 48782 1992294400 4194304 7136930 140734768428256 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 50516 48782 394 719 0 49795 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 202064 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9565 /proc/meminfo: memFree=1408288/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=207316 CPUtime=342.2 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 54673 0 0 0 34130 90 0 0 25 0 1 0 43320673 212291584 50128 1992294400 4194304 7136930 140734768428256 18446744073709551615 4414503 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 51829 50128 394 719 0 51108 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 207316 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9567 /proc/meminfo: memFree=1402212/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=214304 CPUtime=402.18 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 56408 0 0 0 40121 97 0 0 25 0 1 0 43320673 219447296 51863 1992294400 4194304 7136930 140734768428256 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 53576 51863 394 719 0 52855 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 214304 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9569 /proc/meminfo: memFree=1389316/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=226156 CPUtime=462.16 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 59353 0 0 0 46110 106 0 0 25 0 1 0 43320673 231583744 54808 1992294400 4194304 7136930 140734768428256 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 56539 54808 394 719 0 55818 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 226156 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9571 /proc/meminfo: memFree=1384728/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=230616 CPUtime=522.15 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 60514 0 0 0 52100 115 0 0 25 0 1 0 43320673 236150784 55969 1992294400 4194304 7136930 140734768428256 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 57654 55969 394 719 0 56933 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 230616 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9571 /proc/meminfo: memFree=1372452/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=242972 CPUtime=582.13 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 63573 0 0 0 58088 125 0 0 25 0 1 0 43320673 248803328 59028 1992294400 4194304 7136930 140734768428256 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 60743 59028 394 719 0 60022 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 242972 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9573 /proc/meminfo: memFree=1365756/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=249700 CPUtime=642.13 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 65254 0 0 0 64078 135 0 0 25 0 1 0 43320673 255692800 60709 1992294400 4194304 7136930 140734768428256 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 62425 60709 394 719 0 61704 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 249700 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9583 /proc/meminfo: memFree=1319256/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=295812 CPUtime=1002.02 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 76807 0 0 0 100010 192 0 0 25 0 1 0 43320673 302911488 72262 1992294400 4194304 7136930 140734768428256 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 73953 72262 394 719 0 73232 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 295812 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9585 /proc/meminfo: memFree=1310824/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=304220 CPUtime=1062.01 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 78911 0 0 0 105998 203 0 0 25 0 1 0 43320673 311521280 74366 1992294400 4194304 7136930 140734768428256 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 76055 74366 394 719 0 75334 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 304220 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9587 /proc/meminfo: memFree=1300780/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=314212 CPUtime=1121.99 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 81399 0 0 0 111984 215 0 0 25 0 1 0 43320673 321753088 76854 1992294400 4194304 7136930 140734768428256 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 78553 76854 394 719 0 77832 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 314212 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9587 /proc/meminfo: memFree=1293216/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=321596 CPUtime=1181.97 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 83267 0 0 0 117972 225 0 0 25 0 1 0 43320673 329314304 78722 1992294400 4194304 7136930 140734768428256 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 80399 78722 394 719 0 79678 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 321596 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9589 /proc/meminfo: memFree=1282676/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=331980 CPUtime=1241.96 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 85863 0 0 0 123963 233 0 0 25 0 1 0 43320673 339947520 81318 1992294400 4194304 7136930 140734768428256 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 82995 81318 394 719 0 82274 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 331980 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 9591 /proc/meminfo: memFree=1278336/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=336324 CPUtime=1301.95 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 86947 0 0 0 129952 243 0 0 25 0 1 0 43320673 344395776 82402 1992294400 4194304 7136930 140734768428256 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 84081 82402 394 719 0 83360 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 336324 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 9593 /proc/meminfo: memFree=1274988/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=339624 CPUtime=1361.92 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 87798 0 0 0 135939 253 0 0 25 0 1 0 43320673 347774976 83253 1992294400 4194304 7136930 140734768428256 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 84906 83253 394 719 0 84185 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 339624 [startup+1422.31 s] /proc/loadavg: 1.05 1.02 1.00 2/107 9595 /proc/meminfo: memFree=1265812/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=348676 CPUtime=1421.92 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 90072 0 0 0 141927 265 0 0 25 0 1 0 43320673 357044224 85527 1992294400 4194304 7136930 140734768428256 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 87169 85527 394 719 0 86448 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 348676 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 9595 /proc/meminfo: memFree=1257380/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=357012 CPUtime=1481.9 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 92169 0 0 0 147916 274 0 0 25 0 1 0 43320673 365580288 87624 1992294400 4194304 7136930 140734768428256 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 89253 87624 394 719 0 88532 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 357012 [startup+1542.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 9597 /proc/meminfo: memFree=1248452/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=366012 CPUtime=1541.88 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 94393 0 0 0 153906 282 0 0 25 0 1 0 43320673 374796288 89848 1992294400 4194304 7136930 140734768428256 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 91503 89848 394 719 0 90782 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 366012 [startup+1602.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 9599 /proc/meminfo: memFree=1240888/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=373532 CPUtime=1601.86 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 96293 0 0 0 159896 290 0 0 25 0 1 0 43320673 382496768 91748 1992294400 4194304 7136930 140734768428256 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 93383 91748 394 719 0 92662 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 373532 [startup+1662.3 s] /proc/loadavg: 1.13 1.05 1.01 2/107 9601 /proc/meminfo: memFree=1231960/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=382448 CPUtime=1661.85 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 98514 0 0 0 165883 302 0 0 25 0 1 0 43320673 391626752 93969 1992294400 4194304 7136930 140734768428256 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 95612 93969 394 719 0 94891 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 382448 [startup+1722.3 s] /proc/loadavg: 1.04 1.04 1.00 2/107 9612 /proc/meminfo: memFree=1223404/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=390892 CPUtime=1721.81 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 100608 0 0 0 171868 313 0 0 25 0 1 0 43320673 400273408 96063 1992294400 4194304 7136930 140734768428256 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 97723 96063 394 719 0 97002 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 390892 [startup+1782.3 s] /proc/loadavg: 1.08 1.04 1.00 2/107 9612 /proc/meminfo: memFree=1218196/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=395960 CPUtime=1781.79 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 101889 0 0 0 177857 322 0 0 25 0 1 0 43320673 405463040 97344 1992294400 4194304 7136930 140734768428256 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 98990 97344 394 719 0 98269 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 395960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.06 1.04 1.00 2/107 9614 /proc/meminfo: memFree=1215344/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=400816 CPUtime=1800.11 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 102599 0 0 0 179686 325 0 0 25 0 1 0 43320673 410435584 98054 1992294400 4194304 7136930 140734768428256 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9556/statm: 100204 98054 394 719 0 99483 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 400816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.06 1.04 1.00 2/107 9614 /proc/meminfo: memFree=1215344/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=393448 CPUtime=1800.49 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 102607 0 0 0 179724 325 0 0 25 0 1 0 43320673 402890752 96445 1992294400 4194304 7136930 140734768428256 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9556/statm: 98362 96445 399 719 0 97641 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (KiB) 393448 [startup+1801.4 s] /proc/loadavg: 1.06 1.04 1.00 2/107 9614 /proc/meminfo: memFree=1215344/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=306260 CPUtime=1800.88 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 102607 0 0 0 179763 325 0 0 25 0 1 0 43320673 313610240 74665 1992294400 4194304 7136930 140734768428256 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9556/statm: 76565 74665 399 719 0 75844 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (KiB) 306260 [startup+1801.5 s] /proc/loadavg: 1.06 1.04 1.00 2/107 9614 /proc/meminfo: memFree=1215344/2059040 swapFree=4140048/4192956 [pid=9556] ppid=9554 vsize=74848 CPUtime=1800.99 /proc/9556/stat : 9556 (pbscip.linux.x8) R 9554 9556 9353 0 -1 4202496 102607 0 0 0 179771 328 0 0 25 0 1 0 43320673 76644352 17578 1992294400 4194304 7136930 140734768428256 18446744073709551615 6165657 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/9556/statm: 18712 17578 399 719 0 17991 0 Current children cumulated CPU time (s) 1800.99 Current children cumulated vsize (KiB) 74848 Child status: 0 Real time (s): 1801.52 CPU time (s): 1801.02 CPU user time (s): 1797.72 CPU system time (s): 3.2945 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 400816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.72 system time used= 3.2945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 102613 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= 6132 runsolver used 2.82157 second user time and 8.66468 second system time The end
Begin job on node006 at 2010-06-16 10:32:50 IDJOB=2663426 IDBENCH=48304 IDSOLVER=1167 FILE ID=node006/2663426-1276677170 PBS_JOBID= 11172561 Free space on /tmp= 62504 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_5_80.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663426-1276677170/watcher-2663426-1276677170 -o /tmp/evaluation-result-2663426-1276677170/solver-2663426-1276677170 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663426-1276677170.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d5640996c15a8815d620b5d6c220fea1 RANDOM SEED=163616970 node006.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.204 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.40 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.204 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: 1608712 kB Buffers: 157724 kB Cached: 206904 kB SwapCached: 6988 kB Active: 146432 kB Inactive: 232676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1608712 kB SwapTotal: 4192956 kB SwapFree: 4140048 kB Dirty: 4132 kB Writeback: 0 kB AnonPages: 12564 kB Mapped: 13060 kB Slab: 49452 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183232 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= 62500 MiB End job on node006 at 2010-06-16 11:02:53