Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.94 | 1801.43 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_4_80.opb |
MD5SUM | fa22dd251e76880c1495cc1725a19f60 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 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) | 74916 |
Sum of products size (including duplicates) | 149832 |
Number of different products | 37458 |
Sum of products size | 74916 |
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-2663501-1276684182.opb> 0.39/0.41 c original problem has 38458 variables (38458 bin, 0 int, 0 impl, 0 cont) and 38960 constraints 0.39/0.41 c problem read 0.39/0.42 c No objective function, only one solution is needed. 0.39/0.42 c presolving settings loaded 0.39/0.43 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.80/0.89 c presolving: 2.20/2.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 299412 impls, 1000 clqs 3.09/3.19 c presolving (2 rounds): 3.09/3.19 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 3.09/3.19 c 299412 implications, 1000 cliques 3.09/3.19 c presolved problem has 38458 variables (38458 bin, 0 int, 0 impl, 0 cont) and 38960 constraints 3.09/3.19 c 1 constraints of type <knapsack> 3.09/3.19 c 1000 constraints of type <setppc> 3.09/3.19 c 37458 constraints of type <and> 3.09/3.19 c 1 constraints of type <linear> 3.09/3.19 c 500 constraints of type <logicor> 3.09/3.19 c transformed objective value is always integral (scale: 1) 3.09/3.19 c Presolving Time: 2.30 3.09/3.19 c - non default parameters ---------------------------------------------------------------------- 3.09/3.19 c # SCIP version 1.2.1.2 3.09/3.19 c 3.09/3.19 c # frequency for displaying node information lines 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 100] 3.09/3.19 c display/freq = 10000 3.09/3.19 c 3.09/3.19 c # maximal time in seconds to run 3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.09/3.19 c limits/time = 1799.58 3.09/3.19 c 3.09/3.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 3.09/3.19 c limits/memory = 1620 3.09/3.19 c 3.09/3.19 c # solving stops, if the given number of solutions were found (-1: no limit) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: -1] 3.09/3.19 c limits/solutions = 1 3.09/3.19 c 3.09/3.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 1] 3.09/3.19 c lp/solvefreq = -1 3.09/3.19 c 3.09/3.19 c # maximal number of separation rounds per node (-1: unlimited) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 5] 3.09/3.19 c separating/maxrounds = 1 3.09/3.19 c 3.09/3.19 c # maximal number of separation rounds in the root node (-1: unlimited) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: -1] 3.09/3.19 c separating/maxroundsroot = 5 3.09/3.19 c 3.09/3.19 c # should presolving try to simplify inequalities 3.09/3.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.09/3.19 c constraints/linear/simplifyinequalities = TRUE 3.09/3.19 c 3.09/3.19 c # should disaggregation of knapsack constraints be allowed in preprocessing? 3.09/3.19 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 3.09/3.19 c constraints/knapsack/disaggregation = FALSE 3.09/3.19 c 3.09/3.19 c # should presolving try to simplify knapsacks 3.09/3.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 3.09/3.19 c constraints/knapsack/simplifyinequalities = TRUE 3.09/3.19 c 3.09/3.19 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: -1] 3.09/3.19 c presolving/probing/maxrounds = 0 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 10] 3.09/3.19 c heuristics/coefdiving/freq = -1 3.09/3.19 c 3.09/3.19 c # maximal fraction of diving LP iterations compared to node LP iterations 3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.09/3.19 c heuristics/coefdiving/maxlpiterquot = 0.075 3.09/3.19 c 3.09/3.19 c # additional number of allowed LP iterations 3.09/3.19 c # [type: int, range: [0,2147483647], default: 1000] 3.09/3.19 c heuristics/coefdiving/maxlpiterofs = 1500 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 30] 3.09/3.19 c heuristics/crossover/freq = -1 3.09/3.19 c 3.09/3.19 c # number of nodes added to the contingent of the total nodes 3.09/3.19 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.09/3.19 c heuristics/crossover/nodesofs = 750 3.09/3.19 c 3.09/3.19 c # number of nodes without incumbent change that heuristic should wait 3.09/3.19 c # [type: longint, range: [0,9223372036854775807], default: 200] 3.09/3.19 c heuristics/crossover/nwaitingnodes = 100 3.09/3.19 c 3.09/3.19 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 3.09/3.19 c # [type: real, range: [0,1], default: 0.1] 3.09/3.19 c heuristics/crossover/nodesquot = 0.15 3.09/3.19 c 3.09/3.19 c # minimum percentage of integer variables that have to be fixed 3.09/3.19 c # [type: real, range: [0,1], default: 0.666] 3.09/3.19 c heuristics/crossover/minfixingrate = 0.5 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 20] 3.09/3.19 c heuristics/feaspump/freq = -1 3.09/3.19 c 3.09/3.19 c # additional number of allowed LP iterations 3.09/3.19 c # [type: int, range: [0,2147483647], default: 1000] 3.09/3.19 c heuristics/feaspump/maxlpiterofs = 2000 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 10] 3.09/3.19 c heuristics/fracdiving/freq = -1 3.09/3.19 c 3.09/3.19 c # maximal fraction of diving LP iterations compared to node LP iterations 3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.09/3.19 c heuristics/fracdiving/maxlpiterquot = 0.075 3.09/3.19 c 3.09/3.19 c # additional number of allowed LP iterations 3.09/3.19 c # [type: int, range: [0,2147483647], default: 1000] 3.09/3.19 c heuristics/fracdiving/maxlpiterofs = 1500 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 10] 3.09/3.19 c heuristics/guideddiving/freq = -1 3.09/3.19 c 3.09/3.19 c # maximal fraction of diving LP iterations compared to node LP iterations 3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.09/3.19 c heuristics/guideddiving/maxlpiterquot = 0.075 3.09/3.19 c 3.09/3.19 c # additional number of allowed LP iterations 3.09/3.19 c # [type: int, range: [0,2147483647], default: 1000] 3.09/3.19 c heuristics/guideddiving/maxlpiterofs = 1500 3.09/3.19 c 3.09/3.19 c # maximal fraction of diving LP iterations compared to node LP iterations 3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.09/3.19 c heuristics/intdiving/maxlpiterquot = 0.075 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 10] 3.09/3.19 c heuristics/intshifting/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 10] 3.09/3.19 c heuristics/linesearchdiving/freq = -1 3.09/3.19 c 3.09/3.19 c # maximal fraction of diving LP iterations compared to node LP iterations 3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.09/3.19 c heuristics/linesearchdiving/maxlpiterquot = 0.075 3.09/3.19 c 3.09/3.19 c # additional number of allowed LP iterations 3.09/3.19 c # [type: int, range: [0,2147483647], default: 1000] 3.09/3.19 c heuristics/linesearchdiving/maxlpiterofs = 1500 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 1] 3.09/3.19 c heuristics/nlp/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 20] 3.09/3.19 c heuristics/objpscostdiving/freq = -1 3.09/3.19 c 3.09/3.19 c # maximal fraction of diving LP iterations compared to total iteration number 3.09/3.19 c # [type: real, range: [0,1], default: 0.01] 3.09/3.19 c heuristics/objpscostdiving/maxlpiterquot = 0.015 3.09/3.19 c 3.09/3.19 c # additional number of allowed LP iterations 3.09/3.19 c # [type: int, range: [0,2147483647], default: 1000] 3.09/3.19 c heuristics/objpscostdiving/maxlpiterofs = 1500 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 1] 3.09/3.19 c heuristics/oneopt/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 10] 3.09/3.19 c heuristics/pscostdiving/freq = -1 3.09/3.19 c 3.09/3.19 c # maximal fraction of diving LP iterations compared to node LP iterations 3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.09/3.19 c heuristics/pscostdiving/maxlpiterquot = 0.075 3.09/3.19 c 3.09/3.19 c # additional number of allowed LP iterations 3.09/3.19 c # [type: int, range: [0,2147483647], default: 1000] 3.09/3.19 c heuristics/pscostdiving/maxlpiterofs = 1500 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 0] 3.09/3.19 c heuristics/rens/freq = -1 3.09/3.19 c 3.09/3.19 c # minimum percentage of integer variables that have to be fixable 3.09/3.19 c # [type: real, range: [0,1], default: 0.5] 3.09/3.19 c heuristics/rens/minfixingrate = 0.3 3.09/3.19 c 3.09/3.19 c # number of nodes added to the contingent of the total nodes 3.09/3.19 c # [type: longint, range: [0,9223372036854775807], default: 500] 3.09/3.19 c heuristics/rens/nodesofs = 2000 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 20] 3.09/3.19 c heuristics/rootsoldiving/freq = -1 3.09/3.19 c 3.09/3.19 c # maximal fraction of diving LP iterations compared to node LP iterations 3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 3.09/3.19 c heuristics/rootsoldiving/maxlpiterquot = 0.015 3.09/3.19 c 3.09/3.19 c # additional number of allowed LP iterations 3.09/3.19 c # [type: int, range: [0,2147483647], default: 1000] 3.09/3.19 c heuristics/rootsoldiving/maxlpiterofs = 1500 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 1] 3.09/3.19 c heuristics/rounding/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 10] 3.09/3.19 c heuristics/shifting/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 1] 3.09/3.19 c heuristics/simplerounding/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 0] 3.09/3.19 c heuristics/trivial/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 1] 3.09/3.19 c heuristics/trysol/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 10] 3.09/3.19 c heuristics/veclendiving/freq = -1 3.09/3.19 c 3.09/3.19 c # maximal fraction of diving LP iterations compared to node LP iterations 3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 3.09/3.19 c heuristics/veclendiving/maxlpiterquot = 0.075 3.09/3.19 c 3.09/3.19 c # additional number of allowed LP iterations 3.09/3.19 c # [type: int, range: [0,2147483647], default: 1000] 3.09/3.19 c heuristics/veclendiving/maxlpiterofs = 1500 3.09/3.19 c 3.09/3.19 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 1] 3.09/3.19 c heuristics/zirounding/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 0] 3.09/3.19 c separating/cmir/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: 0] 3.09/3.19 c separating/flowcover/freq = -1 3.09/3.19 c 3.09/3.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 3.09/3.19 c # [type: int, range: [-1,2147483647], default: -1] 3.09/3.19 c separating/rapidlearning/freq = 0 3.09/3.19 c 3.09/3.19 c ----------------------------------------------------------------------------------------------- 3.09/3.19 c start solving 3.20/3.23 c 3.20/3.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 3.20/3.26 c 2.5s| 1 | 2 | 0 | - | 100M| 0 | - | 38k| 38k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 265.32/265.45 c 264s| 10000 | 9708 | 0 | 0.0 | 145M| 884 | - | 38k| 39k| 0 | 0 | 0 | 282 | 0 | 0.000000e+00 | -- | Inf 531.75/531.95 c 530s| 20000 | 19656 | 0 | 0.0 | 178M| 884 | - | 38k| 39k| 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf 825.87/826.11 c 824s| 30000 | 29570 | 0 | 0.0 | 214M| 884 | - | 38k| 39k| 0 | 0 | 0 | 395 | 0 | 0.000000e+00 | -- | Inf 1104.50/1104.83 c 1102s| 40000 | 39486 | 0 | 0.0 | 248M| 884 | - | 38k| 39k| 0 | 0 | 0 | 454 | 0 | 0.000000e+00 | -- | Inf 1353.74/1354.15 c 1351s| 50000 | 49417 | 0 | 0.0 | 280M| 884 | - | 38k| 39k| 0 | 0 | 0 | 511 | 0 | 0.000000e+00 | -- | Inf 1588.46/1588.93 c 1585s| 60000 | 59342 | 0 | 0.0 | 310M| 884 | - | 38k| 39k| 0 | 0 | 0 | 572 | 0 | 0.000000e+00 | -- | Inf 1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.01/1800.51 c 1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.51 c Solving Time (sec) : 1796.45 1800.01/1800.51 c Solving Nodes : 68125 1800.01/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.01/1800.51 c Dual Bound : +0.00000000000000e+00 1800.01/1800.51 c Gap : infinite 1800.01/1800.51 s UNKNOWN 1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.01/1800.51 c Solving Time : 1796.45 1800.01/1800.51 c Original Problem : 1800.01/1800.51 c Problem name : HOME/instance-2663501-1276684182.opb 1800.01/1800.51 c Variables : 38458 (38458 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.51 c Constraints : 38960 initial, 38960 maximal 1800.01/1800.51 c Presolved Problem : 1800.01/1800.51 c Problem name : t_HOME/instance-2663501-1276684182.opb 1800.01/1800.51 c Variables : 38458 (38458 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.01/1800.51 c Constraints : 38960 initial, 39314 maximal 1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.51 c dualfix : 0.02 0 0 0 0 0 0 0 0 1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.51 c implics : 0.02 0 0 0 0 0 0 0 0 1800.01/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0 1800.01/1800.51 c knapsack : 0.05 0 0 0 0 0 0 0 0 1800.01/1800.51 c setppc : 0.06 0 0 0 0 0 0 0 0 1800.01/1800.51 c and : 1.54 0 0 0 0 0 0 0 0 1800.01/1800.51 c linear : 0.28 0 0 0 0 0 0 0 0 1800.01/1800.51 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.01/1800.51 c root node : - 0 - - 0 - - - - 1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.01/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0 1800.01/1800.51 c knapsack : 1 0 100576 0 48991 64 19752 0 0 0 1800.01/1800.51 c setppc : 1000 0 152960 0 67841 264 67648 0 0 0 1800.01/1800.51 c and : 37458 0 152696 0 67841 0 3635669 0 0 0 1800.01/1800.51 c linear : 1 0 152621 0 67841 110 6080 0 0 0 1800.01/1800.51 c logicor : 500+ 0 907 0 67841 1 15670 0 0 0 1800.01/1800.51 c countsols : 0 0 0 0 67841 0 0 0 0 0 1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.01/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00 1800.01/1800.51 c knapsack : 7.66 0.00 2.83 0.00 4.83 1800.01/1800.51 c setppc : 381.40 0.00 11.23 0.00 370.17 1800.01/1800.51 c and : 715.59 0.00 268.13 0.00 447.46 1800.01/1800.51 c linear : 22.90 0.00 22.68 0.00 0.22 1800.01/1800.51 c logicor : 16.28 0.00 0.24 0.00 16.04 1800.01/1800.51 c countsols : 0.03 0.00 0.00 0.00 0.03 1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds 1800.01/1800.51 c vbounds : 0.10 1 0 0 1800.01/1800.51 c rootredcost : 0.06 0 0 0 1800.01/1800.51 c pseudoobj : 0.08 0 0 0 1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.01/1800.51 c propagation : 1.85 439 438 734 546.6 0 0.0 - 1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.01/1800.51 c applied globally : - - - 619 493.7 - - - 1800.01/1800.51 c applied locally : - - - 0 0.0 - - - 1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.01/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.01/1800.51 c redcost : 0.00 0 0 0 0 0 1800.01/1800.51 c impliedbounds : 0.00 0 0 0 0 0 1800.01/1800.51 c intobj : 0.00 0 0 0 0 0 1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0 1800.01/1800.51 c gomory : 0.00 0 0 0 0 0 1800.01/1800.51 c strongcg : 0.00 0 0 0 0 0 1800.01/1800.51 c cmir : 0.00 0 0 0 0 0 1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0 1800.01/1800.51 c clique : 0.00 0 0 0 0 0 1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0 1800.01/1800.51 c mcf : 0.00 0 0 0 0 0 1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0 1800.01/1800.51 c Pricers : Time Calls Vars 1800.01/1800.51 c problem variables: 0.00 0 0 1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0 1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0 1800.01/1800.51 c inference : 631.25 67841 0 0 0 0 135682 1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0 1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0 1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0 1800.01/1800.51 c random : 0.00 0 0 0 0 0 0 1800.01/1800.51 c Primal Heuristics : Time Calls Found 1800.01/1800.51 c LP solutions : 0.00 - 0 1800.01/1800.51 c pseudo solutions : 0.00 - 0 1800.01/1800.51 c trivial : 0.08 1 0 1800.01/1800.51 c simplerounding : 0.00 0 0 1800.01/1800.51 c zirounding : 0.00 0 0 1800.01/1800.51 c rounding : 0.00 0 0 1800.01/1800.51 c shifting : 0.00 0 0 1800.01/1800.51 c intshifting : 0.00 0 0 1800.01/1800.51 c oneopt : 0.00 0 0 1800.01/1800.51 c twoopt : 0.00 0 0 1800.01/1800.51 c fixandinfer : 0.00 0 0 1800.01/1800.51 c feaspump : 0.00 0 0 1800.01/1800.51 c coefdiving : 0.00 0 0 1800.01/1800.51 c pscostdiving : 0.00 0 0 1800.01/1800.51 c fracdiving : 0.00 0 0 1800.01/1800.51 c veclendiving : 0.00 0 0 1800.01/1800.51 c intdiving : 0.00 0 0 1800.01/1800.51 c actconsdiving : 0.00 0 0 1800.01/1800.51 c objpscostdiving : 0.00 0 0 1800.01/1800.51 c rootsoldiving : 0.00 0 0 1800.01/1800.51 c linesearchdiving : 0.00 0 0 1800.01/1800.51 c guideddiving : 0.00 0 0 1800.01/1800.51 c octane : 0.00 0 0 1800.01/1800.51 c rens : 0.00 0 0 1800.01/1800.51 c rins : 0.00 0 0 1800.01/1800.51 c localbranching : 0.00 0 0 1800.01/1800.51 c mutation : 0.00 0 0 1800.01/1800.51 c crossover : 0.00 0 0 1800.01/1800.51 c dins : 0.00 0 0 1800.01/1800.51 c undercover : 0.00 0 0 1800.01/1800.51 c nlp : 0.00 0 0 1800.01/1800.51 c trysol : 0.00 0 0 1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec 1800.01/1800.51 c primal LP : 0.00 0 0 0.00 - 1800.01/1800.51 c dual LP : 0.00 0 0 0.00 - 1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 - 1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 - 1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 - 1800.01/1800.51 c strong branching : 0.00 0 0 0.00 - 1800.01/1800.51 c (at root node) : - 0 0 0.00 - 1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 - 1800.01/1800.51 c B&B Tree : 1800.01/1800.51 c number of runs : 1 1800.01/1800.51 c nodes : 68125 1800.01/1800.51 c nodes (total) : 68125 1800.01/1800.51 c nodes left : 67402 1800.01/1800.51 c max depth : 884 1800.01/1800.51 c max depth (total): 884 1800.01/1800.51 c backtracks : 161 (0.2%) 1800.01/1800.51 c delayed cutoffs : 156 1800.01/1800.51 c repropagations : 16124 (40034 domain reductions, 155 cutoffs) 1800.01/1800.51 c avg switch length: 2.62 1800.01/1800.51 c switching time : 12.33 1800.01/1800.51 c Solution : 1800.01/1800.51 c Solutions found : 0 (0 improvements) 1800.01/1800.51 c Primal Bound : - 1800.01/1800.51 c Dual Bound : +0.00000000000000e+00 1800.01/1800.51 c Gap : infinite 1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00 1800.01/1800.51 c Root Iterations : 0 1800.91/1801.42 c Time complete: 1800.94.
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-2663501-1276684182/watcher-2663501-1276684182 -o /tmp/evaluation-result-2663501-1276684182/solver-2663501-1276684182 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663501-1276684182.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.99 0.97 1.00 3/105 16272 /proc/meminfo: memFree=1702364/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=7908 CPUtime=0 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 1283 0 0 0 0 0 0 0 25 0 1 0 9711800 8097792 1206 1992294400 4194304 7136930 140736673787616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16272/statm: 1977 1215 254 719 0 1256 0 [startup+0.0381721 s] /proc/loadavg: 0.99 0.97 1.00 3/105 16272 /proc/meminfo: memFree=1702364/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=14304 CPUtime=0.02 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 2992 0 0 0 2 0 0 0 25 0 1 0 9711800 14647296 2914 1992294400 4194304 7136930 140736673787616 18446744073709551615 5648489 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16272/statm: 3576 2914 269 719 0 2855 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14304 [startup+0.101165 s] /proc/loadavg: 0.99 0.97 1.00 3/105 16272 /proc/meminfo: memFree=1702364/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=23028 CPUtime=0.09 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 5207 0 0 0 8 1 0 0 25 0 1 0 9711800 23580672 5129 1992294400 4194304 7136930 140736673787616 18446744073709551615 6415709 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16272/statm: 5757 5129 269 719 0 5036 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23028 [startup+0.301187 s] /proc/loadavg: 0.99 0.97 1.00 3/105 16272 /proc/meminfo: memFree=1702364/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=43772 CPUtime=0.29 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 10411 0 0 0 26 3 0 0 25 0 1 0 9711800 44822528 10332 1992294400 4194304 7136930 140736673787616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16272/statm: 10943 10332 269 719 0 10222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 43772 [startup+0.701231 s] /proc/loadavg: 0.99 0.97 1.00 3/105 16272 /proc/meminfo: memFree=1702364/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=103976 CPUtime=0.7 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 25854 0 0 0 61 9 0 0 25 0 1 0 9711800 106471424 25347 1992294400 4194304 7136930 140736673787616 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 25994 25347 303 719 0 25273 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 103976 [startup+1.50132 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16273 /proc/meminfo: memFree=1594600/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=121544 CPUtime=1.49 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 30032 0 0 0 137 12 0 0 25 0 1 0 9711800 124461056 29525 1992294400 4194304 7136930 140736673787616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 30386 29525 327 719 0 29665 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 121544 [startup+3.10051 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16273 /proc/meminfo: memFree=1574388/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=140136 CPUtime=3.09 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 37110 0 0 0 279 30 0 0 25 0 1 0 9711800 143499264 33646 1992294400 4194304 7136930 140736673787616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 35034 33646 396 719 0 34313 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 140136 [startup+6.30087 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16273 /proc/meminfo: memFree=1566452/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=144120 CPUtime=6.29 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 39002 0 0 0 595 34 0 0 25 0 1 0 9711800 147578880 34457 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 36030 34457 389 719 0 35309 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 144120 [startup+12.7006 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16273 /proc/meminfo: memFree=1560376/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=150004 CPUtime=12.69 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 40464 0 0 0 1233 36 0 0 25 0 1 0 9711800 153604096 35919 1992294400 4194304 7136930 140736673787616 18446744073709551615 4407859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 37501 35919 389 719 0 36780 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 150004 [startup+25.501 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16275 /proc/meminfo: memFree=1552812/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=156836 CPUtime=25.49 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 42098 0 0 0 2509 40 0 0 25 0 1 0 9711800 160600064 37553 1992294400 4194304 7136930 140736673787616 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 39209 37553 394 719 0 38488 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 156836 [startup+51.1009 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16275 /proc/meminfo: memFree=1548100/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=161376 CPUtime=51.07 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 43258 0 0 0 5062 45 0 0 25 0 1 0 9711800 165249024 38713 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 40344 38713 394 719 0 39623 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 161376 [startup+102.309 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16277 /proc/meminfo: memFree=1537932/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=171728 CPUtime=102.27 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 45780 0 0 0 10173 54 0 0 25 0 1 0 9711800 175849472 41235 1992294400 4194304 7136930 140736673787616 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 42932 41235 394 719 0 42211 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 171728 [startup+162.301 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16280 /proc/meminfo: memFree=1525780/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=183256 CPUtime=162.24 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 48645 0 0 0 16155 69 0 0 25 0 1 0 9711800 187654144 44100 1992294400 4194304 7136930 140736673787616 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 45814 44100 394 719 0 45093 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 183256 [startup+222.301 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16282 /proc/meminfo: memFree=1517596/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=191488 CPUtime=222.22 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 50696 0 0 0 22146 76 0 0 25 0 1 0 9711800 196083712 46151 1992294400 4194304 7136930 140736673787616 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 47872 46151 394 719 0 47151 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 191488 [startup+282.301 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16284 /proc/meminfo: memFree=1505320/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=203852 CPUtime=282.21 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 53781 0 0 0 28135 86 0 0 25 0 1 0 9711800 208744448 49236 1992294400 4194304 7136930 140736673787616 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 50963 49236 394 719 0 50242 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 203852 [startup+342.301 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16286 /proc/meminfo: memFree=1497136/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=212128 CPUtime=342.2 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 55829 0 0 0 34125 95 0 0 25 0 1 0 9711800 217219072 51284 1992294400 4194304 7136930 140736673787616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 53032 51284 394 719 0 52311 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 212128 [startup+402.302 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16288 /proc/meminfo: memFree=1488084/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=221068 CPUtime=402.18 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 58071 0 0 0 40115 103 0 0 25 0 1 0 9711800 226373632 53526 1992294400 4194304 7136930 140736673787616 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 55267 53526 394 719 0 54546 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 221068 [startup+462.301 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16288 /proc/meminfo: memFree=1480396/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=228788 CPUtime=462.16 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 60016 0 0 0 46103 113 0 0 25 0 1 0 9711800 234278912 55471 1992294400 4194304 7136930 140736673787616 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 57197 55471 394 719 0 56476 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 228788 [startup+522.301 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16290 /proc/meminfo: memFree=1471096/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=238312 CPUtime=522.15 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 62352 0 0 0 52091 124 0 0 25 0 1 0 9711800 244031488 57807 1992294400 4194304 7136930 140736673787616 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 59578 57807 394 719 0 58857 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 238312 [startup+582.301 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16292 /proc/meminfo: memFree=1460308/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=248888 CPUtime=582.13 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 65028 0 0 0 58081 132 0 0 25 0 1 0 9711800 254861312 60483 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 62222 60483 394 719 0 61501 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 248888 [startup+642.302 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16294 /proc/meminfo: memFree=1452124/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=257232 CPUtime=642.12 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 67080 0 0 0 64073 139 0 0 25 0 1 0 9711800 263405568 62535 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 64308 62535 394 719 0 63587 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 257232 [startup+702.302 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16304 /proc/meminfo: memFree=1405004/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=303956 CPUtime=1002.02 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 78816 0 0 0 100008 194 0 0 25 0 1 0 9711800 311250944 74271 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 75989 74271 394 719 0 75268 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 303956 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 1.00 2/106 16304 /proc/meminfo: memFree=1398556/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=310364 CPUtime=1062 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 80425 0 0 0 105997 203 0 0 25 0 1 0 9711800 317812736 75880 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 77591 75880 394 719 0 76870 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 310364 [startup+1122.3 s] /proc/loadavg: 1.05 0.99 1.00 2/106 16306 /proc/meminfo: memFree=1389504/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=319508 CPUtime=1121.99 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 82689 0 0 0 111986 213 0 0 25 0 1 0 9711800 327176192 78144 1992294400 4194304 7136930 140736673787616 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 79877 78144 394 719 0 79156 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 319508 [startup+1182.3 s] /proc/loadavg: 1.07 1.00 1.00 2/106 16308 /proc/meminfo: memFree=1383924/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=324736 CPUtime=1181.97 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 84027 0 0 0 117974 223 0 0 25 0 1 0 9711800 332529664 79482 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 81184 79482 394 719 0 80463 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 324736 [startup+1242.3 s] /proc/loadavg: 1.07 1.01 1.00 2/106 16310 /proc/meminfo: memFree=1372144/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=336312 CPUtime=1241.96 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 86927 0 0 0 123964 232 0 0 25 0 1 0 9711800 344383488 82382 1992294400 4194304 7136930 140736673787616 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 84078 82382 394 719 0 83357 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 336312 [startup+1302.3 s] /proc/loadavg: 1.06 1.02 1.00 2/106 16312 /proc/meminfo: memFree=1365572/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=342716 CPUtime=1301.94 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 88531 0 0 0 129953 241 0 0 25 0 1 0 9711800 350941184 83986 1992294400 4194304 7136930 140736673787616 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 85679 83986 394 719 0 84958 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 342716 [startup+1362.3 s] /proc/loadavg: 1.06 1.03 1.00 2/106 16312 /proc/meminfo: memFree=1357388/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=350736 CPUtime=1361.93 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 90548 0 0 0 135940 253 0 0 25 0 1 0 9711800 359153664 86003 1992294400 4194304 7136930 140736673787616 18446744073709551615 4780847 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 87684 86003 394 719 0 86963 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 350736 [startup+1422.31 s] /proc/loadavg: 1.06 1.04 1.00 2/106 16314 /proc/meminfo: memFree=1351188/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=357124 CPUtime=1421.91 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 92129 0 0 0 141930 261 0 0 25 0 1 0 9711800 365694976 87584 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 89281 87584 394 719 0 88560 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 357124 [startup+1482.3 s] /proc/loadavg: 1.06 1.04 1.00 2/106 16316 /proc/meminfo: memFree=1343996/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=364176 CPUtime=1481.89 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 93889 0 0 0 147921 268 0 0 25 0 1 0 9711800 372916224 89344 1992294400 4194304 7136930 140736673787616 18446744073709551615 4414752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 91044 89344 394 719 0 90323 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 364176 [startup+1542.3 s] /proc/loadavg: 1.12 1.06 1.00 2/106 16318 /proc/meminfo: memFree=1333580/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=375692 CPUtime=1541.87 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 96769 0 0 0 153909 278 0 0 25 0 1 0 9711800 384708608 92224 1992294400 4194304 7136930 140736673787616 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 93923 92224 394 719 0 93202 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 375692 [startup+1602.3 s] /proc/loadavg: 1.12 1.07 1.00 2/106 16320 /proc/meminfo: memFree=1325892/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=382284 CPUtime=1601.86 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 98418 0 0 0 159897 289 0 0 25 0 1 0 9711800 391458816 93873 1992294400 4194304 7136930 140736673787616 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 95571 93873 394 719 0 94850 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 382284 [startup+1662.3 s] /proc/loadavg: 1.10 1.07 1.00 2/106 16320 /proc/meminfo: memFree=1317832/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=390296 CPUtime=1661.85 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 100395 0 0 0 165885 300 0 0 25 0 1 0 9711800 399663104 95850 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 97574 95850 394 719 0 96853 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 390296 [startup+1722.3 s] /proc/loadavg: 1.10 1.07 1.00 2/106 16322 /proc/meminfo: memFree=1309524/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=398668 CPUtime=1721.83 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 102483 0 0 0 171875 308 0 0 25 0 1 0 9711800 408236032 97938 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 99667 97938 394 719 0 98946 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 398668 [startup+1782.3 s] /proc/loadavg: 1.08 1.07 1.00 2/106 16324 /proc/meminfo: memFree=1301340/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=408508 CPUtime=1781.81 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 104447 0 0 0 177865 316 0 0 25 0 1 0 9711800 418312192 99902 1992294400 4194304 7136930 140736673787616 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 102127 99902 394 719 0 101406 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 408508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.07 1.06 1.00 2/106 16324 /proc/meminfo: memFree=1300224/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=409532 CPUtime=1800.01 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 104709 0 0 0 179682 319 0 0 25 0 1 0 9711800 419360768 100164 1992294400 4194304 7136930 140736673787616 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16272/statm: 102383 100164 394 719 0 101662 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 409532 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.07 1.06 1.00 2/107 16325 /proc/meminfo: memFree=1299968/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=408576 CPUtime=1800.12 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 104782 0 0 0 179693 319 0 0 25 0 1 0 9711800 418381824 100158 1992294400 4194304 7136930 140736673787616 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16272/statm: 102144 100158 399 719 0 101423 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 408576 [startup+1801 s] /proc/loadavg: 1.07 1.06 1.00 2/107 16325 /proc/meminfo: memFree=1299968/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=400320 CPUtime=1800.51 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 104783 0 0 0 179731 320 0 0 25 0 1 0 9711800 409927680 98096 1992294400 4194304 7136930 140736673787616 18446744073709551615 4212419 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16272/statm: 100080 98096 399 719 0 99359 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (KiB) 400320 [startup+1801.4 s] /proc/loadavg: 1.07 1.06 1.00 2/107 16325 /proc/meminfo: memFree=1299968/2059040 swapFree=4192956/4192956 [pid=16272] ppid=16270 vsize=85124 CPUtime=1800.91 /proc/16272/stat : 16272 (pbscip.linux.x8) R 16270 16272 16162 0 -1 4202496 104783 0 0 0 179768 323 0 0 25 0 1 0 9711800 87166976 20090 1992294400 4194304 7136930 140736673787616 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16272/statm: 21281 19834 399 719 0 20560 0 Current children cumulated CPU time (s) 1800.91 Current children cumulated vsize (KiB) 85124 Child status: 0 Real time (s): 1801.43 CPU time (s): 1800.94 CPU user time (s): 1797.7 CPU system time (s): 3.24151 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 409532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.7 system time used= 3.24151 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104789 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= 2 involuntary context switches= 24752 runsolver used 2.86256 second user time and 8.62369 second system time The end
Begin job on node088 at 2010-06-16 12:29:42 IDJOB=2663501 IDBENCH=48379 IDSOLVER=1167 FILE ID=node088/2663501-1276684182 PBS_JOBID= 11172580 Free space on /tmp= 62560 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_60_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-2663501-1276684182/watcher-2663501-1276684182 -o /tmp/evaluation-result-2663501-1276684182/solver-2663501-1276684182 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663501-1276684182.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fa22dd251e76880c1495cc1725a19f60 RANDOM SEED=1637223207 node088.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.217 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.43 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.217 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1702768 kB Buffers: 74788 kB Cached: 142940 kB SwapCached: 0 kB Active: 96096 kB Inactive: 181492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1702768 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4128 kB Writeback: 0 kB AnonPages: 59848 kB Mapped: 15548 kB Slab: 57040 kB PageTables: 3888 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182196 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= 62560 MiB End job on node088 at 2010-06-16 12:59:45