Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.15 | 1800.71 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_15.opb |
MD5SUM | 97892b1b250c8711791b219b8ddda703 |
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 | 100 |
Total number of constraints | 152 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1236 |
Sum of products size (including duplicates) | 2472 |
Number of different products | 618 |
Sum of products size | 1236 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2666359-1276684047.opb> 0.00/0.02 c original problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 770 constraints 0.00/0.02 c problem read 0.00/0.02 c No objective function, only one solution is needed. 0.00/0.02 c presolving settings loaded 0.00/0.03 c presolving: 0.19/0.20 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 5044 impls, 100 clqs 0.19/0.21 c presolving (2 rounds): 0.19/0.21 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.19/0.21 c 5044 implications, 100 cliques 0.19/0.21 c presolved problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 770 constraints 0.19/0.21 c 1 constraints of type <knapsack> 0.19/0.21 c 100 constraints of type <setppc> 0.19/0.21 c 618 constraints of type <and> 0.19/0.21 c 1 constraints of type <linear> 0.19/0.21 c 50 constraints of type <logicor> 0.19/0.21 c transformed objective value is always integral (scale: 1) 0.19/0.21 c Presolving Time: 0.10 0.19/0.21 c - non default parameters ---------------------------------------------------------------------- 0.19/0.21 c # SCIP version 1.2.1.2 0.19/0.21 c 0.19/0.21 c # frequency for displaying node information lines 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100] 0.19/0.21 c display/freq = 10000 0.19/0.21 c 0.19/0.21 c # maximal time in seconds to run 0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.19/0.21 c limits/time = 1799.99 0.19/0.21 c 0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.19/0.21 c limits/memory = 1620 0.19/0.21 c 0.19/0.21 c # solving stops, if the given number of solutions were found (-1: no limit) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.21 c limits/solutions = 1 0.19/0.21 c 0.19/0.21 c # maximal number of separation rounds per node (-1: unlimited) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 5] 0.19/0.21 c separating/maxrounds = 1 0.19/0.21 c 0.19/0.21 c # maximal number of separation rounds in the root node (-1: unlimited) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.21 c separating/maxroundsroot = 5 0.19/0.21 c 0.19/0.21 c # should presolving try to simplify inequalities 0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.19/0.21 c constraints/linear/simplifyinequalities = TRUE 0.19/0.21 c 0.19/0.21 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.19/0.21 c constraints/knapsack/disaggregation = FALSE 0.19/0.21 c 0.19/0.21 c # should presolving try to simplify knapsacks 0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE 0.19/0.21 c 0.19/0.21 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.21 c presolving/probing/maxrounds = 0 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.21 c heuristics/coefdiving/freq = -1 0.19/0.21 c 0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.21 c heuristics/coefdiving/maxlpiterquot = 0.075 0.19/0.21 c 0.19/0.21 c # additional number of allowed LP iterations 0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.21 c heuristics/coefdiving/maxlpiterofs = 1500 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 30] 0.19/0.21 c heuristics/crossover/freq = -1 0.19/0.21 c 0.19/0.21 c # number of nodes added to the contingent of the total nodes 0.19/0.21 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.19/0.21 c heuristics/crossover/nodesofs = 750 0.19/0.21 c 0.19/0.21 c # number of nodes without incumbent change that heuristic should wait 0.19/0.21 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.19/0.21 c heuristics/crossover/nwaitingnodes = 100 0.19/0.21 c 0.19/0.21 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.19/0.21 c # [type: real, range: [0,1], default: 0.1] 0.19/0.21 c heuristics/crossover/nodesquot = 0.15 0.19/0.21 c 0.19/0.21 c # minimum percentage of integer variables that have to be fixed 0.19/0.21 c # [type: real, range: [0,1], default: 0.666] 0.19/0.21 c heuristics/crossover/minfixingrate = 0.5 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 20] 0.19/0.21 c heuristics/feaspump/freq = -1 0.19/0.21 c 0.19/0.21 c # additional number of allowed LP iterations 0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.21 c heuristics/feaspump/maxlpiterofs = 2000 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.21 c heuristics/fracdiving/freq = -1 0.19/0.21 c 0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.21 c heuristics/fracdiving/maxlpiterquot = 0.075 0.19/0.21 c 0.19/0.21 c # additional number of allowed LP iterations 0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.21 c heuristics/fracdiving/maxlpiterofs = 1500 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.21 c heuristics/guideddiving/freq = -1 0.19/0.21 c 0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.21 c heuristics/guideddiving/maxlpiterquot = 0.075 0.19/0.21 c 0.19/0.21 c # additional number of allowed LP iterations 0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.21 c heuristics/guideddiving/maxlpiterofs = 1500 0.19/0.21 c 0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.21 c heuristics/intdiving/maxlpiterquot = 0.075 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.21 c heuristics/intshifting/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.21 c heuristics/linesearchdiving/freq = -1 0.19/0.21 c 0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.21 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.19/0.21 c 0.19/0.21 c # additional number of allowed LP iterations 0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.21 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.21 c heuristics/nlp/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 20] 0.19/0.21 c heuristics/objpscostdiving/freq = -1 0.19/0.21 c 0.19/0.21 c # maximal fraction of diving LP iterations compared to total iteration number 0.19/0.21 c # [type: real, range: [0,1], default: 0.01] 0.19/0.21 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.19/0.21 c 0.19/0.21 c # additional number of allowed LP iterations 0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.21 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.21 c heuristics/oneopt/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.21 c heuristics/pscostdiving/freq = -1 0.19/0.21 c 0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.21 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.19/0.21 c 0.19/0.21 c # additional number of allowed LP iterations 0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.21 c heuristics/pscostdiving/maxlpiterofs = 1500 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.21 c heuristics/rens/freq = -1 0.19/0.21 c 0.19/0.21 c # minimum percentage of integer variables that have to be fixable 0.19/0.21 c # [type: real, range: [0,1], default: 0.5] 0.19/0.21 c heuristics/rens/minfixingrate = 0.3 0.19/0.21 c 0.19/0.21 c # number of nodes added to the contingent of the total nodes 0.19/0.21 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.19/0.21 c heuristics/rens/nodesofs = 2000 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 20] 0.19/0.21 c heuristics/rootsoldiving/freq = -1 0.19/0.21 c 0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.19/0.21 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.19/0.21 c 0.19/0.21 c # additional number of allowed LP iterations 0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.21 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.21 c heuristics/rounding/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.21 c heuristics/shifting/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.21 c heuristics/simplerounding/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.21 c heuristics/trivial/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.21 c heuristics/trysol/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10] 0.19/0.21 c heuristics/veclendiving/freq = -1 0.19/0.21 c 0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations 0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.19/0.21 c heuristics/veclendiving/maxlpiterquot = 0.075 0.19/0.21 c 0.19/0.21 c # additional number of allowed LP iterations 0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000] 0.19/0.21 c heuristics/veclendiving/maxlpiterofs = 1500 0.19/0.21 c 0.19/0.21 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1] 0.19/0.21 c heuristics/zirounding/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.21 c separating/cmir/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0] 0.19/0.21 c separating/flowcover/freq = -1 0.19/0.21 c 0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1] 0.19/0.21 c separating/rapidlearning/freq = 0 0.19/0.21 c 0.19/0.21 c ----------------------------------------------------------------------------------------------- 0.19/0.21 c start solving 0.19/0.21 c 0.19/0.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.19/0.28 c 0.2s| 1 | 0 | 348 | - |3325k| 0 | 169 | 718 | 770 | 718 |1388 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.95 c 0.7s| 1 | 0 | 394 | - |3897k| 0 | 170 | 718 | 793 | 718 |1398 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.34 c 1.1s| 1 | 0 | 440 | - |4453k| 0 | 168 | 718 | 793 | 718 |1405 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.71 c 1.5s| 1 | 0 | 479 | - |5041k| 0 | 165 | 718 | 793 | 718 |1413 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 2.09/2.10 c 1.9s| 1 | 0 | 522 | - |5624k| 0 | 171 | 718 | 793 | 718 |1418 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf 2.49/2.52 c 2.3s| 1 | 0 | 547 | - |6323k| 0 | 169 | 718 | 793 | 718 |1424 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf 2.99/3.04 c 2.8s| 1 | 2 | 547 | - |6324k| 0 | 169 | 718 | 793 | 718 |1424 | 36 | 0 | 9 | 0.000000e+00 | -- | Inf 298.60/298.71 c 293s| 10000 | 293 | 1003k| 100.3 |9984k| 30 | 149 | 718 |5184 | 718 | 468 | 107k| 10k|4625 | 0.000000e+00 | -- | Inf 548.22/548.42 c 538s| 20000 | 345 | 1968k| 98.4 | 11M| 31 | - | 718 |8054 | 718 | 501 | 194k| 20k|6293 | 0.000000e+00 | -- | Inf 804.15/804.42 c 789s| 30000 | 359 | 2956k| 98.5 | 12M| 31 | - | 718 |9009 | 718 | 476 | 284k| 31k|8179 | 0.000000e+00 | -- | Inf 1065.58/1065.90 c 1046s| 40000 | 384 | 3974k| 99.3 | 13M| 34 | - | 718 | 10k| 718 | 504 | 376k| 41k|9809 | 0.000000e+00 | -- | Inf 1313.89/1314.38 c 1290s| 50000 | 339 | 4962k| 99.3 | 14M| 34 | - | 718 | 12k| 718 | 525 | 459k| 52k| 10k| 0.000000e+00 | -- | Inf 1575.31/1575.81 c 1547s| 60000 | 325 | 5996k| 99.9 | 13M| 34 | - | 718 |9220 | 718 | 495 | 548k| 63k| 12k| 0.000000e+00 | -- | Inf 1800.04/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.65 c 1800.04/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.65 c Solving Time (sec) : 1767.68 1800.04/1800.65 c Solving Nodes : 69658 1800.04/1800.65 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.04/1800.65 c Dual Bound : +0.00000000000000e+00 1800.04/1800.65 c Gap : infinite 1800.04/1800.65 s UNKNOWN 1800.04/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.65 c Solving Time : 1767.68 1800.04/1800.65 c Original Problem : 1800.04/1800.65 c Problem name : HOME/instance-2666359-1276684047.opb 1800.04/1800.65 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.65 c Constraints : 770 initial, 770 maximal 1800.04/1800.65 c Presolved Problem : 1800.04/1800.65 c Problem name : t_HOME/instance-2666359-1276684047.opb 1800.04/1800.65 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.65 c Constraints : 770 initial, 14011 maximal 1800.04/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.65 c dualfix : 0.01 0 0 0 0 0 0 0 0 1800.04/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.65 c probing : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.65 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.65 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.65 c and : 0.08 0 0 0 0 0 0 0 0 1800.04/1800.65 c linear : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.65 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.65 c root node : - 0 - - 0 - - - - 1800.04/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.65 c integral : 0 0 0 36371 0 164 1989 0 0 70348 1800.04/1800.65 c knapsack : 1 5 314450 0 0 20 83 0 0 0 1800.04/1800.65 c setppc : 100 5 314435 0 0 263 214367 0 0 0 1800.04/1800.65 c and : 618 45051 314172 0 0 269 2512594 617841 0 0 1800.04/1800.65 c linear : 1+ 6 313903 0 0 0 253 0 0 0 1800.04/1800.65 c logicor : 50+ 5 110440 0 0 224 110799 0 0 0 1800.04/1800.65 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.04/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.65 c integral : 221.65 0.00 0.00 221.65 0.00 1800.04/1800.65 c knapsack : 0.73 0.00 0.73 0.00 0.00 1800.04/1800.65 c setppc : 1.58 0.00 1.58 0.00 0.00 1800.04/1800.65 c and : 23.36 10.87 12.49 0.00 0.00 1800.04/1800.65 c linear : 3.22 0.00 3.22 0.00 0.00 1800.04/1800.65 c logicor : 18.53 0.00 18.53 0.00 0.00 1800.04/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.65 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.65 c vbounds : 0.21 1 0 0 1800.04/1800.65 c rootredcost : 0.18 0 0 0 1800.04/1800.65 c pseudoobj : 0.10 0 0 0 1800.04/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.65 c propagation : 0.02 776 753 3287 20.4 43 26.8 - 1800.04/1800.65 c infeasible LP : 16.41 33646 32487 275236 23.7 42 7.5 0 1800.04/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.04/1800.65 c applied globally : - - - 73866 25.0 - - - 1800.04/1800.65 c applied locally : - - - 0 0.0 - - - 1800.04/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.65 c cut pool : 0.01 4 - - 12 - (maximal pool size: 826) 1800.04/1800.65 c redcost : 0.94 45051 0 0 0 0 1800.04/1800.65 c impliedbounds : 0.01 5 0 0 18 0 1800.04/1800.65 c intobj : 0.00 0 0 0 0 0 1800.04/1800.65 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.65 c gomory : 1.13 5 0 0 0 0 1800.04/1800.65 c strongcg : 0.64 5 0 0 2500 0 1800.04/1800.65 c cmir : 0.00 0 0 0 0 0 1800.04/1800.65 c flowcover : 0.00 0 0 0 0 0 1800.04/1800.65 c clique : 0.02 5 0 0 31 0 1800.04/1800.65 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.65 c mcf : 0.00 1 0 0 0 0 1800.04/1800.65 c rapidlearning : 0.22 1 0 0 0 23 1800.04/1800.65 c Pricers : Time Calls Vars 1800.04/1800.65 c problem variables: 0.00 0 0 1800.04/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.65 c relpscost : 221.51 36371 164 1989 0 0 70348 1800.04/1800.65 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.65 c inference : 0.00 0 0 0 0 0 0 1800.04/1800.65 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.65 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.65 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.65 c random : 0.00 0 0 0 0 0 0 1800.04/1800.65 c Primal Heuristics : Time Calls Found 1800.04/1800.65 c LP solutions : 0.00 - 0 1800.04/1800.65 c pseudo solutions : 0.00 - 0 1800.04/1800.65 c trivial : 0.00 1 0 1800.04/1800.65 c simplerounding : 0.00 0 0 1800.04/1800.65 c zirounding : 0.00 0 0 1800.04/1800.65 c rounding : 0.00 0 0 1800.04/1800.65 c shifting : 0.00 0 0 1800.04/1800.65 c intshifting : 0.00 0 0 1800.04/1800.65 c oneopt : 0.00 0 0 1800.04/1800.65 c twoopt : 0.00 0 0 1800.04/1800.65 c fixandinfer : 0.00 0 0 1800.04/1800.65 c feaspump : 0.00 0 0 1800.04/1800.65 c coefdiving : 0.00 0 0 1800.04/1800.65 c pscostdiving : 0.00 0 0 1800.04/1800.65 c fracdiving : 0.00 0 0 1800.04/1800.65 c veclendiving : 0.00 0 0 1800.04/1800.65 c intdiving : 0.00 0 0 1800.04/1800.65 c actconsdiving : 0.00 0 0 1800.04/1800.65 c objpscostdiving : 0.00 0 0 1800.04/1800.65 c rootsoldiving : 0.00 0 0 1800.04/1800.65 c linesearchdiving : 0.00 0 0 1800.04/1800.65 c guideddiving : 0.00 0 0 1800.04/1800.65 c octane : 0.00 0 0 1800.04/1800.65 c rens : 0.00 0 0 1800.04/1800.65 c rins : 0.00 0 0 1800.04/1800.65 c localbranching : 0.00 0 0 1800.04/1800.65 c mutation : 0.00 0 0 1800.04/1800.65 c crossover : 0.00 0 0 1800.04/1800.65 c dins : 0.00 0 0 1800.04/1800.65 c undercover : 0.00 0 0 1800.04/1800.65 c nlp : 0.00 0 0 1800.04/1800.65 c trysol : 0.00 0 0 1800.04/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.65 c primal LP : 24.82 0 0 0.00 0.00 1800.04/1800.65 c dual LP : 1378.50 114276 6895827 60.34 5002.41 1800.04/1800.65 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.65 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.65 c diving/probing LP: 0.00 0 0 0.00 - 1800.04/1800.65 c strong branching : 217.80 13342 1050181 78.71 4821.77 1800.04/1800.65 c (at root node) : - 9 1417 157.44 - 1800.04/1800.65 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.65 c B&B Tree : 1800.04/1800.65 c number of runs : 1 1800.04/1800.65 c nodes : 69658 1800.04/1800.65 c nodes (total) : 69658 1800.04/1800.65 c nodes left : 310 1800.04/1800.65 c max depth : 34 1800.04/1800.65 c max depth (total): 34 1800.04/1800.65 c backtracks : 11472 (16.5%) 1800.04/1800.65 c delayed cutoffs : 381 1800.04/1800.65 c repropagations : 94448 (384245 domain reductions, 102 cutoffs) 1800.04/1800.65 c avg switch length: 5.15 1800.04/1800.65 c switching time : 52.27 1800.04/1800.65 c Solution : 1800.04/1800.65 c Solutions found : 0 (0 improvements) 1800.04/1800.65 c Primal Bound : - 1800.04/1800.65 c Dual Bound : +0.00000000000000e+00 1800.04/1800.65 c Gap : infinite 1800.04/1800.65 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.65 c Root Iterations : 547 1800.04/1800.70 c Time complete: 1800.14.
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-2666359-1276684047/watcher-2666359-1276684047 -o /tmp/evaluation-result-2666359-1276684047/solver-2666359-1276684047 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666359-1276684047.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15500 /proc/meminfo: memFree=1740096/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=7724 CPUtime=0 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 1187 0 0 0 0 0 0 0 20 0 1 0 9697434 7909376 1106 1992294400 4194304 8223781 140735538919648 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15500/statm: 1931 1116 348 984 0 944 0 [startup+0.10388 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15500 /proc/meminfo: memFree=1740096/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=13628 CPUtime=0.09 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 3045 0 0 0 6 3 0 0 20 0 1 0 9697434 13955072 2343 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 3407 2343 426 984 0 2420 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13628 [startup+0.201891 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15500 /proc/meminfo: memFree=1740096/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=13900 CPUtime=0.19 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 3388 0 0 0 10 9 0 0 20 0 1 0 9697434 14233600 2429 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 3475 2429 444 984 0 2488 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13900 [startup+0.300903 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15500 /proc/meminfo: memFree=1740096/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=18288 CPUtime=0.29 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 5964 0 0 0 19 10 0 0 20 0 1 0 9697434 18726912 3688 1992294400 4194304 8223781 140735538919648 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 4572 3688 555 984 0 3585 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18288 [startup+0.700947 s] /proc/loadavg: 0.92 0.98 0.99 3/106 15500 /proc/meminfo: memFree=1740096/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=28484 CPUtime=0.69 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 8438 0 0 0 54 15 0 0 20 0 1 0 9697434 29167616 5895 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 7121 5895 572 984 0 6134 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28484 [startup+1.50103 s] /proc/loadavg: 0.92 0.98 0.99 2/107 15501 /proc/meminfo: memFree=1721860/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=23328 CPUtime=1.49 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 11084 0 0 0 127 22 0 0 22 0 1 0 9697434 23887872 5003 1992294400 4194304 8223781 140735538919648 18446744073709551615 5755324 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 5832 5003 588 984 0 4845 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23328 [startup+3.10121 s] /proc/loadavg: 0.92 0.98 0.99 2/107 15501 /proc/meminfo: memFree=1721488/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=25720 CPUtime=3.09 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 11884 0 0 0 285 24 0 0 25 0 1 0 9697434 26337280 5600 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 6430 5600 589 984 0 5443 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25720 [startup+6.30156 s] /proc/loadavg: 1.09 1.02 1.01 2/107 15501 /proc/meminfo: memFree=1719256/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=25720 CPUtime=6.29 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 11890 0 0 0 601 28 0 0 25 0 1 0 9697434 26337280 5606 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 6430 5606 592 984 0 5443 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25720 [startup+12.7013 s] /proc/loadavg: 1.08 1.02 1.00 2/107 15501 /proc/meminfo: memFree=1719132/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=25776 CPUtime=12.69 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 12000 0 0 0 1229 40 0 0 25 0 1 0 9697434 26394624 5607 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 6444 5607 592 984 0 5457 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25776 [startup+25.5017 s] /proc/loadavg: 1.06 1.01 1.00 2/107 15503 /proc/meminfo: memFree=1719132/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=26032 CPUtime=25.48 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 12550 0 0 0 2485 63 0 0 25 0 1 0 9697434 26656768 5670 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 6508 5670 592 984 0 5521 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26032 [startup+51.1015 s] /proc/loadavg: 1.04 1.01 1.00 2/107 15503 /proc/meminfo: memFree=1717892/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=27280 CPUtime=51.07 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 22892 0 0 0 4995 112 0 0 25 0 1 0 9697434 27934720 5984 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 6820 5984 592 984 0 5833 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27280 [startup+102.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 15505 /proc/meminfo: memFree=1715164/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=29976 CPUtime=102.26 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 39865 0 0 0 10018 208 0 0 25 0 1 0 9697434 30695424 6659 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 7494 6659 592 984 0 6507 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29976 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15505 /proc/meminfo: memFree=1713056/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=32092 CPUtime=162.24 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 60280 0 0 0 15905 319 0 0 25 0 1 0 9697434 32862208 7156 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 8023 7156 592 984 0 7036 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32092 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15507 /proc/meminfo: memFree=1711568/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=33444 CPUtime=222.23 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 77127 0 0 0 21797 426 0 0 25 0 1 0 9697434 34246656 7516 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 8361 7516 592 984 0 7374 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 33444 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 3/108 15512 /proc/meminfo: memFree=1677956/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=34300 CPUtime=282.2 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 92246 0 0 0 27686 534 0 0 25 0 1 0 9697434 35123200 7725 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 8575 7725 592 984 0 7588 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 34300 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15514 /proc/meminfo: memFree=1709584/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=34924 CPUtime=342.18 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 111135 0 0 0 33577 641 0 0 25 0 1 0 9697434 35762176 7868 1992294400 4194304 8223781 140735538919648 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 8731 7868 592 984 0 7744 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 34924 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15516 /proc/meminfo: memFree=1708468/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=36000 CPUtime=402.17 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 123861 0 0 0 39472 745 0 0 25 0 1 0 9697434 36864000 8135 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 9000 8135 592 984 0 8013 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 36000 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15516 /proc/meminfo: memFree=1708096/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=36720 CPUtime=462.15 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 148701 0 0 0 45351 864 0 0 25 0 1 0 9697434 37601280 8251 1992294400 4194304 8223781 140735538919648 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 9180 8251 592 984 0 8193 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 36720 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15518 /proc/meminfo: memFree=1706360/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=38460 CPUtime=522.13 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 166324 0 0 0 51242 971 0 0 25 0 1 0 9697434 39383040 8725 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 9615 8725 592 984 0 8628 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 38460 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15520 /proc/meminfo: memFree=1705740/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=39132 CPUtime=582.11 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 180063 0 0 0 57137 1074 0 0 25 0 1 0 9697434 40071168 8846 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 9783 8846 592 984 0 8796 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 39132 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15522 /proc/meminfo: memFree=1705244/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=39816 CPUtime=642.1 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 197430 0 0 0 63025 1185 0 0 25 0 1 0 9697434 40771584 9010 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 9954 9010 592 984 0 8967 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 39816 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15528 /proc/meminfo: memFree=1703632/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=41572 CPUtime=882.03 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 249898 0 0 0 86594 1609 0 0 25 0 1 0 9697434 42569728 9397 1992294400 4194304 8223781 140735538919648 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 10393 9397 592 984 0 9406 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 41572 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15530 /proc/meminfo: memFree=1703384/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=41572 CPUtime=942.01 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 258564 0 0 0 92485 1716 0 0 25 0 1 0 9697434 42569728 9397 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 10393 9397 592 984 0 9406 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 41572 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15532 /proc/meminfo: memFree=1703136/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=42332 CPUtime=1001.99 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 276000 0 0 0 98371 1828 0 0 25 0 1 0 9697434 43347968 9534 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 10583 9534 592 984 0 9596 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 42332 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15532 /proc/meminfo: memFree=1701152/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=44140 CPUtime=1061.97 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 281017 0 0 0 104261 1936 0 0 25 0 1 0 9697434 45199360 10028 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11035 10028 592 984 0 10048 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 44140 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15534 /proc/meminfo: memFree=1700408/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=44648 CPUtime=1121.95 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 289763 0 0 0 110151 2044 0 0 25 0 1 0 9697434 45719552 10163 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11162 10163 592 984 0 10175 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 44648 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15536 /proc/meminfo: memFree=1699912/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=45328 CPUtime=1181.93 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 308241 0 0 0 116040 2153 0 0 25 0 1 0 9697434 46415872 10324 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11332 10324 592 984 0 10345 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 45328 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 15538 /proc/meminfo: memFree=1699416/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=45584 CPUtime=1241.91 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 312585 0 0 0 121935 2256 0 0 25 0 1 0 9697434 46678016 10376 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11396 10376 592 984 0 10409 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 45584 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15540 /proc/meminfo: memFree=1699292/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=45584 CPUtime=1301.9 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 318342 0 0 0 127831 2359 0 0 25 0 1 0 9697434 46678016 10383 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11396 10383 592 984 0 10409 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 45584 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15540 /proc/meminfo: memFree=1699292/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=45584 CPUtime=1361.87 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 323728 0 0 0 133732 2455 0 0 25 0 1 0 9697434 46678016 10383 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11396 10383 592 984 0 10409 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 45584 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15542 /proc/meminfo: memFree=1699292/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=45584 CPUtime=1421.86 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 332985 0 0 0 139622 2564 0 0 25 0 1 0 9697434 46678016 10388 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11396 10388 592 984 0 10409 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 45584 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15544 /proc/meminfo: memFree=1699292/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=45584 CPUtime=1481.83 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 343918 0 0 0 145510 2673 0 0 25 0 1 0 9697434 46678016 10388 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11396 10388 592 984 0 10409 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 45584 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15546 /proc/meminfo: memFree=1699168/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=45740 CPUtime=1541.82 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 358763 0 0 0 151400 2782 0 0 25 0 1 0 9697434 46837760 10403 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11435 10403 592 984 0 10448 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 45740 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15548 /proc/meminfo: memFree=1699168/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=45608 CPUtime=1601.8 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 373476 0 0 0 157290 2890 0 0 25 0 1 0 9697434 46702592 10389 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11402 10389 592 984 0 10415 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 45608 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15548 /proc/meminfo: memFree=1698796/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=45928 CPUtime=1661.78 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 393583 0 0 0 163176 3002 0 0 25 0 1 0 9697434 47030272 10474 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11482 10474 592 984 0 10495 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 45928 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15550 /proc/meminfo: memFree=1698052/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=46956 CPUtime=1721.76 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 403098 0 0 0 169068 3108 0 0 25 0 1 0 9697434 48082944 10676 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11739 10676 592 984 0 10752 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 46956 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15552 /proc/meminfo: memFree=1697184/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=47548 CPUtime=1781.74 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 407974 0 0 0 174967 3207 0 0 25 0 1 0 9697434 48689152 10812 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11887 10812 592 984 0 10900 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 47548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15552 /proc/meminfo: memFree=1697184/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=47548 CPUtime=1800.04 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 409576 0 0 0 176765 3239 0 0 25 0 1 0 9697434 48689152 10814 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11887 10814 592 984 0 10900 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 47548 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15552 /proc/meminfo: memFree=1697184/2059040 swapFree=4163396/4192956 [pid=15500] ppid=15498 vsize=47548 CPUtime=1800.04 /proc/15500/stat : 15500 (pbscip.linux.x8) R 15498 15500 14812 0 -1 4202496 409576 0 0 0 176765 3239 0 0 25 0 1 0 9697434 48689152 10814 1992294400 4194304 8223781 140735538919648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15500/statm: 11887 10814 592 984 0 10900 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 47548 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.15 CPU user time (s): 1767.74 CPU system time (s): 32.4051 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 47724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.74 system time used= 32.4051 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 409581 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= 1466 runsolver used 3.02754 second user time and 8.45871 second system time The end
Begin job on node038 at 2010-06-16 12:27:27 IDJOB=2666359 IDBENCH=48377 IDSOLVER=1169 FILE ID=node038/2666359-1276684047 PBS_JOBID= 11172537 Free space on /tmp= 62476 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_3_15.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666359-1276684047/watcher-2666359-1276684047 -o /tmp/evaluation-result-2666359-1276684047/solver-2666359-1276684047 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666359-1276684047.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97892b1b250c8711791b219b8ddda703 RANDOM SEED=876957058 node038.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.222 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.44 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.222 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1740624 kB Buffers: 71992 kB Cached: 136308 kB SwapCached: 1600 kB Active: 96440 kB Inactive: 143368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1740624 kB SwapTotal: 4192956 kB SwapFree: 4163396 kB Dirty: 4628 kB Writeback: 0 kB AnonPages: 29984 kB Mapped: 14092 kB Slab: 56764 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181564 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= 62472 MiB End job on node038 at 2010-06-16 12:57:29