Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.17 | 1800.69 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_1_40.opb |
MD5SUM | 3f7fb60f05fdea42d317cf95beb113ab |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2496 |
Sum of products size (including duplicates) | 4992 |
Number of different products | 1248 |
Sum of products size | 2496 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666333-1276681188.opb> 0.00/0.03 c original problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1550 constraints 0.00/0.03 c problem read 0.00/0.03 c No objective function, only one solution is needed. 0.00/0.03 c presolving settings loaded 0.02/0.04 c presolving: 0.20/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10184 impls, 200 clqs 0.39/0.43 c presolving (2 rounds): 0.39/0.43 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.39/0.43 c 10184 implications, 200 cliques 0.39/0.43 c presolved problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1550 constraints 0.39/0.43 c 1 constraints of type <knapsack> 0.39/0.43 c 200 constraints of type <setppc> 0.39/0.43 c 1248 constraints of type <and> 0.39/0.43 c 1 constraints of type <linear> 0.39/0.43 c 100 constraints of type <logicor> 0.39/0.43 c transformed objective value is always integral (scale: 1) 0.39/0.43 c Presolving Time: 0.18 0.39/0.43 c - non default parameters ---------------------------------------------------------------------- 0.39/0.43 c # SCIP version 1.2.1.2 0.39/0.43 c 0.39/0.43 c # frequency for displaying node information lines 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 100] 0.39/0.43 c display/freq = 10000 0.39/0.43 c 0.39/0.43 c # maximal time in seconds to run 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.39/0.43 c limits/time = 1799.98 0.39/0.43 c 0.39/0.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.39/0.43 c limits/memory = 1620 0.39/0.43 c 0.39/0.43 c # solving stops, if the given number of solutions were found (-1: no limit) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.43 c limits/solutions = 1 0.39/0.43 c 0.39/0.43 c # maximal number of separation rounds per node (-1: unlimited) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 5] 0.39/0.43 c separating/maxrounds = 1 0.39/0.43 c 0.39/0.43 c # maximal number of separation rounds in the root node (-1: unlimited) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.43 c separating/maxroundsroot = 5 0.39/0.43 c 0.39/0.43 c # should presolving try to simplify inequalities 0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.39/0.43 c constraints/linear/simplifyinequalities = TRUE 0.39/0.43 c 0.39/0.43 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.39/0.43 c constraints/knapsack/disaggregation = FALSE 0.39/0.43 c 0.39/0.43 c # should presolving try to simplify knapsacks 0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.39/0.43 c constraints/knapsack/simplifyinequalities = TRUE 0.39/0.43 c 0.39/0.43 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.43 c presolving/probing/maxrounds = 0 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.43 c heuristics/coefdiving/freq = -1 0.39/0.43 c 0.39/0.43 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.43 c heuristics/coefdiving/maxlpiterquot = 0.075 0.39/0.43 c 0.39/0.43 c # additional number of allowed LP iterations 0.39/0.43 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.43 c heuristics/coefdiving/maxlpiterofs = 1500 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 30] 0.39/0.43 c heuristics/crossover/freq = -1 0.39/0.43 c 0.39/0.43 c # number of nodes added to the contingent of the total nodes 0.39/0.43 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.39/0.43 c heuristics/crossover/nodesofs = 750 0.39/0.43 c 0.39/0.43 c # number of nodes without incumbent change that heuristic should wait 0.39/0.43 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.39/0.43 c heuristics/crossover/nwaitingnodes = 100 0.39/0.43 c 0.39/0.43 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.39/0.43 c # [type: real, range: [0,1], default: 0.1] 0.39/0.43 c heuristics/crossover/nodesquot = 0.15 0.39/0.43 c 0.39/0.43 c # minimum percentage of integer variables that have to be fixed 0.39/0.43 c # [type: real, range: [0,1], default: 0.666] 0.39/0.43 c heuristics/crossover/minfixingrate = 0.5 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.43 c heuristics/feaspump/freq = -1 0.39/0.43 c 0.39/0.43 c # additional number of allowed LP iterations 0.39/0.43 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.43 c heuristics/feaspump/maxlpiterofs = 2000 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.43 c heuristics/fracdiving/freq = -1 0.39/0.43 c 0.39/0.43 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.43 c heuristics/fracdiving/maxlpiterquot = 0.075 0.39/0.43 c 0.39/0.43 c # additional number of allowed LP iterations 0.39/0.43 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.43 c heuristics/fracdiving/maxlpiterofs = 1500 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.43 c heuristics/guideddiving/freq = -1 0.39/0.43 c 0.39/0.43 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.43 c heuristics/guideddiving/maxlpiterquot = 0.075 0.39/0.43 c 0.39/0.43 c # additional number of allowed LP iterations 0.39/0.43 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.43 c heuristics/guideddiving/maxlpiterofs = 1500 0.39/0.43 c 0.39/0.43 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.43 c heuristics/intdiving/maxlpiterquot = 0.075 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.43 c heuristics/intshifting/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.43 c heuristics/linesearchdiving/freq = -1 0.39/0.43 c 0.39/0.43 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.43 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.39/0.43 c 0.39/0.43 c # additional number of allowed LP iterations 0.39/0.43 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.43 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.43 c heuristics/nlp/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.43 c heuristics/objpscostdiving/freq = -1 0.39/0.43 c 0.39/0.43 c # maximal fraction of diving LP iterations compared to total iteration number 0.39/0.43 c # [type: real, range: [0,1], default: 0.01] 0.39/0.43 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.39/0.43 c 0.39/0.43 c # additional number of allowed LP iterations 0.39/0.43 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.43 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.43 c heuristics/oneopt/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.43 c heuristics/pscostdiving/freq = -1 0.39/0.43 c 0.39/0.43 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.43 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.39/0.43 c 0.39/0.43 c # additional number of allowed LP iterations 0.39/0.43 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.43 c heuristics/pscostdiving/maxlpiterofs = 1500 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.43 c heuristics/rens/freq = -1 0.39/0.43 c 0.39/0.43 c # minimum percentage of integer variables that have to be fixable 0.39/0.43 c # [type: real, range: [0,1], default: 0.5] 0.39/0.43 c heuristics/rens/minfixingrate = 0.3 0.39/0.43 c 0.39/0.43 c # number of nodes added to the contingent of the total nodes 0.39/0.43 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.39/0.43 c heuristics/rens/nodesofs = 2000 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 20] 0.39/0.43 c heuristics/rootsoldiving/freq = -1 0.39/0.43 c 0.39/0.43 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.39/0.43 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.39/0.43 c 0.39/0.43 c # additional number of allowed LP iterations 0.39/0.43 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.43 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.43 c heuristics/rounding/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.43 c heuristics/shifting/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.43 c heuristics/simplerounding/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.43 c heuristics/trivial/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.43 c heuristics/trysol/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 10] 0.39/0.43 c heuristics/veclendiving/freq = -1 0.39/0.43 c 0.39/0.43 c # maximal fraction of diving LP iterations compared to node LP iterations 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.39/0.43 c heuristics/veclendiving/maxlpiterquot = 0.075 0.39/0.43 c 0.39/0.43 c # additional number of allowed LP iterations 0.39/0.43 c # [type: int, range: [0,2147483647], default: 1000] 0.39/0.43 c heuristics/veclendiving/maxlpiterofs = 1500 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 1] 0.39/0.43 c heuristics/zirounding/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.43 c separating/cmir/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 0] 0.39/0.43 c separating/flowcover/freq = -1 0.39/0.43 c 0.39/0.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.43 c separating/rapidlearning/freq = 0 0.39/0.43 c 0.39/0.43 c ----------------------------------------------------------------------------------------------- 0.39/0.43 c start solving 0.39/0.43 c 1.10/1.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.10/1.14 c 0.9s| 1 | 0 | 1356 | - |6614k| 0 | 634 |1448 |1550 |1448 |2798 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 4.69/4.73 c 4.2s| 1 | 0 | 1437 | - |8666k| 0 | 627 |1448 |1683 |1448 |2833 | 35 | 0 | 0 | 0.000000e+00 | -- | Inf 7.29/7.33 c 6.8s| 1 | 0 | 1482 | - |9936k| 0 | 609 |1448 |1683 |1448 |2846 | 48 | 0 | 0 | 0.000000e+00 | -- | Inf 10.19/10.21 c 9.6s| 1 | 0 | 1594 | - | 12M| 0 | 590 |1448 |1683 |1448 |2854 | 56 | 0 | 0 | 0.000000e+00 | -- | Inf 13.09/13.14 c 12.6s| 1 | 0 | 1747 | - | 14M| 0 | 588 |1448 |1683 |1448 |2861 | 63 | 0 | 0 | 0.000000e+00 | -- | Inf 15.68/15.76 c 15.2s| 1 | 0 | 1859 | - | 16M| 0 | 590 |1448 |1683 |1448 |2867 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf 20.79/20.89 c 20.2s| 1 | 2 | 1859 | - | 16M| 0 | 590 |1448 |1683 |1448 |2867 | 69 | 0 | 10 | 0.000000e+00 | -- | Inf 1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.08/1800.65 c 1800.08/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.65 c Solving Time (sec) : 1777.68 1800.08/1800.65 c Solving Nodes : 4394 1800.08/1800.65 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.08/1800.65 c Dual Bound : +0.00000000000000e+00 1800.08/1800.65 c Gap : infinite 1800.08/1800.65 s UNKNOWN 1800.08/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.65 c Solving Time : 1777.68 1800.08/1800.65 c Original Problem : 1800.08/1800.65 c Problem name : HOME/instance-2666333-1276681188.opb 1800.08/1800.65 c Variables : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.65 c Constraints : 1550 initial, 1550 maximal 1800.08/1800.65 c Presolved Problem : 1800.08/1800.65 c Problem name : t_HOME/instance-2666333-1276681188.opb 1800.08/1800.65 c Variables : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.65 c Constraints : 1550 initial, 3964 maximal 1800.08/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.08/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.65 c probing : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.65 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.08/1800.65 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.65 c and : 0.16 0 0 0 0 0 0 0 0 1800.08/1800.65 c linear : 0.01 0 0 0 0 0 0 0 0 1800.08/1800.65 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.65 c root node : - 0 - - 0 - - - - 1800.08/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.08/1800.65 c integral : 0 0 0 2667 0 21 536 0 0 4908 1800.08/1800.65 c knapsack : 1 5 16558 0 0 0 0 0 0 0 1800.08/1800.65 c setppc : 200 5 16558 0 0 0 683 0 0 0 1800.08/1800.65 c and : 1248 3311 16558 0 0 0 62643 185573 0 0 1800.08/1800.65 c linear : 1+ 6 16558 0 0 0 2838 0 0 0 1800.08/1800.65 c logicor : 100+ 5 4830 0 0 7 3799 0 0 0 1800.08/1800.65 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.08/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.08/1800.65 c integral : 569.68 0.00 0.00 569.68 0.00 1800.08/1800.65 c knapsack : 0.08 0.01 0.07 0.00 0.00 1800.08/1800.65 c setppc : 0.15 0.00 0.15 0.00 0.00 1800.08/1800.65 c and : 4.32 3.25 1.07 0.00 0.00 1800.08/1800.65 c linear : 0.48 0.00 0.48 0.00 0.00 1800.08/1800.65 c logicor : 0.24 0.00 0.24 0.00 0.00 1800.08/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.08/1800.65 c Propagators : Time Calls Cutoffs DomReds 1800.08/1800.65 c vbounds : 0.00 1 0 0 1800.08/1800.65 c rootredcost : 0.01 0 0 0 1800.08/1800.65 c pseudoobj : 0.01 0 0 0 1800.08/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.08/1800.65 c propagation : 0.00 7 5 22 17.5 0 0.0 - 1800.08/1800.65 c infeasible LP : 2.04 1917 1752 8915 18.6 0 0.0 0 1800.08/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.08/1800.65 c applied globally : - - - 2302 16.9 - - - 1800.08/1800.65 c applied locally : - - - 0 0.0 - - - 1800.08/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.08/1800.65 c cut pool : 0.01 4 - - 2 - (maximal pool size: 1036) 1800.08/1800.65 c redcost : 0.20 3311 0 0 0 0 1800.08/1800.65 c impliedbounds : 0.00 5 0 0 69 0 1800.08/1800.65 c intobj : 0.00 0 0 0 0 0 1800.08/1800.65 c cgmip : 0.00 0 0 0 0 0 1800.08/1800.65 c gomory : 7.01 5 0 0 0 0 1800.08/1800.65 c strongcg : 5.88 5 0 0 1802 0 1800.08/1800.65 c cmir : 0.00 0 0 0 0 0 1800.08/1800.65 c flowcover : 0.00 0 0 0 0 0 1800.08/1800.65 c clique : 0.10 5 0 0 31 0 1800.08/1800.65 c zerohalf : 0.00 0 0 0 0 0 1800.08/1800.65 c mcf : 0.00 1 0 0 0 0 1800.08/1800.65 c rapidlearning : 0.80 1 0 0 0 133 1800.08/1800.65 c Pricers : Time Calls Vars 1800.08/1800.65 c problem variables: 0.00 0 0 1800.08/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.08/1800.65 c relpscost : 569.67 2667 21 536 0 0 4908 1800.08/1800.65 c pscost : 0.00 0 0 0 0 0 0 1800.08/1800.65 c inference : 0.00 0 0 0 0 0 0 1800.08/1800.65 c mostinf : 0.00 0 0 0 0 0 0 1800.08/1800.65 c leastinf : 0.00 0 0 0 0 0 0 1800.08/1800.65 c fullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.65 c random : 0.00 0 0 0 0 0 0 1800.08/1800.65 c Primal Heuristics : Time Calls Found 1800.08/1800.65 c LP solutions : 0.00 - 0 1800.08/1800.65 c pseudo solutions : 0.00 - 0 1800.08/1800.65 c trivial : 0.00 1 0 1800.08/1800.65 c simplerounding : 0.00 0 0 1800.08/1800.65 c zirounding : 0.00 0 0 1800.08/1800.65 c rounding : 0.00 0 0 1800.08/1800.65 c shifting : 0.00 0 0 1800.08/1800.65 c intshifting : 0.00 0 0 1800.08/1800.65 c oneopt : 0.00 0 0 1800.08/1800.65 c twoopt : 0.00 0 0 1800.08/1800.65 c fixandinfer : 0.00 0 0 1800.08/1800.65 c feaspump : 0.00 0 0 1800.08/1800.65 c coefdiving : 0.00 0 0 1800.08/1800.65 c pscostdiving : 0.00 0 0 1800.08/1800.65 c fracdiving : 0.00 0 0 1800.08/1800.65 c veclendiving : 0.00 0 0 1800.08/1800.65 c intdiving : 0.00 0 0 1800.08/1800.65 c actconsdiving : 0.00 0 0 1800.08/1800.65 c objpscostdiving : 0.00 0 0 1800.08/1800.65 c rootsoldiving : 0.00 0 0 1800.08/1800.65 c linesearchdiving : 0.00 0 0 1800.08/1800.65 c guideddiving : 0.00 0 0 1800.08/1800.65 c octane : 0.00 0 0 1800.08/1800.65 c rens : 0.00 0 0 1800.08/1800.65 c rins : 0.00 0 0 1800.08/1800.65 c localbranching : 0.00 0 0 1800.08/1800.65 c mutation : 0.00 0 0 1800.08/1800.65 c crossover : 0.00 0 0 1800.08/1800.65 c dins : 0.00 0 0 1800.08/1800.65 c undercover : 0.00 0 0 1800.08/1800.65 c nlp : 0.00 0 0 1800.08/1800.65 c trysol : 0.00 0 0 1800.08/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec 1800.08/1800.65 c primal LP : 12.59 0 0 0.00 0.00 1800.08/1800.65 c dual LP : 1161.99 7872 1813149 230.33 1560.38 1800.08/1800.65 c lex dual LP : 0.00 0 0 0.00 - 1800.08/1800.65 c barrier LP : 0.00 0 0 0.00 - 1800.08/1800.65 c diving/probing LP: 0.00 0 0 0.00 - 1800.08/1800.65 c strong branching : 568.76 3430 888641 259.08 1562.42 1800.08/1800.65 c (at root node) : - 10 5278 527.80 - 1800.08/1800.65 c conflict analysis: 0.00 0 0 0.00 - 1800.08/1800.65 c B&B Tree : 1800.08/1800.65 c number of runs : 1 1800.08/1800.65 c nodes : 4394 1800.08/1800.65 c nodes (total) : 4394 1800.08/1800.65 c nodes left : 498 1800.08/1800.65 c max depth : 48 1800.08/1800.65 c max depth (total): 48 1800.08/1800.65 c backtracks : 672 (15.3%) 1800.08/1800.65 c delayed cutoffs : 17 1800.08/1800.65 c repropagations : 3808 (17523 domain reductions, 5 cutoffs) 1800.08/1800.65 c avg switch length: 5.06 1800.08/1800.65 c switching time : 14.28 1800.08/1800.65 c Solution : 1800.08/1800.65 c Solutions found : 0 (0 improvements) 1800.08/1800.65 c Primal Bound : - 1800.08/1800.65 c Dual Bound : +0.00000000000000e+00 1800.08/1800.65 c Gap : infinite 1800.08/1800.65 c Root Dual Bound : +0.00000000000000e+00 1800.08/1800.65 c Root Iterations : 1859 1800.08/1800.69 c Time complete: 1800.16.
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-2666333-1276681188/watcher-2666333-1276681188 -o /tmp/evaluation-result-2666333-1276681188/solver-2666333-1276681188 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666333-1276681188.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7401 /proc/meminfo: memFree=1800768/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=7724 CPUtime=0 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 1112 0 0 0 0 0 0 0 22 0 1 0 43722785 7909376 1031 1992294400 4194304 8223781 140733798865456 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7401/statm: 1931 1040 348 984 0 944 0 [startup+0.0365499 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7401 /proc/meminfo: memFree=1800768/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=11972 CPUtime=0.02 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 2586 0 0 0 2 0 0 0 22 0 1 0 43722785 12259328 2141 1992294400 4194304 8223781 140733798865456 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 2993 2147 379 984 0 2006 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11972 [startup+0.101555 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7401 /proc/meminfo: memFree=1800768/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=16328 CPUtime=0.1 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 3718 0 0 0 6 4 0 0 22 0 1 0 43722785 16719872 3016 1992294400 4194304 8223781 140733798865456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 4082 3016 426 984 0 3095 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16328 [startup+0.301571 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7401 /proc/meminfo: memFree=1800768/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=17348 CPUtime=0.29 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 5558 0 0 0 15 14 0 0 22 0 1 0 43722785 17764352 3314 1992294400 4194304 8223781 140733798865456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 4337 3314 459 984 0 3350 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17348 [startup+0.701603 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7401 /proc/meminfo: memFree=1800768/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=25060 CPUtime=0.69 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 8193 0 0 0 47 22 0 0 24 0 1 0 43722785 25661440 5320 1992294400 4194304 8223781 140733798865456 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 6265 5320 532 984 0 5278 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25060 [startup+1.50067 s] /proc/loadavg: 0.92 0.98 0.99 2/107 7402 /proc/meminfo: memFree=1780548/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=26312 CPUtime=1.49 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 8721 0 0 0 126 23 0 0 25 0 1 0 43722785 26943488 5539 1992294400 4194304 8223781 140733798865456 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 6578 5539 555 984 0 5591 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26312 [startup+3.1008 s] /proc/loadavg: 0.93 0.98 0.99 2/107 7402 /proc/meminfo: memFree=1780300/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=28312 CPUtime=3.09 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 9214 0 0 0 285 24 0 0 25 0 1 0 43722785 28991488 6032 1992294400 4194304 8223781 140733798865456 18446744073709551615 6055118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 7078 6032 557 984 0 6091 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28312 [startup+6.30106 s] /proc/loadavg: 0.93 0.98 0.99 2/107 7402 /proc/meminfo: memFree=1770504/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=34924 CPUtime=6.29 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 16094 0 0 0 576 53 0 0 25 0 1 0 43722785 35762176 7879 1992294400 4194304 8223781 140733798865456 18446744073709551615 6059427 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 8731 7879 588 984 0 7744 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34924 [startup+12.7006 s] /proc/loadavg: 0.94 0.98 0.99 2/107 7402 /proc/meminfo: memFree=1768024/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=37952 CPUtime=12.69 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 16895 0 0 0 1213 56 0 0 25 0 1 0 43722785 38862848 8593 1992294400 4194304 8223781 140733798865456 18446744073709551615 6055578 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 9488 8593 588 984 0 8501 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37952 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/107 7402 /proc/meminfo: memFree=1763064/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=42588 CPUtime=25.48 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 24971 0 0 0 2482 66 0 0 25 0 1 0 43722785 43610112 9743 1992294400 4194304 8223781 140733798865456 18446744073709551615 6590530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10647 9743 589 984 0 9660 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42588 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/107 7402 /proc/meminfo: memFree=1763064/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=42404 CPUtime=51.08 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 35057 0 0 0 5021 87 0 0 25 0 1 0 43722785 43421696 9719 1992294400 4194304 8223781 140733798865456 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10601 9719 590 984 0 9614 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42404 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 7404 /proc/meminfo: memFree=1762816/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=42404 CPUtime=102.28 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 71546 0 0 0 10100 128 0 0 25 0 1 0 43722785 43421696 9729 1992294400 4194304 8223781 140733798865456 18446744073709551615 6562627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10601 9729 592 984 0 9614 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 42404 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7406 /proc/meminfo: memFree=1762816/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=43048 CPUtime=162.25 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 120152 0 0 0 16043 182 0 0 25 0 1 0 43722785 44081152 9857 1992294400 4194304 8223781 140733798865456 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10762 9857 592 984 0 9775 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 43048 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7408 /proc/meminfo: memFree=1762692/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=42896 CPUtime=222.23 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 179434 0 0 0 21985 238 0 0 25 0 1 0 43722785 43925504 9830 1992294400 4194304 8223781 140733798865456 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10724 9830 592 984 0 9737 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 42896 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7408 /proc/meminfo: memFree=1762816/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=42404 CPUtime=282.21 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 241369 0 0 0 27920 301 0 0 25 0 1 0 43722785 43421696 9732 1992294400 4194304 8223781 140733798865456 18446744073709551615 6447019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10601 9732 592 984 0 9614 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 42404 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7410 /proc/meminfo: memFree=1762692/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=43100 CPUtime=342.2 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 309158 0 0 0 33861 359 0 0 25 0 1 0 43722785 44134400 9851 1992294400 4194304 8223781 140733798865456 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10775 9851 592 984 0 9788 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 43100 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7412 /proc/meminfo: memFree=1762816/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=43228 CPUtime=402.19 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 396283 0 0 0 39790 429 0 0 25 0 1 0 43722785 44265472 9842 1992294400 4194304 8223781 140733798865456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10807 9842 592 984 0 9820 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 43228 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7414 /proc/meminfo: memFree=1762568/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=42860 CPUtime=462.17 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 510574 0 0 0 45710 507 0 0 25 0 1 0 43722785 43888640 9820 1992294400 4194304 8223781 140733798865456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10715 9820 592 984 0 9728 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 42860 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7416 /proc/meminfo: memFree=1762444/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=43624 CPUtime=522.15 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 624644 0 0 0 51634 581 0 0 25 0 1 0 43722785 44670976 10005 1992294400 4194304 8223781 140733798865456 18446744073709551615 6562623 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10906 10005 592 984 0 9919 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 43624 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7416 /proc/meminfo: memFree=1762320/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=43208 CPUtime=582.14 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 754272 0 0 0 57548 666 0 0 25 0 1 0 43722785 44244992 9880 1992294400 4194304 8223781 140733798865456 18446744073709551615 6588832 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10802 9880 592 984 0 9815 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 43208 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7418 /proc/meminfo: memFree=1762320/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=43248 CPUtime=642.13 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 893219 0 0 0 63461 752 0 0 25 0 1 0 43722785 44285952 9902 1992294400 4194304 8223781 140733798865456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10812 9902 592 984 0 9825 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 43248 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7424 /proc/meminfo: memFree=1761576/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=44156 CPUtime=822.07 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 1229393 0 0 0 81230 977 0 0 25 0 1 0 43722785 45215744 10121 1992294400 4194304 8223781 140733798865456 18446744073709551615 6570466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11039 10121 593 984 0 10052 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 44156 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7424 /proc/meminfo: memFree=1761700/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=43464 CPUtime=882.05 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 1352274 0 0 0 87150 1055 0 0 25 0 1 0 43722785 44507136 9971 1992294400 4194304 8223781 140733798865456 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10866 9971 592 984 0 9879 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 43464 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7426 /proc/meminfo: memFree=1761204/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=44016 CPUtime=942.04 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 1459948 0 0 0 93075 1129 0 0 25 0 1 0 43722785 45072384 10074 1992294400 4194304 8223781 140733798865456 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11004 10074 592 984 0 10017 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 44016 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7428 /proc/meminfo: memFree=1760832/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=43848 CPUtime=1002.02 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 1562502 0 0 0 99001 1201 0 0 25 0 1 0 43722785 44900352 10078 1992294400 4194304 8223781 140733798865456 18446744073709551615 6539248 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 10962 10078 592 984 0 9975 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 43848 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7430 /proc/meminfo: memFree=1760584/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=44232 CPUtime=1061.99 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 1673096 0 0 0 104924 1275 0 0 25 0 1 0 43722785 45293568 10134 1992294400 4194304 8223781 140733798865456 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11058 10134 592 984 0 10071 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 44232 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7432 /proc/meminfo: memFree=1760460/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=44156 CPUtime=1121.97 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 1789374 0 0 0 110845 1352 0 0 25 0 1 0 43722785 45215744 10129 1992294400 4194304 8223781 140733798865456 18446744073709551615 6482738 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11039 10129 592 984 0 10052 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 44156 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7432 /proc/meminfo: memFree=1759840/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=45412 CPUtime=1181.96 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 1906729 0 0 0 116764 1432 0 0 25 0 1 0 43722785 46501888 10400 1992294400 4194304 8223781 140733798865456 18446744073709551615 6562218 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11353 10400 592 984 0 10366 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 45412 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7434 /proc/meminfo: memFree=1759840/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=44680 CPUtime=1241.95 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 2030945 0 0 0 122680 1515 0 0 25 0 1 0 43722785 45752320 10267 1992294400 4194304 8223781 140733798865456 18446744073709551615 6591317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11170 10268 592 984 0 10183 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 44680 [startup+1302.3 s] /proc/loadavg: 1.05 1.00 1.00 2/107 7445 /proc/meminfo: memFree=1758972/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=45716 CPUtime=1301.92 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 2148241 0 0 0 128602 1590 0 0 25 0 1 0 43722785 46813184 10485 1992294400 4194304 8223781 140733798865456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11429 10485 592 984 0 10442 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 45716 [startup+1362.3 s] /proc/loadavg: 1.07 1.01 1.00 2/107 7447 /proc/meminfo: memFree=1759220/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=45540 CPUtime=1361.89 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 2269236 0 0 0 134517 1672 0 0 25 0 1 0 43722785 46632960 10472 1992294400 4194304 8223781 140733798865456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11385 10472 593 984 0 10398 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 45540 [startup+1422.31 s] /proc/loadavg: 1.07 1.02 1.00 2/107 7449 /proc/meminfo: memFree=1759220/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=45608 CPUtime=1421.88 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 2407587 0 0 0 140430 1758 0 0 25 0 1 0 43722785 46702592 10486 1992294400 4194304 8223781 140733798865456 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11402 10486 592 984 0 10415 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 45608 [startup+1482.3 s] /proc/loadavg: 1.15 1.05 1.01 2/107 7449 /proc/meminfo: memFree=1758972/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=45420 CPUtime=1481.86 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 2539246 0 0 0 146342 1844 0 0 25 0 1 0 43722785 46510080 10481 1992294400 4194304 8223781 140733798865456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11355 10481 592 984 0 10368 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 45420 [startup+1542.3 s] /proc/loadavg: 1.05 1.04 1.00 2/107 7451 /proc/meminfo: memFree=1758972/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=45564 CPUtime=1541.85 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 2658243 0 0 0 152265 1920 0 0 25 0 1 0 43722785 46657536 10515 1992294400 4194304 8223781 140733798865456 18446744073709551615 6532622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11391 10515 592 984 0 10404 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 45564 [startup+1602.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 7453 /proc/meminfo: memFree=1758972/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=46244 CPUtime=1601.82 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 2771618 0 0 0 158186 1996 0 0 25 0 1 0 43722785 47353856 10654 1992294400 4194304 8223781 140733798865456 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11561 10654 592 984 0 10574 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 46244 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7455 /proc/meminfo: memFree=1758848/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=45548 CPUtime=1661.8 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 2895397 0 0 0 164105 2075 0 0 25 0 1 0 43722785 46641152 10510 1992294400 4194304 8223781 140733798865456 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11387 10510 592 984 0 10400 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 45548 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7457 /proc/meminfo: memFree=1758848/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=46060 CPUtime=1721.79 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 3007484 0 0 0 170028 2151 0 0 25 0 1 0 43722785 47165440 10601 1992294400 4194304 8223781 140733798865456 18446744073709551615 6568490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11515 10601 592 984 0 10528 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 46060 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7457 /proc/meminfo: memFree=1758352/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=46300 CPUtime=1781.78 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 3112012 0 0 0 175956 2222 0 0 25 0 1 0 43722785 47411200 10678 1992294400 4194304 8223781 140733798865456 18446744073709551615 6250680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11575 10678 592 984 0 10588 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 46300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7459 /proc/meminfo: memFree=1758352/2059040 swapFree=4140244/4192956 [pid=7401] ppid=7399 vsize=46596 CPUtime=1800.08 /proc/7401/stat : 7401 (pbscip.linux.x8) R 7399 7401 7376 0 -1 4202496 3139893 0 0 0 177766 2242 0 0 25 0 1 0 43722785 47714304 10677 1992294400 4194304 8223781 140733798865456 18446744073709551615 6559366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7401/statm: 11649 10677 592 984 0 10662 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 46596 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.17 CPU user time (s): 1777.74 CPU system time (s): 22.4286 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (KiB): 47232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.74 system time used= 22.4286 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3139952 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 13584 runsolver used 3.20651 second user time and 8.27874 second system time The end
Begin job on node003 at 2010-06-16 11:39:48 IDJOB=2666333 IDBENCH=48351 IDSOLVER=1169 FILE ID=node003/2666333-1276681188 PBS_JOBID= 11172574 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_1_40.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666333-1276681188/watcher-2666333-1276681188 -o /tmp/evaluation-result-2666333-1276681188/solver-2666333-1276681188 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666333-1276681188.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3f7fb60f05fdea42d317cf95beb113ab RANDOM SEED=842087305 node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1801172 kB Buffers: 63248 kB Cached: 113260 kB SwapCached: 6096 kB Active: 102196 kB Inactive: 87436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1801172 kB SwapTotal: 4192956 kB SwapFree: 4140244 kB Dirty: 4788 kB Writeback: 0 kB AnonPages: 11472 kB Mapped: 13020 kB Slab: 46396 kB PageTables: 3892 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182144 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node003 at 2010-06-16 12:09:51