Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.41 | 1800.87 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb |
MD5SUM | 1f72b7f8bd829aeeb06978977df8efc2 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.590909 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 10500 |
Total number of constraints | 205 |
Number of constraints which are clauses | 105 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 105 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 106 |
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: NONE] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2664744-1276582033.opb> 0.03/0.06 c original problem has 10500 variables (10500 bin, 0 int, 0 impl, 0 cont) and 205 constraints 0.03/0.06 c problem read 0.03/0.06 c No objective function, only one solution is needed. 0.03/0.06 c presolving settings loaded 0.03/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.09/0.18 c presolving: 0.19/0.28 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 105 upgd conss, 0 impls, 100 clqs 0.29/0.30 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 205 upgd conss, 0 impls, 100 clqs 0.29/0.32 c presolving (3 rounds): 0.29/0.32 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.29/0.32 c 0 implications, 100 cliques 0.29/0.32 c presolved problem has 10500 variables (10500 bin, 0 int, 0 impl, 0 cont) and 205 constraints 0.29/0.32 c 100 constraints of type <setppc> 0.29/0.32 c 105 constraints of type <logicor> 0.29/0.32 c transformed objective value is always integral (scale: 1) 0.29/0.32 c Presolving Time: 0.20 0.29/0.32 c - non default parameters ---------------------------------------------------------------------- 0.29/0.32 c # SCIP version 1.2.1.2 0.29/0.32 c 0.29/0.32 c # frequency for displaying node information lines 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 100] 0.29/0.32 c display/freq = 10000 0.29/0.32 c 0.29/0.32 c # maximal time in seconds to run 0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.32 c limits/time = 1799.94 0.29/0.32 c 0.29/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.32 c limits/memory = 1620 0.29/0.32 c 0.29/0.32 c # solving stops, if the given number of solutions were found (-1: no limit) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.32 c limits/solutions = 1 0.29/0.32 c 0.29/0.32 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.32 c lp/solvefreq = -1 0.29/0.32 c 0.29/0.32 c # maximal number of separation rounds per node (-1: unlimited) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 5] 0.29/0.32 c separating/maxrounds = 1 0.29/0.32 c 0.29/0.32 c # maximal number of separation rounds in the root node (-1: unlimited) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.32 c separating/maxroundsroot = 5 0.29/0.32 c 0.29/0.32 c # should presolving try to simplify inequalities 0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.32 c constraints/linear/simplifyinequalities = TRUE 0.29/0.32 c 0.29/0.32 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.29/0.32 c constraints/knapsack/disaggregation = FALSE 0.29/0.32 c 0.29/0.32 c # should presolving try to simplify knapsacks 0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.32 c constraints/knapsack/simplifyinequalities = TRUE 0.29/0.32 c 0.29/0.32 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.32 c presolving/probing/maxrounds = 0 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.32 c heuristics/coefdiving/freq = -1 0.29/0.32 c 0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.32 c heuristics/coefdiving/maxlpiterquot = 0.075 0.29/0.32 c 0.29/0.32 c # additional number of allowed LP iterations 0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.32 c heuristics/coefdiving/maxlpiterofs = 1500 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 30] 0.29/0.32 c heuristics/crossover/freq = -1 0.29/0.32 c 0.29/0.32 c # number of nodes added to the contingent of the total nodes 0.29/0.32 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.32 c heuristics/crossover/nodesofs = 750 0.29/0.32 c 0.29/0.32 c # number of nodes without incumbent change that heuristic should wait 0.29/0.32 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.29/0.32 c heuristics/crossover/nwaitingnodes = 100 0.29/0.32 c 0.29/0.32 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.29/0.32 c # [type: real, range: [0,1], default: 0.1] 0.29/0.32 c heuristics/crossover/nodesquot = 0.15 0.29/0.32 c 0.29/0.32 c # minimum percentage of integer variables that have to be fixed 0.29/0.32 c # [type: real, range: [0,1], default: 0.666] 0.29/0.32 c heuristics/crossover/minfixingrate = 0.5 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.32 c heuristics/feaspump/freq = -1 0.29/0.32 c 0.29/0.32 c # additional number of allowed LP iterations 0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.32 c heuristics/feaspump/maxlpiterofs = 2000 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.32 c heuristics/fracdiving/freq = -1 0.29/0.32 c 0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.32 c heuristics/fracdiving/maxlpiterquot = 0.075 0.29/0.32 c 0.29/0.32 c # additional number of allowed LP iterations 0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.32 c heuristics/fracdiving/maxlpiterofs = 1500 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.32 c heuristics/guideddiving/freq = -1 0.29/0.32 c 0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.32 c heuristics/guideddiving/maxlpiterquot = 0.075 0.29/0.32 c 0.29/0.32 c # additional number of allowed LP iterations 0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.32 c heuristics/guideddiving/maxlpiterofs = 1500 0.29/0.32 c 0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.32 c heuristics/intdiving/maxlpiterquot = 0.075 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.32 c heuristics/intshifting/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.32 c heuristics/linesearchdiving/freq = -1 0.29/0.32 c 0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.32 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.29/0.32 c 0.29/0.32 c # additional number of allowed LP iterations 0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.32 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.32 c heuristics/nlp/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.32 c heuristics/objpscostdiving/freq = -1 0.29/0.32 c 0.29/0.32 c # maximal fraction of diving LP iterations compared to total iteration number 0.29/0.32 c # [type: real, range: [0,1], default: 0.01] 0.29/0.32 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.29/0.32 c 0.29/0.32 c # additional number of allowed LP iterations 0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.32 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.32 c heuristics/oneopt/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.32 c heuristics/pscostdiving/freq = -1 0.29/0.32 c 0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.32 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.29/0.32 c 0.29/0.32 c # additional number of allowed LP iterations 0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.32 c heuristics/pscostdiving/maxlpiterofs = 1500 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.32 c heuristics/rens/freq = -1 0.29/0.32 c 0.29/0.32 c # minimum percentage of integer variables that have to be fixable 0.29/0.32 c # [type: real, range: [0,1], default: 0.5] 0.29/0.32 c heuristics/rens/minfixingrate = 0.3 0.29/0.32 c 0.29/0.32 c # number of nodes added to the contingent of the total nodes 0.29/0.32 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.32 c heuristics/rens/nodesofs = 2000 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.32 c heuristics/rootsoldiving/freq = -1 0.29/0.32 c 0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.29/0.32 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.29/0.32 c 0.29/0.32 c # additional number of allowed LP iterations 0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.32 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.32 c heuristics/rounding/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.32 c heuristics/shifting/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.32 c heuristics/simplerounding/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.32 c heuristics/trivial/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.32 c heuristics/trysol/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.32 c heuristics/veclendiving/freq = -1 0.29/0.32 c 0.29/0.32 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.32 c heuristics/veclendiving/maxlpiterquot = 0.075 0.29/0.32 c 0.29/0.32 c # additional number of allowed LP iterations 0.29/0.32 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.32 c heuristics/veclendiving/maxlpiterofs = 1500 0.29/0.32 c 0.29/0.32 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.32 c heuristics/zirounding/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.32 c separating/cmir/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.32 c separating/flowcover/freq = -1 0.29/0.32 c 0.29/0.32 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.32 c separating/rapidlearning/freq = 0 0.29/0.32 c 0.29/0.32 c ----------------------------------------------------------------------------------------------- 0.29/0.32 c start solving 0.29/0.33 c 0.29/0.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.29/0.34 c 0.2s| 1 | 2 | 0 | - | 18M| 0 | - | 10k| 205 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 44.88/44.90 c 44.6s| 10000 | 9996 | 0 | 0.0 | 23M|6887 | - | 10k| 227 | 0 | 0 | 0 | 22 | 0 | 0.000000e+00 | -- | Inf 99.57/99.66 c 99.2s| 20000 | 19990 | 0 | 0.0 | 26M|7537 | - | 10k| 232 | 0 | 0 | 0 | 45 | 0 | 0.000000e+00 | -- | Inf 156.66/156.78 c 156s| 30000 | 29984 | 0 | 0.0 | 29M|7537 | - | 10k| 254 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf 204.94/205.03 c 204s| 40000 | 39982 | 0 | 0.0 | 32M|7537 | - | 10k| 261 | 0 | 0 | 0 | 87 | 0 | 0.000000e+00 | -- | Inf 262.12/262.22 c 261s| 50000 | 49971 | 0 | 0.0 | 35M|7537 | - | 10k| 256 | 0 | 0 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf 318.92/319.01 c 318s| 60000 | 59963 | 0 | 0.0 | 38M|7537 | - | 10k| 266 | 0 | 0 | 0 | 207 | 0 | 0.000000e+00 | -- | Inf 379.10/379.22 c 378s| 70000 | 69959 | 0 | 0.0 | 41M|7537 | - | 10k| 259 | 0 | 0 | 0 | 227 | 0 | 0.000000e+00 | -- | Inf 435.68/435.80 c 434s| 80000 | 79954 | 0 | 0.0 | 44M|7537 | - | 10k| 259 | 0 | 0 | 0 | 257 | 0 | 0.000000e+00 | -- | Inf 488.46/488.63 c 487s| 90000 | 89951 | 0 | 0.0 | 47M|7537 | - | 10k| 267 | 0 | 0 | 0 | 277 | 0 | 0.000000e+00 | -- | Inf 545.46/545.67 c 544s|100000 | 99945 | 0 | 0.0 | 50M|7537 | - | 10k| 297 | 0 | 0 | 0 | 317 | 0 | 0.000000e+00 | -- | Inf 597.93/598.13 c 596s|110000 |109937 | 0 | 0.0 | 53M|7537 | - | 10k| 285 | 0 | 0 | 0 | 367 | 0 | 0.000000e+00 | -- | Inf 651.92/652.17 c 650s|120000 |119934 | 0 | 0.0 | 56M|7537 | - | 10k| 292 | 0 | 0 | 0 | 387 | 0 | 0.000000e+00 | -- | Inf 710.81/711.02 c 708s|130000 |129924 | 0 | 0.0 | 59M|7537 | - | 10k| 300 | 0 | 0 | 0 | 447 | 0 | 0.000000e+00 | -- | Inf 763.70/763.90 c 761s|140000 |139917 | 0 | 0.0 | 62M|7537 | - | 10k| 298 | 0 | 0 | 0 | 487 | 0 | 0.000000e+00 | -- | Inf 825.28/825.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 825.28/825.50 c 822s|150000 |149914 | 0 | 0.0 | 65M|7537 | - | 10k| 286 | 0 | 0 | 0 | 507 | 0 | 0.000000e+00 | -- | Inf 878.37/878.67 c 875s|160000 |159908 | 0 | 0.0 | 68M|7537 | - | 10k| 252 | 0 | 0 | 0 | 547 | 0 | 0.000000e+00 | -- | Inf 939.86/940.13 c 937s|170000 |169905 | 0 | 0.0 | 71M|7537 | - | 10k| 257 | 0 | 0 | 0 | 567 | 0 | 0.000000e+00 | -- | Inf 993.04/993.35 c 990s|180000 |179897 | 0 | 0.0 | 74M|7537 | - | 10k| 284 | 0 | 0 | 0 | 617 | 0 | 0.000000e+00 | -- | Inf 1055.93/1056.20 c 1052s|190000 |189892 | 0 | 0.0 | 77M|7537 | - | 10k| 274 | 0 | 0 | 0 | 647 | 0 | 0.000000e+00 | -- | Inf 1111.71/1112.07 c 1108s|200000 |199889 | 0 | 0.0 | 80M|7537 | - | 10k| 278 | 0 | 0 | 0 | 667 | 0 | 0.000000e+00 | -- | Inf 1171.69/1172.00 c 1168s|210000 |209881 | 0 | 0.0 | 83M|7537 | - | 10k| 268 | 0 | 0 | 0 | 709 | 0 | 0.000000e+00 | -- | Inf 1231.98/1232.38 c 1228s|220000 |219878 | 0 | 0.0 | 85M|7537 | - | 10k| 270 | 0 | 0 | 0 | 729 | 0 | 0.000000e+00 | -- | Inf 1286.97/1287.31 c 1283s|230000 |229873 | 0 | 0.0 | 88M|7537 | - | 10k| 295 | 0 | 0 | 0 | 759 | 0 | 0.000000e+00 | -- | Inf 1350.15/1350.54 c 1346s|240000 |239863 | 0 | 0.0 | 91M|7589 | - | 10k| 287 | 0 | 0 | 0 | 802 | 0 | 0.000000e+00 | -- | Inf 1411.33/1411.76 c 1407s|250000 |249858 | 0 | 0.0 | 94M|7701 | - | 10k| 288 | 0 | 0 | 0 | 832 | 0 | 0.000000e+00 | -- | Inf 1469.12/1469.52 c 1464s|260000 |259855 | 0 | 0.0 | 97M|7809 | - | 10k| 253 | 0 | 0 | 0 | 852 | 0 | 0.000000e+00 | -- | Inf 1527.70/1528.17 c 1523s|270000 |269849 | 0 | 0.0 | 100M|7913 | - | 10k| 259 | 0 | 0 | 0 | 884 | 0 | 0.000000e+00 | -- | Inf 1590.38/1590.89 c 1585s|280000 |279844 | 0 | 0.0 | 102M|8081 | - | 10k| 276 | 0 | 0 | 0 | 914 | 0 | 0.000000e+00 | -- | Inf 1650.77/1651.27 c 1645s|290000 |289841 | 0 | 0.0 | 105M|8144 | - | 10k| 279 | 0 | 0 | 0 | 934 | 0 | 0.000000e+00 | -- | Inf 1709.36/1709.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1709.36/1709.88 c 1704s|300000 |299834 | 0 | 0.0 | 108M|8212 | - | 10k| 269 | 0 | 0 | 0 | 953 | 0 | 0.000000e+00 | -- | Inf 1764.95/1765.46 c 1759s|310000 |309826 | 0 | 0.0 | 111M|8426 | - | 10k| 283 | 0 | 0 | 0 |1003 | 0 | 0.000000e+00 | -- | Inf 1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.51 c 1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.51 c Solving Time (sec) : 1794.00 1800.04/1800.51 c Solving Nodes : 314869 1800.04/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.04/1800.51 c Dual Bound : +0.00000000000000e+00 1800.04/1800.51 c Gap : infinite 1800.04/1800.51 s UNKNOWN 1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.51 c Solving Time : 1794.00 1800.04/1800.51 c Original Problem : 1800.04/1800.51 c Problem name : HOME/instance-2664744-1276582033.opb 1800.04/1800.51 c Variables : 10500 (10500 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.51 c Constraints : 205 initial, 205 maximal 1800.04/1800.51 c Presolved Problem : 1800.04/1800.51 c Problem name : t_HOME/instance-2664744-1276582033.opb 1800.04/1800.51 c Variables : 10500 (10500 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.51 c Constraints : 205 initial, 334 maximal 1800.04/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.51 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.51 c dualfix : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c implics : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c root node : - 0 - - 0 - - - - 1800.04/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0 1800.04/1800.51 c setppc : 100 0 323025 0 314803 90 164323 0 0 0 1800.04/1800.51 c logicor : 105+ 0 32781 0 314803 19 4688 0 0 0 1800.04/1800.51 c countsols : 0 0 0 0 314803 0 0 0 0 0 1800.04/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.51 c setppc : 350.19 0.00 7.76 0.00 342.43 1800.04/1800.51 c logicor : 240.97 0.00 1.53 0.00 239.44 1800.04/1800.51 c countsols : 0.35 0.00 0.00 0.00 0.35 1800.04/1800.51 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.51 c vbounds : 0.26 1 0 0 1800.04/1800.51 c rootredcost : 0.39 0 0 0 1800.04/1800.51 c pseudoobj : 0.16 0 0 0 1800.04/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.51 c propagation : 5.41 109 109 7713 610.6 0 0.0 - 1800.04/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.04/1800.51 c applied globally : - - - 1003 390.0 - - - 1800.04/1800.51 c applied locally : - - - 0 0.0 - - - 1800.04/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.04/1800.51 c redcost : 0.00 0 0 0 0 0 1800.04/1800.51 c impliedbounds : 0.00 0 0 0 0 0 1800.04/1800.51 c intobj : 0.00 0 0 0 0 0 1800.04/1800.51 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.51 c gomory : 0.00 0 0 0 0 0 1800.04/1800.51 c strongcg : 0.00 0 0 0 0 0 1800.04/1800.51 c cmir : 0.00 0 0 0 0 0 1800.04/1800.51 c flowcover : 0.00 0 0 0 0 0 1800.04/1800.51 c clique : 0.00 0 0 0 0 0 1800.04/1800.51 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.51 c mcf : 0.00 0 0 0 0 0 1800.04/1800.51 c rapidlearning : 0.00 0 0 0 0 0 1800.04/1800.51 c Pricers : Time Calls Vars 1800.04/1800.51 c problem variables: 0.00 0 0 1800.04/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.51 c relpscost : 0.00 0 0 0 0 0 0 1800.04/1800.51 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.51 c inference : 1179.88 314803 0 0 0 0 629606 1800.04/1800.51 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.51 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.51 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.51 c random : 0.00 0 0 0 0 0 0 1800.04/1800.51 c Primal Heuristics : Time Calls Found 1800.04/1800.51 c LP solutions : 0.00 - 0 1800.04/1800.51 c pseudo solutions : 0.00 - 0 1800.04/1800.51 c trivial : 0.02 1 0 1800.04/1800.51 c simplerounding : 0.00 0 0 1800.04/1800.51 c zirounding : 0.00 0 0 1800.04/1800.51 c rounding : 0.00 0 0 1800.04/1800.51 c shifting : 0.00 0 0 1800.04/1800.51 c intshifting : 0.00 0 0 1800.04/1800.51 c oneopt : 0.00 0 0 1800.04/1800.51 c twoopt : 0.00 0 0 1800.04/1800.51 c fixandinfer : 0.00 0 0 1800.04/1800.51 c feaspump : 0.00 0 0 1800.04/1800.51 c coefdiving : 0.00 0 0 1800.04/1800.51 c pscostdiving : 0.00 0 0 1800.04/1800.51 c fracdiving : 0.00 0 0 1800.04/1800.51 c veclendiving : 0.00 0 0 1800.04/1800.51 c intdiving : 0.00 0 0 1800.04/1800.51 c actconsdiving : 0.00 0 0 1800.04/1800.51 c objpscostdiving : 0.00 0 0 1800.04/1800.51 c rootsoldiving : 0.00 0 0 1800.04/1800.51 c linesearchdiving : 0.00 0 0 1800.04/1800.51 c guideddiving : 0.00 0 0 1800.04/1800.51 c octane : 0.00 0 0 1800.04/1800.51 c rens : 0.00 0 0 1800.04/1800.51 c rins : 0.00 0 0 1800.04/1800.51 c localbranching : 0.00 0 0 1800.04/1800.51 c mutation : 0.00 0 0 1800.04/1800.51 c crossover : 0.00 0 0 1800.04/1800.51 c dins : 0.00 0 0 1800.04/1800.51 c undercover : 0.00 0 0 1800.04/1800.51 c nlp : 0.00 0 0 1800.04/1800.51 c trysol : 0.00 0 0 1800.04/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.51 c primal LP : 0.00 0 0 0.00 - 1800.04/1800.51 c dual LP : 0.00 0 0 0.00 - 1800.04/1800.51 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.51 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.51 c diving/probing LP: 0.00 0 0 0.00 - 1800.04/1800.51 c strong branching : 0.00 0 0 0.00 - 1800.04/1800.51 c (at root node) : - 0 0 0.00 - 1800.04/1800.51 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.51 c B&B Tree : 1800.04/1800.51 c number of runs : 1 1800.04/1800.51 c nodes : 314869 1800.04/1800.51 c nodes (total) : 314869 1800.04/1800.51 c nodes left : 314695 1800.04/1800.51 c max depth : 8426 1800.04/1800.51 c max depth (total): 8426 1800.04/1800.51 c backtracks : 48 (0.0%) 1800.04/1800.51 c delayed cutoffs : 43 1800.04/1800.51 c repropagations : 184 (2486 domain reductions, 43 cutoffs) 1800.04/1800.51 c avg switch length: 1.99 1800.04/1800.51 c switching time : 5.81 1800.04/1800.51 c Solution : 1800.04/1800.51 c Solutions found : 0 (0 improvements) 1800.04/1800.51 c Primal Bound : - 1800.04/1800.51 c Dual Bound : +0.00000000000000e+00 1800.04/1800.51 c Gap : infinite 1800.04/1800.51 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.51 c Root Iterations : 0 1800.34/1800.86 c Time complete: 1800.41.
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-2664744-1276582033/watcher-2664744-1276582033 -o /tmp/evaluation-result-2664744-1276582033/solver-2664744-1276582033 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664744-1276582033.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 1558 /proc/meminfo: memFree=1806536/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=3652 CPUtime=0 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 452 0 0 0 0 0 0 0 15 0 1 0 33789698 3739648 375 1992294400 4194304 7136930 140737431454752 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1558/statm: 913 377 224 719 0 192 0 [startup+0.0384331 s] /proc/loadavg: 1.00 1.00 1.00 3/106 1558 /proc/meminfo: memFree=1806536/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=15164 CPUtime=0.03 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 3293 0 0 0 2 1 0 0 18 0 1 0 33789698 15527936 3216 1992294400 4194304 7136930 140737431454752 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1558/statm: 3791 3216 268 719 0 3070 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 15164 [startup+0.101439 s] /proc/loadavg: 1.00 1.00 1.00 3/106 1558 /proc/meminfo: memFree=1806536/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=27104 CPUtime=0.09 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 6647 0 0 0 7 2 0 0 18 0 1 0 33789698 27754496 6216 1992294400 4194304 7136930 140737431454752 18446744073709551615 5956512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 6776 6216 282 719 0 6055 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27104 [startup+0.301459 s] /proc/loadavg: 1.00 1.00 1.00 3/106 1558 /proc/meminfo: memFree=1806536/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=34024 CPUtime=0.29 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 8790 0 0 0 26 3 0 0 18 0 1 0 33789698 34840576 7588 1992294400 4194304 7136930 140737431454752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 8506 7588 344 719 0 7785 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34024 [startup+0.701499 s] /proc/loadavg: 1.00 1.00 1.00 3/106 1558 /proc/meminfo: memFree=1806536/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=35212 CPUtime=0.69 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 9693 0 0 0 66 3 0 0 18 0 1 0 33789698 36057088 7907 1992294400 4194304 7136930 140737431454752 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 8803 7907 374 719 0 8082 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35212 [startup+1.50158 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1559 /proc/meminfo: memFree=1776148/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=35352 CPUtime=1.49 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 9721 0 0 0 146 3 0 0 19 0 1 0 33789698 36200448 7935 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 8838 7935 375 719 0 8117 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35352 [startup+3.10174 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1559 /proc/meminfo: memFree=1775776/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=35484 CPUtime=3.09 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 9769 0 0 0 305 4 0 0 23 0 1 0 33789698 36335616 7983 1992294400 4194304 7136930 140737431454752 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 8871 7983 375 719 0 8150 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35484 [startup+6.30106 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1559 /proc/meminfo: memFree=1775280/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=35876 CPUtime=6.29 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 9860 0 0 0 624 5 0 0 25 0 1 0 33789698 36737024 8074 1992294400 4194304 7136930 140737431454752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 8969 8074 375 719 0 8248 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35876 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1559 /proc/meminfo: memFree=1774412/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=37580 CPUtime=12.69 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 10299 0 0 0 1262 7 0 0 25 0 1 0 33789698 38481920 8513 1992294400 4194304 7136930 140737431454752 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 9395 8513 375 719 0 8674 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37580 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1561 /proc/meminfo: memFree=1768708/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=42256 CPUtime=25.49 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 11492 0 0 0 2533 16 0 0 25 0 1 0 33789698 43270144 9704 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 10564 9704 379 719 0 9843 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42256 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1561 /proc/meminfo: memFree=1767592/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=43676 CPUtime=51.07 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 11864 0 0 0 5083 24 0 0 25 0 1 0 33789698 44724224 10076 1992294400 4194304 7136930 140737431454752 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 10919 10076 379 719 0 10198 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43676 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1567 /proc/meminfo: memFree=1763624/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=46960 CPUtime=102.28 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 12699 0 0 0 10186 42 0 0 25 0 1 0 33789698 48087040 10907 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 11740 10907 379 719 0 11019 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 46960 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1567 /proc/meminfo: memFree=1759532/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=50924 CPUtime=162.25 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 13720 0 0 0 16161 64 0 0 25 0 1 0 33789698 52146176 11928 1992294400 4194304 7136930 140737431454752 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 12731 11928 379 719 0 12010 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 50924 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1569 /proc/meminfo: memFree=1754448/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=56176 CPUtime=222.24 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 15071 0 0 0 22139 85 0 0 25 0 1 0 33789698 57524224 13279 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 14044 13279 379 719 0 13323 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 56176 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1571 /proc/meminfo: memFree=1749364/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=60692 CPUtime=282.22 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 16250 0 0 0 28120 102 0 0 25 0 1 0 33789698 62148608 14458 1992294400 4194304 7136930 140737431454752 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 15173 14458 379 719 0 14452 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 60692 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1573 /proc/meminfo: memFree=1744652/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=65308 CPUtime=342.2 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 17412 0 0 0 34099 121 0 0 25 0 1 0 33789698 66875392 15620 1992294400 4194304 7136930 140737431454752 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 16327 15620 379 719 0 15606 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 65308 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1575 /proc/meminfo: memFree=1740436/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=71388 CPUtime=402.19 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 18463 0 0 0 40075 144 0 0 25 0 1 0 33789698 73101312 16671 1992294400 4194304 7136930 140737431454752 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 17847 16671 379 719 0 17126 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 71388 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1575 /proc/meminfo: memFree=1736096/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=75388 CPUtime=462.17 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 19511 0 0 0 46053 164 0 0 25 0 1 0 33789698 77197312 17719 1992294400 4194304 7136930 140737431454752 18446744073709551615 5121890 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 18847 17719 379 719 0 18126 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 75388 [startup+522.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 1577 /proc/meminfo: memFree=1732376/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=78928 CPUtime=522.16 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 20442 0 0 0 52030 186 0 0 25 0 1 0 33789698 80822272 18650 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 19732 18650 379 719 0 19011 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 78928 [startup+582.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 1582 /proc/meminfo: memFree=1728160/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=82720 CPUtime=582.14 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 21413 0 0 0 58008 206 0 0 25 0 1 0 33789698 84705280 19621 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 20680 19621 379 719 0 19959 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 82720 [startup+642.301 s] /proc/loadavg: 1.02 1.02 1.00 2/107 1584 /proc/meminfo: memFree=1724316/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=86280 CPUtime=642.13 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 22368 0 0 0 63989 224 0 0 25 0 1 0 33789698 88350720 20576 1992294400 4194304 7136930 140737431454752 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 21570 20576 379 719 0 20849 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 86280 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1593 /proc/meminfo: memFree=1705468/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=104348 CPUtime=942.06 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 27052 0 0 0 93881 325 0 0 25 0 1 0 33789698 106852352 25260 1992294400 4194304 7136930 140737431454752 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 26087 25260 379 719 0 25366 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 104348 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1595 /proc/meminfo: memFree=1701748/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=107952 CPUtime=1002.03 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 27988 0 0 0 99860 343 0 0 25 0 1 0 33789698 110542848 26196 1992294400 4194304 7136930 140737431454752 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 26988 26196 379 719 0 26267 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 107952 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1595 /proc/meminfo: memFree=1698152/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=111236 CPUtime=1062.03 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 28863 0 0 0 105841 362 0 0 25 0 1 0 33789698 113905664 27071 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 27809 27071 379 719 0 27088 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 111236 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1597 /proc/meminfo: memFree=1694804/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=118500 CPUtime=1122.01 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 29679 0 0 0 111819 382 0 0 25 0 1 0 33789698 121344000 27887 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 29625 27887 379 719 0 28904 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 118500 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1600 /proc/meminfo: memFree=1691828/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=121780 CPUtime=1181.99 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 30530 0 0 0 117796 403 0 0 25 0 1 0 33789698 124702720 28738 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 30445 28738 379 719 0 29724 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 121780 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1603 /proc/meminfo: memFree=1688356/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=124316 CPUtime=1241.97 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 31212 0 0 0 123772 425 0 0 25 0 1 0 33789698 127299584 29420 1992294400 4194304 7136930 140737431454752 18446744073709551615 4642980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 31079 29420 379 719 0 30358 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 124316 [startup+1302.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 1605 /proc/meminfo: memFree=1684388/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=128000 CPUtime=1301.96 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 32178 0 0 0 129754 442 0 0 25 0 1 0 33789698 131072000 30386 1992294400 4194304 7136930 140737431454752 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 32000 30386 379 719 0 31279 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 128000 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 1605 /proc/meminfo: memFree=1681908/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=130348 CPUtime=1361.95 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 32803 0 0 0 135732 463 0 0 25 0 1 0 33789698 133476352 31011 1992294400 4194304 7136930 140737431454752 18446744073709551615 4641940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 32587 31011 379 719 0 31866 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 130348 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/107 1607 /proc/meminfo: memFree=1678808/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=133320 CPUtime=1421.94 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 33577 0 0 0 141709 485 0 0 25 0 1 0 33789698 136519680 31785 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 33330 31785 379 719 0 32609 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 133320 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1609 /proc/meminfo: memFree=1675708/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=136260 CPUtime=1481.92 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 34331 0 0 0 147689 503 0 0 25 0 1 0 33789698 139530240 32539 1992294400 4194304 7136930 140737431454752 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 34065 32539 379 719 0 33344 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 136260 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1611 /proc/meminfo: memFree=1672236/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=139556 CPUtime=1541.9 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 35204 0 0 0 153670 520 0 0 25 0 1 0 33789698 142905344 33412 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 34889 33412 379 719 0 34168 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 139556 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1613 /proc/meminfo: memFree=1668764/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=142936 CPUtime=1601.89 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 36081 0 0 0 159652 537 0 0 25 0 1 0 33789698 146366464 34289 1992294400 4194304 7136930 140737431454752 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 35734 34289 379 719 0 35013 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 142936 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1613 /proc/meminfo: memFree=1665912/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=145416 CPUtime=1661.87 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 36741 0 0 0 165627 560 0 0 25 0 1 0 33789698 148905984 34949 1992294400 4194304 7136930 140737431454752 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 36354 34949 379 719 0 35633 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 145416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1615 /proc/meminfo: memFree=1661944/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=149396 CPUtime=1721.86 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 37774 0 0 0 171609 577 0 0 25 0 1 0 33789698 152981504 35982 1992294400 4194304 7136930 140737431454752 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 37349 35982 379 719 0 36628 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 149396 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1618 /proc/meminfo: memFree=1659092/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=151680 CPUtime=1781.84 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 38368 0 0 0 177590 594 0 0 25 0 1 0 33789698 155320320 36576 1992294400 4194304 7136930 140737431454752 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 37920 36576 379 719 0 37199 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 151680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1618 /proc/meminfo: memFree=1658100/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=152716 CPUtime=1800.04 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 38638 0 0 0 179404 600 0 0 25 0 1 0 33789698 156381184 36846 1992294400 4194304 7136930 140737431454752 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1558/statm: 38179 36846 379 719 0 37458 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 152716 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1619 /proc/meminfo: memFree=1658092/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=152716 CPUtime=1800.15 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 38643 0 0 0 179415 600 0 0 25 0 1 0 33789698 156381184 36851 1992294400 4194304 7136930 140737431454752 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1558/statm: 38179 36851 384 719 0 37458 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 152716 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1619 /proc/meminfo: memFree=1658092/2059040 swapFree=4134576/4192956 [pid=1558] ppid=1556 vsize=117140 CPUtime=1800.34 /proc/1558/stat : 1558 (pbscip.linux.x8) R 1556 1558 1033 0 -1 4202496 38821 0 0 0 179433 601 0 0 25 0 1 0 33789698 119951360 27875 1992294400 4194304 7136930 140737431454752 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1558/statm: 29188 27875 384 719 0 28467 0 Current children cumulated CPU time (s) 1800.34 Current children cumulated vsize (KiB) 117140 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.41 CPU user time (s): 1794.39 CPU system time (s): 6.02008 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 152716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.39 system time used= 6.02008 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38830 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= 5 involuntary context switches= 3790 runsolver used 3.06153 second user time and 8.42172 second system time The end
Begin job on node017 at 2010-06-15 08:07:13 IDJOB=2664744 IDBENCH=2601 IDSOLVER=1167 FILE ID=node017/2664744-1276582033 PBS_JOBID= 11173528 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664744-1276582033/watcher-2664744-1276582033 -o /tmp/evaluation-result-2664744-1276582033/solver-2664744-1276582033 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664744-1276582033.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1f72b7f8bd829aeeb06978977df8efc2 RANDOM SEED=835623179 node017.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.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1807064 kB Buffers: 56084 kB Cached: 115700 kB SwapCached: 11648 kB Active: 101412 kB Inactive: 84312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1807064 kB SwapTotal: 4192956 kB SwapFree: 4134576 kB Dirty: 3376 kB Writeback: 8 kB AnonPages: 12416 kB Mapped: 9316 kB Slab: 44576 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184232 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= 62536 MiB End job on node017 at 2010-06-15 08:37:15