Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.58 | 1790.06 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_4_15.opb |
MD5SUM | 521a5315af7cbff32722a5aa297c08a4 |
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) | 1228 |
Sum of products size (including duplicates) | 2456 |
Number of different products | 614 |
Sum of products size | 1228 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 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-2702916-1278576682.opb> 0.00/0.02 c original problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 766 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.02 c presolving: 0.04/0.09 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 5012 impls, 100 clqs 0.04/0.09 c presolving (2 rounds): 0.04/0.09 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.04/0.09 c 5012 implications, 100 cliques 0.04/0.09 c presolved problem has 714 variables (714 bin, 0 int, 0 impl, 0 cont) and 766 constraints 0.04/0.09 c 1 constraints of type <knapsack> 0.04/0.09 c 150 constraints of type <setppc> 0.04/0.09 c 614 constraints of type <and> 0.04/0.09 c 1 constraints of type <linear> 0.04/0.09 c transformed objective value is always integral (scale: 1) 0.04/0.09 c Presolving Time: 0.07 0.04/0.09 c - non default parameters ---------------------------------------------------------------------- 0.04/0.09 c # SCIP version 1.2.1.3 0.04/0.09 c 0.04/0.09 c # frequency for displaying node information lines 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 100] 0.04/0.09 c display/freq = 10000 0.04/0.09 c 0.04/0.09 c # maximal time in seconds to run 0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.04/0.09 c limits/time = 1789.99 0.04/0.09 c 0.04/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.04/0.09 c limits/memory = 1620 0.04/0.09 c 0.04/0.09 c # solving stops, if the given number of solutions were found (-1: no limit) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: -1] 0.04/0.09 c limits/solutions = 1 0.04/0.09 c 0.04/0.09 c # maximal number of separation rounds per node (-1: unlimited) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 5] 0.04/0.09 c separating/maxrounds = 1 0.04/0.09 c 0.04/0.09 c # maximal number of separation rounds in the root node (-1: unlimited) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: -1] 0.04/0.09 c separating/maxroundsroot = 5 0.04/0.09 c 0.04/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.04/0.09 c # [type: int, range: [1,2], default: 1] 0.04/0.09 c timing/clocktype = 2 0.04/0.09 c 0.04/0.09 c # should presolving try to simplify inequalities 0.04/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.04/0.09 c constraints/linear/simplifyinequalities = TRUE 0.04/0.09 c 0.04/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.04/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.04/0.09 c constraints/indicator/addCouplingCons = TRUE 0.04/0.09 c 0.04/0.09 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.04/0.09 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.04/0.09 c constraints/knapsack/disaggregation = FALSE 0.04/0.09 c 0.04/0.09 c # should presolving try to simplify knapsacks 0.04/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.04/0.09 c constraints/knapsack/simplifyinequalities = TRUE 0.04/0.09 c 0.04/0.09 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: -1] 0.04/0.09 c presolving/probing/maxrounds = 0 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.04/0.09 c heuristics/coefdiving/freq = -1 0.04/0.09 c 0.04/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.04/0.09 c heuristics/coefdiving/maxlpiterquot = 0.075 0.04/0.09 c 0.04/0.09 c # additional number of allowed LP iterations 0.04/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.04/0.09 c heuristics/coefdiving/maxlpiterofs = 1500 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 30] 0.04/0.09 c heuristics/crossover/freq = -1 0.04/0.09 c 0.04/0.09 c # number of nodes added to the contingent of the total nodes 0.04/0.09 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.04/0.09 c heuristics/crossover/nodesofs = 750 0.04/0.09 c 0.04/0.09 c # number of nodes without incumbent change that heuristic should wait 0.04/0.09 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.04/0.09 c heuristics/crossover/nwaitingnodes = 100 0.04/0.09 c 0.04/0.09 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.04/0.09 c # [type: real, range: [0,1], default: 0.1] 0.04/0.09 c heuristics/crossover/nodesquot = 0.15 0.04/0.09 c 0.04/0.09 c # minimum percentage of integer variables that have to be fixed 0.04/0.09 c # [type: real, range: [0,1], default: 0.666] 0.04/0.09 c heuristics/crossover/minfixingrate = 0.5 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 20] 0.04/0.09 c heuristics/feaspump/freq = -1 0.04/0.09 c 0.04/0.09 c # additional number of allowed LP iterations 0.04/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.04/0.09 c heuristics/feaspump/maxlpiterofs = 2000 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.04/0.09 c heuristics/fracdiving/freq = -1 0.04/0.09 c 0.04/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.04/0.09 c heuristics/fracdiving/maxlpiterquot = 0.075 0.04/0.09 c 0.04/0.09 c # additional number of allowed LP iterations 0.04/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.04/0.09 c heuristics/fracdiving/maxlpiterofs = 1500 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.04/0.09 c heuristics/guideddiving/freq = -1 0.04/0.09 c 0.04/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.04/0.09 c heuristics/guideddiving/maxlpiterquot = 0.075 0.04/0.09 c 0.04/0.09 c # additional number of allowed LP iterations 0.04/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.04/0.09 c heuristics/guideddiving/maxlpiterofs = 1500 0.04/0.09 c 0.04/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.04/0.09 c heuristics/intdiving/maxlpiterquot = 0.075 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.04/0.09 c heuristics/intshifting/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.04/0.09 c heuristics/linesearchdiving/freq = -1 0.04/0.09 c 0.04/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.04/0.09 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.04/0.09 c 0.04/0.09 c # additional number of allowed LP iterations 0.04/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.04/0.09 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.04/0.09 c heuristics/nlp/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 20] 0.04/0.09 c heuristics/objpscostdiving/freq = -1 0.04/0.09 c 0.04/0.09 c # maximal fraction of diving LP iterations compared to total iteration number 0.04/0.09 c # [type: real, range: [0,1], default: 0.01] 0.04/0.09 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.04/0.09 c 0.04/0.09 c # additional number of allowed LP iterations 0.04/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.04/0.09 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.04/0.09 c heuristics/oneopt/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.04/0.09 c heuristics/pscostdiving/freq = -1 0.04/0.09 c 0.04/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.04/0.09 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.04/0.09 c 0.04/0.09 c # additional number of allowed LP iterations 0.04/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.04/0.09 c heuristics/pscostdiving/maxlpiterofs = 1500 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 0] 0.04/0.09 c heuristics/rens/freq = -1 0.04/0.09 c 0.04/0.09 c # minimum percentage of integer variables that have to be fixable 0.04/0.09 c # [type: real, range: [0,1], default: 0.5] 0.04/0.09 c heuristics/rens/minfixingrate = 0.3 0.04/0.09 c 0.04/0.09 c # number of nodes added to the contingent of the total nodes 0.04/0.09 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.04/0.09 c heuristics/rens/nodesofs = 2000 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 20] 0.04/0.09 c heuristics/rootsoldiving/freq = -1 0.04/0.09 c 0.04/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.04/0.09 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.04/0.09 c 0.04/0.09 c # additional number of allowed LP iterations 0.04/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.04/0.09 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.04/0.09 c heuristics/rounding/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.04/0.09 c heuristics/shifting/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.04/0.09 c heuristics/simplerounding/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 0] 0.04/0.09 c heuristics/trivial/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.04/0.09 c heuristics/trysol/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 10] 0.04/0.09 c heuristics/veclendiving/freq = -1 0.04/0.09 c 0.04/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations 0.04/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.04/0.09 c heuristics/veclendiving/maxlpiterquot = 0.075 0.04/0.09 c 0.04/0.09 c # additional number of allowed LP iterations 0.04/0.09 c # [type: int, range: [0,2147483647], default: 1000] 0.04/0.09 c heuristics/veclendiving/maxlpiterofs = 1500 0.04/0.09 c 0.04/0.09 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 1] 0.04/0.09 c heuristics/zirounding/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 0] 0.04/0.09 c separating/cmir/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: 0] 0.04/0.09 c separating/flowcover/freq = -1 0.04/0.09 c 0.04/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.04/0.09 c # [type: int, range: [-1,2147483647], default: -1] 0.04/0.09 c separating/rapidlearning/freq = 0 0.04/0.09 c 0.04/0.09 c ----------------------------------------------------------------------------------------------- 0.04/0.09 c start solving 0.04/0.09 c 0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.15 c 0.1s| 1 | 0 | 300 | - |3271k| 0 | 180 | 714 | 766 | 714 |1380 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.77 c 0.7s| 1 | 0 | 377 | - |3769k| 0 | 181 | 714 | 792 | 714 |1396 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.10/1.17 c 1.2s| 1 | 0 | 486 | - |4480k| 0 | 189 | 714 | 792 | 714 |1407 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.54 c 1.5s| 1 | 0 | 532 | - |5101k| 0 | 186 | 714 | 792 | 714 |1414 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.93 c 1.9s| 1 | 0 | 592 | - |5752k| 0 | 190 | 714 | 792 | 714 |1419 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf 2.29/2.34 c 2.3s| 1 | 0 | 611 | - |6549k| 0 | 188 | 714 | 792 | 714 |1424 | 44 | 0 | 0 | 0.000000e+00 | -- | Inf 3.20/3.22 c 3.2s| 1 | 2 | 611 | - |6550k| 0 | 188 | 714 | 792 | 714 |1424 | 44 | 0 | 10 | 0.000000e+00 | -- | Inf 322.89/323.09 c 323s| 10000 | 407 | 1145k| 114.5 | 11M| 30 | - | 714 |7099 | 714 | 505 | 122k|9944 |4883 | 0.000000e+00 | -- | Inf 590.41/590.67 c 591s| 20000 | 554 | 2232k| 111.6 | 13M| 31 | - | 714 |8434 | 714 | 495 | 220k| 21k|6616 | 0.000000e+00 | -- | Inf 862.74/863.04 c 863s| 30000 | 684 | 3333k| 111.1 | 13M| 33 | - | 714 |6226 | 714 | 480 | 316k| 31k|8391 | 0.000000e+00 | -- | Inf 1128.97/1129.38 c 1129s| 40000 | 696 | 4428k| 110.7 | 14M| 33 | - | 714 |6377 | 714 | 480 | 402k| 41k|9970 | 0.000000e+00 | -- | Inf 1384.21/1384.61 c 1385s| 50000 | 696 | 5498k| 110.0 | 15M| 33 | 101 | 714 |8318 | 714 | 475 | 481k| 52k| 11k| 0.000000e+00 | -- | Inf 1652.24/1652.79 c 1653s| 60000 | 692 | 6597k| 110.0 | 15M| 33 | 144 | 714 |8435 | 714 | 472 | 570k| 63k| 12k| 0.000000e+00 | -- | Inf 1789.50/1790.01 c 1789.50/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1789.50/1790.01 c Solving Time (sec) : 1789.99 1789.50/1790.01 c Solving Nodes : 65488 1789.50/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.50/1790.01 c Dual Bound : +0.00000000000000e+00 1789.50/1790.01 c Gap : infinite 1789.50/1790.01 s UNKNOWN 1789.50/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1789.50/1790.01 c Solving Time : 1789.99 1789.50/1790.01 c Original Problem : 1789.50/1790.01 c Problem name : HOME/instance-2702916-1278576682.opb 1789.50/1790.01 c Variables : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.50/1790.01 c Constraints : 766 initial, 766 maximal 1789.50/1790.01 c Presolved Problem : 1789.50/1790.01 c Problem name : t_HOME/instance-2702916-1278576682.opb 1789.50/1790.01 c Variables : 714 (714 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.50/1790.01 c Constraints : 766 initial, 10044 maximal 1789.50/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.50/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0 1789.50/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 1789.50/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.50/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.50/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0 1789.50/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0 1789.50/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1789.50/1790.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1789.50/1790.01 c and : 0.06 0 0 0 0 0 0 0 0 1789.50/1790.01 c linear : 0.01 0 0 0 0 0 0 0 0 1789.50/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0 1789.50/1790.01 c root node : - 0 - - 0 - - - - 1789.50/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.50/1790.01 c integral : 0 0 0 34456 0 195 2264 0 0 66356 1789.50/1790.01 c knapsack : 1 5 279490 0 1 6 128 0 0 0 1789.50/1790.01 c setppc : 150 5 279494 0 1 216 211829 0 0 0 1789.50/1790.01 c and : 614 42393 279278 0 1 141 2339455 617582 0 0 1789.50/1790.01 c linear : 1+ 6 279137 0 1 0 1961 0 0 0 1789.50/1790.01 c logicor : 0+ 0 99007 0 0 121 75568 0 0 0 1789.50/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.50/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.50/1790.01 c integral : 231.69 0.00 0.00 231.69 0.00 1789.50/1790.01 c knapsack : 0.78 0.00 0.78 0.00 0.00 1789.50/1790.01 c setppc : 2.24 0.00 2.24 0.00 0.00 1789.50/1790.01 c and : 22.32 11.03 11.29 0.00 0.00 1789.50/1790.01 c linear : 2.50 0.00 2.50 0.00 0.00 1789.50/1790.01 c logicor : 18.06 0.00 18.06 0.00 0.00 1789.50/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.50/1790.01 c Propagators : Time Calls Cutoffs DomReds 1789.50/1790.01 c vbounds : 0.13 1 0 0 1789.50/1790.01 c rootredcost : 0.13 0 0 0 1789.50/1790.01 c pseudoobj : 0.10 0 0 0 1789.50/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.50/1790.01 c propagation : 0.02 484 466 1862 21.0 25 27.3 - 1789.50/1790.01 c infeasible LP : 15.57 31690 29401 284001 24.8 29 8.6 0 1789.50/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.50/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.50/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.50/1790.01 c applied globally : - - - 69304 26.8 - - - 1789.50/1790.01 c applied locally : - - - 0 0.0 - - - 1789.50/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.50/1790.01 c cut pool : 0.00 4 - - 42 - (maximal pool size: 873) 1789.50/1790.01 c redcost : 0.87 42393 0 0 0 0 1789.50/1790.01 c impliedbounds : 0.00 5 0 0 18 0 1789.50/1790.01 c intobj : 0.00 0 0 0 0 0 1789.50/1790.01 c cgmip : 0.00 0 0 0 0 0 1789.50/1790.01 c gomory : 1.08 5 0 0 2 0 1789.50/1790.01 c strongcg : 0.65 5 0 0 2500 0 1789.50/1790.01 c cmir : 0.00 0 0 0 0 0 1789.50/1790.01 c flowcover : 0.00 0 0 0 0 0 1789.50/1790.01 c clique : 0.01 5 0 0 33 0 1789.50/1790.01 c zerohalf : 0.00 0 0 0 0 0 1789.50/1790.01 c mcf : 0.00 1 0 0 0 0 1789.50/1790.01 c rapidlearning : 0.31 1 0 0 0 26 1789.50/1790.01 c Pricers : Time Calls Vars 1789.50/1790.01 c problem variables: 0.00 0 0 1789.50/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.50/1790.01 c relpscost : 231.61 34456 195 2264 0 0 66356 1789.50/1790.01 c pscost : 0.00 0 0 0 0 0 0 1789.50/1790.01 c inference : 0.00 1 0 0 0 0 2 1789.50/1790.01 c mostinf : 0.00 0 0 0 0 0 0 1789.50/1790.01 c leastinf : 0.00 0 0 0 0 0 0 1789.50/1790.01 c fullstrong : 0.00 0 0 0 0 0 0 1789.50/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0 1789.50/1790.01 c random : 0.00 0 0 0 0 0 0 1789.50/1790.01 c Primal Heuristics : Time Calls Found 1789.50/1790.01 c LP solutions : 0.00 - 0 1789.50/1790.01 c pseudo solutions : 0.00 - 0 1789.50/1790.01 c trivial : 0.00 1 0 1789.50/1790.01 c simplerounding : 0.00 0 0 1789.50/1790.01 c zirounding : 0.00 0 0 1789.50/1790.01 c rounding : 0.00 0 0 1789.50/1790.01 c shifting : 0.00 0 0 1789.50/1790.01 c intshifting : 0.00 0 0 1789.50/1790.01 c oneopt : 0.00 0 0 1789.50/1790.01 c twoopt : 0.00 0 0 1789.50/1790.01 c fixandinfer : 0.00 0 0 1789.50/1790.01 c feaspump : 0.00 0 0 1789.50/1790.01 c coefdiving : 0.00 0 0 1789.50/1790.01 c pscostdiving : 0.00 0 0 1789.50/1790.01 c fracdiving : 0.00 0 0 1789.50/1790.01 c veclendiving : 0.00 0 0 1789.50/1790.01 c intdiving : 0.00 0 0 1789.50/1790.01 c actconsdiving : 0.00 0 0 1789.50/1790.01 c objpscostdiving : 0.00 0 0 1789.50/1790.01 c rootsoldiving : 0.00 0 0 1789.50/1790.01 c linesearchdiving : 0.00 0 0 1789.50/1790.01 c guideddiving : 0.00 0 0 1789.50/1790.01 c octane : 0.00 0 0 1789.50/1790.01 c rens : 0.00 0 0 1789.50/1790.01 c rins : 0.00 0 0 1789.50/1790.01 c localbranching : 0.00 0 0 1789.50/1790.01 c mutation : 0.00 0 0 1789.50/1790.01 c crossover : 0.00 0 0 1789.50/1790.01 c dins : 0.00 0 0 1789.50/1790.01 c undercover : 0.00 0 0 1789.50/1790.01 c nlp : 0.00 0 0 1789.50/1790.01 c trysol : 0.00 0 0 1789.50/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec 1789.50/1790.01 c primal LP : 20.89 0 0 0.00 0.00 1789.50/1790.01 c dual LP : 1400.99 107845 7179490 66.57 5124.57 1789.50/1790.01 c lex dual LP : 0.00 0 0 0.00 - 1789.50/1790.01 c barrier LP : 0.00 0 0 0.00 - 1789.50/1790.01 c diving/probing LP: 0.00 0 0 0.00 - 1789.50/1790.01 c strong branching : 228.41 13002 1142661 87.88 5002.61 1789.50/1790.01 c (at root node) : - 10 2160 216.00 - 1789.50/1790.01 c conflict analysis: 0.00 0 0 0.00 - 1789.50/1790.01 c B&B Tree : 1789.50/1790.01 c number of runs : 1 1789.50/1790.01 c nodes : 65488 1789.50/1790.01 c nodes (total) : 65488 1789.50/1790.01 c nodes left : 673 1789.50/1790.01 c max depth : 35 1789.50/1790.01 c max depth (total): 35 1789.50/1790.01 c backtracks : 10660 (16.3%) 1789.50/1790.01 c delayed cutoffs : 198 1789.50/1790.01 c repropagations : 76449 (311500 domain reductions, 60 cutoffs) 1789.50/1790.01 c avg switch length: 5.38 1789.50/1790.01 c switching time : 46.93 1789.50/1790.01 c Solution : 1789.50/1790.01 c Solutions found : 0 (0 improvements) 1789.50/1790.01 c Primal Bound : - 1789.50/1790.01 c Dual Bound : +0.00000000000000e+00 1789.50/1790.01 c Gap : infinite 1789.50/1790.01 c Root Dual Bound : +0.00000000000000e+00 1789.50/1790.01 c Root Iterations : 611 1789.50/1790.06 c Time complete: 1789.57.
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-2702916-1278576682/watcher-2702916-1278576682 -o /tmp/evaluation-result-2702916-1278576682/solver-2702916-1278576682 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702916-1278576682.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.02 1.05 1.00 3/106 28573 /proc/meminfo: memFree=1682412/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=7904 CPUtime=0 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 1073 0 0 0 0 0 0 0 18 0 1 0 25874642 8093696 985 1992294400 4194304 8395647 140734439729664 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28573/statm: 1976 992 365 1026 0 946 0 [startup+0.0503251 s] /proc/loadavg: 1.02 1.05 1.00 3/106 28573 /proc/meminfo: memFree=1682412/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=15868 CPUtime=0.04 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 3333 0 0 0 3 1 0 0 21 0 1 0 25874642 16248832 2890 1992294400 4194304 8395647 140734439729664 18446744073709551615 18446744073699066034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 3967 2890 453 1026 0 2937 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15868 [startup+0.10133 s] /proc/loadavg: 1.02 1.05 1.00 3/106 28573 /proc/meminfo: memFree=1682412/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=17292 CPUtime=0.09 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 3760 0 0 0 8 1 0 0 21 0 1 0 25874642 17707008 3317 1992294400 4194304 8395647 140734439729664 18446744073709551615 6152581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 4323 3317 523 1026 0 3293 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17292 [startup+0.30135 s] /proc/loadavg: 1.02 1.05 1.00 3/106 28573 /proc/meminfo: memFree=1682412/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=19548 CPUtime=0.29 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 4513 0 0 0 27 2 0 0 21 0 1 0 25874642 20017152 4028 1992294400 4194304 8395647 140734439729664 18446744073709551615 6202674 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 4887 4028 589 1026 0 3857 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19548 [startup+0.701388 s] /proc/loadavg: 1.02 1.05 1.00 3/106 28573 /proc/meminfo: memFree=1682412/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=33112 CPUtime=0.69 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 7579 0 0 0 56 13 0 0 22 0 1 0 25874642 33906688 7094 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 8278 7094 617 1026 0 7248 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33112 [startup+1.50147 s] /proc/loadavg: 1.02 1.05 1.00 2/107 28574 /proc/meminfo: memFree=1656364/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=33112 CPUtime=1.49 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 7609 0 0 0 135 14 0 0 25 0 1 0 25874642 33906688 7124 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 8278 7124 625 1026 0 7248 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33112 [startup+3.10162 s] /proc/loadavg: 1.02 1.05 1.00 2/107 28574 /proc/meminfo: memFree=1655868/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=33112 CPUtime=3.1 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 7794 0 0 0 293 17 0 0 25 0 1 0 25874642 33906688 7294 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 8278 7294 625 1026 0 7248 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 33112 [startup+6.30093 s] /proc/loadavg: 1.02 1.04 1.00 2/107 28574 /proc/meminfo: memFree=1655000/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=33112 CPUtime=6.29 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 7795 0 0 0 608 21 0 0 25 0 1 0 25874642 33906688 7295 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 8278 7295 626 1026 0 7248 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33112 [startup+12.7006 s] /proc/loadavg: 1.02 1.04 1.00 2/107 28574 /proc/meminfo: memFree=1655000/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=33112 CPUtime=12.68 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 7798 0 0 0 1236 32 0 0 25 0 1 0 25874642 33906688 7298 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 8278 7298 627 1026 0 7248 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33112 [startup+25.5008 s] /proc/loadavg: 1.01 1.04 1.00 2/107 28574 /proc/meminfo: memFree=1655000/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=33112 CPUtime=25.48 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 7800 0 0 0 2495 53 0 0 25 0 1 0 25874642 33906688 7300 1992294400 4194304 8395647 140734439729664 18446744073709551615 6697011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 8278 7300 628 1026 0 7248 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33112 [startup+51.1013 s] /proc/loadavg: 1.01 1.04 1.00 2/107 28574 /proc/meminfo: memFree=1654876/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=33112 CPUtime=51.07 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 7902 0 0 0 5016 91 0 0 25 0 1 0 25874642 33906688 7402 1992294400 4194304 8395647 140734439729664 18446744073709551615 6740979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 8278 7402 628 1026 0 7248 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33112 [startup+102.308 s] /proc/loadavg: 1.00 1.03 1.00 2/107 28576 /proc/meminfo: memFree=1654504/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=33112 CPUtime=102.26 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 7970 0 0 0 10058 168 0 0 25 0 1 0 25874642 33906688 7470 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 8278 7470 628 1026 0 7248 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33112 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 28578 /proc/meminfo: memFree=1652272/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=35400 CPUtime=162.23 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 8555 0 0 0 15966 257 0 0 25 0 1 0 25874642 36249600 8055 1992294400 4194304 8395647 140734439729664 18446744073709551615 6696235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 8850 8055 628 1026 0 7820 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 35400 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 28578 /proc/meminfo: memFree=1651156/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=36480 CPUtime=222.22 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 8814 0 0 0 21870 352 0 0 25 0 1 0 25874642 37355520 8314 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 9120 8314 628 1026 0 8090 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 36480 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28580 /proc/meminfo: memFree=1649668/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=37984 CPUtime=282.2 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 9180 0 0 0 27771 449 0 0 25 0 1 0 25874642 38895616 8680 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 9496 8680 628 1026 0 8466 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 37984 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28582 /proc/meminfo: memFree=1648552/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=39312 CPUtime=342.19 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 9490 0 0 0 33676 543 0 0 25 0 1 0 25874642 40255488 8990 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 9828 8990 628 1026 0 8798 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 39312 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28584 /proc/meminfo: memFree=1647808/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=39852 CPUtime=402.16 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 9655 0 0 0 39577 639 0 0 25 0 1 0 25874642 40808448 9155 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 9963 9155 628 1026 0 8933 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 39852 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28586 /proc/meminfo: memFree=1645824/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=41676 CPUtime=462.14 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 10119 0 0 0 45476 738 0 0 25 0 1 0 25874642 42676224 9619 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 10419 9619 628 1026 0 9389 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 41676 [startup+522.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 28589 /proc/meminfo: memFree=1644212/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=42580 CPUtime=522.13 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 10335 0 0 0 51381 832 0 0 25 0 1 0 25874642 43601920 9835 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 10645 9835 628 1026 0 9615 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 42580 [startup+582.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 28591 /proc/meminfo: memFree=1644212/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=42744 CPUtime=582.1 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 10397 0 0 0 57282 928 0 0 25 0 1 0 25874642 43769856 9897 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 10686 9897 628 1026 0 9656 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 42744 [startup+642.302 s] /proc/loadavg: 1.01 1.00 1.00 2/107 28593 /proc/meminfo: memFree=1643840/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=43236 CPUtime=642.1 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 10495 0 0 0 63184 1026 0 0 25 0 1 0 25874642 44273664 9995 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 10809 9995 628 1026 0 9779 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 43236 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1642104/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=44976 CPUtime=1061.99 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 10933 0 0 0 104504 1695 0 0 25 0 1 0 25874642 46055424 10433 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 11244 10433 628 1026 0 10214 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 44976 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28605 /proc/meminfo: memFree=1641980/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=44976 CPUtime=1121.97 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 10959 0 0 0 110404 1793 0 0 25 0 1 0 25874642 46055424 10459 1992294400 4194304 8395647 140734439729664 18446744073709551615 6743234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 11244 10459 628 1026 0 10214 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 44976 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28607 /proc/meminfo: memFree=1641732/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=45360 CPUtime=1181.96 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 11019 0 0 0 116305 1891 0 0 25 0 1 0 25874642 46448640 10519 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 11340 10519 628 1026 0 10310 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 45360 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28609 /proc/meminfo: memFree=1641484/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=45360 CPUtime=1241.95 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 11026 0 0 0 122210 1985 0 0 25 0 1 0 25874642 46448640 10526 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 11340 10526 628 1026 0 10310 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 45360 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28611 /proc/meminfo: memFree=1640988/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=45812 CPUtime=1301.94 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 11142 0 0 0 128118 2076 0 0 25 0 1 0 25874642 46911488 10642 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 11453 10642 628 1026 0 10423 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 45812 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28613 /proc/meminfo: memFree=1640864/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=45952 CPUtime=1361.92 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 11180 0 0 0 134020 2172 0 0 25 0 1 0 25874642 47054848 10680 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 11488 10680 628 1026 0 10458 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 45952 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28613 /proc/meminfo: memFree=1640740/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=45952 CPUtime=1421.91 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 11203 0 0 0 139930 2261 0 0 25 0 1 0 25874642 47054848 10703 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 11488 10703 628 1026 0 10458 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 45952 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28615 /proc/meminfo: memFree=1640616/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=46224 CPUtime=1481.88 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 11243 0 0 0 145834 2354 0 0 25 0 1 0 25874642 47333376 10743 1992294400 4194304 8395647 140734439729664 18446744073709551615 6025591 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 11556 10743 628 1026 0 10526 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 46224 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28617 /proc/meminfo: memFree=1640616/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=46224 CPUtime=1541.87 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 11244 0 0 0 151745 2442 0 0 25 0 1 0 25874642 47333376 10744 1992294400 4194304 8395647 140734439729664 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 11556 10744 628 1026 0 10526 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 46224 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28619 /proc/meminfo: memFree=1638260/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=48572 CPUtime=1601.86 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 11808 0 0 0 157642 2544 0 0 25 0 1 0 25874642 49737728 11308 1992294400 4194304 8395647 140734439729664 18446744073709551615 6667522 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 12143 11308 628 1026 0 11113 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 48572 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28621 /proc/meminfo: memFree=1638136/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=48572 CPUtime=1661.84 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 11850 0 0 0 163543 2641 0 0 25 0 1 0 25874642 49737728 11350 1992294400 4194304 8395647 140734439729664 18446744073709551615 6693794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 12143 11350 628 1026 0 11113 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 48572 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28621 /proc/meminfo: memFree=1637764/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=48924 CPUtime=1721.82 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 11929 0 0 0 169449 2733 0 0 25 0 1 0 25874642 50098176 11429 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 12231 11429 628 1026 0 11201 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 48924 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28623 /proc/meminfo: memFree=1637020/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=49396 CPUtime=1781.81 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 12056 0 0 0 175350 2831 0 0 25 0 1 0 25874642 50581504 11556 1992294400 4194304 8395647 140734439729664 18446744073709551615 4823074 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 12349 11556 628 1026 0 11319 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 49396 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28623 /proc/meminfo: memFree=1637020/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=49396 CPUtime=1785.01 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 12056 0 0 0 175665 2836 0 0 25 0 1 0 25874642 50581504 11556 1992294400 4194304 8395647 140734439729664 18446744073709551615 6696936 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 12349 11556 628 1026 0 11319 0 Current children cumulated CPU time (s) 1785.01 Current children cumulated vsize (KiB) 49396 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28623 /proc/meminfo: memFree=1637020/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=49396 CPUtime=1786.61 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 12056 0 0 0 175824 2837 0 0 25 0 1 0 25874642 50581504 11556 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 12349 11556 628 1026 0 11319 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (KiB) 49396 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28623 /proc/meminfo: memFree=1637020/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=49396 CPUtime=1788.21 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 12056 0 0 0 175982 2839 0 0 25 0 1 0 25874642 50581504 11556 1992294400 4194304 8395647 140734439729664 18446744073709551615 6742130 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 12349 11556 628 1026 0 11319 0 Current children cumulated CPU time (s) 1788.21 Current children cumulated vsize (KiB) 49396 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28623 /proc/meminfo: memFree=1637020/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=49396 CPUtime=1789.01 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 12057 0 0 0 176060 2841 0 0 25 0 1 0 25874642 50581504 11557 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 12349 11557 628 1026 0 11319 0 Current children cumulated CPU time (s) 1789.01 Current children cumulated vsize (KiB) 49396 [startup+1789.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28623 /proc/meminfo: memFree=1637020/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=49396 CPUtime=1789.41 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 12057 0 0 0 176100 2841 0 0 25 0 1 0 25874642 50581504 11557 1992294400 4194304 8395647 140734439729664 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 12349 11557 628 1026 0 11319 0 Current children cumulated CPU time (s) 1789.41 Current children cumulated vsize (KiB) 49396 [startup+1790 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28623 /proc/meminfo: memFree=1637020/2059040 swapFree=4139856/4192956 [pid=28573] ppid=28571 vsize=49396 CPUtime=1789.5 /proc/28573/stat : 28573 (pbscip.linux.x8) R 28571 28573 28328 0 -1 4202496 12057 0 0 0 176109 2841 0 0 25 0 1 0 25874642 50581504 11557 1992294400 4194304 8395647 140734439729664 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28573/statm: 12349 11557 628 1026 0 11319 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (KiB) 49396 Child status: 0 Real time (s): 1790.06 CPU time (s): 1789.58 CPU user time (s): 1761.15 CPU system time (s): 28.4257 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 49396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.15 system time used= 28.4257 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12063 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= 2595 runsolver used 3.03354 second user time and 8.36973 second system time The end
Begin job on node056 at 2010-07-08 10:11:22 IDJOB=2702916 IDBENCH=48365 IDSOLVER=1213 FILE ID=node056/2702916-1278576682 PBS_JOBID= 11240071 Free space on /tmp= 98472 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 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_4_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-2702916-1278576682/watcher-2702916-1278576682 -o /tmp/evaluation-result-2702916-1278576682/solver-2702916-1278576682 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702916-1278576682.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 521a5315af7cbff32722a5aa297c08a4 RANDOM SEED=1550311798 node056.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.197 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.39 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.197 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1683064 kB Buffers: 80236 kB Cached: 193452 kB SwapCached: 8568 kB Active: 142776 kB Inactive: 146240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1683064 kB SwapTotal: 4192956 kB SwapFree: 4139856 kB Dirty: 10344 kB Writeback: 0 kB AnonPages: 11960 kB Mapped: 12064 kB Slab: 64972 kB PageTables: 4256 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181268 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= 98460 MiB End job on node056 at 2010-07-08 10:41:12