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.12 | 1800.75 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21bt.opb |
MD5SUM | cc11de80c07cf0d445d50327479f6689 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 428 |
Total number of constraints | 942 |
Number of constraints which are clauses | 645 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 295 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 144 |
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 | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 189 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-2667129-1276269050.opb> 0.00/0.03 c original problem has 428 variables (428 bin, 0 int, 0 impl, 0 cont) and 942 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.00/0.04 c presolving: 0.00/0.04 c (round 1) 3 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 464 impls, 0 clqs 0.00/0.05 c (round 2) 17 del vars, 21 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 464 impls, 0 clqs 0.00/0.05 c (round 3) 17 del vars, 35 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 464 impls, 0 clqs 0.06/0.08 c (round 4) 17 del vars, 35 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 907 upgd conss, 464 impls, 0 clqs 0.09/0.10 c (round 5) 23 del vars, 35 del conss, 15 chg bounds, 0 chg sides, 0 chg coeffs, 907 upgd conss, 14344 impls, 6 clqs 0.09/0.11 c presolving (6 rounds): 0.09/0.11 c 23 deleted vars, 35 deleted constraints, 15 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.11 c 14344 implications, 6 cliques 0.09/0.11 c presolved problem has 405 variables (405 bin, 0 int, 0 impl, 0 cont) and 907 constraints 0.09/0.11 c 285 constraints of type <knapsack> 0.09/0.11 c 622 constraints of type <logicor> 0.09/0.11 c transformed objective value is always integral (scale: 1) 0.09/0.11 c Presolving Time: 0.06 0.09/0.11 c - non default parameters ---------------------------------------------------------------------- 0.09/0.11 c # SCIP version 1.2.1.2 0.09/0.11 c 0.09/0.11 c # frequency for displaying node information lines 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.11 c display/freq = 10000 0.09/0.11 c 0.09/0.11 c # maximal time in seconds to run 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.11 c limits/time = 1799.98 0.09/0.11 c 0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.11 c limits/memory = 1620 0.09/0.11 c 0.09/0.11 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.11 c limits/solutions = 1 0.09/0.11 c 0.09/0.11 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.11 c separating/maxrounds = 1 0.09/0.11 c 0.09/0.11 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.11 c separating/maxroundsroot = 5 0.09/0.11 c 0.09/0.11 c # should presolving try to simplify inequalities 0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.11 c constraints/linear/simplifyinequalities = TRUE 0.09/0.11 c 0.09/0.11 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.11 c constraints/knapsack/disaggregation = FALSE 0.09/0.11 c 0.09/0.11 c # should presolving try to simplify knapsacks 0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.11 c 0.09/0.11 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.11 c presolving/probing/maxrounds = 0 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/coefdiving/freq = -1 0.09/0.11 c 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.11 c 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.11 c heuristics/crossover/freq = -1 0.09/0.11 c 0.09/0.11 c # number of nodes added to the contingent of the total nodes 0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.11 c heuristics/crossover/nodesofs = 750 0.09/0.11 c 0.09/0.11 c # number of nodes without incumbent change that heuristic should wait 0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.11 c heuristics/crossover/nwaitingnodes = 100 0.09/0.11 c 0.09/0.11 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.11 c # [type: real, range: [0,1], default: 0.1] 0.09/0.11 c heuristics/crossover/nodesquot = 0.15 0.09/0.11 c 0.09/0.11 c # minimum percentage of integer variables that have to be fixed 0.09/0.11 c # [type: real, range: [0,1], default: 0.666] 0.09/0.11 c heuristics/crossover/minfixingrate = 0.5 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.11 c heuristics/feaspump/freq = -1 0.09/0.11 c 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/fracdiving/freq = -1 0.09/0.11 c 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.11 c 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/guideddiving/freq = -1 0.09/0.11 c 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.11 c 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.11 c 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/intshifting/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/linesearchdiving/freq = -1 0.09/0.11 c 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.11 c 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.11 c heuristics/nlp/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.11 c heuristics/objpscostdiving/freq = -1 0.09/0.11 c 0.09/0.11 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.11 c # [type: real, range: [0,1], default: 0.01] 0.09/0.11 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.11 c 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.11 c heuristics/oneopt/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/pscostdiving/freq = -1 0.09/0.11 c 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.11 c 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.11 c heuristics/rens/freq = -1 0.09/0.11 c 0.09/0.11 c # minimum percentage of integer variables that have to be fixable 0.09/0.11 c # [type: real, range: [0,1], default: 0.5] 0.09/0.11 c heuristics/rens/minfixingrate = 0.3 0.09/0.11 c 0.09/0.11 c # number of nodes added to the contingent of the total nodes 0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.11 c heuristics/rens/nodesofs = 2000 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.11 c heuristics/rootsoldiving/freq = -1 0.09/0.11 c 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.11 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.11 c 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.11 c heuristics/rounding/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/shifting/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.11 c heuristics/simplerounding/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.11 c heuristics/trivial/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.11 c heuristics/trysol/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.11 c heuristics/veclendiving/freq = -1 0.09/0.11 c 0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.11 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.11 c 0.09/0.11 c # additional number of allowed LP iterations 0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.11 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.11 c 0.09/0.11 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.11 c heuristics/zirounding/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.11 c separating/cmir/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.11 c separating/flowcover/freq = -1 0.09/0.11 c 0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.11 c separating/rapidlearning/freq = 0 0.09/0.11 c 0.09/0.11 c ----------------------------------------------------------------------------------------------- 0.09/0.11 c start solving 0.09/0.11 c 0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.19/0.21 c 0.2s| 1 | 0 | 693 | - |2960k| 0 | 201 | 405 | 907 | 405 | 901 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 1.19/1.28 c 1.2s| 1 | 0 | 1358 | - |7178k| 0 | 296 | 405 | 923 | 405 |1347 | 446 | 0 | 0 | 0.000000e+00 | -- | Inf 2.39/2.43 c 2.3s| 1 | 0 | 2222 | - | 10M| 0 | 319 | 405 | 923 | 405 |1517 | 616 | 0 | 0 | 0.000000e+00 | -- | Inf 3.20/3.28 c 3.1s| 1 | 0 | 2757 | - | 13M| 0 | 330 | 405 | 923 | 405 |1608 | 707 | 0 | 0 | 0.000000e+00 | -- | Inf 4.19/4.22 c 4.1s| 1 | 0 | 3318 | - | 15M| 0 | 330 | 405 | 923 | 405 |1669 | 768 | 0 | 0 | 0.000000e+00 | -- | Inf 5.19/5.21 c 5.1s| 1 | 0 | 3848 | - | 15M| 0 | 334 | 405 | 923 | 405 |1727 | 826 | 0 | 0 | 0.000000e+00 | -- | Inf 9.69/9.73 c 9.5s| 1 | 2 | 3848 | - | 15M| 0 | 334 | 405 | 923 | 405 |1727 | 826 | 0 | 9 | 0.000000e+00 | -- | Inf 163.25/163.33 c 161s| 10000 | 71 |348164 | 34.4 | 16M| 36 | - | 405 |2127 | 405 |1152 | 826 |1730 |1606 | 0.000000e+00 | -- | Inf 263.52/263.63 c 259s| 20000 | 66 |666212 | 33.1 | 16M| 41 | - | 405 |2604 | 0 | 0 | 826 |3382 |2332 | 0.000000e+00 | -- | Inf 345.01/345.19 c 339s| 30000 | 80 |964662 | 32.0 | 16M| 41 | - | 405 |3113 | 405 |1152 | 826 |4882 |2442 | 0.000000e+00 | -- | Inf 425.99/426.15 c 418s| 40000 | 75 | 1251k| 31.2 | 16M| 45 | - | 405 |3341 | 405 |1152 | 826 |6531 |2794 | 0.000000e+00 | -- | Inf 500.14/500.34 c 491s| 50000 | 82 | 1520k| 30.3 | 17M| 45 | - | 405 |3830 | 0 | 0 | 826 |7934 |3104 | 0.000000e+00 | -- | Inf 573.21/573.41 c 562s| 60000 | 81 | 1790k| 29.8 | 17M| 45 | 55 | 405 |4139 | 405 |1152 | 826 |9325 |3447 | 0.000000e+00 | -- | Inf 647.29/647.57 c 635s| 70000 | 90 | 2065k| 29.5 | 17M| 45 | 47 | 405 |4217 | 405 |1152 | 826 | 10k|3647 | 0.000000e+00 | -- | Inf 741.24/741.58 c 727s| 80000 | 84 | 2379k| 29.7 | 17M| 45 | 22 | 405 |3938 | 405 |1152 | 826 | 11k|4466 | 0.000000e+00 | -- | Inf 817.92/818.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 817.92/818.25 c 802s| 90000 | 79 | 2661k| 29.5 | 17M| 45 | 90 | 405 |3517 | 405 |1152 | 826 | 13k|4604 | 0.000000e+00 | -- | Inf 918.88/919.27 c 901s|100000 | 80 | 3010k| 30.1 | 17M| 45 | - | 405 |3814 | 0 | 0 | 826 | 15k|4982 | 0.000000e+00 | -- | Inf 1004.95/1005.38 c 986s|110000 | 92 | 3311k| 30.1 | 17M| 45 | 45 | 405 |3851 | 405 |1152 | 826 | 16k|5329 | 0.000000e+00 | -- | Inf 1076.02/1076.44 c 1055s|120000 | 81 | 3576k| 29.8 | 17M| 45 | 71 | 405 |4260 | 405 |1152 | 826 | 18k|5405 | 0.000000e+00 | -- | Inf 1154.10/1154.58 c 1132s|130000 | 85 | 3868k| 29.7 | 17M| 45 | - | 405 |4947 | 405 |1152 | 826 | 20k|5528 | 0.000000e+00 | -- | Inf 1241.28/1241.77 c 1217s|140000 | 89 | 4189k| 29.9 | 18M| 45 | - | 405 |5385 | 0 | 0 | 826 | 21k|5693 | 0.000000e+00 | -- | Inf 1343.74/1344.21 c 1318s|150000 | 97 | 4555k| 30.3 | 17M| 45 | 16 | 405 |4454 | 405 |1152 | 826 | 23k|5916 | 0.000000e+00 | -- | Inf 1413.91/1414.42 c 1387s|160000 | 90 | 4821k| 30.1 | 18M| 45 | 94 | 405 |4846 | 405 |1152 | 826 | 25k|5980 | 0.000000e+00 | -- | Inf 1502.09/1502.65 c 1473s|170000 | 86 | 5106k| 30.0 | 18M| 51 | 89 | 405 |4855 | 405 |1152 | 826 | 26k|6841 | 0.000000e+00 | -- | Inf 1588.04/1588.63 c 1557s|180000 | 97 | 5425k| 30.1 | 18M| 51 | - | 405 |4628 | 0 | 0 | 826 | 28k|6883 | 0.000000e+00 | -- | Inf 1660.21/1660.89 c 1628s|190000 | 99 | 5686k| 29.9 | 18M| 51 | 43 | 405 |5210 | 405 |1152 | 826 | 30k|7024 | 0.000000e+00 | -- | Inf 1726.79/1727.42 c 1693s|200000 | 94 | 5936k| 29.7 | 18M| 51 | - | 405 |5738 | 0 | 0 | 826 | 31k|7074 | 0.000000e+00 | -- | Inf 1800.08/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.08/1800.71 c 1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.71 c Solving Time (sec) : 1764.79 1800.08/1800.71 c Solving Nodes : 208473 1800.08/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.08/1800.71 c Dual Bound : +0.00000000000000e+00 1800.08/1800.71 c Gap : infinite 1800.08/1800.71 s UNKNOWN 1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt] 1800.08/1800.71 c Solving Time : 1764.79 1800.08/1800.71 c Original Problem : 1800.08/1800.71 c Problem name : HOME/instance-2667129-1276269050.opb 1800.08/1800.71 c Variables : 428 (428 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.71 c Constraints : 942 initial, 942 maximal 1800.08/1800.71 c Presolved Problem : 1800.08/1800.71 c Problem name : t_HOME/instance-2667129-1276269050.opb 1800.08/1800.71 c Variables : 405 (405 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.08/1800.71 c Constraints : 907 initial, 5905 maximal 1800.08/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.08/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c implics : 0.00 0 8 0 0 0 0 0 0 1800.08/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0 1800.08/1800.71 c knapsack : 0.03 0 0 0 0 0 0 0 0 1800.08/1800.71 c linear : 0.02 15 0 0 15 0 35 0 0 1800.08/1800.71 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.08/1800.71 c root node : - 1 - - 1 - - - - 1800.08/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.08/1800.71 c integral : 0 0 0 106143 0 113 813 0 0 210990 1800.08/1800.71 c knapsack : 285 5 737878 0 0 47966 2310040 668 0 0 1800.08/1800.71 c linear : 0+ 5 319174 0 0 41 4495 0 0 0 1800.08/1800.71 c logicor : 622+ 5 585920 0 0 11955 1267584 0 0 0 1800.08/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.08/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.08/1800.71 c integral : 155.29 0.00 0.00 155.29 0.00 1800.08/1800.71 c knapsack : 36.49 0.03 36.46 0.00 0.00 1800.08/1800.71 c linear : 0.65 0.00 0.65 0.00 0.00 1800.08/1800.71 c logicor : 34.61 0.00 34.61 0.00 0.00 1800.08/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.08/1800.71 c Propagators : Time Calls Cutoffs DomReds 1800.08/1800.71 c vbounds : 0.43 1 0 0 1800.08/1800.71 c rootredcost : 0.26 0 0 0 1800.08/1800.71 c pseudoobj : 0.43 0 0 0 1800.08/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.08/1800.72 c propagation : 10.24 21228 20432 198280 85.5 320 28.7 - 1800.08/1800.72 c infeasible LP : 17.17 45219 0 0 0.0 0 0.0 0 1800.08/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.08/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.08/1800.72 c applied globally : - - - 33001 19.9 - - - 1800.08/1800.72 c applied locally : - - - 166 122.8 - - - 1800.08/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.08/1800.72 c cut pool : 0.01 4 - - 15 - (maximal pool size: 2353) 1800.08/1800.72 c redcost : 1.21 105777 0 0 0 0 1800.08/1800.72 c impliedbounds : 0.02 5 0 0 1443 0 1800.08/1800.72 c intobj : 0.00 0 0 0 0 0 1800.08/1800.72 c cgmip : 0.00 0 0 0 0 0 1800.08/1800.72 c gomory : 1.39 5 0 0 258 0 1800.08/1800.72 c strongcg : 1.18 5 0 0 1862 0 1800.08/1800.72 c cmir : 0.00 0 0 0 0 0 1800.08/1800.72 c flowcover : 0.00 0 0 0 0 0 1800.08/1800.72 c clique : 0.01 5 0 0 18 0 1800.08/1800.72 c zerohalf : 0.00 0 0 0 0 0 1800.08/1800.72 c mcf : 0.00 1 0 0 0 0 1800.08/1800.72 c rapidlearning : 0.26 1 0 0 0 16 1800.08/1800.72 c Pricers : Time Calls Vars 1800.08/1800.72 c problem variables: 0.00 0 0 1800.08/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.08/1800.72 c relpscost : 155.00 106143 113 813 0 0 210990 1800.08/1800.72 c pscost : 0.00 0 0 0 0 0 0 1800.08/1800.72 c inference : 0.00 0 0 0 0 0 0 1800.08/1800.72 c mostinf : 0.00 0 0 0 0 0 0 1800.08/1800.72 c leastinf : 0.00 0 0 0 0 0 0 1800.08/1800.72 c fullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0 1800.08/1800.72 c random : 0.00 0 0 0 0 0 0 1800.08/1800.72 c Primal Heuristics : Time Calls Found 1800.08/1800.72 c LP solutions : 0.00 - 0 1800.08/1800.72 c pseudo solutions : 0.00 - 0 1800.08/1800.72 c trivial : 0.00 1 0 1800.08/1800.72 c simplerounding : 0.00 0 0 1800.08/1800.72 c zirounding : 0.00 0 0 1800.08/1800.72 c rounding : 0.00 0 0 1800.08/1800.72 c shifting : 0.00 0 0 1800.08/1800.72 c intshifting : 0.00 0 0 1800.08/1800.72 c oneopt : 0.00 0 0 1800.08/1800.72 c twoopt : 0.00 0 0 1800.08/1800.72 c fixandinfer : 0.00 0 0 1800.08/1800.72 c feaspump : 0.00 0 0 1800.08/1800.72 c coefdiving : 0.00 0 0 1800.08/1800.72 c pscostdiving : 0.00 0 0 1800.08/1800.72 c fracdiving : 0.00 0 0 1800.08/1800.72 c veclendiving : 0.00 0 0 1800.08/1800.72 c intdiving : 0.00 0 0 1800.08/1800.72 c actconsdiving : 0.00 0 0 1800.08/1800.72 c objpscostdiving : 0.00 0 0 1800.08/1800.72 c rootsoldiving : 0.00 0 0 1800.08/1800.72 c linesearchdiving : 0.00 0 0 1800.08/1800.72 c guideddiving : 0.00 0 0 1800.08/1800.72 c octane : 0.00 0 0 1800.08/1800.72 c rens : 0.00 0 0 1800.08/1800.72 c rins : 0.00 0 0 1800.08/1800.72 c localbranching : 0.00 0 0 1800.08/1800.72 c mutation : 0.00 0 0 1800.08/1800.72 c crossover : 0.00 0 0 1800.08/1800.72 c dins : 0.00 0 0 1800.08/1800.72 c undercover : 0.00 0 0 1800.08/1800.72 c nlp : 0.00 0 0 1800.08/1800.72 c trysol : 0.00 0 0 1800.08/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec 1800.08/1800.72 c primal LP : 0.00 0 0 0.00 - 1800.08/1800.72 c dual LP : 1422.89 151305 6201605 40.99 4358.46 1800.08/1800.72 c lex dual LP : 0.00 0 0 0.00 - 1800.08/1800.72 c barrier LP : 0.00 0 0 0.00 - 1800.08/1800.72 c diving/probing LP: 0.00 0 0 0.00 - 1800.08/1800.72 c strong branching : 149.57 7238 516955 71.42 3456.27 1800.08/1800.72 c (at root node) : - 9 7080 786.67 - 1800.08/1800.72 c conflict analysis: 0.00 0 0 0.00 - 1800.08/1800.72 c B&B Tree : 1800.08/1800.72 c number of runs : 1 1800.08/1800.72 c nodes : 208473 1800.08/1800.72 c nodes (total) : 208473 1800.08/1800.72 c nodes left : 90 1800.08/1800.72 c max depth : 52 1800.08/1800.72 c max depth (total): 52 1800.08/1800.72 c backtracks : 33473 (16.1%) 1800.08/1800.72 c delayed cutoffs : 2428 1800.08/1800.72 c repropagations : 30003 (154176 domain reductions, 2316 cutoffs) 1800.08/1800.72 c avg switch length: 2.81 1800.08/1800.72 c switching time : 31.65 1800.08/1800.72 c Solution : 1800.08/1800.72 c Solutions found : 0 (0 improvements) 1800.08/1800.72 c Primal Bound : - 1800.08/1800.72 c Dual Bound : +0.00000000000000e+00 1800.08/1800.72 c Gap : infinite 1800.08/1800.72 c Root Dual Bound : +0.00000000000000e+00 1800.08/1800.72 c Root Iterations : 3848 1800.08/1800.74 c Time complete: 1800.11.
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-2667129-1276269050/watcher-2667129-1276269050 -o /tmp/evaluation-result-2667129-1276269050/solver-2667129-1276269050 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667129-1276269050.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.10 1.02 3/106 3862 /proc/meminfo: memFree=1589924/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=7724 CPUtime=0 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 1032 0 0 0 0 0 0 0 15 0 1 0 2508416 7909376 951 1992294400 4194304 8223781 140734630893840 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3862/statm: 1931 961 348 984 0 944 0 [startup+0.0695569 s] /proc/loadavg: 1.00 1.10 1.02 3/106 3862 /proc/meminfo: memFree=1589924/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=14100 CPUtime=0.06 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 3714 0 0 0 5 1 0 0 17 0 1 0 2508416 14438400 2498 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 3525 2498 453 984 0 2538 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14100 [startup+0.100559 s] /proc/loadavg: 1.00 1.10 1.02 3/106 3862 /proc/meminfo: memFree=1589924/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=16180 CPUtime=0.09 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 4502 0 0 0 8 1 0 0 17 0 1 0 2508416 16568320 3029 1992294400 4194304 8223781 140734630893840 18446744073709551615 4858499 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 4045 3029 463 984 0 3058 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16180 [startup+0.300579 s] /proc/loadavg: 1.00 1.10 1.02 3/106 3862 /proc/meminfo: memFree=1589924/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=18240 CPUtime=0.29 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 5997 0 0 0 27 2 0 0 17 0 1 0 2508416 18677760 3708 1992294400 4194304 8223781 140734630893840 18446744073709551615 6047802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 4560 3708 558 984 0 3573 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18240 [startup+0.700617 s] /proc/loadavg: 1.00 1.10 1.02 3/106 3862 /proc/meminfo: memFree=1589924/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=36416 CPUtime=0.69 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 11746 0 0 0 63 6 0 0 17 0 1 0 2508416 37289984 7904 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9104 7904 579 984 0 8117 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36416 [startup+1.50069 s] /proc/loadavg: 1.00 1.10 1.02 2/107 3863 /proc/meminfo: memFree=1565736/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=29216 CPUtime=1.49 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 11839 0 0 0 141 8 0 0 18 0 1 0 2508416 29917184 6473 1992294400 4194304 8223781 140734630893840 18446744073709551615 6043599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 7304 6473 587 984 0 6317 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29216 [startup+3.10085 s] /proc/loadavg: 1.00 1.10 1.02 2/107 3863 /proc/meminfo: memFree=1564868/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=36240 CPUtime=3.09 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 13771 0 0 0 299 10 0 0 21 0 1 0 2508416 37109760 8057 1992294400 4194304 8223781 140734630893840 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9060 8057 587 984 0 8073 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36240 [startup+6.30115 s] /proc/loadavg: 1.00 1.10 1.02 2/107 3863 /proc/meminfo: memFree=1557428/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=37828 CPUtime=6.29 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 16439 0 0 0 616 13 0 0 25 0 1 0 2508416 38735872 8551 1992294400 4194304 8223781 140734630893840 18446744073709551615 6567490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9457 8551 588 984 0 8470 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37828 [startup+12.7008 s] /proc/loadavg: 1.00 1.10 1.02 2/107 3863 /proc/meminfo: memFree=1557552/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=37432 CPUtime=12.69 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 23509 0 0 0 1249 20 0 0 25 0 1 0 2508416 38330368 8484 1992294400 4194304 8223781 140734630893840 18446744073709551615 6562631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9358 8484 588 984 0 8371 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37432 [startup+25.5009 s] /proc/loadavg: 1.00 1.09 1.02 2/107 3863 /proc/meminfo: memFree=1557428/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=37020 CPUtime=25.49 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 38973 0 0 0 2515 34 0 0 25 0 1 0 2508416 37908480 8393 1992294400 4194304 8223781 140734630893840 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9255 8393 588 984 0 8268 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37020 [startup+51.1012 s] /proc/loadavg: 1.00 1.08 1.02 2/107 3865 /proc/meminfo: memFree=1557428/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=36864 CPUtime=51.07 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 52341 0 0 0 5042 65 0 0 25 0 1 0 2508416 37748736 8374 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9216 8374 590 984 0 8229 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36864 [startup+102.308 s] /proc/loadavg: 1.09 1.10 1.02 2/107 3865 /proc/meminfo: memFree=1557056/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=37428 CPUtime=102.27 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 85942 0 0 0 10067 160 0 0 25 0 1 0 2508416 38326272 8513 1992294400 4194304 8223781 140734630893840 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9357 8513 591 984 0 8370 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37428 [startup+162.301 s] /proc/loadavg: 1.03 1.08 1.02 2/107 3867 /proc/meminfo: memFree=1556932/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=37540 CPUtime=162.25 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 147942 0 0 0 15950 275 0 0 25 0 1 0 2508416 38440960 8532 1992294400 4194304 8223781 140734630893840 18446744073709551615 6592916 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9385 8532 591 984 0 8398 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 37540 [startup+222.301 s] /proc/loadavg: 1.04 1.07 1.02 2/107 3872 /proc/meminfo: memFree=1555692/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=38168 CPUtime=222.23 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 197645 0 0 0 21827 396 0 0 25 0 1 0 2508416 39084032 8701 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9542 8701 591 984 0 8555 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 38168 [startup+282.301 s] /proc/loadavg: 1.01 1.06 1.01 2/107 3874 /proc/meminfo: memFree=1555444/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=38856 CPUtime=282.22 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 215714 0 0 0 27721 501 0 0 25 0 1 0 2508416 39788544 8829 1992294400 4194304 8223781 140734630893840 18446744073709551615 6567828 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9714 8829 594 984 0 8727 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 38856 [startup+342.301 s] /proc/loadavg: 1.00 1.05 1.00 2/107 3874 /proc/meminfo: memFree=1555196/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=38900 CPUtime=342.2 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 242375 0 0 0 33606 614 0 0 25 0 1 0 2508416 39833600 8849 1992294400 4194304 8223781 140734630893840 18446744073709551615 6588728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9725 8849 591 984 0 8738 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 38900 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 3876 /proc/meminfo: memFree=1554700/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=39272 CPUtime=402.2 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 262170 0 0 0 39488 732 0 0 25 0 1 0 2508416 40214528 8976 1992294400 4194304 8223781 140734630893840 18446744073709551615 6562405 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9818 8976 591 984 0 8831 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 39272 [startup+462.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 3885 /proc/meminfo: memFree=1554080/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=39524 CPUtime=462.17 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 280346 0 0 0 45369 848 0 0 25 0 1 0 2508416 40472576 9029 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9881 9029 591 984 0 8894 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 39524 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 3894 /proc/meminfo: memFree=1554080/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=39468 CPUtime=522.14 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 327269 0 0 0 51225 989 0 0 25 0 1 0 2508416 40415232 9025 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9867 9025 591 984 0 8880 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 39468 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 3896 /proc/meminfo: memFree=1554080/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=39904 CPUtime=582.1 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 374793 0 0 0 57092 1118 0 0 25 0 1 0 2508416 40861696 9116 1992294400 4194304 8223781 140734630893840 18446744073709551615 6559887 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9976 9116 591 984 0 8989 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 39904 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 3896 /proc/meminfo: memFree=1553956/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=39688 CPUtime=642.09 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 431597 0 0 0 62953 1256 0 0 25 0 1 0 2508416 40640512 9069 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 9922 9069 591 984 0 8935 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 39688 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3904 /proc/meminfo: memFree=1553460/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=40340 CPUtime=881.99 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 548942 0 0 0 86480 1719 0 0 25 0 1 0 2508416 41308160 9210 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10085 9210 591 984 0 9098 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 40340 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3904 /proc/meminfo: memFree=1552344/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=41280 CPUtime=941.97 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 574659 0 0 0 92374 1823 0 0 25 0 1 0 2508416 42270720 9457 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10320 9457 591 984 0 9333 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 41280 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3906 /proc/meminfo: memFree=1551972/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=41332 CPUtime=1001.95 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 599180 0 0 0 98258 1937 0 0 25 0 1 0 2508416 42323968 9473 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10333 9473 591 984 0 9346 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 41332 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3908 /proc/meminfo: memFree=1551972/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=41468 CPUtime=1061.93 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 625242 0 0 0 104132 2061 0 0 25 0 1 0 2508416 42463232 9509 1992294400 4194304 8223781 140734630893840 18446744073709551615 6436799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10367 9509 591 984 0 9380 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 41468 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3910 /proc/meminfo: memFree=1551724/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=41764 CPUtime=1121.91 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 643813 0 0 0 110019 2172 0 0 25 0 1 0 2508416 42766336 9564 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10441 9564 591 984 0 9454 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 41764 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3912 /proc/meminfo: memFree=1551476/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=41784 CPUtime=1181.89 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 672343 0 0 0 115904 2285 0 0 25 0 1 0 2508416 42786816 9604 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10446 9604 591 984 0 9459 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 41784 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3912 /proc/meminfo: memFree=1551104/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42088 CPUtime=1241.88 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 683651 0 0 0 121789 2399 0 0 25 0 1 0 2508416 43098112 9680 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10522 9680 591 984 0 9535 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 42088 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3914 /proc/meminfo: memFree=1551104/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42088 CPUtime=1301.86 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 699144 0 0 0 127681 2505 0 0 25 0 1 0 2508416 43098112 9680 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10522 9680 591 984 0 9535 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 42088 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3916 /proc/meminfo: memFree=1550856/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42088 CPUtime=1361.83 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 728622 0 0 0 133567 2616 0 0 25 0 1 0 2508416 43098112 9680 1992294400 4194304 8223781 140734630893840 18446744073709551615 6569667 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10522 9680 591 984 0 9535 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 42088 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3918 /proc/meminfo: memFree=1550856/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42088 CPUtime=1421.82 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 771664 0 0 0 139438 2744 0 0 25 0 1 0 2508416 43098112 9680 1992294400 4194304 8223781 140734630893840 18446744073709551615 6591971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10522 9680 591 984 0 9535 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 42088 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3920 /proc/meminfo: memFree=1550856/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42280 CPUtime=1481.79 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 823775 0 0 0 145304 2875 0 0 25 0 1 0 2508416 43294720 9728 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10570 9728 591 984 0 9583 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 42280 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3920 /proc/meminfo: memFree=1550608/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42280 CPUtime=1541.76 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 875485 0 0 0 151176 3000 0 0 25 0 1 0 2508416 43294720 9728 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10570 9728 591 984 0 9583 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 42280 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3922 /proc/meminfo: memFree=1550608/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42344 CPUtime=1601.74 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 923784 0 0 0 157055 3119 0 0 25 0 1 0 2508416 43360256 9731 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10586 9731 591 984 0 9599 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 42344 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3924 /proc/meminfo: memFree=1550484/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42332 CPUtime=1661.71 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 978858 0 0 0 162919 3252 0 0 25 0 1 0 2508416 43347968 9741 1992294400 4194304 8223781 140734630893840 18446744073709551615 6570060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10583 9741 591 984 0 9596 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 42332 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3926 /proc/meminfo: memFree=1550484/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42548 CPUtime=1721.68 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 1028830 0 0 0 168776 3392 0 0 25 0 1 0 2508416 43569152 9786 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10637 9786 591 984 0 9650 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 42548 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3928 /proc/meminfo: memFree=1550236/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42712 CPUtime=1781.67 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 1046048 0 0 0 174673 3494 0 0 25 0 1 0 2508416 43737088 9836 1992294400 4194304 8223781 140734630893840 18446744073709551615 6560108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10678 9836 591 984 0 9691 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 42712 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3928 /proc/meminfo: memFree=1550236/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42712 CPUtime=1800.08 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 1048534 0 0 0 176481 3527 0 0 25 0 1 0 2508416 43737088 9836 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10678 9836 591 984 0 9691 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 42712 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3928 /proc/meminfo: memFree=1550236/2059040 swapFree=4192956/4192956 [pid=3862] ppid=3860 vsize=42712 CPUtime=1800.08 /proc/3862/stat : 3862 (pbscip.linux.x8) R 3860 3862 3356 0 -1 4202496 1048534 0 0 0 176481 3527 0 0 25 0 1 0 2508416 43737088 9836 1992294400 4194304 8223781 140734630893840 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3862/statm: 10678 9836 591 984 0 9691 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 42712 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.12 CPU user time (s): 1764.84 CPU system time (s): 35.2806 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (KiB): 43596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.84 system time used= 35.2806 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1048550 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= 21705 runsolver used 2.97055 second user time and 8.5177 second system time The end
Begin job on node007 at 2010-06-11 17:10:50 IDJOB=2667129 IDBENCH=1161 IDSOLVER=1169 FILE ID=node007/2667129-1276269050 PBS_JOBID= 11172203 Free space on /tmp= 62444 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21bt.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-2667129-1276269050/watcher-2667129-1276269050 -o /tmp/evaluation-result-2667129-1276269050/solver-2667129-1276269050 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667129-1276269050.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cc11de80c07cf0d445d50327479f6689 RANDOM SEED=1036255908 node007.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.264 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.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1590328 kB Buffers: 41640 kB Cached: 301508 kB SwapCached: 0 kB Active: 161400 kB Inactive: 241116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1590328 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4628 kB Writeback: 0 kB AnonPages: 59324 kB Mapped: 15380 kB Slab: 44300 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180688 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= 62440 MiB End job on node007 at 2010-06-11 17:40:52