Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.09 | 1800.55 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_2_15.opb |
MD5SUM | 18f5400970ad464f730a15f23e03dd22 |
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) | 1232 |
Sum of products size (including duplicates) | 2464 |
Number of different products | 616 |
Sum of products size | 1232 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2664845-1276675849.opb> 0.00/0.01 c original problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 768 constraints 0.00/0.01 c problem read 0.00/0.01 c No objective function, only one solution is needed. 0.00/0.01 c presolving settings loaded 0.00/0.02 c presolving: 0.09/0.19 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 5028 impls, 100 clqs 0.09/0.19 c presolving (2 rounds): 0.09/0.19 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.19 c 5028 implications, 100 cliques 0.09/0.19 c presolved problem has 716 variables (716 bin, 0 int, 0 impl, 0 cont) and 768 constraints 0.09/0.19 c 1 constraints of type <knapsack> 0.09/0.19 c 100 constraints of type <setppc> 0.09/0.19 c 616 constraints of type <and> 0.09/0.19 c 1 constraints of type <linear> 0.09/0.19 c 50 constraints of type <logicor> 0.09/0.19 c transformed objective value is always integral (scale: 1) 0.09/0.19 c Presolving Time: 0.08 0.09/0.19 c - non default parameters ---------------------------------------------------------------------- 0.09/0.19 c # SCIP version 1.2.1.2 0.09/0.19 c 0.09/0.19 c # frequency for displaying node information lines 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.19 c display/freq = 10000 0.09/0.19 c 0.09/0.19 c # maximal time in seconds to run 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.19 c limits/time = 1799.99 0.09/0.19 c 0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.19 c limits/memory = 1620 0.09/0.19 c 0.09/0.19 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.19 c limits/solutions = 1 0.09/0.19 c 0.09/0.19 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.19 c separating/maxrounds = 1 0.09/0.19 c 0.09/0.19 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.19 c separating/maxroundsroot = 5 0.09/0.19 c 0.09/0.19 c # should presolving try to simplify inequalities 0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.19 c constraints/linear/simplifyinequalities = TRUE 0.09/0.19 c 0.09/0.19 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.19 c constraints/knapsack/disaggregation = FALSE 0.09/0.19 c 0.09/0.19 c # should presolving try to simplify knapsacks 0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.19 c 0.09/0.19 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.19 c presolving/probing/maxrounds = 0 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.19 c heuristics/coefdiving/freq = -1 0.09/0.19 c 0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.19 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.19 c 0.09/0.19 c # additional number of allowed LP iterations 0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.19 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.19 c heuristics/crossover/freq = -1 0.09/0.19 c 0.09/0.19 c # number of nodes added to the contingent of the total nodes 0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.19 c heuristics/crossover/nodesofs = 750 0.09/0.19 c 0.09/0.19 c # number of nodes without incumbent change that heuristic should wait 0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.19 c heuristics/crossover/nwaitingnodes = 100 0.09/0.19 c 0.09/0.19 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.19 c # [type: real, range: [0,1], default: 0.1] 0.09/0.19 c heuristics/crossover/nodesquot = 0.15 0.09/0.19 c 0.09/0.19 c # minimum percentage of integer variables that have to be fixed 0.09/0.19 c # [type: real, range: [0,1], default: 0.666] 0.09/0.19 c heuristics/crossover/minfixingrate = 0.5 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.19 c heuristics/feaspump/freq = -1 0.09/0.19 c 0.09/0.19 c # additional number of allowed LP iterations 0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.19 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.19 c heuristics/fracdiving/freq = -1 0.09/0.19 c 0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.19 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.19 c 0.09/0.19 c # additional number of allowed LP iterations 0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.19 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.19 c heuristics/guideddiving/freq = -1 0.09/0.19 c 0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.19 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.19 c 0.09/0.19 c # additional number of allowed LP iterations 0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.19 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.19 c 0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.19 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.19 c heuristics/intshifting/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.19 c heuristics/linesearchdiving/freq = -1 0.09/0.19 c 0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.19 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.19 c 0.09/0.19 c # additional number of allowed LP iterations 0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.19 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.19 c heuristics/nlp/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.19 c heuristics/objpscostdiving/freq = -1 0.09/0.19 c 0.09/0.19 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.19 c # [type: real, range: [0,1], default: 0.01] 0.09/0.19 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.19 c 0.09/0.19 c # additional number of allowed LP iterations 0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.19 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.19 c heuristics/oneopt/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.19 c heuristics/pscostdiving/freq = -1 0.09/0.19 c 0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.19 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.19 c 0.09/0.19 c # additional number of allowed LP iterations 0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.19 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.19 c heuristics/rens/freq = -1 0.09/0.19 c 0.09/0.19 c # minimum percentage of integer variables that have to be fixable 0.09/0.19 c # [type: real, range: [0,1], default: 0.5] 0.09/0.19 c heuristics/rens/minfixingrate = 0.3 0.09/0.19 c 0.09/0.19 c # number of nodes added to the contingent of the total nodes 0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.19 c heuristics/rens/nodesofs = 2000 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.19 c heuristics/rootsoldiving/freq = -1 0.09/0.19 c 0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.19 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.19 c 0.09/0.19 c # additional number of allowed LP iterations 0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.19 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.19 c heuristics/rounding/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.19 c heuristics/shifting/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.19 c heuristics/simplerounding/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.19 c heuristics/trivial/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.19 c heuristics/trysol/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.19 c heuristics/veclendiving/freq = -1 0.09/0.19 c 0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.19 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.19 c 0.09/0.19 c # additional number of allowed LP iterations 0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.19 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.19 c 0.09/0.19 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.19 c heuristics/zirounding/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.19 c separating/cmir/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.19 c separating/flowcover/freq = -1 0.09/0.19 c 0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.19 c separating/rapidlearning/freq = 0 0.09/0.19 c 0.09/0.19 c ----------------------------------------------------------------------------------------------- 0.09/0.19 c start solving 0.09/0.19 c 0.19/0.24 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.24 c 0.1s| 1 | 0 | 221 | - |3319k| 0 | 172 | 716 | 768 | 716 |1384 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.84 c 0.6s| 1 | 0 | 297 | - |3901k| 0 | 157 | 716 | 800 | 716 |1391 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf 1.10/1.16 c 0.9s| 1 | 0 | 349 | - |4565k| 0 | 177 | 716 | 800 | 716 |1396 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.51 c 1.3s| 1 | 0 | 392 | - |5284k| 0 | 189 | 716 | 800 | 716 |1403 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.86 c 1.6s| 1 | 0 | 443 | - |5973k| 0 | 206 | 716 | 800 | 716 |1411 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 2.20/2.26 c 2.0s| 1 | 0 | 515 | - |6923k| 0 | 215 | 716 | 800 | 716 |1418 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf 3.20/3.20 c 3.0s| 1 | 2 | 515 | - |6924k| 0 | 215 | 716 | 800 | 716 |1418 | 34 | 0 | 9 | 0.000000e+00 | -- | Inf 315.81/315.94 c 309s| 10000 | 184 |946129 | 94.6 |8715k| 30 | - | 716 |1908 | 716 | 506 | 227k|3715 |4605 | 0.000000e+00 | -- | Inf 609.34/609.50 c 597s| 20000 | 166 | 1895k| 94.8 |9013k| 33 | - | 716 |2582 | 716 | 483 | 424k|8241 |6397 | 0.000000e+00 | -- | Inf 895.87/896.15 c 877s| 30000 | 211 | 2851k| 95.0 |9631k| 36 | - | 716 |2505 | 716 | 512 | 633k| 12k|8092 | 0.000000e+00 | -- | Inf 1180.29/1180.66 c 1156s| 40000 | 235 | 3786k| 94.6 | 10M| 36 | 128 | 716 |3816 | 716 | 489 | 819k| 17k|9480 | 0.000000e+00 | -- | Inf 1479.02/1479.48 c 1449s| 50000 | 264 | 4769k| 95.4 | 10M| 36 | - | 716 |2826 | 716 | 472 |1035k| 21k| 11k| 0.000000e+00 | -- | Inf 1763.64/1764.16 c 1727s| 60000 | 242 | 5739k| 95.7 | 10M| 36 | 120 | 716 |3845 | 716 | 521 |1255k| 25k| 12k| 0.000000e+00 | -- | Inf 1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.04/1800.51 c 1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.51 c Solving Time (sec) : 1763.07 1800.04/1800.51 c Solving Nodes : 61249 1800.04/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.04/1800.51 c Dual Bound : +0.00000000000000e+00 1800.04/1800.51 c Gap : infinite 1800.04/1800.51 s UNKNOWN 1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.04/1800.51 c Solving Time : 1763.07 1800.04/1800.51 c Original Problem : 1800.04/1800.51 c Problem name : HOME/instance-2664845-1276675849.opb 1800.04/1800.51 c Variables : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.51 c Constraints : 768 initial, 768 maximal 1800.04/1800.51 c Presolved Problem : 1800.04/1800.51 c Problem name : t_HOME/instance-2664845-1276675849.opb 1800.04/1800.51 c Variables : 716 (716 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.04/1800.51 c Constraints : 768 initial, 4264 maximal 1800.04/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.04/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c and : 0.08 0 0 0 0 0 0 0 0 1800.04/1800.51 c linear : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.04/1800.51 c root node : - 0 - - 0 - - - - 1800.04/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.04/1800.51 c integral : 0 0 0 31878 0 81 1813 0 0 61502 1800.04/1800.51 c knapsack : 1 5 198501 2 0 14 65 0 0 0 1800.04/1800.51 c setppc : 100 5 198493 2 0 386 219037 0 0 0 1800.04/1800.51 c and : 616 48815 198107 2 0 107 2364991 1281997 0 0 1800.04/1800.51 c linear : 1+ 6 198000 0 0 0 1819 0 0 0 1800.04/1800.51 c logicor : 50+ 5 82158 0 0 60 63783 0 0 0 1800.04/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.04/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.04/1800.51 c integral : 129.43 0.00 0.00 129.43 0.00 1800.04/1800.51 c knapsack : 0.58 0.00 0.58 0.00 0.00 1800.04/1800.51 c setppc : 1.15 0.00 1.15 0.00 0.00 1800.04/1800.51 c and : 21.51 11.37 10.14 0.00 0.00 1800.04/1800.51 c linear : 2.45 0.00 2.45 0.00 0.00 1800.04/1800.51 c logicor : 4.12 0.00 4.12 0.00 0.00 1800.04/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.04/1800.51 c Propagators : Time Calls Cutoffs DomReds 1800.04/1800.51 c vbounds : 0.14 1 0 0 1800.04/1800.51 c rootredcost : 0.06 0 0 0 1800.04/1800.51 c pseudoobj : 0.08 0 0 0 1800.04/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.04/1800.51 c propagation : 0.01 567 565 1434 17.9 17 25.1 - 1800.04/1800.51 c infeasible LP : 8.28 29854 8988 81848 26.7 19 6.8 0 1800.04/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.04/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.04/1800.51 c applied globally : - - - 25749 29.5 - - - 1800.04/1800.51 c applied locally : - - - 0 0.0 - - - 1800.04/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.04/1800.52 c cut pool : 0.00 4 - - 20 - (maximal pool size: 916) 1800.04/1800.52 c redcost : 1.03 48815 0 0 0 0 1800.04/1800.52 c impliedbounds : 0.00 5 0 0 5 0 1800.04/1800.52 c intobj : 0.00 0 0 0 0 0 1800.04/1800.52 c cgmip : 0.00 0 0 0 0 0 1800.04/1800.52 c gomory : 0.96 5 0 0 0 0 1800.04/1800.52 c strongcg : 0.60 5 0 0 2500 0 1800.04/1800.52 c cmir : 0.00 0 0 0 0 0 1800.04/1800.52 c flowcover : 0.00 0 0 0 0 0 1800.04/1800.52 c clique : 0.03 5 0 0 33 0 1800.04/1800.52 c zerohalf : 0.00 0 0 0 0 0 1800.04/1800.52 c mcf : 0.00 1 0 0 0 0 1800.04/1800.52 c rapidlearning : 0.19 1 0 0 0 32 1800.04/1800.52 c Pricers : Time Calls Vars 1800.04/1800.52 c problem variables: 0.00 0 0 1800.04/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.04/1800.52 c relpscost : 129.32 31876 81 1813 0 0 61502 1800.04/1800.52 c pscost : 0.00 0 0 0 0 0 0 1800.04/1800.52 c inference : 0.00 0 0 0 0 0 0 1800.04/1800.52 c mostinf : 0.00 0 0 0 0 0 0 1800.04/1800.52 c leastinf : 0.00 0 0 0 0 0 0 1800.04/1800.52 c fullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0 1800.04/1800.52 c random : 0.00 0 0 0 0 0 0 1800.04/1800.52 c Primal Heuristics : Time Calls Found 1800.04/1800.52 c LP solutions : 0.00 - 0 1800.04/1800.52 c pseudo solutions : 0.00 - 0 1800.04/1800.52 c trivial : 0.00 1 0 1800.04/1800.52 c simplerounding : 0.00 0 0 1800.04/1800.52 c zirounding : 0.00 0 0 1800.04/1800.52 c rounding : 0.00 0 0 1800.04/1800.52 c shifting : 0.00 0 0 1800.04/1800.52 c intshifting : 0.00 0 0 1800.04/1800.52 c oneopt : 0.00 0 0 1800.04/1800.52 c twoopt : 0.00 0 0 1800.04/1800.52 c fixandinfer : 0.00 0 0 1800.04/1800.52 c feaspump : 0.00 0 0 1800.04/1800.52 c coefdiving : 0.00 0 0 1800.04/1800.52 c pscostdiving : 0.00 0 0 1800.04/1800.52 c fracdiving : 0.00 0 0 1800.04/1800.52 c veclendiving : 0.00 0 0 1800.04/1800.52 c intdiving : 0.00 0 0 1800.04/1800.52 c actconsdiving : 0.00 0 0 1800.04/1800.52 c objpscostdiving : 0.00 0 0 1800.04/1800.52 c rootsoldiving : 0.00 0 0 1800.04/1800.52 c linesearchdiving : 0.00 0 0 1800.04/1800.52 c guideddiving : 0.00 0 0 1800.04/1800.52 c octane : 0.00 0 0 1800.04/1800.52 c rens : 0.00 0 0 1800.04/1800.52 c rins : 0.00 0 0 1800.04/1800.52 c localbranching : 0.00 0 0 1800.04/1800.52 c mutation : 0.00 0 0 1800.04/1800.52 c crossover : 0.00 0 0 1800.04/1800.52 c dins : 0.00 0 0 1800.04/1800.52 c undercover : 0.00 0 0 1800.04/1800.52 c nlp : 0.00 0 0 1800.04/1800.52 c trysol : 0.00 0 0 1800.04/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec 1800.04/1800.52 c primal LP : 197.49 0 0 0.00 0.00 1800.04/1800.52 c dual LP : 1339.00 110520 5864274 53.06 4379.59 1800.04/1800.52 c lex dual LP : 0.00 0 0 0.00 - 1800.04/1800.52 c barrier LP : 0.00 0 0 0.00 - 1800.04/1800.52 c diving/probing LP: 0.00 0 0 0.00 - 1800.04/1800.52 c strong branching : 126.61 12489 926902 74.22 7320.92 1800.04/1800.52 c (at root node) : - 9 2934 326.00 - 1800.04/1800.52 c conflict analysis: 0.00 0 0 0.00 - 1800.04/1800.52 c B&B Tree : 1800.04/1800.52 c number of runs : 1 1800.04/1800.52 c nodes : 61249 1800.04/1800.52 c nodes (total) : 61249 1800.04/1800.52 c nodes left : 249 1800.04/1800.52 c max depth : 36 1800.04/1800.52 c max depth (total): 36 1800.04/1800.52 c backtracks : 10537 (17.2%) 1800.04/1800.52 c delayed cutoffs : 5 1800.04/1800.52 c repropagations : 23439 (93861 domain reductions, 4 cutoffs) 1800.04/1800.52 c avg switch length: 3.72 1800.04/1800.52 c switching time : 213.69 1800.04/1800.52 c Solution : 1800.04/1800.52 c Solutions found : 0 (0 improvements) 1800.04/1800.52 c Primal Bound : - 1800.04/1800.52 c Dual Bound : +0.00000000000000e+00 1800.04/1800.52 c Gap : infinite 1800.04/1800.52 c Root Dual Bound : +0.00000000000000e+00 1800.04/1800.52 c Root Iterations : 515 1800.04/1800.54 c Time complete: 1800.08.
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-2664845-1276675849/watcher-2664845-1276675849 -o /tmp/evaluation-result-2664845-1276675849/solver-2664845-1276675849 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664845-1276675849.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.76 1.92 1.78 3/106 16327 /proc/meminfo: memFree=1755528/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=9288 CPUtime=0 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 1175 0 0 0 0 0 0 0 25 0 1 0 8878610 9510912 1095 1992294400 4194304 9819077 140734370702480 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16327/statm: 2322 1107 371 1374 0 943 0 [startup+0.00990301 s] /proc/loadavg: 1.76 1.92 1.78 3/106 16327 /proc/meminfo: memFree=1755528/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=10316 CPUtime=0 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 1465 0 0 0 0 0 0 0 25 0 1 0 8878610 10563584 1385 1992294400 4194304 9819077 140734370702480 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/16327/statm: 2579 1397 371 1374 0 1200 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10316 [startup+0.10091 s] /proc/loadavg: 1.76 1.92 1.78 3/106 16327 /proc/meminfo: memFree=1755528/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=14880 CPUtime=0.09 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 3086 0 0 0 5 4 0 0 25 0 1 0 8878610 15237120 2395 1992294400 4194304 9819077 140734370702480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 3720 2395 472 1374 0 2341 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14880 [startup+0.30093 s] /proc/loadavg: 1.76 1.92 1.78 3/106 16327 /proc/meminfo: memFree=1755528/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=21192 CPUtime=0.29 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 6132 0 0 0 19 10 0 0 18 0 1 0 8878610 21700608 3738 1992294400 4194304 9819077 140734370702480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 5298 3738 659 1374 0 3919 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21192 [startup+0.700971 s] /proc/loadavg: 1.76 1.92 1.78 3/106 16327 /proc/meminfo: memFree=1755528/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=33376 CPUtime=0.69 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 9700 0 0 0 50 19 0 0 18 0 1 0 8878610 34177024 6536 1992294400 4194304 9819077 140734370702480 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8344 6536 677 1374 0 6965 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33376 [startup+1.50105 s] /proc/loadavg: 1.76 1.92 1.78 2/107 16328 /proc/meminfo: memFree=1736672/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=27660 CPUtime=1.49 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 12040 0 0 0 128 21 0 0 19 0 1 0 8878610 28323840 5766 1992294400 4194304 9819077 140734370702480 18446744073709551615 7292309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 6915 5766 697 1374 0 5536 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27660 [startup+3.10122 s] /proc/loadavg: 1.76 1.92 1.78 2/107 16328 /proc/meminfo: memFree=1733200/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=32396 CPUtime=3.09 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 13366 0 0 0 287 22 0 0 24 0 1 0 8878610 33173504 6359 1992294400 4194304 9819077 140734370702480 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8099 6359 703 1374 0 6720 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32396 [startup+6.30155 s] /proc/loadavg: 1.70 1.90 1.77 2/107 16328 /proc/meminfo: memFree=1731836/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=30824 CPUtime=6.29 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 14905 0 0 0 604 25 0 0 25 0 1 0 8878610 31563776 6379 1992294400 4194304 9819077 140734370702480 18446744073709551615 6700179 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 7706 6379 727 1374 0 6327 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30824 [startup+12.7012 s] /proc/loadavg: 1.80 1.92 1.78 2/107 16328 /proc/meminfo: memFree=1731712/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=31000 CPUtime=12.69 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 18005 0 0 0 1238 31 0 0 25 0 1 0 8878610 31744000 6383 1992294400 4194304 9819077 140734370702480 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 7750 6383 727 1374 0 6371 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31000 [startup+25.5005 s] /proc/loadavg: 1.76 1.90 1.78 2/107 16328 /proc/meminfo: memFree=1731712/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=29628 CPUtime=25.48 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 24302 0 0 0 2504 44 0 0 25 0 1 0 8878610 30339072 6377 1992294400 4194304 9819077 140734370702480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 7407 6377 727 1374 0 6028 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29628 [startup+51.1012 s] /proc/loadavg: 1.50 1.83 1.76 2/107 16328 /proc/meminfo: memFree=1731712/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=30864 CPUtime=51.08 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 62045 0 0 0 5020 88 0 0 25 0 1 0 8878610 31604736 6453 1992294400 4194304 9819077 140734370702480 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 7716 6453 727 1374 0 6337 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30864 [startup+102.309 s] /proc/loadavg: 1.22 1.70 1.71 2/107 16330 /proc/meminfo: memFree=1731464/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=31632 CPUtime=102.27 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 207101 0 0 0 10020 207 0 0 25 0 1 0 8878610 32391168 6542 1992294400 4194304 9819077 140734370702480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 7908 6542 727 1374 0 6529 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31632 [startup+162.302 s] /proc/loadavg: 1.08 1.57 1.67 2/107 16332 /proc/meminfo: memFree=1730224/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=34368 CPUtime=162.25 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 374094 0 0 0 15894 331 0 0 25 0 1 0 8878610 35192832 6805 1992294400 4194304 9819077 140734370702480 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8592 6805 727 1374 0 7213 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 34368 [startup+222.301 s] /proc/loadavg: 1.03 1.46 1.62 2/107 16334 /proc/meminfo: memFree=1729852/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=34788 CPUtime=222.23 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 564035 0 0 0 21752 471 0 0 25 0 1 0 8878610 35622912 6899 1992294400 4194304 9819077 140734370702480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8697 6899 727 1374 0 7318 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 34788 [startup+282.301 s] /proc/loadavg: 1.01 1.38 1.58 2/107 16334 /proc/meminfo: memFree=1729108/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=33748 CPUtime=282.22 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 711152 0 0 0 27630 592 0 0 25 0 1 0 8878610 34557952 7126 1992294400 4194304 9819077 140734370702480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8437 7126 727 1374 0 7058 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 33748 [startup+342.301 s] /proc/loadavg: 1.00 1.31 1.54 2/107 16336 /proc/meminfo: memFree=1728860/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=33952 CPUtime=342.21 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 893337 0 0 0 33496 725 0 0 25 0 1 0 8878610 34766848 7123 1992294400 4194304 9819077 140734370702480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8488 7123 727 1374 0 7109 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 33952 [startup+402.3 s] /proc/loadavg: 1.00 1.25 1.50 2/107 16338 /proc/meminfo: memFree=1728612/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=34364 CPUtime=402.19 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 1078969 0 0 0 39362 857 0 0 25 0 1 0 8878610 35188736 7207 1992294400 4194304 9819077 140734370702480 18446744073709551615 7290530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8591 7207 727 1374 0 7212 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 34364 [startup+462.3 s] /proc/loadavg: 1.00 1.20 1.47 2/107 16340 /proc/meminfo: memFree=1728364/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=33852 CPUtime=462.17 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 1270125 0 0 0 45219 998 0 0 25 0 1 0 8878610 34664448 7194 1992294400 4194304 9819077 140734370702480 18446744073709551615 7226086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8463 7194 727 1374 0 7084 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 33852 [startup+522.301 s] /proc/loadavg: 1.00 1.16 1.44 2/107 16342 /proc/meminfo: memFree=1727744/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=34596 CPUtime=522.16 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 1422050 0 0 0 51096 1120 0 0 25 0 1 0 8878610 35426304 7463 1992294400 4194304 9819077 140734370702480 18446744073709551615 6590704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8649 7463 727 1374 0 7270 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 34596 [startup+582.301 s] /proc/loadavg: 1.00 1.13 1.41 2/107 16342 /proc/meminfo: memFree=1727372/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=34704 CPUtime=582.14 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 1496117 0 0 0 57011 1203 0 0 25 0 1 0 8878610 35536896 7493 1992294400 4194304 9819077 140734370702480 18446744073709551615 6590521 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8676 7493 727 1374 0 7297 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 34704 [startup+642.301 s] /proc/loadavg: 1.00 1.10 1.38 2/107 16344 /proc/meminfo: memFree=1727000/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=35040 CPUtime=642.14 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 1582522 0 0 0 62916 1298 0 0 25 0 1 0 8878610 35880960 7536 1992294400 4194304 9819077 140734370702480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 8760 7536 727 1374 0 7381 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 35040 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.04 1.28 2/107 16350 /proc/meminfo: memFree=1725760/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=36536 CPUtime=882.07 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 2272691 0 0 0 86385 1822 0 0 25 0 1 0 8878610 37412864 7770 1992294400 4194304 9819077 140734370702480 18446744073709551615 7311653 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9134 7770 727 1374 0 7755 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 36536 [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.26 2/107 16352 /proc/meminfo: memFree=1725760/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=36536 CPUtime=942.05 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 2449051 0 0 0 92251 1954 0 0 25 0 1 0 8878610 37412864 7765 1992294400 4194304 9819077 140734370702480 18446744073709551615 6697231 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9134 7766 727 1374 0 7755 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 36536 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.24 2/107 16354 /proc/meminfo: memFree=1725636/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=36880 CPUtime=1002.03 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 2634754 0 0 0 98114 2089 0 0 25 0 1 0 8878610 37765120 7781 1992294400 4194304 9819077 140734370702480 18446744073709551615 7098230 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9220 7781 727 1374 0 7841 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 36880 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.23 2/107 16356 /proc/meminfo: memFree=1725760/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=36640 CPUtime=1062.02 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 2811385 0 0 0 103977 2225 0 0 25 0 1 0 8878610 37519360 7767 1992294400 4194304 9819077 140734370702480 18446744073709551615 6089648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9160 7767 727 1374 0 7781 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 36640 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.21 2/107 16358 /proc/meminfo: memFree=1724768/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=38336 CPUtime=1122.01 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 2935496 0 0 0 109867 2334 0 0 25 0 1 0 8878610 39256064 8087 1992294400 4194304 9819077 140734370702480 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9584 8087 727 1374 0 8205 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 38336 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.19 2/107 16358 /proc/meminfo: memFree=1724892/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=37164 CPUtime=1181.99 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 3036265 0 0 0 115762 2437 0 0 25 0 1 0 8878610 38055936 7996 1992294400 4194304 9819077 140734370702480 18446744073709551615 7301632 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9291 7996 727 1374 0 7912 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 37164 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.18 2/107 16360 /proc/meminfo: memFree=1724644/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=37288 CPUtime=1241.98 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 3167866 0 0 0 121645 2553 0 0 25 0 1 0 8878610 38182912 8043 1992294400 4194304 9819077 140734370702480 18446744073709551615 7302712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9322 8043 727 1374 0 7943 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 37288 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 16362 /proc/meminfo: memFree=1724520/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=37288 CPUtime=1301.97 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 3308029 0 0 0 127530 2667 0 0 25 0 1 0 8878610 38182912 8042 1992294400 4194304 9819077 140734370702480 18446744073709551615 7291780 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9322 8042 727 1374 0 7943 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 37288 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 16364 /proc/meminfo: memFree=1724520/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=37408 CPUtime=1361.95 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 3446775 0 0 0 133413 2782 0 0 25 0 1 0 8878610 38305792 8054 1992294400 4194304 9819077 140734370702480 18446744073709551615 6364603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9352 8054 727 1374 0 7973 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 37408 [startup+1422.31 s] /proc/loadavg: 1.04 1.01 1.15 2/107 16366 /proc/meminfo: memFree=1724520/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=39348 CPUtime=1421.94 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 3599842 0 0 0 139286 2908 0 0 25 0 1 0 8878610 40292352 8074 1992294400 4194304 9819077 140734370702480 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9634 8059 727 1374 0 8255 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 39348 [startup+1482.3 s] /proc/loadavg: 1.06 1.02 1.14 2/107 16369 /proc/meminfo: memFree=1723900/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=37504 CPUtime=1481.92 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 3762139 0 0 0 145155 3037 0 0 25 0 1 0 8878610 38404096 8066 1992294400 4194304 9819077 140734370702480 18446744073709551615 7317450 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9376 8066 727 1374 0 7997 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 37504 [startup+1542.3 s] /proc/loadavg: 1.06 1.03 1.13 2/107 16371 /proc/meminfo: memFree=1723900/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=37704 CPUtime=1541.9 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 3918435 0 0 0 151024 3166 0 0 25 0 1 0 8878610 38608896 8086 1992294400 4194304 9819077 140734370702480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9426 8086 727 1374 0 8047 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 37704 [startup+1602.3 s] /proc/loadavg: 1.05 1.04 1.13 2/107 16373 /proc/meminfo: memFree=1723900/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=37632 CPUtime=1601.89 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 4094629 0 0 0 156885 3304 0 0 25 0 1 0 8878610 38535168 8057 1992294400 4194304 9819077 140734370702480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9408 8057 727 1374 0 8029 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 37632 [startup+1662.3 s] /proc/loadavg: 1.13 1.06 1.13 2/107 16375 /proc/meminfo: memFree=1723900/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=37680 CPUtime=1661.87 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 4272719 0 0 0 162748 3439 0 0 25 0 1 0 8878610 38584320 8088 1992294400 4194304 9819077 140734370702480 18446744073709551615 6192281 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9420 8088 727 1374 0 8041 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 37680 [startup+1722.3 s] /proc/loadavg: 1.12 1.06 1.12 2/107 16377 /proc/meminfo: memFree=1723900/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=37584 CPUtime=1721.86 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 4440099 0 0 0 168618 3568 0 0 25 0 1 0 8878610 38486016 8060 1992294400 4194304 9819077 140734370702480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9396 8060 727 1374 0 8017 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 37584 [startup+1782.3 s] /proc/loadavg: 1.11 1.06 1.11 2/107 16377 /proc/meminfo: memFree=1723156/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=37764 CPUtime=1781.83 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 4550586 0 0 0 174508 3675 0 0 25 0 1 0 8878610 38670336 8319 1992294400 4194304 9819077 140734370702480 18446744073709551615 7312713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9441 8319 727 1374 0 8062 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 37764 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.08 1.06 1.11 2/107 16379 /proc/meminfo: memFree=1723032/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=38196 CPUtime=1800.04 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 4572408 0 0 0 176307 3697 0 0 25 0 1 0 8878610 39112704 8316 1992294400 4194304 9819077 140734370702480 18446744073709551615 7302705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9549 8316 727 1374 0 8170 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 38196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.08 1.06 1.11 2/107 16379 /proc/meminfo: memFree=1723032/2059040 swapFree=4175448/4192956 [pid=16327] ppid=16325 vsize=38196 CPUtime=1800.04 /proc/16327/stat : 16327 (pbscip.linux.x8) R 16325 16327 16046 0 -1 4202496 4572408 0 0 0 176307 3697 0 0 25 0 1 0 8878610 39112704 8316 1992294400 4194304 9819077 140734370702480 18446744073709551615 7302705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16327/statm: 9549 8316 727 1374 0 8170 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 38196 Child status: 0 Real time (s): 1800.55 CPU time (s): 1800.09 CPU user time (s): 1763.11 CPU system time (s): 36.9834 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 39704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1763.1 system time used= 36.9834 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4572429 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 3062 runsolver used 3.16352 second user time and 8.32773 second system time The end
Begin job on node083 at 2010-06-16 10:10:49 IDJOB=2664845 IDBENCH=48293 IDSOLVER=1168 FILE ID=node083/2664845-1276675849 PBS_JOBID= 11172557 Free space on /tmp= 62552 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_2_15.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664845-1276675849/watcher-2664845-1276675849 -o /tmp/evaluation-result-2664845-1276675849/solver-2664845-1276675849 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664845-1276675849.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 18f5400970ad464f730a15f23e03dd22 RANDOM SEED=1096894660 node083.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.262 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.52 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.262 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.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1755932 kB Buffers: 52484 kB Cached: 117864 kB SwapCached: 13528 kB Active: 95020 kB Inactive: 131152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1755932 kB SwapTotal: 4192956 kB SwapFree: 4175448 kB Dirty: 6440 kB Writeback: 0 kB AnonPages: 42180 kB Mapped: 14356 kB Slab: 55032 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181012 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node083 at 2010-06-16 10:40:51