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.57 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb |
MD5SUM | b789f830862c22cea2a920d3cb2b89b5 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.339947 |
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 | 266 |
Total number of constraints | 573 |
Number of constraints which are clauses | 402 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 169 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 81 |
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 | 12 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 93 |
Number of bits of the biggest sum of numbers | 7 |
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-2667132-1276270660.opb> 0.00/0.02 c original problem has 266 variables (266 bin, 0 int, 0 impl, 0 cont) and 573 constraints 0.00/0.02 c problem read 0.00/0.02 c No objective function, only one solution is needed. 0.00/0.02 c presolving settings loaded 0.00/0.03 c presolving: 0.00/0.03 c (round 1) 3 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs 0.00/0.03 c (round 2) 14 del vars, 18 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs 0.00/0.04 c (round 3) 14 del vars, 29 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 302 impls, 0 clqs 0.00/0.06 c (round 4) 14 del vars, 29 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 544 upgd conss, 302 impls, 0 clqs 0.00/0.07 c (round 5) 20 del vars, 29 del conss, 12 chg bounds, 0 chg sides, 0 chg coeffs, 544 upgd conss, 6476 impls, 6 clqs 0.00/0.07 c presolving (6 rounds): 0.00/0.07 c 20 deleted vars, 29 deleted constraints, 12 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.00/0.07 c 6476 implications, 6 cliques 0.00/0.07 c presolved problem has 246 variables (246 bin, 0 int, 0 impl, 0 cont) and 544 constraints 0.00/0.07 c 162 constraints of type <knapsack> 0.00/0.07 c 382 constraints of type <logicor> 0.00/0.07 c transformed objective value is always integral (scale: 1) 0.00/0.07 c Presolving Time: 0.03 0.00/0.07 c - non default parameters ---------------------------------------------------------------------- 0.00/0.07 c # SCIP version 1.2.1.2 0.00/0.07 c 0.00/0.07 c # frequency for displaying node information lines 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.07 c display/freq = 10000 0.00/0.07 c 0.00/0.07 c # maximal time in seconds to run 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.07 c limits/time = 1799.98 0.00/0.07 c 0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.07 c limits/memory = 1620 0.00/0.07 c 0.00/0.07 c # solving stops, if the given number of solutions were found (-1: no limit) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.07 c limits/solutions = 1 0.00/0.07 c 0.00/0.07 c # maximal number of separation rounds per node (-1: unlimited) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 5] 0.00/0.07 c separating/maxrounds = 1 0.00/0.07 c 0.00/0.07 c # maximal number of separation rounds in the root node (-1: unlimited) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.07 c separating/maxroundsroot = 5 0.00/0.07 c 0.00/0.07 c # should presolving try to simplify inequalities 0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.07 c constraints/linear/simplifyinequalities = TRUE 0.00/0.07 c 0.00/0.07 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.00/0.07 c constraints/knapsack/disaggregation = FALSE 0.00/0.07 c 0.00/0.07 c # should presolving try to simplify knapsacks 0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.07 c constraints/knapsack/simplifyinequalities = TRUE 0.00/0.07 c 0.00/0.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.07 c presolving/probing/maxrounds = 0 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/coefdiving/freq = -1 0.00/0.07 c 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/coefdiving/maxlpiterquot = 0.075 0.00/0.07 c 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/coefdiving/maxlpiterofs = 1500 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 30] 0.00/0.07 c heuristics/crossover/freq = -1 0.00/0.07 c 0.00/0.07 c # number of nodes added to the contingent of the total nodes 0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.00/0.07 c heuristics/crossover/nodesofs = 750 0.00/0.07 c 0.00/0.07 c # number of nodes without incumbent change that heuristic should wait 0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.00/0.07 c heuristics/crossover/nwaitingnodes = 100 0.00/0.07 c 0.00/0.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.00/0.07 c # [type: real, range: [0,1], default: 0.1] 0.00/0.07 c heuristics/crossover/nodesquot = 0.15 0.00/0.07 c 0.00/0.07 c # minimum percentage of integer variables that have to be fixed 0.00/0.07 c # [type: real, range: [0,1], default: 0.666] 0.00/0.07 c heuristics/crossover/minfixingrate = 0.5 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20] 0.00/0.07 c heuristics/feaspump/freq = -1 0.00/0.07 c 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/feaspump/maxlpiterofs = 2000 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/fracdiving/freq = -1 0.00/0.07 c 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/fracdiving/maxlpiterquot = 0.075 0.00/0.07 c 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/fracdiving/maxlpiterofs = 1500 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/guideddiving/freq = -1 0.00/0.07 c 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/guideddiving/maxlpiterquot = 0.075 0.00/0.07 c 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/guideddiving/maxlpiterofs = 1500 0.00/0.07 c 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/intdiving/maxlpiterquot = 0.075 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/intshifting/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/linesearchdiving/freq = -1 0.00/0.07 c 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.00/0.07 c 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.07 c heuristics/nlp/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20] 0.00/0.07 c heuristics/objpscostdiving/freq = -1 0.00/0.07 c 0.00/0.07 c # maximal fraction of diving LP iterations compared to total iteration number 0.00/0.07 c # [type: real, range: [0,1], default: 0.01] 0.00/0.07 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.00/0.07 c 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.07 c heuristics/oneopt/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/pscostdiving/freq = -1 0.00/0.07 c 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.00/0.07 c 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/pscostdiving/maxlpiterofs = 1500 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0] 0.00/0.07 c heuristics/rens/freq = -1 0.00/0.07 c 0.00/0.07 c # minimum percentage of integer variables that have to be fixable 0.00/0.07 c # [type: real, range: [0,1], default: 0.5] 0.00/0.07 c heuristics/rens/minfixingrate = 0.3 0.00/0.07 c 0.00/0.07 c # number of nodes added to the contingent of the total nodes 0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.00/0.07 c heuristics/rens/nodesofs = 2000 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20] 0.00/0.07 c heuristics/rootsoldiving/freq = -1 0.00/0.07 c 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.00/0.07 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.00/0.07 c 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.07 c heuristics/rounding/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/shifting/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.07 c heuristics/simplerounding/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0] 0.00/0.07 c heuristics/trivial/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.07 c heuristics/trysol/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10] 0.00/0.07 c heuristics/veclendiving/freq = -1 0.00/0.07 c 0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations 0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.00/0.07 c heuristics/veclendiving/maxlpiterquot = 0.075 0.00/0.07 c 0.00/0.07 c # additional number of allowed LP iterations 0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000] 0.00/0.07 c heuristics/veclendiving/maxlpiterofs = 1500 0.00/0.07 c 0.00/0.07 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1] 0.00/0.07 c heuristics/zirounding/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0] 0.00/0.07 c separating/cmir/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0] 0.00/0.07 c separating/flowcover/freq = -1 0.00/0.07 c 0.00/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.07 c separating/rapidlearning/freq = 0 0.00/0.07 c 0.00/0.07 c ----------------------------------------------------------------------------------------------- 0.00/0.07 c start solving 0.00/0.07 c 0.10/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.10/0.15 c 0.1s| 1 | 0 | 582 | - |1772k| 0 | 167 | 246 | 544 | 246 | 538 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.65 c 0.6s| 1 | 0 | 886 | - |4274k| 0 | 193 | 246 | 574 | 246 | 733 | 195 | 0 | 0 | 0.000000e+00 | -- | Inf 0.99/1.05 c 1.0s| 1 | 0 | 1312 | - |6700k| 0 | 216 | 246 | 574 | 246 | 839 | 301 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.44 c 1.4s| 1 | 0 | 1702 | - |9021k| 0 | 213 | 246 | 574 | 246 | 893 | 355 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.88 c 1.8s| 1 | 0 | 2191 | - | 11M| 0 | 216 | 246 | 574 | 246 | 923 | 385 | 0 | 0 | 0.000000e+00 | -- | Inf 2.20/2.23 c 2.1s| 1 | 0 | 2503 | - | 12M| 0 | 220 | 246 | 574 | 246 | 933 | 395 | 0 | 0 | 0.000000e+00 | -- | Inf 7.49/7.52 c 7.3s| 1 | 2 | 2503 | - | 12M| 0 | 220 | 246 | 574 | 246 | 933 | 395 | 0 | 18 | 0.000000e+00 | -- | Inf 81.97/82.04 c 80.3s| 10000 | 30 |252254 | 25.0 | 13M| 32 | 41 | 246 |1792 | 246 | 717 | 395 |2005 |1402 | 0.000000e+00 | -- | Inf 128.26/128.31 c 125s| 20000 | 34 |479248 | 23.8 | 14M| 34 | 52 | 246 |2654 | 246 | 717 | 395 |4090 |1658 | 0.000000e+00 | -- | Inf 179.55/179.60 c 175s| 30000 | 24 |734313 | 24.4 | 14M| 38 | 32 | 246 |2609 | 246 | 717 | 395 |6278 |1824 | 0.000000e+00 | -- | Inf 240.53/240.60 c 235s| 40000 | 17 | 1020k| 25.4 | 14M| 38 | - | 246 |2936 | 246 | 717 | 395 |8272 |2246 | 0.000000e+00 | -- | Inf 290.12/290.22 c 283s| 50000 | 20 | 1262k| 25.2 | 14M| 38 | 66 | 246 |3429 | 246 | 717 | 395 | 10k|2463 | 0.000000e+00 | -- | Inf 339.41/339.55 c 331s| 60000 | 23 | 1502k| 25.0 | 14M| 38 | 23 | 246 |4380 | 246 | 717 | 395 | 12k|2663 | 0.000000e+00 | -- | Inf 402.99/403.13 c 394s| 70000 | 15 | 1799k| 25.7 | 15M| 38 | 68 | 246 |5168 | 246 | 717 | 395 | 14k|3034 | 0.000000e+00 | -- | Inf 465.29/465.44 c 455s| 80000 | 18 | 2097k| 26.2 | 15M| 38 | 19 | 246 |5951 | 246 | 717 | 395 | 16k|3288 | 0.000000e+00 | -- | Inf 532.17/532.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 532.17/532.36 c 520s| 90000 | 15 | 2417k| 26.8 | 15M| 38 | 69 | 246 |6364 | 246 | 717 | 395 | 18k|3499 | 0.000000e+00 | -- | Inf 591.65/591.84 c 578s|100000 | 15 | 2697k| 27.0 | 15M| 39 | 34 | 246 |5556 | 246 | 717 | 395 | 19k|3785 | 0.000000e+00 | -- | Inf 646.74/646.95 c 632s|110000 | 16 | 2961k| 26.9 | 15M| 43 | - | 246 |6213 | 246 | 717 | 395 | 21k|3936 | 0.000000e+00 | -- | Inf 691.33/691.53 c 676s|120000 | 17 | 3174k| 26.4 | 16M| 43 | - | 246 |7200 | 0 | 0 | 395 | 23k|4078 | 0.000000e+00 | -- | Inf 741.62/741.87 c 725s|130000 | 20 | 3419k| 26.3 | 16M| 43 | 69 | 246 |8047 | 246 | 717 | 395 | 25k|4172 | 0.000000e+00 | -- | Inf 791.50/791.74 c 774s|140000 | 19 | 3656k| 26.1 | 16M| 46 | 56 | 246 |7537 | 246 | 717 | 395 | 27k|4309 | 0.000000e+00 | -- | Inf 838.29/838.59 c 820s|150000 | 20 | 3882k| 25.9 | 16M| 46 | - | 246 |8119 | 0 | 0 | 395 | 29k|4398 | 0.000000e+00 | -- | Inf 888.38/888.66 c 869s|160000 | 20 | 4118k| 25.7 | 16M| 47 | 43 | 246 |8423 | 246 | 717 | 395 | 31k|4511 | 0.000000e+00 | -- | Inf 938.18/938.42 c 917s|170000 | 18 | 4355k| 25.6 | 16M| 47 | 51 | 246 |8749 | 246 | 717 | 395 | 33k|4630 | 0.000000e+00 | -- | Inf 995.36/995.63 c 973s|180000 | 13 | 4627k| 25.7 | 17M| 47 | - | 246 |9189 | 0 | 0 | 395 | 35k|4738 | 0.000000e+00 | -- | Inf 1052.34/1052.64 c 1029s|190000 | 16 | 4894k| 25.7 | 16M| 47 | 49 | 246 |7539 | 246 | 717 | 395 | 37k|4888 | 0.000000e+00 | -- | Inf 1109.64/1109.93 c 1085s|200000 | 17 | 5170k| 25.8 | 16M| 47 | - | 246 |7530 | 0 | 0 | 395 | 39k|4990 | 0.000000e+00 | -- | Inf 1166.92/1167.29 c 1141s|210000 | 15 | 5446k| 25.9 | 16M| 47 | - | 246 |7724 | 246 | 717 | 395 | 40k|5099 | 0.000000e+00 | -- | Inf 1225.90/1226.20 c 1199s|220000 | 16 | 5725k| 26.0 | 16M| 47 | - | 246 |7897 | 0 | 0 | 395 | 42k|5207 | 0.000000e+00 | -- | Inf 1285.28/1285.67 c 1257s|230000 | 12 | 6009k| 26.1 | 17M| 47 | - | 246 |8532 | 0 | 0 | 395 | 44k|5323 | 0.000000e+00 | -- | Inf 1340.37/1340.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1340.37/1340.75 c 1311s|240000 | 12 | 6273k| 26.1 | 17M| 47 | 77 | 246 |8675 | 246 | 717 | 395 | 46k|5413 | 0.000000e+00 | -- | Inf 1403.35/1403.72 c 1373s|250000 | 14 | 6575k| 26.3 | 17M| 48 | - | 246 |8416 | 246 | 717 | 395 | 47k|5531 | 0.000000e+00 | -- | Inf 1466.13/1466.54 c 1434s|260000 | 14 | 6876k| 26.4 | 17M| 48 | - | 246 |8683 | 0 | 0 | 395 | 49k|5620 | 0.000000e+00 | -- | Inf 1535.61/1536.06 c 1503s|270000 | 14 | 7203k| 26.7 | 17M| 49 | - | 246 |9351 | 246 | 717 | 395 | 51k|5721 | 0.000000e+00 | -- | Inf 1601.39/1601.86 c 1567s|280000 | 13 | 7493k| 26.8 | 17M| 51 | - | 246 |8492 | 246 | 717 | 395 | 53k|6052 | 0.000000e+00 | -- | Inf 1655.19/1655.69 c 1620s|290000 | 16 | 7751k| 26.7 | 17M| 51 | - | 246 |8540 | 0 | 0 | 395 | 55k|6069 | 0.000000e+00 | -- | Inf 1711.97/1712.47 c 1675s|300000 | 13 | 8019k| 26.7 | 17M| 51 | - | 246 |9114 | 246 | 717 | 395 | 57k|6153 | 0.000000e+00 | -- | Inf 1774.96/1775.48 c 1737s|310000 | 16 | 8319k| 26.8 | 17M| 51 | - | 246 |9188 | 0 | 0 | 395 | 59k|6234 | 0.000000e+00 | -- | Inf 1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.52 c 1800.05/1800.52 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.52 c Solving Time (sec) : 1761.34 1800.05/1800.52 c Solving Nodes : 314526 1800.05/1800.52 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.05/1800.52 c Dual Bound : +0.00000000000000e+00 1800.05/1800.52 c Gap : infinite 1800.05/1800.52 s UNKNOWN 1800.05/1800.52 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.52 c Solving Time : 1761.34 1800.05/1800.52 c Original Problem : 1800.05/1800.52 c Problem name : HOME/instance-2667132-1276270660.opb 1800.05/1800.52 c Variables : 266 (266 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.52 c Constraints : 573 initial, 573 maximal 1800.05/1800.52 c Presolved Problem : 1800.05/1800.52 c Problem name : t_HOME/instance-2667132-1276270660.opb 1800.05/1800.52 c Variables : 246 (246 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.52 c Constraints : 544 initial, 9616 maximal 1800.05/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.52 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.52 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.52 c implics : 0.00 0 8 0 0 0 0 0 0 1800.05/1800.52 c probing : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.52 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.05/1800.52 c linear : 0.02 12 0 0 12 0 29 0 0 1800.05/1800.52 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.52 c root node : - 0 - - 0 - - - - 1800.05/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.52 c integral : 0 0 0 160558 0 114 863 0 0 319896 1800.05/1800.52 c knapsack : 162 5 1109381 0 0 76934 3185172 529 0 0 1800.05/1800.52 c linear : 0+ 5 231661 0 0 53 3111 0 0 0 1800.05/1800.52 c logicor : 382+ 5 895123 0 0 24830 2073876 0 0 0 1800.05/1800.52 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.05/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.52 c integral : 85.99 0.00 0.00 85.99 0.00 1800.05/1800.52 c knapsack : 41.57 0.02 41.55 0.00 0.00 1800.05/1800.53 c linear : 0.50 0.00 0.50 0.00 0.00 1800.05/1800.53 c logicor : 71.63 0.00 71.63 0.00 0.00 1800.05/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.53 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.53 c vbounds : 0.72 1 0 0 1800.05/1800.53 c rootredcost : 0.56 0 0 0 1800.05/1800.53 c pseudoobj : 0.49 0 0 0 1800.05/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.53 c propagation : 9.60 43890 41738 297665 50.6 857 22.2 - 1800.05/1800.53 c infeasible LP : 10.53 57799 2 11 38.7 0 0.0 0 1800.05/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.53 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.05/1800.53 c applied globally : - - - 58822 17.2 - - - 1800.05/1800.53 c applied locally : - - - 1325 40.9 - - - 1800.05/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.53 c cut pool : 0.00 4 - - 16 - (maximal pool size: 2471) 1800.05/1800.53 c redcost : 1.51 160258 0 0 0 0 1800.05/1800.53 c impliedbounds : 0.01 5 0 0 713 0 1800.05/1800.53 c intobj : 0.00 0 0 0 0 0 1800.05/1800.53 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.53 c gomory : 0.50 5 0 0 68 0 1800.05/1800.53 c strongcg : 0.54 5 0 0 2446 0 1800.05/1800.53 c cmir : 0.00 0 0 0 0 0 1800.05/1800.53 c flowcover : 0.00 0 0 0 0 0 1800.05/1800.53 c clique : 0.01 5 0 0 17 0 1800.05/1800.53 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.53 c mcf : 0.00 1 0 0 0 0 1800.05/1800.53 c rapidlearning : 0.18 1 0 0 0 30 1800.05/1800.53 c Pricers : Time Calls Vars 1800.05/1800.53 c problem variables: 0.00 0 0 1800.05/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.53 c relpscost : 85.57 160558 114 863 0 0 319896 1800.05/1800.53 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.53 c inference : 0.00 0 0 0 0 0 0 1800.05/1800.53 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.53 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.53 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.53 c random : 0.00 0 0 0 0 0 0 1800.05/1800.53 c Primal Heuristics : Time Calls Found 1800.05/1800.53 c LP solutions : 0.00 - 0 1800.05/1800.53 c pseudo solutions : 0.00 - 0 1800.05/1800.53 c trivial : 0.00 1 0 1800.05/1800.53 c simplerounding : 0.00 0 0 1800.05/1800.53 c zirounding : 0.00 0 0 1800.05/1800.53 c rounding : 0.00 0 0 1800.05/1800.53 c shifting : 0.00 0 0 1800.05/1800.53 c intshifting : 0.00 0 0 1800.05/1800.53 c oneopt : 0.00 0 0 1800.05/1800.53 c twoopt : 0.00 0 0 1800.05/1800.53 c fixandinfer : 0.00 0 0 1800.05/1800.53 c feaspump : 0.00 0 0 1800.05/1800.53 c coefdiving : 0.00 0 0 1800.05/1800.53 c pscostdiving : 0.00 0 0 1800.05/1800.53 c fracdiving : 0.00 0 0 1800.05/1800.53 c veclendiving : 0.00 0 0 1800.05/1800.53 c intdiving : 0.00 0 0 1800.05/1800.53 c actconsdiving : 0.00 0 0 1800.05/1800.53 c objpscostdiving : 0.00 0 0 1800.05/1800.53 c rootsoldiving : 0.00 0 0 1800.05/1800.53 c linesearchdiving : 0.00 0 0 1800.05/1800.53 c guideddiving : 0.00 0 0 1800.05/1800.53 c octane : 0.00 0 0 1800.05/1800.53 c rens : 0.00 0 0 1800.05/1800.53 c rins : 0.00 0 0 1800.05/1800.53 c localbranching : 0.00 0 0 1800.05/1800.53 c mutation : 0.00 0 0 1800.05/1800.53 c crossover : 0.00 0 0 1800.05/1800.53 c dins : 0.00 0 0 1800.05/1800.53 c undercover : 0.00 0 0 1800.05/1800.53 c nlp : 0.00 0 0 1800.05/1800.53 c trysol : 0.00 0 0 1800.05/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.53 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.53 c dual LP : 1424.98 218286 8437746 38.65 5921.31 1800.05/1800.53 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.53 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.53 c diving/probing LP: 0.00 0 0 0.00 - 1800.05/1800.53 c strong branching : 77.96 6273 396907 63.27 5091.16 1800.05/1800.53 c (at root node) : - 18 12990 721.67 - 1800.05/1800.53 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.53 c B&B Tree : 1800.05/1800.53 c number of runs : 1 1800.05/1800.53 c nodes : 314526 1800.05/1800.53 c nodes (total) : 314526 1800.05/1800.53 c nodes left : 18 1800.05/1800.53 c max depth : 51 1800.05/1800.53 c max depth (total): 51 1800.05/1800.53 c backtracks : 52917 (16.8%) 1800.05/1800.53 c delayed cutoffs : 5353 1800.05/1800.53 c repropagations : 57026 (300374 domain reductions, 5152 cutoffs) 1800.05/1800.53 c avg switch length: 2.81 1800.05/1800.53 c switching time : 54.89 1800.05/1800.53 c Solution : 1800.05/1800.53 c Solutions found : 0 (0 improvements) 1800.05/1800.53 c Primal Bound : - 1800.05/1800.53 c Dual Bound : +0.00000000000000e+00 1800.05/1800.53 c Gap : infinite 1800.05/1800.53 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.53 c Root Iterations : 2503 1800.05/1800.56 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-2667132-1276270660/watcher-2667132-1276270660 -o /tmp/evaluation-result-2667132-1276270660/solver-2667132-1276270660 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667132-1276270660.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 3902 /proc/meminfo: memFree=1819688/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=7724 CPUtime=0 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 1038 0 0 0 0 0 0 0 18 0 1 0 2669933 7909376 958 1992294400 4194304 8223781 140733521596656 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/3902/statm: 1931 968 348 984 0 944 0 [startup+0.108832 s] /proc/loadavg: 0.92 0.98 0.99 3/106 3902 /proc/meminfo: memFree=1819688/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=16120 CPUtime=0.1 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 5334 0 0 0 8 2 0 0 20 0 1 0 2669933 16506880 3072 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 4030 3072 535 984 0 3043 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16120 [startup+0.200841 s] /proc/loadavg: 0.92 0.98 0.99 3/106 3902 /proc/meminfo: memFree=1819688/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=16380 CPUtime=0.19 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 5461 0 0 0 17 2 0 0 20 0 1 0 2669933 16773120 3160 1992294400 4194304 8223781 140733521596656 18446744073709551615 6044324 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 4095 3160 557 984 0 3108 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16380 [startup+0.30085 s] /proc/loadavg: 0.92 0.98 0.99 3/106 3902 /proc/meminfo: memFree=1819688/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=19188 CPUtime=0.29 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 6134 0 0 0 27 2 0 0 20 0 1 0 2669933 19648512 3833 1992294400 4194304 8223781 140733521596656 18446744073709551615 6059754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 4797 3833 558 984 0 3810 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19188 [startup+0.700889 s] /proc/loadavg: 0.92 0.98 0.99 3/106 3902 /proc/meminfo: memFree=1819688/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=23676 CPUtime=0.69 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 10214 0 0 0 63 6 0 0 20 0 1 0 2669933 24244224 5061 1992294400 4194304 8223781 140733521596656 18446744073709551615 7074006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 5919 5061 587 984 0 4932 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23676 [startup+1.50096 s] /proc/loadavg: 0.92 0.98 0.99 2/107 3903 /proc/meminfo: memFree=1799840/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=26796 CPUtime=1.49 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 11034 0 0 0 142 7 0 0 23 0 1 0 2669933 27439104 5819 1992294400 4194304 8223781 140733521596656 18446744073709551615 6044957 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 6699 5819 587 984 0 5712 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26796 [startup+3.10112 s] /proc/loadavg: 0.92 0.98 0.99 2/107 3903 /proc/meminfo: memFree=1793144/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=32008 CPUtime=3.09 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 13243 0 0 0 300 9 0 0 25 0 1 0 2669933 32776192 7103 1992294400 4194304 8223781 140733521596656 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 8002 7103 588 984 0 7015 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32008 [startup+6.30142 s] /proc/loadavg: 0.93 0.98 0.99 2/107 3903 /proc/meminfo: memFree=1792896/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=31808 CPUtime=6.29 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 15860 0 0 0 616 13 0 0 25 0 1 0 2669933 32571392 7095 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 7952 7095 588 984 0 6965 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31808 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/107 3903 /proc/meminfo: memFree=1792896/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=31312 CPUtime=12.68 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 17316 0 0 0 1247 21 0 0 25 0 1 0 2669933 32063488 6997 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 7828 6997 590 984 0 6841 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31312 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/107 3903 /proc/meminfo: memFree=1793020/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=31312 CPUtime=25.48 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 18335 0 0 0 2507 41 0 0 25 0 1 0 2669933 32063488 6997 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 7828 6997 590 984 0 6841 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31312 [startup+51.1013 s] /proc/loadavg: 1.03 1.00 1.00 2/107 3903 /proc/meminfo: memFree=1792896/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=31604 CPUtime=51.08 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 22115 0 0 0 5011 97 0 0 25 0 1 0 2669933 32362496 7045 1992294400 4194304 8223781 140733521596656 18446744073709551615 6569379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 7901 7045 591 984 0 6914 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31604 [startup+102.301 s] /proc/loadavg: 1.09 1.02 1.00 2/107 3905 /proc/meminfo: memFree=1791904/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=32372 CPUtime=102.27 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 35993 0 0 0 10009 218 0 0 25 0 1 0 2669933 33148928 7263 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 8093 7263 591 984 0 7106 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 32372 [startup+162.301 s] /proc/loadavg: 1.09 1.03 1.00 2/107 3907 /proc/meminfo: memFree=1791408/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=33096 CPUtime=162.25 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 48924 0 0 0 15856 369 0 0 25 0 1 0 2669933 33890304 7444 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 8274 7444 591 984 0 7287 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33096 [startup+222.308 s] /proc/loadavg: 1.03 1.02 1.00 2/107 3909 /proc/meminfo: memFree=1790912/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=33220 CPUtime=222.25 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 71259 0 0 0 21706 519 0 0 25 0 1 0 2669933 34017280 7475 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 8305 7475 591 984 0 7318 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 33220 [startup+282.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 3909 /proc/meminfo: memFree=1790912/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=33552 CPUtime=282.22 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 92652 0 0 0 27560 662 0 0 25 0 1 0 2669933 34357248 7526 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 8388 7526 591 984 0 7401 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 33552 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 3911 /proc/meminfo: memFree=1790292/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=34160 CPUtime=342.21 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 102553 0 0 0 33414 807 0 0 25 0 1 0 2669933 34979840 7704 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 8540 7704 591 984 0 7553 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 34160 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3913 /proc/meminfo: memFree=1789672/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=34628 CPUtime=402.2 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 111714 0 0 0 39286 934 0 0 25 0 1 0 2669933 35459072 7826 1992294400 4194304 8223781 140733521596656 18446744073709551615 6569929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 8657 7826 591 984 0 7670 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 34628 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3915 /proc/meminfo: memFree=1789176/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=35272 CPUtime=462.18 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 121389 0 0 0 45158 1060 0 0 25 0 1 0 2669933 36118528 7973 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 8818 7973 591 984 0 7831 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 35272 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3917 /proc/meminfo: memFree=1788308/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=36036 CPUtime=522.17 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 126427 0 0 0 51027 1190 0 0 25 0 1 0 2669933 36900864 8177 1992294400 4194304 8223781 140733521596656 18446744073709551615 6569794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9009 8177 591 984 0 8022 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 36036 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3917 /proc/meminfo: memFree=1788184/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=36036 CPUtime=582.16 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 131334 0 0 0 56903 1313 0 0 25 0 1 0 2669933 36900864 8177 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9009 8177 591 984 0 8022 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 36036 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3919 /proc/meminfo: memFree=1787936/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=36108 CPUtime=642.14 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 137789 0 0 0 62777 1437 0 0 25 0 1 0 2669933 36974592 8195 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9027 8195 591 984 0 8040 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 36108 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3925 /proc/meminfo: memFree=1787316/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=36720 CPUtime=822.1 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 151447 0 0 0 80379 1831 0 0 25 0 1 0 2669933 37601280 8348 1992294400 4194304 8223781 140733521596656 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9180 8348 591 984 0 8193 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 36720 [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3925 /proc/meminfo: memFree=1786448/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=37656 CPUtime=882.09 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 155358 0 0 0 86252 1957 0 0 25 0 1 0 2669933 38559744 8582 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9414 8582 591 984 0 8427 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 37656 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3927 /proc/meminfo: memFree=1786200/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38280 CPUtime=942.06 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 157992 0 0 0 92119 2087 0 0 25 0 1 0 2669933 39198720 8661 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9570 8661 591 984 0 8583 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 38280 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3929 /proc/meminfo: memFree=1785952/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=37976 CPUtime=1002.05 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 160841 0 0 0 97989 2216 0 0 25 0 1 0 2669933 38887424 8661 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9494 8661 591 984 0 8507 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 37976 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3931 /proc/meminfo: memFree=1785580/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38568 CPUtime=1062.04 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 164958 0 0 0 103864 2340 0 0 25 0 1 0 2669933 39493632 8809 1992294400 4194304 8223781 140733521596656 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9642 8809 591 984 0 8655 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 38568 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3933 /proc/meminfo: memFree=1785456/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38568 CPUtime=1122.03 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 167248 0 0 0 109741 2462 0 0 25 0 1 0 2669933 39493632 8809 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9642 8809 591 984 0 8655 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 38568 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3933 /proc/meminfo: memFree=1785456/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38568 CPUtime=1182.01 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 169853 0 0 0 115618 2583 0 0 25 0 1 0 2669933 39493632 8809 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9642 8809 591 984 0 8655 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 38568 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3935 /proc/meminfo: memFree=1785208/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38568 CPUtime=1242 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 171618 0 0 0 121487 2713 0 0 25 0 1 0 2669933 39493632 8809 1992294400 4194304 8223781 140733521596656 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9642 8809 591 984 0 8655 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 38568 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3937 /proc/meminfo: memFree=1785084/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38568 CPUtime=1301.98 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 173848 0 0 0 127363 2835 0 0 25 0 1 0 2669933 39493632 8809 1992294400 4194304 8223781 140733521596656 18446744073709551615 6559376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9642 8809 591 984 0 8655 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 38568 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3939 /proc/meminfo: memFree=1785084/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38568 CPUtime=1361.96 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 176373 0 0 0 133239 2957 0 0 25 0 1 0 2669933 39493632 8809 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9642 8809 591 984 0 8655 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 38568 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3950 /proc/meminfo: memFree=1784340/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38568 CPUtime=1421.95 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 178374 0 0 0 139112 3083 0 0 25 0 1 0 2669933 39493632 8809 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9642 8809 591 984 0 8655 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 38568 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3950 /proc/meminfo: memFree=1784464/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38568 CPUtime=1481.93 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 181244 0 0 0 144991 3202 0 0 25 0 1 0 2669933 39493632 8809 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9642 8809 591 984 0 8655 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 38568 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3952 /proc/meminfo: memFree=1784464/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38752 CPUtime=1541.91 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 185491 0 0 0 150868 3323 0 0 25 0 1 0 2669933 39682048 8823 1992294400 4194304 8223781 140733521596656 18446744073709551615 6569982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9688 8823 591 984 0 8701 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 38752 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3954 /proc/meminfo: memFree=1784464/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38988 CPUtime=1601.89 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 191775 0 0 0 156740 3449 0 0 25 0 1 0 2669933 39923712 8891 1992294400 4194304 8223781 140733521596656 18446744073709551615 6248428 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9747 8891 591 984 0 8760 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 38988 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3956 /proc/meminfo: memFree=1784464/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38840 CPUtime=1661.88 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 197742 0 0 0 162611 3577 0 0 25 0 1 0 2669933 39772160 8874 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9710 8874 591 984 0 8723 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 38840 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3958 /proc/meminfo: memFree=1784464/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38840 CPUtime=1721.86 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 204108 0 0 0 168475 3711 0 0 25 0 1 0 2669933 39772160 8874 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9710 8874 591 984 0 8723 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 38840 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 3958 /proc/meminfo: memFree=1784216/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38840 CPUtime=1781.85 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 211187 0 0 0 174351 3834 0 0 25 0 1 0 2669933 39772160 8874 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9710 8874 591 984 0 8723 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 38840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 3/107 3960 /proc/meminfo: memFree=1784216/2059040 swapFree=4192072/4192956 [pid=3902] ppid=3900 vsize=38840 CPUtime=1800.05 /proc/3902/stat : 3902 (pbscip.linux.x8) R 3900 3902 3364 0 -1 4202496 213793 0 0 0 176134 3871 0 0 25 0 1 0 2669933 39772160 8874 1992294400 4194304 8223781 140733521596656 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/3902/statm: 9710 8874 591 984 0 8723 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 38840 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.57 CPU time (s): 1800.12 CPU user time (s): 1761.4 CPU system time (s): 38.7221 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 39528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.4 system time used= 38.7221 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 213822 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= 5057 runsolver used 3.08153 second user time and 8.40272 second system time The end
Begin job on node003 at 2010-06-11 17:37:40 IDJOB=2667132 IDBENCH=1164 IDSOLVER=1169 FILE ID=node003/2667132-1276270660 PBS_JOBID= 11172207 Free space on /tmp= 62556 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-army9.12bt.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-2667132-1276270660/watcher-2667132-1276270660 -o /tmp/evaluation-result-2667132-1276270660/solver-2667132-1276270660 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667132-1276270660.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b789f830862c22cea2a920d3cb2b89b5 RANDOM SEED=627649932 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: 1820092 kB Buffers: 12864 kB Cached: 102236 kB SwapCached: 0 kB Active: 78444 kB Inactive: 95220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820092 kB SwapTotal: 4192956 kB SwapFree: 4192072 kB Dirty: 4608 kB Writeback: 0 kB AnonPages: 58496 kB Mapped: 15380 kB Slab: 43476 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182908 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= 62548 MiB End job on node003 at 2010-06-11 18:07:43