Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1796.39 | 1796.91 |
Name | /PURE-SAT/SAT07/industrial/ grieu/vmpc_26.opb |
MD5SUM | 86f6a33e70d2c2c1bee86bfa3a83b147 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 12.3301 |
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 | 676 |
Total number of constraints | 86424 |
Number of constraints which are clauses | 86424 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 26 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 27 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.20/1.23 c SCIP version 1.1.0.7 1.20/1.23 c LP-Solver Clp 1.8.2 1.20/1.23 c user parameter file <scip.set> not found - using default parameters 1.20/1.23 c read problem <HOME/instance-1884318-1245256823.opb> 1.20/1.23 c original problem has 676 variables (676 bin, 0 int, 0 impl, 0 cont) and 86424 constraints 1.40/1.45 c No objective function, only one solution is needed. 1.40/1.45 c start presolving problem 1.40/1.45 c presolving: 1.70/1.78 c (round 1) 1 del vars, 32 del conss, 1 chg bounds, 0 chg sides, 2 chg coeffs, 0 upgd conss, 41381 impls, 0 clqs 1.80/1.84 c (round 2) 1 del vars, 250 del conss, 1 chg bounds, 0 chg sides, 2 chg coeffs, 0 upgd conss, 41519 impls, 0 clqs 2.59/2.68 c (round 3) 1 del vars, 17202 del conss, 1 chg bounds, 100 chg sides, 2 chg coeffs, 69222 upgd conss, 41519 impls, 0 clqs 2.70/2.78 c presolving (4 rounds): 2.70/2.78 c 1 deleted vars, 17202 deleted constraints, 1 tightened bounds, 0 added holes, 100 changed sides, 2 changed coefficients 2.70/2.78 c 41519 implications, 0 cliques 2.70/2.78 c presolved problem has 675 variables (675 bin, 0 int, 0 impl, 0 cont) and 69222 constraints 2.70/2.78 c 69222 constraints of type <logicor> 2.70/2.78 c transformed objective value is always integral (scale: 1) 2.70/2.78 c Presolving Time: 1.06 2.70/2.78 c PURESAT 2.70/2.78 c ----------------------------------------------------------------------------------------------- 2.70/2.78 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 0] 2.70/2.78 c separating/flowcover/freq = c -1 2.70/2.78 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 0] 2.70/2.78 c separating/cmir/freq = c -1 2.70/2.78 c # additional number of allowed LP iterations 2.70/2.78 c # [type: int, range: [0,2147483647], default: 1000] 2.70/2.78 c heuristics/veclendiving/maxlpiterofs = c 1500 2.70/2.78 c # maximal fraction of diving LP iterations compared to node LP iterations 2.70/2.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.70/2.78 c heuristics/veclendiving/maxlpiterquot = c 0.075 2.70/2.78 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 10] 2.70/2.78 c heuristics/veclendiving/freq = c -1 2.70/2.78 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 1] 2.70/2.78 c heuristics/simplerounding/freq = c -1 2.70/2.78 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 10] 2.70/2.78 c heuristics/shifting/freq = c -1 2.70/2.78 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 1] 2.70/2.78 c heuristics/rounding/freq = c -1 2.70/2.78 c # additional number of allowed LP iterations 2.70/2.78 c # [type: int, range: [0,2147483647], default: 1000] 2.70/2.78 c heuristics/rootsoldiving/maxlpiterofs = c 1500 2.70/2.78 c # maximal fraction of diving LP iterations compared to node LP iterations 2.70/2.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 2.70/2.78 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 2.70/2.78 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 20] 2.70/2.78 c heuristics/rootsoldiving/freq = c -1 2.70/2.78 c # number of nodes added to the contingent of the total nodes 2.70/2.78 c # [type: longint, range: [0,9223372036854775807], default: 500] 2.70/2.78 c heuristics/rens/nodesofs = c 2000 2.70/2.78 c # minimum percentage of integer variables that have to be fixable 2.70/2.78 c # [type: real, range: [0,1], default: 0.5] 2.70/2.78 c heuristics/rens/minfixingrate = c 0.3 2.70/2.78 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 0] 2.70/2.78 c heuristics/rens/freq = c -1 2.70/2.78 c # additional number of allowed LP iterations 2.70/2.78 c # [type: int, range: [0,2147483647], default: 1000] 2.70/2.78 c heuristics/pscostdiving/maxlpiterofs = c 1500 2.70/2.78 c # maximal fraction of diving LP iterations compared to node LP iterations 2.70/2.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.70/2.78 c heuristics/pscostdiving/maxlpiterquot = c 0.075 2.70/2.78 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 10] 2.70/2.78 c heuristics/pscostdiving/freq = c -1 2.70/2.78 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 1] 2.70/2.78 c heuristics/oneopt/freq = c -1 2.70/2.78 c # additional number of allowed LP iterations 2.70/2.78 c # [type: int, range: [0,2147483647], default: 1000] 2.70/2.78 c heuristics/objpscostdiving/maxlpiterofs = c 1500 2.70/2.78 c # maximal fraction of diving LP iterations compared to total iteration number 2.70/2.78 c # [type: real, range: [0,1], default: 0.01] 2.70/2.78 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 2.70/2.78 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 20] 2.70/2.78 c heuristics/objpscostdiving/freq = c -1 2.70/2.78 c # additional number of allowed LP iterations 2.70/2.78 c # [type: int, range: [0,2147483647], default: 1000] 2.70/2.78 c heuristics/linesearchdiving/maxlpiterofs = c 1500 2.70/2.78 c # maximal fraction of diving LP iterations compared to node LP iterations 2.70/2.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.70/2.78 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 2.70/2.78 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 10] 2.70/2.78 c heuristics/linesearchdiving/freq = c -1 2.70/2.78 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 10] 2.70/2.78 c heuristics/intshifting/freq = c -1 2.70/2.78 c # maximal fraction of diving LP iterations compared to node LP iterations 2.70/2.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.70/2.78 c heuristics/intdiving/maxlpiterquot = c 0.075 2.70/2.78 c # additional number of allowed LP iterations 2.70/2.78 c # [type: int, range: [0,2147483647], default: 1000] 2.70/2.78 c heuristics/guideddiving/maxlpiterofs = c 1500 2.70/2.78 c # maximal fraction of diving LP iterations compared to node LP iterations 2.70/2.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.70/2.78 c heuristics/guideddiving/maxlpiterquot = c 0.075 2.70/2.78 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 10] 2.70/2.78 c heuristics/guideddiving/freq = c -1 2.70/2.78 c # additional number of allowed LP iterations 2.70/2.78 c # [type: int, range: [0,2147483647], default: 1000] 2.70/2.78 c heuristics/fracdiving/maxlpiterofs = c 1500 2.70/2.78 c # maximal fraction of diving LP iterations compared to node LP iterations 2.70/2.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.70/2.78 c heuristics/fracdiving/maxlpiterquot = c 0.075 2.70/2.78 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 10] 2.70/2.78 c heuristics/fracdiving/freq = c -1 2.70/2.78 c # additional number of allowed LP iterations 2.70/2.78 c # [type: int, range: [0,2147483647], default: 1000] 2.70/2.78 c heuristics/feaspump/maxlpiterofs = c 2000 2.70/2.78 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 20] 2.70/2.78 c heuristics/feaspump/freq = c -1 2.70/2.78 c # minimum percentage of integer variables that have to be fixed 2.70/2.78 c # [type: real, range: [0,1], default: 0.666] 2.70/2.78 c heuristics/crossover/minfixingrate = c 0.5 2.70/2.78 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 2.70/2.78 c # [type: real, range: [0,1], default: 0.1] 2.70/2.78 c heuristics/crossover/nodesquot = c 0.15 2.70/2.78 c # number of nodes without incumbent change that heuristic should wait 2.70/2.78 c # [type: longint, range: [0,9223372036854775807], default: 200] 2.70/2.78 c heuristics/crossover/nwaitingnodes = c 100 2.70/2.78 c # number of nodes added to the contingent of the total nodes 2.70/2.78 c # [type: longint, range: [0,9223372036854775807], default: 500] 2.70/2.78 c heuristics/crossover/nodesofs = c 750 2.70/2.78 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 30] 2.70/2.78 c heuristics/crossover/freq = c -1 2.70/2.78 c # additional number of allowed LP iterations 2.70/2.78 c # [type: int, range: [0,2147483647], default: 1000] 2.70/2.78 c heuristics/coefdiving/maxlpiterofs = c 1500 2.70/2.78 c # maximal fraction of diving LP iterations compared to node LP iterations 2.70/2.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.70/2.78 c heuristics/coefdiving/maxlpiterquot = c 0.075 2.70/2.78 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: 10] 2.70/2.78 c heuristics/coefdiving/freq = c -1 2.70/2.78 c # priority of node selection rule <dfs> in standard mode 2.70/2.78 c # [type: int, range: [-536870912,536870911], default: 0] 2.70/2.78 c nodeselection/dfs/stdpriority = c 1000000 2.70/2.78 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 2.70/2.78 c # [type: int, range: [-1,2147483647], default: -1] 2.70/2.78 c presolving/probing/maxrounds = c 0 2.70/2.78 c # should presolving try to simplify knapsacks 2.70/2.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.70/2.78 c constraints/knapsack/simplifyinequalities = c TRUE 2.70/2.78 c # should disaggregation of knapsack constraints be allowed in preprocessing? 2.70/2.78 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 2.70/2.78 c constraints/knapsack/disaggregation = c FALSE 2.70/2.78 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 2.70/2.79 c # [type: int, range: [-1,2147483647], default: -1] 2.70/2.79 c constraints/knapsack/maxnumcardlift = c 0 2.70/2.79 c # should presolving try to simplify inequalities 2.70/2.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.70/2.79 c constraints/linear/simplifyinequalities = c TRUE 2.70/2.79 c # maximal number of separation rounds in the root node (-1: unlimited) 2.70/2.79 c # [type: int, range: [-1,2147483647], default: -1] 2.70/2.79 c separating/maxroundsroot = c 5 2.70/2.79 c # maximal number of separation rounds per node (-1: unlimited) 2.70/2.79 c # [type: int, range: [-1,2147483647], default: 5] 2.70/2.79 c separating/maxrounds = c 1 2.70/2.79 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing) 2.70/2.79 c # [type: char, range: {lafpsqd}, default: l] 2.70/2.79 c lp/pricing = c a 2.70/2.79 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 2.70/2.79 c # [type: int, range: [-1,2147483647], default: 1] 2.70/2.79 c lp/solvefreq = c 0 2.70/2.79 c # solving stops, if the given number of solutions were found (-1: no limit) 2.70/2.79 c # [type: int, range: [-1,2147483647], default: -1] 2.70/2.79 c limits/solutions = c 1 2.70/2.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 2.70/2.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 2.70/2.79 c limits/memory = c 1620 2.70/2.79 c # maximal time in seconds to run 2.70/2.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 2.70/2.79 c limits/time = c 1791 2.70/2.79 c # frequency for displaying node information lines 2.70/2.79 c # [type: int, range: [-1,2147483647], default: 100] 2.70/2.79 c display/freq = c 10000 2.70/2.79 c # should enforcement of pseudo solution be disabled? 2.70/2.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.70/2.79 c constraints/disableenfops = c TRUE 2.70/2.79 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints) 2.70/2.79 c # [type: int, range: [-1,2147483647], default: 0] 2.70/2.79 c constraints/agelimit = c 1 2.70/2.79 c # should binary conflicts be preferred? 2.70/2.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.70/2.79 c conflict/preferbinary = c TRUE 2.70/2.79 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint) 2.70/2.79 c # [type: int, range: [-1,2147483647], default: -1] 2.70/2.79 c conflict/interconss = c 0 2.70/2.79 c ----------------------------------------------------------------------------------------------- 2.70/2.79 c start solving problem 2.70/2.79 c 5.49/5.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 5.49/5.57 c 4.0s| 1 | 0 | 342 | 82M| 0 | 126 | 675 | 69k| 69k| 675 | 69k| 0 | 0 | 0 | 2.600000e+01 | -- | Inf 56.06/56.14 c 54.4s| 1 | 0 | 427 | 85M| 0 | 129 | 675 | 69k| 69k| 675 | 69k| 1 | 0 | 0 | 2.600000e+01 | -- | Inf 118.25/118.38 c 117s| 1 | 0 | 502 | 87M| 0 | 121 | 675 | 69k| 69k| 675 | 69k| 2 | 0 | 0 | 2.600000e+01 | -- | Inf 179.24/179.36 c 177s| 1 | 0 | 626 | 89M| 0 | 123 | 675 | 69k| 69k| 675 | 69k| 3 | 0 | 0 | 2.600000e+01 | -- | Inf 240.11/240.26 c 238s| 1 | 0 | 688 | 90M| 0 | 125 | 675 | 69k| 69k| 675 | 69k| 4 | 0 | 0 | 2.600000e+01 | -- | Inf 303.09/303.27 c 301s| 1 | 0 | 807 | 92M| 0 | 130 | 675 | 69k| 69k| 675 | 69k| 5 | 0 | 0 | 2.600000e+01 | -- | Inf 376.47/376.69 c 374s| 1 | 2 | 807 | 92M| 0 | 130 | 675 | 69k| 69k| 675 | 69k| 5 | 0 | 20 | 2.600000e+01 | -- | Inf 475.24/475.49 c 473s| 10000 | 120 | 807 | 94M| 280 | - | 675 | 69k| 20k| 0 | 0 | 5 |5368 | 20 | 2.600000e+01 | -- | Inf 578.92/579.17 c 576s| 20000 | 101 | 807 | 94M| 280 | - | 675 | 69k| 16k| 0 | 0 | 5 | 10k| 20 | 2.600000e+01 | -- | Inf 685.79/686.04 c 683s| 30000 | 100 | 807 | 94M| 280 | - | 675 | 69k| 12k| 0 | 0 | 5 | 16k| 20 | 2.600000e+01 | -- | Inf 791.35/791.69 c 788s| 40000 | 70 | 807 | 94M| 280 | - | 675 | 69k| 24k| 0 | 0 | 5 | 22k| 20 | 2.600000e+01 | -- | Inf 896.63/896.97 c 893s| 50000 | 66 | 807 | 94M| 280 | - | 675 | 69k| 12k| 0 | 0 | 5 | 27k| 20 | 2.600000e+01 | -- | Inf 1010.30/1010.62 c 1007s| 60000 | 65 | 807 | 94M| 280 | - | 675 | 69k| 26k| 0 | 0 | 5 | 33k| 20 | 2.600000e+01 | -- | Inf 1125.47/1125.88 c 1122s| 70000 | 63 | 807 | 94M| 280 | - | 675 | 69k| 19k| 0 | 0 | 5 | 39k| 20 | 2.600000e+01 | -- | Inf 1235.53/1235.98 c 1232s| 80000 | 40 | 807 | 94M| 280 | - | 675 | 69k| 28k| 0 | 0 | 5 | 44k| 20 | 2.600000e+01 | -- | Inf 1350.20/1350.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1350.20/1350.63 c 1346s| 90000 | 74 | 807 | 94M| 280 | - | 675 | 69k| 20k| 0 | 0 | 5 | 50k| 20 | 2.600000e+01 | -- | Inf 1460.96/1461.44 c 1457s|100000 | 60 | 807 | 94M| 280 | - | 675 | 69k| 14k| 0 | 0 | 5 | 56k| 20 | 2.600000e+01 | -- | Inf 1578.83/1579.32 c 1574s|110000 | 59 | 807 | 94M| 280 | - | 675 | 69k| 21k| 0 | 0 | 5 | 61k| 20 | 2.600000e+01 | -- | Inf 1693.10/1693.69 c 1688s|120000 | 37 | 807 | 94M| 280 | - | 675 | 69k| 30k| 0 | 0 | 5 | 67k| 20 | 2.600000e+01 | -- | Inf 1796.07/1796.60 c 1796.07/1796.60 c SCIP Status : solving was interrupted [time limit reached] 1796.07/1796.60 c Solving Time (sec) : 1791.01 1796.07/1796.60 c Solving Nodes : 128527 1796.07/1796.60 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1796.07/1796.60 c Dual Bound : +2.60000000000001e+01 1796.07/1796.60 c Gap : infinite 1796.07/1796.60 c NODE 128527 1796.07/1796.60 c DUAL BOUND 26 1796.07/1796.60 c PRIMAL BOUND 1e+20 1796.07/1796.60 c GAP 1e+20 1796.07/1796.60 s UNKNOWN 1796.07/1796.60 c SCIP Status : solving was interrupted [time limit reached] 1796.07/1796.60 c Solving Time : 1791.01 1796.07/1796.60 c Original Problem : 1796.07/1796.60 c Problem name : HOME/instance-1884318-1245256823.opb 1796.07/1796.60 c Variables : 676 (676 binary, 0 integer, 0 implicit integer, 0 continuous) 1796.07/1796.60 c Constraints : 86424 initial, 86424 maximal 1796.07/1796.60 c Presolved Problem : 1796.07/1796.60 c Problem name : t_HOME/instance-1884318-1245256823.opb 1796.07/1796.60 c Variables : 675 (675 binary, 0 integer, 0 implicit integer, 0 continuous) 1796.07/1796.60 c Constraints : 69222 initial, 69314 maximal 1796.07/1796.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1796.07/1796.60 c trivial : 0.00 0 0 0 0 0 0 0 0 1796.07/1796.60 c dualfix : 0.00 0 0 0 0 0 0 0 0 1796.07/1796.60 c boundshift : 0.00 0 0 0 0 0 0 0 0 1796.07/1796.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1796.07/1796.60 c implics : 0.00 0 0 0 0 0 0 0 0 1796.07/1796.60 c probing : 0.00 0 0 0 0 0 0 0 0 1796.07/1796.60 c linear : 0.78 1 0 0 1 0 17202 100 2 1796.07/1796.60 c logicor : 0.17 0 0 0 0 0 0 0 0 1796.07/1796.60 c root node : - 0 - - 0 - - - - 1796.07/1796.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1796.07/1796.60 c integral : 0 0 0 1 0 0 0 0 0 2 1796.07/1796.60 c logicor : 69222+ 5 653669 0 0 69557 9071804 0 0 0 1796.07/1796.60 c countsols : 0 0 0 0 0 0 0 0 0 0 1796.07/1796.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1796.07/1796.60 c integral : 73.35 0.00 0.00 73.35 0.00 1796.07/1796.60 c logicor : 731.98 0.03 731.95 0.00 0.00 1796.07/1796.60 c countsols : 0.00 0.00 0.00 0.00 0.00 1796.07/1796.60 c Propagators : Time Calls Cutoffs DomReds 1796.07/1796.60 c rootredcost : 0.34 0 0 0 1796.07/1796.60 c pseudoobj : 35.70 686822 0 0 1796.07/1796.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1796.07/1796.60 c propagation : 10.35 69557 69552 69552 28.5 2914 33.5 - 1796.07/1796.60 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1796.07/1796.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1796.07/1796.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1796.07/1796.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1796.07/1796.60 c applied globally : - - - 69711 26.6 - - - 1796.07/1796.60 c applied locally : - - - 2461 79.7 - - - 1796.07/1796.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1796.07/1796.60 c cut pool : 0.03 4 - - 1 - (maximal pool size: 574) 1796.07/1796.60 c redcost : 0.00 5 0 0 0 0 1796.07/1796.60 c impliedbounds : 0.00 5 0 0 0 0 1796.07/1796.60 c intobj : 0.00 0 0 0 0 0 1796.07/1796.60 c gomory : 285.00 5 0 0 1 0 1796.07/1796.60 c strongcg : 7.30 5 0 0 2500 0 1796.07/1796.60 c cmir : 0.00 0 0 0 0 0 1796.07/1796.60 c flowcover : 0.00 0 0 0 0 0 1796.07/1796.60 c clique : 0.02 5 0 0 0 0 1796.07/1796.60 c zerohalf : 0.00 0 0 0 0 0 1796.07/1796.60 c mcf : 0.00 0 0 0 0 0 1796.07/1796.60 c Pricers : Time Calls Vars 1796.07/1796.60 c problem variables: 0.00 0 0 1796.07/1796.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1796.07/1796.60 c relpscost : 73.35 1 0 0 0 0 2 1796.07/1796.60 c pscost : 0.00 0 0 0 0 0 0 1796.07/1796.60 c inference : 4.70 90584 0 0 0 0 181168 1796.07/1796.60 c mostinf : 0.00 0 0 0 0 0 0 1796.07/1796.60 c leastinf : 0.00 0 0 0 0 0 0 1796.07/1796.60 c fullstrong : 0.00 0 0 0 0 0 0 1796.07/1796.60 c allfullstrong : 0.00 0 0 0 0 0 0 1796.07/1796.60 c random : 0.00 0 0 0 0 0 0 1796.07/1796.60 c Primal Heuristics : Time Calls Found 1796.07/1796.60 c LP solutions : 0.00 - 0 1796.07/1796.60 c pseudo solutions : 0.00 - 0 1796.07/1796.60 c simplerounding : 0.00 0 0 1796.07/1796.60 c rounding : 0.00 0 0 1796.07/1796.60 c shifting : 0.00 0 0 1796.07/1796.60 c intshifting : 0.00 0 0 1796.07/1796.60 c oneopt : 0.00 0 0 1796.07/1796.60 c fixandinfer : 0.00 0 0 1796.07/1796.60 c feaspump : 0.00 0 0 1796.07/1796.60 c coefdiving : 0.00 0 0 1796.07/1796.60 c pscostdiving : 0.00 0 0 1796.07/1796.60 c fracdiving : 0.00 0 0 1796.07/1796.60 c veclendiving : 0.00 0 0 1796.07/1796.60 c intdiving : 0.00 0 0 1796.07/1796.60 c actconsdiving : 0.00 0 0 1796.07/1796.60 c objpscostdiving : 0.00 0 0 1796.07/1796.60 c rootsoldiving : 0.00 0 0 1796.07/1796.60 c linesearchdiving : 0.00 0 0 1796.07/1796.60 c guideddiving : 0.00 0 0 1796.07/1796.60 c octane : 0.00 0 0 1796.07/1796.60 c rens : 0.00 0 0 1796.07/1796.60 c rins : 0.00 0 0 1796.07/1796.60 c localbranching : 0.00 0 0 1796.07/1796.60 c mutation : 0.00 0 0 1796.07/1796.60 c crossover : 0.00 0 0 1796.07/1796.60 c dins : 0.00 0 0 1796.07/1796.60 c LP : Time Calls Iterations Iter/call Iter/sec 1796.07/1796.60 c primal LP : 0.10 0 0 0.00 0.00 1796.07/1796.60 c dual LP : 7.13 6 807 134.50 113.18 1796.07/1796.60 c barrier LP : 0.00 0 0 0.00 - 1796.07/1796.60 c diving/probing LP: 0.00 0 0 0.00 - 1796.07/1796.60 c strong branching : 73.35 20 8006 400.30 109.15 1796.07/1796.60 c (at root node) : - 20 8006 400.30 - 1796.07/1796.60 c conflict analysis: 0.00 0 0 0.00 - 1796.07/1796.60 c B&B Tree : 1796.07/1796.60 c number of runs : 1 1796.07/1796.60 c nodes : 128527 1796.07/1796.60 c nodes (total) : 128527 1796.07/1796.60 c nodes left : 46 1796.07/1796.60 c max depth : 280 1796.07/1796.60 c max depth (total): 280 1796.07/1796.60 c backtracks : 53998 (42.0%) 1796.07/1796.60 c delayed cutoffs : 52598 1796.07/1796.60 c repropagations : 149327 (3544721 domain reductions, 31615 cutoffs) 1796.07/1796.60 c avg switch length: 3.47 1796.07/1796.60 c switching time : 362.94 1796.07/1796.60 c Solution : 1796.07/1796.60 c Solutions found : 0 (0 improvements) 1796.07/1796.60 c Primal Bound : - 1796.07/1796.60 c Dual Bound : +2.60000000000001e+01 1796.07/1796.60 c Gap : infinite 1796.07/1796.60 c Root Dual Bound : +2.60000000000000e+01 1796.37/1796.90 c Time complete: 1796.37.
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-1884318-1245256823/watcher-1884318-1245256823 -o /tmp/evaluation-result-1884318-1245256823/solver-1884318-1245256823 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884318-1245256823.opb 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.07 1.00 0.91 3/64 16951 /proc/meminfo: memFree=1809648/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=5812 CPUtime=0 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 193279314 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/16951/statm: 1453 501 332 1256 0 192 0 [startup+0.0283081 s] /proc/loadavg: 1.07 1.00 0.91 3/64 16951 /proc/meminfo: memFree=1809648/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=11244 CPUtime=0.02 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 1755 0 0 0 2 0 0 0 18 0 1 0 193279314 11513856 1739 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/16951/statm: 2811 1748 377 1256 0 1550 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11244 [startup+0.101313 s] /proc/loadavg: 1.07 1.00 0.91 3/64 16951 /proc/meminfo: memFree=1809648/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=14140 CPUtime=0.09 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 2495 0 0 0 9 0 0 0 18 0 1 0 193279314 14479360 2479 1992294400 4194304 9342243 548682068736 18446744073709551615 4363763 0 0 4096 0 0 0 0 17 1 0 0 /proc/16951/statm: 3535 2479 376 1256 0 2274 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14140 [startup+0.301333 s] /proc/loadavg: 1.07 1.00 0.91 3/64 16951 /proc/meminfo: memFree=1809648/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=18784 CPUtime=0.29 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 3672 0 0 0 28 1 0 0 19 0 1 0 193279314 19234816 3656 1992294400 4194304 9342243 548682068736 18446744073709551615 8247739 0 0 4096 0 0 0 0 17 1 0 0 /proc/16951/statm: 4696 3656 376 1256 0 3435 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18784 [startup+0.701374 s] /proc/loadavg: 1.07 1.00 0.91 3/64 16951 /proc/meminfo: memFree=1809648/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=28900 CPUtime=0.69 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 6224 0 0 0 67 2 0 0 22 0 1 0 193279314 29593600 6189 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/16951/statm: 7225 6189 376 1256 0 5964 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28900 [startup+1.50246 s] /proc/loadavg: 1.07 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1779432/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=103016 CPUtime=1.49 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 24878 0 0 0 140 9 0 0 25 0 1 0 193279314 105488384 24489 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 25754 24489 461 1256 0 24493 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103016 [startup+3.10162 s] /proc/loadavg: 1.07 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1709992/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=155308 CPUtime=3.09 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 41658 0 0 0 271 38 0 0 18 0 1 0 193279314 159035392 37712 1992294400 4194304 9342243 548682068736 18446744073709551615 8212540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 38827 37712 536 1256 0 37566 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 155308 [startup+6.30194 s] /proc/loadavg: 1.06 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1637288/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=209988 CPUtime=6.3 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 49194 0 0 0 588 42 0 0 25 0 1 0 193279314 215027712 45248 1992294400 4194304 9342243 548682068736 18446744073709551615 6953040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 52497 45248 623 1256 0 51236 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 209988 [startup+12.7016 s] /proc/loadavg: 1.06 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1630632/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=209988 CPUtime=12.69 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 49196 0 0 0 1226 43 0 0 25 0 1 0 193279314 215027712 45250 1992294400 4194304 9342243 548682068736 18446744073709551615 6953040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 52497 45250 625 1256 0 51236 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 209988 [startup+25.5019 s] /proc/loadavg: 1.04 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1630696/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=209988 CPUtime=25.48 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 49196 0 0 0 2504 44 0 0 25 0 1 0 193279314 215027712 45250 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 52497 45250 625 1256 0 51236 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 209988 [startup+51.1015 s] /proc/loadavg: 1.03 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1630696/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=209988 CPUtime=51.06 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 49196 0 0 0 5057 49 0 0 25 0 1 0 193279314 215027712 45250 1992294400 4194304 9342243 548682068736 18446744073709551615 6952857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 52497 45250 625 1256 0 51236 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 209988 [startup+102.306 s] /proc/loadavg: 1.01 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1619112/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=218808 CPUtime=102.25 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 52098 0 0 0 10167 58 0 0 25 0 1 0 193279314 224059392 48152 1992294400 4194304 9342243 548682068736 18446744073709551615 6939156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 54702 48152 632 1256 0 53441 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 218808 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1613352/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=222288 CPUtime=162.24 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 53527 0 0 0 16157 67 0 0 25 0 1 0 193279314 227622912 49581 1992294400 4194304 9342243 548682068736 18446744073709551615 4338416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 55572 49581 632 1256 0 54311 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 222288 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1606632/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=224388 CPUtime=222.21 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 55201 0 0 0 22147 74 0 0 25 0 1 0 193279314 229773312 51255 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 56097 51255 632 1256 0 54836 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 224388 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1605096/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=225996 CPUtime=282.2 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 55577 0 0 0 28139 81 0 0 25 0 1 0 193279314 231419904 51631 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 56499 51631 632 1256 0 55238 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 225996 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1595112/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=261832 CPUtime=342.18 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 59916 0 0 0 34131 87 0 0 25 0 1 0 193279314 268115968 54110 1992294400 4194304 9342243 548682068736 18446744073709551615 6960748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 65458 54110 637 1256 0 64197 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 261832 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1597736/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=402.17 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 60747 0 0 0 40120 97 0 0 25 0 1 0 193279314 237142016 53461 1992294400 4194304 9342243 548682068736 18446744073709551615 4221758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 53461 657 1256 0 56635 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 231584 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1597608/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=462.14 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 60757 0 0 0 46104 110 0 0 25 0 1 0 193279314 237142016 53471 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 53471 657 1256 0 56635 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 231584 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1597608/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=522.14 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 60757 0 0 0 52091 123 0 0 25 0 1 0 193279314 237142016 53471 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 53471 657 1256 0 56635 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 231584 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1597544/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=582.12 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 60757 0 0 0 58075 137 0 0 25 0 1 0 193279314 237142016 53471 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 53471 657 1256 0 56635 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 231584 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16952 /proc/meminfo: memFree=1597544/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=642.1 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 60757 0 0 0 64058 152 0 0 25 0 1 0 193279314 237142016 53471 1992294400 4194304 9342243 548682068736 18446744073709551615 4218984 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 53471 657 1256 0 56635 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 231584 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1594984/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1061.98 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61333 0 0 0 105956 242 0 0 25 0 1 0 193279314 237142016 54047 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54047 657 1256 0 56635 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 231584 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16954 /proc/meminfo: memFree=1594792/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1121.96 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61362 0 0 0 111943 253 0 0 25 0 1 0 193279314 237142016 54076 1992294400 4194304 9342243 548682068736 18446744073709551615 4223327 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54076 657 1256 0 56635 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 231584 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16954 /proc/meminfo: memFree=1594664/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1181.95 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61393 0 0 0 117931 264 0 0 25 0 1 0 193279314 237142016 54107 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54107 657 1256 0 56635 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 231584 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1594344/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1241.93 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61403 0 0 0 123917 276 0 0 25 0 1 0 193279314 237142016 54117 1992294400 4194304 9342243 548682068736 18446744073709551615 4221694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54117 657 1256 0 56635 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 231584 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1594408/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1301.92 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61412 0 0 0 129904 288 0 0 25 0 1 0 193279314 237142016 54126 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54126 657 1256 0 56635 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 231584 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1594408/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1361.89 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61412 0 0 0 135888 301 0 0 25 0 1 0 193279314 237142016 54126 1992294400 4194304 9342243 548682068736 18446744073709551615 5102447 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54126 657 1256 0 56635 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 231584 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1594344/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1421.88 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61431 0 0 0 141875 313 0 0 25 0 1 0 193279314 237142016 54145 1992294400 4194304 9342243 548682068736 18446744073709551615 4219127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54145 657 1256 0 56635 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 231584 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1594216/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1481.86 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61459 0 0 0 147861 325 0 0 25 0 1 0 193279314 237142016 54173 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54173 657 1256 0 56635 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 231584 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1594088/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1541.84 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61468 0 0 0 153846 338 0 0 25 0 1 0 193279314 237142016 54182 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54182 657 1256 0 56635 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 231584 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1594024/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1601.83 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61493 0 0 0 159833 350 0 0 25 0 1 0 193279314 237142016 54207 1992294400 4194304 9342243 548682068736 18446744073709551615 4805095 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54207 657 1256 0 56635 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 231584 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1593896/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1661.81 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61508 0 0 0 165820 361 0 0 25 0 1 0 193279314 237142016 54222 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54222 657 1256 0 56635 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 231584 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1593832/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1721.79 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61516 0 0 0 171806 373 0 0 25 0 1 0 193279314 237142016 54230 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54230 657 1256 0 56635 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 231584 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1593768/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1781.77 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61519 0 0 0 177791 386 0 0 25 0 1 0 193279314 237142016 54233 1992294400 4194304 9342243 548682068736 18446744073709551615 4221746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54233 657 1256 0 56635 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 231584 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1593768/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1784.97 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61519 0 0 0 178110 387 0 0 25 0 1 0 193279314 237142016 54233 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54233 657 1256 0 56635 0 Current children cumulated CPU time (s) 1784.97 Current children cumulated vsize (KiB) 231584 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1593768/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1791.37 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61522 0 0 0 178749 388 0 0 25 0 1 0 193279314 237142016 54236 1992294400 4194304 9342243 548682068736 18446744073709551615 4209472 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54236 657 1256 0 56635 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 231584 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1593768/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1794.58 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61527 0 0 0 179069 389 0 0 25 0 1 0 193279314 237142016 54241 1992294400 4194304 9342243 548682068736 18446744073709551615 5102336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54241 657 1256 0 56635 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 231584 [startup+1795.9 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1593768/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1795.37 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61527 0 0 0 179148 389 0 0 25 0 1 0 193279314 237142016 54241 1992294400 4194304 9342243 548682068736 18446744073709551615 4221694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54241 657 1256 0 56635 0 Current children cumulated CPU time (s) 1795.37 Current children cumulated vsize (KiB) 231584 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1593768/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=231584 CPUtime=1796.17 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61533 0 0 0 179228 389 0 0 25 0 1 0 193279314 237142016 54247 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0 /proc/16951/statm: 57896 54247 662 1256 0 56635 0 Current children cumulated CPU time (s) 1796.17 Current children cumulated vsize (KiB) 231584 [startup+1796.9 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16960 /proc/meminfo: memFree=1593768/2055920 swapFree=4181940/4192956 [pid=16951] ppid=16949 vsize=94908 CPUtime=1796.37 /proc/16951/stat : 16951 (pbscip.linux.x8) R 16949 16951 16708 0 -1 4194304 61535 0 0 0 179245 392 0 0 25 0 1 0 193279314 97185792 22966 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0 /proc/16951/statm: 23727 22966 14832 1256 0 22466 0 Current children cumulated CPU time (s) 1796.37 Current children cumulated vsize (KiB) 94908 Child status: 0 Real time (s): 1796.91 CPU time (s): 1796.39 CPU user time (s): 1792.46 CPU system time (s): 3.9304 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 262648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.46 system time used= 3.9304 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61540 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2111 runsolver used 1.50877 second user time and 3.98639 second system time The end
Begin job on node45 at 2009-06-17 18:40:23 IDJOB=1884318 IDBENCH=71945 IDSOLVER=684 FILE ID=node45/1884318-1245256823 PBS_JOBID= 9372408 Free space on /tmp= 66172 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT07/industrial/grieu/vmpc_26.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884318-1245256823/watcher-1884318-1245256823 -o /tmp/evaluation-result-1884318-1245256823/solver-1884318-1245256823 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884318-1245256823.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 86f6a33e70d2c2c1bee86bfa3a83b147 RANDOM SEED=1081809352 node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.240 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.240 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1810128 kB Buffers: 28440 kB Cached: 132356 kB SwapCached: 5260 kB Active: 64024 kB Inactive: 105092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1810128 kB SwapTotal: 4192956 kB SwapFree: 4181940 kB Dirty: 14268 kB Writeback: 0 kB Mapped: 14552 kB Slab: 62744 kB Committed_AS: 196656 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66160 MiB End job on node45 at 2009-06-17 19:10:20