Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.99 | 1801.49 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_4_80.opb |
MD5SUM | d17850f8cb83537ab22f6a30504d9d46 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31508 |
Sum of products size (including duplicates) | 63016 |
Number of different products | 15754 |
Sum of products size | 31508 |
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-2663433-1276677769.opb> 0.20/0.21 c original problem has 16754 variables (16754 bin, 0 int, 0 impl, 0 cont) and 17256 constraints 0.20/0.21 c problem read 0.20/0.21 c No objective function, only one solution is needed. 0.20/0.21 c presolving settings loaded 0.20/0.21 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.39/0.43 c presolving: 0.89/0.98 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 127032 impls, 1000 clqs 1.29/1.38 c presolving (2 rounds): 1.29/1.38 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1.29/1.38 c 127032 implications, 1000 cliques 1.29/1.38 c presolved problem has 16754 variables (16754 bin, 0 int, 0 impl, 0 cont) and 17256 constraints 1.29/1.38 c 1 constraints of type <knapsack> 1.29/1.38 c 1000 constraints of type <setppc> 1.29/1.38 c 15754 constraints of type <and> 1.29/1.38 c 1 constraints of type <linear> 1.29/1.38 c 500 constraints of type <logicor> 1.29/1.38 c transformed objective value is always integral (scale: 1) 1.29/1.38 c Presolving Time: 0.84 1.29/1.38 c - non default parameters ---------------------------------------------------------------------- 1.29/1.38 c # SCIP version 1.2.1.2 1.29/1.38 c 1.29/1.38 c # frequency for displaying node information lines 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 100] 1.29/1.38 c display/freq = 10000 1.29/1.38 c 1.29/1.38 c # maximal time in seconds to run 1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.29/1.38 c limits/time = 1799.79 1.29/1.38 c 1.29/1.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.29/1.38 c limits/memory = 1620 1.29/1.38 c 1.29/1.38 c # solving stops, if the given number of solutions were found (-1: no limit) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: -1] 1.29/1.38 c limits/solutions = 1 1.29/1.38 c 1.29/1.38 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 1] 1.29/1.38 c lp/solvefreq = -1 1.29/1.38 c 1.29/1.38 c # maximal number of separation rounds per node (-1: unlimited) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 5] 1.29/1.38 c separating/maxrounds = 1 1.29/1.38 c 1.29/1.38 c # maximal number of separation rounds in the root node (-1: unlimited) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: -1] 1.29/1.38 c separating/maxroundsroot = 5 1.29/1.38 c 1.29/1.38 c # should presolving try to simplify inequalities 1.29/1.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.29/1.38 c constraints/linear/simplifyinequalities = TRUE 1.29/1.38 c 1.29/1.38 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.29/1.38 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.29/1.38 c constraints/knapsack/disaggregation = FALSE 1.29/1.38 c 1.29/1.38 c # should presolving try to simplify knapsacks 1.29/1.38 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.29/1.38 c constraints/knapsack/simplifyinequalities = TRUE 1.29/1.38 c 1.29/1.38 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: -1] 1.29/1.38 c presolving/probing/maxrounds = 0 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 10] 1.29/1.38 c heuristics/coefdiving/freq = -1 1.29/1.38 c 1.29/1.38 c # maximal fraction of diving LP iterations compared to node LP iterations 1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.29/1.38 c heuristics/coefdiving/maxlpiterquot = 0.075 1.29/1.38 c 1.29/1.38 c # additional number of allowed LP iterations 1.29/1.38 c # [type: int, range: [0,2147483647], default: 1000] 1.29/1.38 c heuristics/coefdiving/maxlpiterofs = 1500 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 30] 1.29/1.38 c heuristics/crossover/freq = -1 1.29/1.38 c 1.29/1.38 c # number of nodes added to the contingent of the total nodes 1.29/1.38 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.29/1.38 c heuristics/crossover/nodesofs = 750 1.29/1.38 c 1.29/1.38 c # number of nodes without incumbent change that heuristic should wait 1.29/1.38 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.29/1.38 c heuristics/crossover/nwaitingnodes = 100 1.29/1.38 c 1.29/1.38 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.29/1.38 c # [type: real, range: [0,1], default: 0.1] 1.29/1.38 c heuristics/crossover/nodesquot = 0.15 1.29/1.38 c 1.29/1.38 c # minimum percentage of integer variables that have to be fixed 1.29/1.38 c # [type: real, range: [0,1], default: 0.666] 1.29/1.38 c heuristics/crossover/minfixingrate = 0.5 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 20] 1.29/1.38 c heuristics/feaspump/freq = -1 1.29/1.38 c 1.29/1.38 c # additional number of allowed LP iterations 1.29/1.38 c # [type: int, range: [0,2147483647], default: 1000] 1.29/1.38 c heuristics/feaspump/maxlpiterofs = 2000 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 10] 1.29/1.38 c heuristics/fracdiving/freq = -1 1.29/1.38 c 1.29/1.38 c # maximal fraction of diving LP iterations compared to node LP iterations 1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.29/1.38 c heuristics/fracdiving/maxlpiterquot = 0.075 1.29/1.38 c 1.29/1.38 c # additional number of allowed LP iterations 1.29/1.38 c # [type: int, range: [0,2147483647], default: 1000] 1.29/1.38 c heuristics/fracdiving/maxlpiterofs = 1500 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 10] 1.29/1.38 c heuristics/guideddiving/freq = -1 1.29/1.38 c 1.29/1.38 c # maximal fraction of diving LP iterations compared to node LP iterations 1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.29/1.38 c heuristics/guideddiving/maxlpiterquot = 0.075 1.29/1.38 c 1.29/1.38 c # additional number of allowed LP iterations 1.29/1.38 c # [type: int, range: [0,2147483647], default: 1000] 1.29/1.38 c heuristics/guideddiving/maxlpiterofs = 1500 1.29/1.38 c 1.29/1.38 c # maximal fraction of diving LP iterations compared to node LP iterations 1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.29/1.38 c heuristics/intdiving/maxlpiterquot = 0.075 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 10] 1.29/1.38 c heuristics/intshifting/freq = -1 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 10] 1.29/1.38 c heuristics/linesearchdiving/freq = -1 1.29/1.38 c 1.29/1.38 c # maximal fraction of diving LP iterations compared to node LP iterations 1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.29/1.38 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.29/1.38 c 1.29/1.38 c # additional number of allowed LP iterations 1.29/1.38 c # [type: int, range: [0,2147483647], default: 1000] 1.29/1.38 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 1] 1.29/1.38 c heuristics/nlp/freq = -1 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 20] 1.29/1.38 c heuristics/objpscostdiving/freq = -1 1.29/1.38 c 1.29/1.38 c # maximal fraction of diving LP iterations compared to total iteration number 1.29/1.38 c # [type: real, range: [0,1], default: 0.01] 1.29/1.38 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.29/1.38 c 1.29/1.38 c # additional number of allowed LP iterations 1.29/1.38 c # [type: int, range: [0,2147483647], default: 1000] 1.29/1.38 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 1] 1.29/1.38 c heuristics/oneopt/freq = -1 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 10] 1.29/1.38 c heuristics/pscostdiving/freq = -1 1.29/1.38 c 1.29/1.38 c # maximal fraction of diving LP iterations compared to node LP iterations 1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.29/1.38 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.29/1.38 c 1.29/1.38 c # additional number of allowed LP iterations 1.29/1.38 c # [type: int, range: [0,2147483647], default: 1000] 1.29/1.38 c heuristics/pscostdiving/maxlpiterofs = 1500 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 0] 1.29/1.38 c heuristics/rens/freq = -1 1.29/1.38 c 1.29/1.38 c # minimum percentage of integer variables that have to be fixable 1.29/1.38 c # [type: real, range: [0,1], default: 0.5] 1.29/1.38 c heuristics/rens/minfixingrate = 0.3 1.29/1.38 c 1.29/1.38 c # number of nodes added to the contingent of the total nodes 1.29/1.38 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.29/1.38 c heuristics/rens/nodesofs = 2000 1.29/1.38 c 1.29/1.38 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.29/1.38 c # [type: int, range: [-1,2147483647], default: 20] 1.29/1.38 c heuristics/rootsoldiving/freq = -1 1.29/1.38 c 1.29/1.38 c # maximal fraction of diving LP iterations compared to node LP iterations 1.29/1.38 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.29/1.38 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.29/1.39 c 1.29/1.39 c # additional number of allowed LP iterations 1.29/1.39 c # [type: int, range: [0,2147483647], default: 1000] 1.29/1.39 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.29/1.39 c 1.29/1.39 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.29/1.39 c # [type: int, range: [-1,2147483647], default: 1] 1.29/1.39 c heuristics/rounding/freq = -1 1.29/1.39 c 1.29/1.39 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.29/1.39 c # [type: int, range: [-1,2147483647], default: 10] 1.29/1.39 c heuristics/shifting/freq = -1 1.29/1.39 c 1.29/1.39 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.29/1.39 c # [type: int, range: [-1,2147483647], default: 1] 1.29/1.39 c heuristics/simplerounding/freq = -1 1.29/1.39 c 1.29/1.39 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.29/1.39 c # [type: int, range: [-1,2147483647], default: 0] 1.29/1.39 c heuristics/trivial/freq = -1 1.29/1.39 c 1.29/1.39 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.29/1.39 c # [type: int, range: [-1,2147483647], default: 1] 1.29/1.39 c heuristics/trysol/freq = -1 1.29/1.39 c 1.29/1.39 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.29/1.39 c # [type: int, range: [-1,2147483647], default: 10] 1.29/1.39 c heuristics/veclendiving/freq = -1 1.29/1.39 c 1.29/1.39 c # maximal fraction of diving LP iterations compared to node LP iterations 1.29/1.39 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.29/1.39 c heuristics/veclendiving/maxlpiterquot = 0.075 1.29/1.39 c 1.29/1.39 c # additional number of allowed LP iterations 1.29/1.39 c # [type: int, range: [0,2147483647], default: 1000] 1.29/1.39 c heuristics/veclendiving/maxlpiterofs = 1500 1.29/1.39 c 1.29/1.39 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.29/1.39 c # [type: int, range: [-1,2147483647], default: 1] 1.29/1.39 c heuristics/zirounding/freq = -1 1.29/1.39 c 1.29/1.39 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.29/1.39 c # [type: int, range: [-1,2147483647], default: 0] 1.29/1.39 c separating/cmir/freq = -1 1.29/1.39 c 1.29/1.39 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.29/1.39 c # [type: int, range: [-1,2147483647], default: 0] 1.29/1.39 c separating/flowcover/freq = -1 1.29/1.39 c 1.29/1.39 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.29/1.39 c # [type: int, range: [-1,2147483647], default: -1] 1.29/1.39 c separating/rapidlearning/freq = 0 1.29/1.39 c 1.29/1.39 c ----------------------------------------------------------------------------------------------- 1.29/1.39 c start solving 1.39/1.40 c 1.39/1.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.39/1.42 c 0.9s| 1 | 2 | 0 | - | 44M| 0 | - | 16k| 17k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 119.05/119.13 c 118s| 10000 | 9757 | 0 | 0.0 | 65M| 892 | - | 16k| 17k| 0 | 0 | 0 | 192 | 0 | 0.000000e+00 | -- | Inf 244.52/244.60 c 243s| 20000 | 19679 | 0 | 0.0 | 82M| 892 | - | 16k| 17k| 0 | 0 | 0 | 249 | 0 | 0.000000e+00 | -- | Inf 368.19/368.30 c 366s| 30000 | 29600 | 0 | 0.0 | 98M| 892 | - | 16k| 17k| 0 | 0 | 0 | 312 | 0 | 0.000000e+00 | -- | Inf 486.55/486.73 c 484s| 40000 | 39525 | 0 | 0.0 | 114M| 892 | - | 16k| 17k| 0 | 0 | 0 | 368 | 0 | 0.000000e+00 | -- | Inf 599.83/600.09 c 597s| 50000 | 49459 | 0 | 0.0 | 130M| 892 | - | 16k| 17k| 0 | 0 | 0 | 421 | 0 | 0.000000e+00 | -- | Inf 701.20/701.46 c 698s| 60000 | 59391 | 0 | 0.0 | 144M| 892 | - | 16k| 17k| 0 | 0 | 0 | 478 | 0 | 0.000000e+00 | -- | Inf 808.37/808.61 c 805s| 70000 | 69311 | 0 | 0.0 | 159M| 892 | - | 16k| 17k| 0 | 0 | 0 | 538 | 0 | 0.000000e+00 | -- | Inf 910.24/910.58 c 907s| 80000 | 79224 | 0 | 0.0 | 173M| 892 | - | 16k| 17k| 0 | 0 | 0 | 605 | 0 | 0.000000e+00 | -- | Inf 1006.42/1006.79 c 1003s| 90000 | 89132 | 0 | 0.0 | 187M| 892 | - | 16k| 17k| 0 | 0 | 0 | 674 | 0 | 0.000000e+00 | -- | Inf 1089.19/1089.58 c 1085s|100000 | 99068 | 0 | 0.0 | 200M| 892 | - | 16k| 17k| 0 | 0 | 0 | 734 | 0 | 0.000000e+00 | -- | Inf 1193.25/1193.68 c 1189s|110000 |108939 | 0 | 0.0 | 215M| 892 | - | 16k| 17k| 0 | 0 | 0 | 817 | 0 | 0.000000e+00 | -- | Inf 1271.42/1271.82 c 1266s|120000 |118861 | 0 | 0.0 | 227M| 892 | - | 16k| 17k| 0 | 0 | 0 | 887 | 0 | 0.000000e+00 | -- | Inf 1351.71/1352.10 c 1346s|130000 |128748 | 0 | 0.0 | 240M| 892 | - | 16k| 17k| 0 | 0 | 0 | 977 | 0 | 0.000000e+00 | -- | Inf 1431.39/1431.81 c 1426s|140000 |138612 | 0 | 0.0 | 252M| 892 | - | 16k| 17k| 0 | 0 | 0 |1070 | 0 | 0.000000e+00 | -- | Inf 1499.17/1499.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1499.17/1499.60 c 1493s|150000 |148507 | 0 | 0.0 | 264M| 892 | - | 16k| 17k| 0 | 0 | 0 |1156 | 0 | 0.000000e+00 | -- | Inf 1561.15/1561.66 c 1555s|160000 |158405 | 0 | 0.0 | 275M| 892 | - | 16k| 18k| 0 | 0 | 0 |1243 | 0 | 0.000000e+00 | -- | Inf 1623.24/1623.78 c 1617s|170000 |168272 | 0 | 0.0 | 286M| 892 | - | 16k| 18k| 0 | 0 | 0 |1347 | 0 | 0.000000e+00 | -- | Inf 1676.82/1677.30 c 1670s|180000 |178151 | 0 | 0.0 | 296M| 892 | - | 16k| 18k| 0 | 0 | 0 |1444 | 0 | 0.000000e+00 | -- | Inf 1728.31/1728.87 c 1721s|190000 |187998 | 0 | 0.0 | 306M| 892 | - | 16k| 18k| 0 | 0 | 0 |1558 | 0 | 0.000000e+00 | -- | Inf 1774.70/1775.29 c 1767s|200000 |197812 | 0 | 0.0 | 316M| 892 | - | 16k| 18k| 0 | 0 | 0 |1691 | 0 | 0.000000e+00 | -- | Inf 1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.10/1800.61 c 1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.10/1800.61 c Solving Time (sec) : 1792.16 1800.10/1800.61 c Solving Nodes : 205747 1800.10/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.10/1800.61 c Dual Bound : +0.00000000000000e+00 1800.10/1800.61 c Gap : infinite 1800.10/1800.61 s UNKNOWN 1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt] 1800.10/1800.61 c Solving Time : 1792.16 1800.10/1800.61 c Original Problem : 1800.10/1800.61 c Problem name : HOME/instance-2663433-1276677769.opb 1800.10/1800.61 c Variables : 16754 (16754 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.10/1800.61 c Constraints : 17256 initial, 17256 maximal 1800.10/1800.61 c Presolved Problem : 1800.10/1800.61 c Problem name : t_HOME/instance-2663433-1276677769.opb 1800.10/1800.61 c Variables : 16754 (16754 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.10/1800.61 c Constraints : 17256 initial, 18296 maximal 1800.10/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.10/1800.61 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.10/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.61 c implics : 0.01 0 0 0 0 0 0 0 0 1800.10/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.61 c knapsack : 0.04 0 0 0 0 0 0 0 0 1800.10/1800.61 c setppc : 0.03 0 0 0 0 0 0 0 0 1800.10/1800.61 c and : 0.49 0 0 0 0 0 0 0 0 1800.10/1800.61 c linear : 0.12 0 0 0 0 0 0 0 0 1800.10/1800.61 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.10/1800.61 c root node : - 0 - - 0 - - - - 1800.10/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.10/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0 1800.10/1800.61 c knapsack : 1 0 299991 0 147743 251 67912 0 0 0 1800.10/1800.61 c setppc : 1000 0 440701 0 204847 1054 32670 0 0 0 1800.10/1800.61 c and : 15754 0 439647 0 204847 5 3693465 0 0 0 1800.10/1800.61 c linear : 1 0 439307 0 204847 107 26944 0 0 0 1800.10/1800.61 c logicor : 500+ 0 3016 0 204847 6 68530 0 0 0 1800.10/1800.61 c countsols : 0 0 0 0 204847 0 0 0 0 0 1800.10/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.10/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00 1800.10/1800.61 c knapsack : 18.90 0.00 8.21 0.00 10.69 1800.10/1800.61 c setppc : 443.81 0.00 24.97 0.00 418.84 1800.10/1800.61 c and : 572.35 0.00 194.69 0.00 377.66 1800.10/1800.61 c linear : 61.37 0.00 60.87 0.00 0.50 1800.10/1800.61 c logicor : 40.71 0.00 0.82 0.00 39.89 1800.10/1800.61 c countsols : 0.20 0.00 0.00 0.00 0.20 1800.10/1800.61 c Propagators : Time Calls Cutoffs DomReds 1800.10/1800.61 c vbounds : 0.37 1 0 0 1800.10/1800.61 c rootredcost : 0.42 0 0 0 1800.10/1800.61 c pseudoobj : 0.18 0 0 0 1800.10/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.10/1800.61 c propagation : 4.81 1423 1420 1928 428.6 0 0.0 - 1800.10/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.10/1800.61 c applied globally : - - - 1777 395.4 - - - 1800.10/1800.61 c applied locally : - - - 0 0.0 - - - 1800.10/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.10/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.10/1800.61 c redcost : 0.00 0 0 0 0 0 1800.10/1800.61 c impliedbounds : 0.00 0 0 0 0 0 1800.10/1800.61 c intobj : 0.00 0 0 0 0 0 1800.10/1800.61 c cgmip : 0.00 0 0 0 0 0 1800.10/1800.61 c gomory : 0.00 0 0 0 0 0 1800.10/1800.61 c strongcg : 0.00 0 0 0 0 0 1800.10/1800.61 c cmir : 0.00 0 0 0 0 0 1800.10/1800.61 c flowcover : 0.00 0 0 0 0 0 1800.10/1800.61 c clique : 0.00 0 0 0 0 0 1800.10/1800.61 c zerohalf : 0.00 0 0 0 0 0 1800.10/1800.61 c mcf : 0.00 0 0 0 0 0 1800.10/1800.61 c rapidlearning : 0.00 0 0 0 0 0 1800.10/1800.61 c Pricers : Time Calls Vars 1800.10/1800.61 c problem variables: 0.00 0 0 1800.10/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.10/1800.61 c relpscost : 0.00 0 0 0 0 0 0 1800.10/1800.61 c pscost : 0.00 0 0 0 0 0 0 1800.10/1800.61 c inference : 621.88 204847 0 0 0 0 409694 1800.10/1800.61 c mostinf : 0.00 0 0 0 0 0 0 1800.10/1800.61 c leastinf : 0.00 0 0 0 0 0 0 1800.10/1800.61 c fullstrong : 0.00 0 0 0 0 0 0 1800.10/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0 1800.10/1800.61 c random : 0.00 0 0 0 0 0 0 1800.10/1800.61 c Primal Heuristics : Time Calls Found 1800.10/1800.61 c LP solutions : 0.00 - 0 1800.10/1800.61 c pseudo solutions : 0.00 - 0 1800.10/1800.61 c trivial : 0.04 1 0 1800.10/1800.61 c simplerounding : 0.00 0 0 1800.10/1800.61 c zirounding : 0.00 0 0 1800.10/1800.61 c rounding : 0.00 0 0 1800.10/1800.61 c shifting : 0.00 0 0 1800.10/1800.61 c intshifting : 0.00 0 0 1800.10/1800.61 c oneopt : 0.00 0 0 1800.10/1800.61 c twoopt : 0.00 0 0 1800.10/1800.61 c fixandinfer : 0.00 0 0 1800.10/1800.61 c feaspump : 0.00 0 0 1800.10/1800.61 c coefdiving : 0.00 0 0 1800.10/1800.61 c pscostdiving : 0.00 0 0 1800.10/1800.61 c fracdiving : 0.00 0 0 1800.10/1800.61 c veclendiving : 0.00 0 0 1800.10/1800.61 c intdiving : 0.00 0 0 1800.10/1800.61 c actconsdiving : 0.00 0 0 1800.10/1800.61 c objpscostdiving : 0.00 0 0 1800.10/1800.61 c rootsoldiving : 0.00 0 0 1800.10/1800.61 c linesearchdiving : 0.00 0 0 1800.10/1800.61 c guideddiving : 0.00 0 0 1800.10/1800.61 c octane : 0.00 0 0 1800.10/1800.61 c rens : 0.00 0 0 1800.10/1800.61 c rins : 0.00 0 0 1800.10/1800.61 c localbranching : 0.00 0 0 1800.10/1800.61 c mutation : 0.00 0 0 1800.10/1800.61 c crossover : 0.00 0 0 1800.10/1800.61 c dins : 0.00 0 0 1800.10/1800.61 c undercover : 0.00 0 0 1800.10/1800.61 c nlp : 0.00 0 0 1800.10/1800.61 c trysol : 0.00 0 0 1800.10/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec 1800.10/1800.61 c primal LP : 0.00 0 0 0.00 - 1800.10/1800.61 c dual LP : 0.00 0 0 0.00 - 1800.10/1800.61 c lex dual LP : 0.00 0 0 0.00 - 1800.10/1800.61 c barrier LP : 0.00 0 0 0.00 - 1800.10/1800.61 c diving/probing LP: 0.00 0 0 0.00 - 1800.10/1800.61 c strong branching : 0.00 0 0 0.00 - 1800.10/1800.61 c (at root node) : - 0 0 0.00 - 1800.10/1800.61 c conflict analysis: 0.00 0 0 0.00 - 1800.10/1800.61 c B&B Tree : 1800.10/1800.61 c number of runs : 1 1800.10/1800.61 c nodes : 205747 1800.10/1800.61 c nodes (total) : 205747 1800.10/1800.61 c nodes left : 203425 1800.10/1800.61 c max depth : 892 1800.10/1800.61 c max depth (total): 892 1800.10/1800.61 c backtracks : 556 (0.3%) 1800.10/1800.61 c delayed cutoffs : 523 1800.10/1800.61 c repropagations : 22780 (52493 domain reductions, 523 cutoffs) 1800.10/1800.61 c avg switch length: 2.35 1800.10/1800.61 c switching time : 16.41 1800.10/1800.61 c Solution : 1800.10/1800.61 c Solutions found : 0 (0 improvements) 1800.10/1800.61 c Primal Bound : - 1800.10/1800.61 c Dual Bound : +0.00000000000000e+00 1800.10/1800.62 c Gap : infinite 1800.10/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.10/1800.62 c Root Iterations : 0 1800.89/1801.49 c Time complete: 1800.99.
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-2663433-1276677769/watcher-2663433-1276677769 -o /tmp/evaluation-result-2663433-1276677769/solver-2663433-1276677769 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663433-1276677769.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.85 0.97 0.99 3/106 7999 /proc/meminfo: memFree=1745772/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=6732 CPUtime=0 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 1029 0 0 0 0 0 0 0 20 0 1 0 43380665 6893568 953 1992294400 4194304 7136930 140734662581328 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7999/statm: 1683 961 254 719 0 962 0 [startup+0.0731401 s] /proc/loadavg: 0.85 0.97 0.99 3/106 7999 /proc/meminfo: memFree=1745772/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=17588 CPUtime=0.07 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 3868 0 0 0 6 1 0 0 20 0 1 0 43380665 18010112 3791 1992294400 4194304 7136930 140734662581328 18446744073709551615 6341168 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7999/statm: 4430 3794 269 719 0 3709 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 17588 [startup+0.101143 s] /proc/loadavg: 0.85 0.97 0.99 3/106 7999 /proc/meminfo: memFree=1745772/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=21268 CPUtime=0.09 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 4802 0 0 0 8 1 0 0 20 0 1 0 43380665 21778432 4725 1992294400 4194304 7136930 140734662581328 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7999/statm: 5317 4726 269 719 0 4596 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21268 [startup+0.301166 s] /proc/loadavg: 0.85 0.97 0.99 3/106 7999 /proc/meminfo: memFree=1745772/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=48988 CPUtime=0.29 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 12074 0 0 0 25 4 0 0 20 0 1 0 43380665 50163712 11643 1992294400 4194304 7136930 140734662581328 18446744073709551615 4682255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 12247 11643 284 719 0 11526 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 48988 [startup+0.701209 s] /proc/loadavg: 0.85 0.97 0.99 3/106 7999 /proc/meminfo: memFree=1745772/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=60968 CPUtime=0.69 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 15227 0 0 0 60 9 0 0 20 0 1 0 43380665 62431232 14443 1992294400 4194304 7136930 140734662581328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 15242 14443 327 719 0 14521 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 60968 [startup+1.5013 s] /proc/loadavg: 0.86 0.97 0.99 2/107 8000 /proc/meminfo: memFree=1682276/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=69144 CPUtime=1.49 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 19595 0 0 0 123 26 0 0 23 0 1 0 43380665 70803456 16430 1992294400 4194304 7136930 140734662581328 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 17286 16430 412 719 0 16565 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 69144 [startup+3.10148 s] /proc/loadavg: 0.86 0.97 0.99 2/107 8000 /proc/meminfo: memFree=1680292/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=71212 CPUtime=3.09 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 20127 0 0 0 282 27 0 0 25 0 1 0 43380665 72921088 16959 1992294400 4194304 7136930 140734662581328 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 17803 16959 409 719 0 17082 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 71212 [startup+6.30083 s] /proc/loadavg: 0.86 0.97 0.99 2/107 8000 /proc/meminfo: memFree=1677564/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=73956 CPUtime=6.29 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 20779 0 0 0 600 29 0 0 25 0 1 0 43380665 75730944 17611 1992294400 4194304 7136930 140734662581328 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 18489 17611 409 719 0 17768 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73956 [startup+12.7015 s] /proc/loadavg: 0.88 0.97 0.99 2/107 8000 /proc/meminfo: memFree=1672992/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=77456 CPUtime=12.69 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 21634 0 0 0 1237 32 0 0 25 0 1 0 43380665 79314944 18466 1992294400 4194304 7136930 140734662581328 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 19364 18466 414 719 0 18643 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77456 [startup+25.501 s] /proc/loadavg: 0.90 0.97 0.99 2/107 8000 /proc/meminfo: memFree=1669892/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=80224 CPUtime=25.48 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 22349 0 0 0 2510 38 0 0 25 0 1 0 43380665 82149376 19181 1992294400 4194304 7136930 140734662581328 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 20056 19181 414 719 0 19335 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80224 [startup+51.1008 s] /proc/loadavg: 0.93 0.97 0.99 2/107 8002 /proc/meminfo: memFree=1664436/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=85800 CPUtime=51.07 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 23718 0 0 0 5057 50 0 0 25 0 1 0 43380665 87859200 20550 1992294400 4194304 7136930 140734662581328 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 21450 20550 414 719 0 20729 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 85800 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/107 8002 /proc/meminfo: memFree=1655632/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=94428 CPUtime=102.26 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 25889 0 0 0 10161 65 0 0 25 0 1 0 43380665 96694272 22721 1992294400 4194304 7136930 140734662581328 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 23607 22721 414 719 0 22886 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 94428 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8004 /proc/meminfo: memFree=1647200/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=102832 CPUtime=162.24 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 27988 0 0 0 16139 85 0 0 25 0 1 0 43380665 105299968 24820 1992294400 4194304 7136930 140734662581328 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 25708 24820 414 719 0 24987 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 102832 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8006 /proc/meminfo: memFree=1635792/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=113976 CPUtime=222.23 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 30817 0 0 0 22117 106 0 0 25 0 1 0 43380665 116711424 27649 1992294400 4194304 7136930 140734662581328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 28494 27649 414 719 0 27773 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 113976 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8008 /proc/meminfo: memFree=1626988/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=122768 CPUtime=282.21 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 33009 0 0 0 28094 127 0 0 25 0 1 0 43380665 125714432 29841 1992294400 4194304 7136930 140734662581328 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 30692 29841 414 719 0 29971 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 122768 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8008 /proc/meminfo: memFree=1615580/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=134028 CPUtime=342.19 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 35835 0 0 0 34076 143 0 0 25 0 1 0 43380665 137244672 32667 1992294400 4194304 7136930 140734662581328 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 33507 32667 414 719 0 32786 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 134028 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8010 /proc/meminfo: memFree=1609008/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=140520 CPUtime=402.18 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 37455 0 0 0 40054 164 0 0 25 0 1 0 43380665 143892480 34287 1992294400 4194304 7136930 140734662581328 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 35130 34287 414 719 0 34409 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 140520 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8012 /proc/meminfo: memFree=1604296/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=145024 CPUtime=462.16 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 38622 0 0 0 46035 181 0 0 25 0 1 0 43380665 148504576 35454 1992294400 4194304 7136930 140734662581328 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 36256 35454 414 719 0 35535 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 145024 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8014 /proc/meminfo: memFree=1591896/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=157556 CPUtime=522.14 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 41748 0 0 0 52012 202 0 0 25 0 1 0 43380665 161337344 38580 1992294400 4194304 7136930 140734662581328 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 39389 38580 414 719 0 38668 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 157556 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8016 /proc/meminfo: memFree=1583712/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=165592 CPUtime=582.13 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 43791 0 0 0 57992 221 0 0 25 0 1 0 43380665 169566208 40623 1992294400 4194304 7136930 140734662581328 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 41398 40623 414 719 0 40677 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 165592 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8016 /proc/meminfo: memFree=1575280/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=173884 CPUtime=642.12 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 45880 0 0 0 63968 244 0 0 25 0 1 0 43380665 178057216 42712 1992294400 4194304 7136930 140734662581328 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 43471 42712 414 719 0 42750 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 173884 [startup+702.301 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8024 /proc/meminfo: memFree=1531012/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=219556 CPUtime=942.04 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 56814 0 0 0 93850 354 0 0 25 0 1 0 43380665 224825344 53646 1992294400 4194304 7136930 140734662581328 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 54889 53646 414 719 0 54168 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 219556 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8026 /proc/meminfo: memFree=1524936/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=225656 CPUtime=1002.02 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 58343 0 0 0 99827 375 0 0 25 0 1 0 43380665 231071744 55175 1992294400 4194304 7136930 140734662581328 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 56414 55175 414 719 0 55693 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 225656 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8028 /proc/meminfo: memFree=1515512/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=234980 CPUtime=1062 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 60686 0 0 0 105798 402 0 0 25 0 1 0 43380665 240619520 57518 1992294400 4194304 7136930 140734662581328 18446744073709551615 5121846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 58745 57518 414 719 0 58024 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 234980 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8039 /proc/meminfo: memFree=1505220/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=245264 CPUtime=1121.97 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 63264 0 0 0 111772 425 0 0 25 0 1 0 43380665 251150336 60096 1992294400 4194304 7136930 140734662581328 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 61316 60096 414 719 0 60595 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 245264 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8041 /proc/meminfo: memFree=1495176/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=255084 CPUtime=1181.95 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 65752 0 0 0 117748 447 0 0 25 0 1 0 43380665 261206016 62584 1992294400 4194304 7136930 140734662581328 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 63771 62584 414 719 0 63050 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 255084 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8041 /proc/meminfo: memFree=1485504/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=264460 CPUtime=1241.94 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 68131 0 0 0 123719 475 0 0 25 0 1 0 43380665 270807040 64963 1992294400 4194304 7136930 140734662581328 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 66115 64963 414 719 0 65394 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 264460 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8043 /proc/meminfo: memFree=1476328/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=273480 CPUtime=1301.93 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 70408 0 0 0 129693 500 0 0 25 0 1 0 43380665 280043520 67240 1992294400 4194304 7136930 140734662581328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 68370 67240 414 719 0 67649 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 273480 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8045 /proc/meminfo: memFree=1465416/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=284416 CPUtime=1361.91 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 73147 0 0 0 135660 531 0 0 25 0 1 0 43380665 291241984 69979 1992294400 4194304 7136930 140734662581328 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 71104 69979 414 719 0 70383 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 284416 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8047 /proc/meminfo: memFree=1455000/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=294736 CPUtime=1421.89 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 75742 0 0 0 141634 555 0 0 25 0 1 0 43380665 301809664 72574 1992294400 4194304 7136930 140734662581328 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 73684 72574 414 719 0 72963 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 294736 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8049 /proc/meminfo: memFree=1442848/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=306756 CPUtime=1481.87 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 78757 0 0 0 147600 587 0 0 25 0 1 0 43380665 314118144 75589 1992294400 4194304 7136930 140734662581328 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 76689 75589 414 719 0 75968 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 306756 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8049 /proc/meminfo: memFree=1432432/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=317124 CPUtime=1541.86 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 81366 0 0 0 153571 615 0 0 25 0 1 0 43380665 324734976 78198 1992294400 4194304 7136930 140734662581328 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 79281 78198 414 719 0 78560 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 317124 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8051 /proc/meminfo: memFree=1422512/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=327376 CPUtime=1601.85 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 83858 0 0 0 159536 649 0 0 25 0 1 0 43380665 335233024 80690 1992294400 4194304 7136930 140734662581328 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 81844 80690 414 719 0 81123 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 327376 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8053 /proc/meminfo: memFree=1410980/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=339676 CPUtime=1661.82 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 86954 0 0 0 165499 683 0 0 25 0 1 0 43380665 347828224 83786 1992294400 4194304 7136930 140734662581328 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 84919 83786 414 719 0 84198 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 339676 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8055 /proc/meminfo: memFree=1399448/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=349932 CPUtime=1721.81 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 89564 0 0 0 171462 719 0 0 25 0 1 0 43380665 358330368 86396 1992294400 4194304 7136930 140734662581328 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 87483 86396 414 719 0 86762 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 349932 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8057 /proc/meminfo: memFree=1383452/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=369756 CPUtime=1781.8 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 93493 0 0 0 177418 762 0 0 25 0 1 0 43380665 378630144 90325 1992294400 4194304 7136930 140734662581328 18446744073709551615 4643317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 92439 90325 414 719 0 91718 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 369756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8057 /proc/meminfo: memFree=1381592/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=372232 CPUtime=1800.1 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 94092 0 0 0 179236 774 0 0 25 0 1 0 43380665 381165568 90924 1992294400 4194304 7136930 140734662581328 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7999/statm: 93058 90924 414 719 0 92337 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 372232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8057 /proc/meminfo: memFree=1381592/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=370804 CPUtime=1800.49 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 94236 0 0 0 179275 774 0 0 25 0 1 0 43380665 379703296 90581 1992294400 4194304 7136930 140734662581328 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7999/statm: 92701 90581 419 719 0 91980 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (KiB) 370804 [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.99 2/107 8057 /proc/meminfo: memFree=1381592/2059040 swapFree=4140468/4192956 [pid=7999] ppid=7997 vsize=223388 CPUtime=1800.89 /proc/7999/stat : 7999 (pbscip.linux.x8) R 7997 7999 7974 0 -1 4202496 94236 0 0 0 179313 776 0 0 25 0 1 0 43380665 228749312 53743 1992294400 4194304 7136930 140734662581328 18446744073709551615 4699634 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7999/statm: 55847 53743 419 719 0 55126 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (KiB) 223388 Child status: 0 Real time (s): 1801.49 CPU time (s): 1800.99 CPU user time (s): 1793.2 CPU system time (s): 7.79081 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 372612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.2 system time used= 7.79082 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94242 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= 6331 runsolver used 3.12652 second user time and 8.35873 second system time The end
Begin job on node005 at 2010-06-16 10:42:49 IDJOB=2663433 IDBENCH=48311 IDSOLVER=1167 FILE ID=node005/2663433-1276677769 PBS_JOBID= 11172568 Free space on /tmp= 62564 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_4_80.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663433-1276677769/watcher-2663433-1276677769 -o /tmp/evaluation-result-2663433-1276677769/solver-2663433-1276677769 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663433-1276677769.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d17850f8cb83537ab22f6a30504d9d46 RANDOM SEED=1267986376 node005.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.246 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.49 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.246 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: 1746300 kB Buffers: 87796 kB Cached: 130076 kB SwapCached: 6352 kB Active: 88072 kB Inactive: 143376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1746300 kB SwapTotal: 4192956 kB SwapFree: 4140468 kB Dirty: 3736 kB Writeback: 0 kB AnonPages: 11492 kB Mapped: 13108 kB Slab: 59564 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179964 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= 62564 MiB End job on node005 at 2010-06-16 11:12:52