Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1795.24 | 1795.74 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin16.opb |
MD5SUM | d761333f7ff9a755d3cd90e52b11f227 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 1088 |
Number of constraints which are clauses | 480 |
Number of constraints which are cardinality constraints (but not clauses) | 608 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 120 |
Maximum length of a constraint | 225 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 227 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.19/0.25 c SCIP version 1.1.0.7 0.19/0.25 c LP-Solver Clp 1.8.2 0.19/0.25 c user parameter file <scip.set> not found - using default parameters 0.19/0.25 c read problem <HOME/instance-1867973-1245113385.opb> 0.19/0.25 c original problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 1088 constraints 0.39/0.42 c No objective function, only one solution is needed. 0.39/0.42 c start presolving problem 0.39/0.42 c presolving: 1.19/1.29 c (round 1) 0 del vars, 480 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 128 upgd conss, 0 impls, 480 clqs 1.59/1.64 c (round 2) 0 del vars, 480 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs 1.79/1.84 c presolving (3 rounds): 1.79/1.84 c 0 deleted vars, 480 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 1.79/1.84 c 0 implications, 480 cliques 1.79/1.84 c presolved problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 608 constraints 1.79/1.84 c 128 constraints of type <knapsack> 1.79/1.84 c 480 constraints of type <setppc> 1.79/1.84 c transformed objective value is always integral (scale: 1) 1.79/1.84 c Presolving Time: 1.46 1.79/1.84 c SATUNSAT-LIN 1.79/1.84 c ----------------------------------------------------------------------------------------------- 1.79/1.84 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 0] 1.79/1.84 c separating/flowcover/freq = c -1 1.79/1.84 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 0] 1.79/1.84 c separating/cmir/freq = c -1 1.79/1.84 c # additional number of allowed LP iterations 1.79/1.84 c # [type: int, range: [0,2147483647], default: 1000] 1.79/1.84 c heuristics/veclendiving/maxlpiterofs = c 1500 1.79/1.84 c # maximal fraction of diving LP iterations compared to node LP iterations 1.79/1.84 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.79/1.84 c heuristics/veclendiving/maxlpiterquot = c 0.075 1.79/1.84 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 10] 1.79/1.84 c heuristics/veclendiving/freq = c -1 1.79/1.84 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 1] 1.79/1.84 c heuristics/simplerounding/freq = c -1 1.79/1.84 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 10] 1.79/1.84 c heuristics/shifting/freq = c -1 1.79/1.84 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 1] 1.79/1.84 c heuristics/rounding/freq = c -1 1.79/1.84 c # additional number of allowed LP iterations 1.79/1.84 c # [type: int, range: [0,2147483647], default: 1000] 1.79/1.84 c heuristics/rootsoldiving/maxlpiterofs = c 1500 1.79/1.84 c # maximal fraction of diving LP iterations compared to node LP iterations 1.79/1.84 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.79/1.84 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 1.79/1.84 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 20] 1.79/1.84 c heuristics/rootsoldiving/freq = c -1 1.79/1.84 c # number of nodes added to the contingent of the total nodes 1.79/1.84 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.79/1.84 c heuristics/rens/nodesofs = c 2000 1.79/1.84 c # minimum percentage of integer variables that have to be fixable 1.79/1.84 c # [type: real, range: [0,1], default: 0.5] 1.79/1.84 c heuristics/rens/minfixingrate = c 0.3 1.79/1.84 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 0] 1.79/1.84 c heuristics/rens/freq = c -1 1.79/1.84 c # additional number of allowed LP iterations 1.79/1.84 c # [type: int, range: [0,2147483647], default: 1000] 1.79/1.84 c heuristics/pscostdiving/maxlpiterofs = c 1500 1.79/1.84 c # maximal fraction of diving LP iterations compared to node LP iterations 1.79/1.84 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.79/1.84 c heuristics/pscostdiving/maxlpiterquot = c 0.075 1.79/1.84 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 10] 1.79/1.84 c heuristics/pscostdiving/freq = c -1 1.79/1.84 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 1] 1.79/1.84 c heuristics/oneopt/freq = c -1 1.79/1.84 c # additional number of allowed LP iterations 1.79/1.84 c # [type: int, range: [0,2147483647], default: 1000] 1.79/1.84 c heuristics/objpscostdiving/maxlpiterofs = c 1500 1.79/1.84 c # maximal fraction of diving LP iterations compared to total iteration number 1.79/1.84 c # [type: real, range: [0,1], default: 0.01] 1.79/1.84 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 1.79/1.84 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 20] 1.79/1.84 c heuristics/objpscostdiving/freq = c -1 1.79/1.84 c # additional number of allowed LP iterations 1.79/1.84 c # [type: int, range: [0,2147483647], default: 1000] 1.79/1.84 c heuristics/linesearchdiving/maxlpiterofs = c 1500 1.79/1.84 c # maximal fraction of diving LP iterations compared to node LP iterations 1.79/1.84 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.79/1.84 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 1.79/1.84 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 10] 1.79/1.84 c heuristics/linesearchdiving/freq = c -1 1.79/1.84 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 10] 1.79/1.84 c heuristics/intshifting/freq = c -1 1.79/1.84 c # maximal fraction of diving LP iterations compared to node LP iterations 1.79/1.84 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.79/1.84 c heuristics/intdiving/maxlpiterquot = c 0.075 1.79/1.84 c # additional number of allowed LP iterations 1.79/1.84 c # [type: int, range: [0,2147483647], default: 1000] 1.79/1.84 c heuristics/guideddiving/maxlpiterofs = c 1500 1.79/1.84 c # maximal fraction of diving LP iterations compared to node LP iterations 1.79/1.84 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.79/1.84 c heuristics/guideddiving/maxlpiterquot = c 0.075 1.79/1.84 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 10] 1.79/1.84 c heuristics/guideddiving/freq = c -1 1.79/1.84 c # additional number of allowed LP iterations 1.79/1.84 c # [type: int, range: [0,2147483647], default: 1000] 1.79/1.84 c heuristics/fracdiving/maxlpiterofs = c 1500 1.79/1.84 c # maximal fraction of diving LP iterations compared to node LP iterations 1.79/1.84 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.79/1.84 c heuristics/fracdiving/maxlpiterquot = c 0.075 1.79/1.84 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 10] 1.79/1.84 c heuristics/fracdiving/freq = c -1 1.79/1.84 c # additional number of allowed LP iterations 1.79/1.84 c # [type: int, range: [0,2147483647], default: 1000] 1.79/1.84 c heuristics/feaspump/maxlpiterofs = c 2000 1.79/1.84 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 20] 1.79/1.84 c heuristics/feaspump/freq = c -1 1.79/1.84 c # minimum percentage of integer variables that have to be fixed 1.79/1.84 c # [type: real, range: [0,1], default: 0.666] 1.79/1.84 c heuristics/crossover/minfixingrate = c 0.5 1.79/1.84 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.79/1.84 c # [type: real, range: [0,1], default: 0.1] 1.79/1.84 c heuristics/crossover/nodesquot = c 0.15 1.79/1.84 c # number of nodes without incumbent change that heuristic should wait 1.79/1.84 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.79/1.84 c heuristics/crossover/nwaitingnodes = c 100 1.79/1.84 c # number of nodes added to the contingent of the total nodes 1.79/1.84 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.79/1.84 c heuristics/crossover/nodesofs = c 750 1.79/1.84 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 30] 1.79/1.84 c heuristics/crossover/freq = c -1 1.79/1.84 c # additional number of allowed LP iterations 1.79/1.84 c # [type: int, range: [0,2147483647], default: 1000] 1.79/1.84 c heuristics/coefdiving/maxlpiterofs = c 1500 1.79/1.84 c # maximal fraction of diving LP iterations compared to node LP iterations 1.79/1.84 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.79/1.84 c heuristics/coefdiving/maxlpiterquot = c 0.075 1.79/1.84 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: 10] 1.79/1.84 c heuristics/coefdiving/freq = c -1 1.79/1.84 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: -1] 1.79/1.84 c presolving/probing/maxrounds = c 0 1.79/1.84 c # should presolving try to simplify knapsacks 1.79/1.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.79/1.84 c constraints/knapsack/simplifyinequalities = c TRUE 1.79/1.84 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.79/1.84 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.79/1.84 c constraints/knapsack/disaggregation = c FALSE 1.79/1.84 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 1.79/1.84 c # [type: int, range: [-1,2147483647], default: -1] 1.79/1.84 c constraints/knapsack/maxnumcardlift = c 0 1.79/1.84 c # should presolving try to simplify inequalities 1.79/1.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.79/1.85 c constraints/linear/simplifyinequalities = c TRUE 1.79/1.85 c # maximal number of separation rounds in the root node (-1: unlimited) 1.79/1.85 c # [type: int, range: [-1,2147483647], default: -1] 1.79/1.85 c separating/maxroundsroot = c 5 1.79/1.85 c # maximal number of separation rounds per node (-1: unlimited) 1.79/1.85 c # [type: int, range: [-1,2147483647], default: 5] 1.79/1.85 c separating/maxrounds = c 1 1.79/1.85 c # solving stops, if the given number of solutions were found (-1: no limit) 1.79/1.85 c # [type: int, range: [-1,2147483647], default: -1] 1.79/1.85 c limits/solutions = c 1 1.79/1.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.79/1.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.79/1.85 c limits/memory = c 1620 1.79/1.85 c # maximal time in seconds to run 1.79/1.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.79/1.85 c limits/time = c 1791 1.79/1.85 c # frequency for displaying node information lines 1.79/1.85 c # [type: int, range: [-1,2147483647], default: 100] 1.79/1.85 c display/freq = c 10000 1.79/1.85 c ----------------------------------------------------------------------------------------------- 1.79/1.85 c start solving problem 1.79/1.85 c 4.49/4.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.49/4.51 c 4.2s| 1 | 0 | 1845 | 40M| 0 | 548 | 14k| 608 | 608 | 14k| 608 | 0 | 0 | 0 | 1.200000e+02 | -- | Inf 4.99/5.00 c 4.7s| 1 | 0 | 1966 | 40M| 0 | 556 | 14k| 608 | 608 | 14k| 617 | 9 | 0 | 0 | 1.200000e+02 | -- | Inf 5.19/5.28 c 5.0s| 1 | 0 | 2010 | 40M| 0 | 564 | 14k| 608 | 608 | 14k| 627 | 19 | 0 | 0 | 1.200000e+02 | -- | Inf 5.59/5.65 c 5.3s| 1 | 0 | 2085 | 40M| 0 | 570 | 14k| 608 | 608 | 14k| 635 | 27 | 0 | 0 | 1.200000e+02 | -- | Inf 5.89/5.98 c 5.7s| 1 | 0 | 2143 | 40M| 0 | 574 | 14k| 608 | 608 | 14k| 644 | 36 | 0 | 0 | 1.200000e+02 | -- | Inf 6.29/6.31 c 6.0s| 1 | 0 | 2198 | 40M| 0 | 582 | 14k| 608 | 608 | 14k| 652 | 44 | 0 | 0 | 1.200000e+02 | -- | Inf 16.39/16.41 c 16.1s| 1 | 2 | 2198 | 40M| 0 | 582 | 14k| 608 | 608 | 14k| 652 | 44 | 0 | 33 | 1.200000e+02 | -- | Inf 1794.99/1795.55 c 1794.99/1795.55 c SCIP Status : solving was interrupted [time limit reached] 1794.99/1795.55 c Solving Time (sec) : 1791.01 1794.99/1795.55 c Solving Nodes : 2014 1794.99/1795.55 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1794.99/1795.55 c Dual Bound : +1.20000000000000e+02 1794.99/1795.55 c Gap : infinite 1794.99/1795.55 c NODE 2014 1794.99/1795.55 c DUAL BOUND 120 1794.99/1795.55 c PRIMAL BOUND 1e+20 1794.99/1795.55 c GAP 1e+20 1794.99/1795.55 s UNKNOWN 1794.99/1795.55 c SCIP Status : solving was interrupted [time limit reached] 1794.99/1795.55 c Solving Time : 1791.01 1794.99/1795.55 c Original Problem : 1794.99/1795.55 c Problem name : HOME/instance-1867973-1245113385.opb 1794.99/1795.55 c Variables : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.99/1795.55 c Constraints : 1088 initial, 1088 maximal 1794.99/1795.55 c Presolved Problem : 1794.99/1795.55 c Problem name : t_HOME/instance-1867973-1245113385.opb 1794.99/1795.55 c Variables : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.99/1795.55 c Constraints : 608 initial, 727 maximal 1794.99/1795.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1794.99/1795.55 c trivial : 0.00 0 0 0 0 0 0 0 0 1794.99/1795.55 c dualfix : 0.02 0 0 0 0 0 0 0 0 1794.99/1795.55 c boundshift : 0.00 0 0 0 0 0 0 0 0 1794.99/1795.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1794.99/1795.55 c implics : 0.02 0 0 0 0 0 0 0 0 1794.99/1795.55 c probing : 0.00 0 0 0 0 0 0 0 0 1794.99/1795.55 c knapsack : 0.23 0 0 0 0 0 0 0 0 1794.99/1795.55 c setppc : 0.16 0 0 0 0 0 0 0 0 1794.99/1795.55 c linear : 0.89 0 0 0 0 0 480 0 0 1794.99/1795.55 c logicor : 0.00 0 0 0 0 0 0 0 0 1794.99/1795.55 c root node : - 0 - - 0 - - - - 1794.99/1795.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1794.99/1795.55 c integral : 0 0 0 1415 0 4 19 0 0 2800 1794.99/1795.55 c knapsack : 128 5 3928 0 1 0 35915 0 0 0 1794.99/1795.55 c setppc : 480 5 3928 0 1 12 186757 0 0 0 1794.99/1795.55 c logicor : 0+ 0 131 0 0 0 15 0 0 0 1794.99/1795.55 c countsols : 0 0 0 0 1 0 0 0 0 0 1794.99/1795.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1794.99/1795.55 c integral : 743.30 0.00 0.00 743.30 0.00 1794.99/1795.55 c knapsack : 0.16 0.00 0.16 0.00 0.00 1794.99/1795.55 c setppc : 0.62 0.00 0.62 0.00 0.00 1794.99/1795.55 c logicor : 0.00 0.00 0.00 0.00 0.00 1794.99/1795.55 c countsols : 0.00 0.00 0.00 0.00 0.00 1794.99/1795.55 c Propagators : Time Calls Cutoffs DomReds 1794.99/1795.55 c rootredcost : 0.01 0 0 0 1794.99/1795.55 c pseudoobj : 9.67 3929 0 0 1794.99/1795.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1794.99/1795.55 c propagation : 0.02 12 12 206 152.0 6 156.5 - 1794.99/1795.55 c infeasible LP : 1.52 597 0 0 0.0 0 0.0 0 1794.99/1795.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1794.99/1795.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1794.99/1795.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1794.99/1795.55 c applied globally : - - - 119 93.5 - - - 1794.99/1795.55 c applied locally : - - - 0 0.0 - - - 1794.99/1795.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1794.99/1795.55 c cut pool : 0.00 4 - - 0 - (maximal pool size: 44) 1794.99/1795.55 c redcost : 2.93 1410 0 0 0 0 1794.99/1795.55 c impliedbounds : 0.01 5 0 0 0 0 1794.99/1795.55 c intobj : 0.00 0 0 0 0 0 1794.99/1795.55 c gomory : 0.26 5 0 0 0 0 1794.99/1795.55 c strongcg : 0.25 5 0 0 0 0 1794.99/1795.55 c cmir : 0.00 0 0 0 0 0 1794.99/1795.55 c flowcover : 0.00 0 0 0 0 0 1794.99/1795.55 c clique : 0.19 5 0 0 44 0 1794.99/1795.55 c zerohalf : 0.00 0 0 0 0 0 1794.99/1795.55 c mcf : 0.02 1 0 0 0 0 1794.99/1795.55 c Pricers : Time Calls Vars 1794.99/1795.55 c problem variables: 0.00 0 0 1794.99/1795.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1794.99/1795.55 c relpscost : 743.29 1415 4 19 0 0 2800 1794.99/1795.55 c pscost : 0.00 0 0 0 0 0 0 1794.99/1795.55 c inference : 0.00 1 0 0 0 0 2 1794.99/1795.55 c mostinf : 0.00 0 0 0 0 0 0 1794.99/1795.55 c leastinf : 0.00 0 0 0 0 0 0 1794.99/1795.55 c fullstrong : 0.00 0 0 0 0 0 0 1794.99/1795.55 c allfullstrong : 0.00 0 0 0 0 0 0 1794.99/1795.55 c random : 0.00 0 0 0 0 0 0 1794.99/1795.55 c Primal Heuristics : Time Calls Found 1794.99/1795.55 c LP solutions : 0.00 - 0 1794.99/1795.55 c pseudo solutions : 0.00 - 0 1794.99/1795.55 c simplerounding : 0.00 0 0 1794.99/1795.55 c rounding : 0.00 0 0 1794.99/1795.55 c shifting : 0.00 0 0 1794.99/1795.55 c intshifting : 0.00 0 0 1794.99/1795.55 c oneopt : 0.00 0 0 1794.99/1795.55 c fixandinfer : 0.00 0 0 1794.99/1795.55 c feaspump : 0.00 0 0 1794.99/1795.55 c coefdiving : 0.00 0 0 1794.99/1795.55 c pscostdiving : 0.00 0 0 1794.99/1795.55 c fracdiving : 0.00 0 0 1794.99/1795.55 c veclendiving : 0.00 0 0 1794.99/1795.55 c intdiving : 0.00 0 0 1794.99/1795.55 c actconsdiving : 0.00 0 0 1794.99/1795.55 c objpscostdiving : 0.00 0 0 1794.99/1795.55 c rootsoldiving : 0.00 0 0 1794.99/1795.55 c linesearchdiving : 0.00 0 0 1794.99/1795.55 c guideddiving : 0.00 0 0 1794.99/1795.55 c octane : 0.00 0 0 1794.99/1795.55 c rens : 0.00 0 0 1794.99/1795.55 c rins : 0.00 0 0 1794.99/1795.55 c localbranching : 0.00 0 0 1794.99/1795.55 c mutation : 0.00 0 0 1794.99/1795.55 c crossover : 0.00 0 0 1794.99/1795.55 c dins : 0.00 0 0 1794.99/1795.55 c LP : Time Calls Iterations Iter/call Iter/sec 1794.99/1795.55 c primal LP : 2.41 0 0 0.00 0.00 1794.99/1795.55 c dual LP : 1017.27 2014 961549 477.43 945.22 1794.99/1795.55 c barrier LP : 0.00 0 0 0.00 - 1794.99/1795.55 c diving/probing LP: 0.00 0 0 0.00 - 1794.99/1795.55 c strong branching : 742.83 3575 587083 164.22 790.33 1794.99/1795.55 c (at root node) : - 33 5403 163.73 - 1794.99/1795.55 c conflict analysis: 0.00 0 0 0.00 - 1794.99/1795.55 c B&B Tree : 1794.99/1795.55 c number of runs : 1 1794.99/1795.55 c nodes : 2014 1794.99/1795.55 c nodes (total) : 2014 1794.99/1795.55 c nodes left : 789 1794.99/1795.55 c max depth : 83 1794.99/1795.55 c max depth (total): 83 1794.99/1795.55 c backtracks : 157 (7.8%) 1794.99/1795.55 c delayed cutoffs : 0 1794.99/1795.55 c repropagations : 185 (12 domain reductions, 0 cutoffs) 1794.99/1795.55 c avg switch length: 3.50 1794.99/1795.55 c switching time : 4.02 1794.99/1795.55 c Solution : 1794.99/1795.55 c Solutions found : 0 (0 improvements) 1794.99/1795.55 c Primal Bound : - 1794.99/1795.55 c Dual Bound : +1.20000000000000e+02 1794.99/1795.55 c Gap : infinite 1794.99/1795.55 c Root Dual Bound : +1.20000000000000e+02 1795.19/1795.74 c Time complete: 1795.22.
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-1867973-1245113385/watcher-1867973-1245113385 -o /tmp/evaluation-result-1867973-1245113385/solver-1867973-1245113385 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1867973-1245113385.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: 0.04 0.62 1.28 3/64 9625 /proc/meminfo: memFree=1125232/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=5812 CPUtime=0 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 178938868 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/9625/statm: 1453 502 332 1256 0 192 0 [startup+0.048523 s] /proc/loadavg: 0.04 0.62 1.28 3/64 9625 /proc/meminfo: memFree=1125232/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=17436 CPUtime=0.04 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 3344 0 0 0 3 1 0 0 18 0 1 0 178938868 17854464 3328 1992294400 4194304 9342243 548682068736 18446744073709551615 5538372 0 0 4096 0 0 0 0 17 1 0 0 /proc/9625/statm: 4359 3328 376 1256 0 3098 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 17436 [startup+0.101527 s] /proc/loadavg: 0.04 0.62 1.28 3/64 9625 /proc/meminfo: memFree=1125232/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=21168 CPUtime=0.09 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 4277 0 0 0 8 1 0 0 18 0 1 0 178938868 21676032 4261 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/9625/statm: 5292 4261 376 1256 0 4031 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21168 [startup+0.301547 s] /proc/loadavg: 0.04 0.62 1.28 3/64 9625 /proc/meminfo: memFree=1125232/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=37012 CPUtime=0.29 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 8605 0 0 0 26 3 0 0 19 0 1 0 178938868 37900288 8235 1992294400 4194304 9342243 548682068736 18446744073709551615 4811366 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 9253 8235 411 1256 0 7992 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37012 [startup+0.701589 s] /proc/loadavg: 0.04 0.62 1.28 3/64 9625 /proc/meminfo: memFree=1125232/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=54000 CPUtime=0.69 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 12644 0 0 0 65 4 0 0 22 0 1 0 178938868 55296000 12274 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 13500 12274 459 1256 0 12239 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54000 [startup+1.50167 s] /proc/loadavg: 0.04 0.62 1.28 2/65 9626 /proc/meminfo: memFree=1077800/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=56552 CPUtime=1.49 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 13397 0 0 0 144 5 0 0 25 0 1 0 178938868 57909248 12992 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 14138 12992 470 1256 0 12877 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 56552 [startup+3.10284 s] /proc/loadavg: 0.04 0.62 1.28 2/65 9626 /proc/meminfo: memFree=1060264/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=72508 CPUtime=3.09 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 17449 0 0 0 303 6 0 0 25 0 1 0 178938868 74248192 17013 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 18127 17013 616 1256 0 16866 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72508 [startup+6.30117 s] /proc/loadavg: 0.12 0.63 1.28 2/65 9626 /proc/meminfo: memFree=1055984/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=75656 CPUtime=6.29 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 18283 0 0 0 620 9 0 0 25 0 1 0 178938868 77471744 17847 1992294400 4194304 9342243 548682068736 18446744073709551615 6213687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 18914 17847 647 1256 0 17653 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 75656 [startup+12.7028 s] /proc/loadavg: 0.19 0.64 1.27 2/65 9626 /proc/meminfo: memFree=1055168/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=77004 CPUtime=12.69 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 18529 0 0 0 1259 10 0 0 25 0 1 0 178938868 78852096 18093 1992294400 4194304 9342243 548682068736 18446744073709551615 6342066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 19251 18093 654 1256 0 17990 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77004 [startup+25.5011 s] /proc/loadavg: 0.37 0.65 1.27 2/65 9626 /proc/meminfo: memFree=1056192/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=77352 CPUtime=25.48 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 19042 0 0 0 2536 12 0 0 25 0 1 0 178938868 79208448 17890 1992294400 4194304 9342243 548682068736 18446744073709551615 6081614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 19338 17890 670 1256 0 18077 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77352 [startup+51.1018 s] /proc/loadavg: 0.66 0.70 1.27 2/65 9626 /proc/meminfo: memFree=1056128/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=77352 CPUtime=51.08 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 19068 0 0 0 5092 16 0 0 25 0 1 0 178938868 79208448 17916 1992294400 4194304 9342243 548682068736 18446744073709551615 6081551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 19338 17916 670 1256 0 18077 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77352 [startup+102.305 s] /proc/loadavg: 0.85 0.74 1.25 2/65 9626 /proc/meminfo: memFree=1055808/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=77888 CPUtime=102.26 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 19811 0 0 0 10204 22 0 0 25 0 1 0 178938868 79757312 18012 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 19472 18012 670 1256 0 18211 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 77888 [startup+162.301 s] /proc/loadavg: 1.12 0.83 1.25 2/65 9628 /proc/meminfo: memFree=1053888/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=79188 CPUtime=162.24 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 20294 0 0 0 16195 29 0 0 25 0 1 0 178938868 81088512 18495 1992294400 4194304 9342243 548682068736 18446744073709551615 6363967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 19797 18495 670 1256 0 18536 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 79188 [startup+222.301 s] /proc/loadavg: 1.18 0.89 1.24 2/65 9628 /proc/meminfo: memFree=1053312/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=80692 CPUtime=222.23 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 21637 0 0 0 22187 36 0 0 25 0 1 0 178938868 82628608 18636 1992294400 4194304 9342243 548682068736 18446744073709551615 6081563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 20173 18636 670 1256 0 18912 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 80692 [startup+282.302 s] /proc/loadavg: 1.07 0.91 1.23 2/65 9628 /proc/meminfo: memFree=1051072/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=81864 CPUtime=282.21 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 23214 0 0 0 28175 46 0 0 25 0 1 0 178938868 83828736 19189 1992294400 4194304 9342243 548682068736 18446744073709551615 6951683 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 20466 19189 674 1256 0 19205 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 81864 [startup+342.302 s] /proc/loadavg: 1.02 0.92 1.21 2/65 9628 /proc/meminfo: memFree=1050632/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=83756 CPUtime=342.2 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 25567 0 0 0 34164 56 0 0 25 0 1 0 178938868 85766144 19298 1992294400 4194304 9342243 548682068736 18446744073709551615 6081640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 20939 19298 674 1256 0 19678 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 83756 [startup+402.302 s] /proc/loadavg: 1.01 0.93 1.19 2/65 9628 /proc/meminfo: memFree=1049736/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=84156 CPUtime=402.17 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 26536 0 0 0 40151 66 0 0 25 0 1 0 178938868 86175744 19524 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 21039 19524 674 1256 0 19778 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 84156 [startup+462.301 s] /proc/loadavg: 1.00 0.94 1.18 2/65 9628 /proc/meminfo: memFree=1049480/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=82428 CPUtime=462.16 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 36408 0 0 0 46136 80 0 0 25 0 1 0 178938868 84406272 19558 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 20607 19558 674 1256 0 19346 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 82428 [startup+522.301 s] /proc/loadavg: 1.00 0.95 1.16 2/65 9628 /proc/meminfo: memFree=1048456/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=85620 CPUtime=522.14 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 45245 0 0 0 52121 93 0 0 25 0 1 0 178938868 87674880 19831 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 21405 19831 674 1256 0 20144 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 85620 [startup+582.302 s] /proc/loadavg: 1.00 0.96 1.15 2/65 9628 /proc/meminfo: memFree=1047880/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=84548 CPUtime=582.12 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 53492 0 0 0 58107 105 0 0 25 0 1 0 178938868 86577152 19977 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 21137 19977 674 1256 0 19876 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 84548 [startup+642.302 s] /proc/loadavg: 1.00 0.96 1.14 2/65 9628 /proc/meminfo: memFree=1047176/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=86708 CPUtime=642.11 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 56252 0 0 0 64096 115 0 0 25 0 1 0 178938868 88788992 20135 1992294400 4194304 9342243 548682068736 18446744073709551615 6363948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 21677 20135 675 1256 0 20416 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 86708 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1044808/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=87836 CPUtime=1061.99 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 81285 0 0 0 106004 195 0 0 25 0 1 0 178938868 89944064 20713 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 21959 20713 678 1256 0 20698 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 87836 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 1.07 2/65 9634 /proc/meminfo: memFree=1043528/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=89476 CPUtime=1121.97 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 95255 0 0 0 111986 211 0 0 25 0 1 0 178938868 91623424 20984 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 22369 20984 678 1256 0 21108 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 89476 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 1.06 2/65 9634 /proc/meminfo: memFree=1043656/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=91240 CPUtime=1181.95 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 96794 0 0 0 117971 224 0 0 25 0 1 0 178938868 93429760 21019 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 22810 21019 678 1256 0 21549 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 91240 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 1.06 2/65 9634 /proc/meminfo: memFree=1043016/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=89760 CPUtime=1241.94 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 99197 0 0 0 123959 235 0 0 25 0 1 0 178938868 91914240 21189 1992294400 4194304 9342243 548682068736 18446744073709551615 6922788 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 22440 21189 678 1256 0 21179 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 89760 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 1.05 2/65 9634 /proc/meminfo: memFree=1041672/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=92240 CPUtime=1301.93 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 104129 0 0 0 129946 247 0 0 25 0 1 0 178938868 94453760 21452 1992294400 4194304 9342243 548682068736 18446744073709551615 6081607 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23060 21452 678 1256 0 21799 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 92240 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 1.05 2/65 9634 /proc/meminfo: memFree=1040904/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=91636 CPUtime=1361.91 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 112149 0 0 0 135932 259 0 0 25 0 1 0 178938868 93835264 21652 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 22909 21652 678 1256 0 21648 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 91636 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 1.04 2/65 9634 /proc/meminfo: memFree=1039944/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=92104 CPUtime=1421.89 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 127462 0 0 0 141913 276 0 0 25 0 1 0 178938868 94314496 21876 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23026 21876 678 1256 0 21765 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 92104 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 1.03 2/65 9634 /proc/meminfo: memFree=1039560/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=94636 CPUtime=1481.88 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 146158 0 0 0 147893 295 0 0 25 0 1 0 178938868 96907264 22084 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23659 22084 678 1256 0 22398 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 94636 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 1.03 2/65 9634 /proc/meminfo: memFree=1038792/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=94968 CPUtime=1541.85 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 166065 0 0 0 153873 312 0 0 25 0 1 0 178938868 97247232 22178 1992294400 4194304 9342243 548682068736 18446744073709551615 6081597 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23742 22178 678 1256 0 22481 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 94968 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 1.02 2/65 9634 /proc/meminfo: memFree=1038344/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=95320 CPUtime=1601.84 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 185522 0 0 0 159853 331 0 0 25 0 1 0 178938868 97607680 22280 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23830 22280 678 1256 0 22569 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 95320 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 1.02 2/65 9634 /proc/meminfo: memFree=1037384/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=96208 CPUtime=1661.82 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 198110 0 0 0 165835 347 0 0 25 0 1 0 178938868 98516992 22524 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 24052 22524 678 1256 0 22791 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 96208 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 1.01 2/65 9634 /proc/meminfo: memFree=1037128/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=94096 CPUtime=1721.8 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 208895 0 0 0 171820 360 0 0 25 0 1 0 178938868 96354304 22411 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23524 22411 678 1256 0 22263 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 94096 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 1.00 2/65 9634 /proc/meminfo: memFree=1036488/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=97272 CPUtime=1781.79 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 224138 0 0 0 177802 377 0 0 25 0 1 0 178938868 99606528 22743 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 24318 22743 678 1256 0 23057 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 97272 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 0.97 1.00 2/65 9634 /proc/meminfo: memFree=1036872/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=94956 CPUtime=1784.99 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 224631 0 0 0 178121 378 0 0 25 0 1 0 178938868 97234944 22600 1992294400 4194304 9342243 548682068736 18446744073709551615 6966890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23739 22600 678 1256 0 22478 0 Current children cumulated CPU time (s) 1784.99 Current children cumulated vsize (KiB) 94956 [startup+1791.91 s] /proc/loadavg: 1.00 0.97 1.00 2/65 9634 /proc/meminfo: memFree=1036744/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=95216 CPUtime=1791.39 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 224874 0 0 0 178760 379 0 0 25 0 1 0 178938868 97501184 22656 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23804 22656 678 1256 0 22543 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 95216 [startup+1793.5 s] /proc/loadavg: 1.00 0.97 1.00 2/65 9634 /proc/meminfo: memFree=1036744/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=95216 CPUtime=1792.98 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 224874 0 0 0 178919 379 0 0 25 0 1 0 178938868 97501184 22656 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23804 22656 678 1256 0 22543 0 Current children cumulated CPU time (s) 1792.98 Current children cumulated vsize (KiB) 95216 [startup+1795.1 s] /proc/loadavg: 1.00 0.97 1.00 2/65 9634 /proc/meminfo: memFree=1036744/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=95076 CPUtime=1794.59 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 225015 0 0 0 179079 380 0 0 25 0 1 0 178938868 97357824 22622 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23769 22622 678 1256 0 22508 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 95076 [startup+1795.5 s] /proc/loadavg: 1.00 0.97 1.00 2/65 9634 /proc/meminfo: memFree=1036744/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=95352 CPUtime=1794.99 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 225040 0 0 0 179119 380 0 0 25 0 1 0 178938868 97640448 22647 1992294400 4194304 9342243 548682068736 18446744073709551615 6238501 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9625/statm: 23838 22647 678 1256 0 22577 0 Current children cumulated CPU time (s) 1794.99 Current children cumulated vsize (KiB) 95352 [startup+1795.7 s] /proc/loadavg: 1.00 0.97 1.00 2/65 9634 /proc/meminfo: memFree=1036744/2055920 swapFree=4191900/4192956 [pid=9625] ppid=9623 vsize=95352 CPUtime=1795.19 /proc/9625/stat : 9625 (pbscip.linux.x8) R 9623 9625 9552 0 -1 4194304 225045 0 0 0 179139 380 0 0 25 0 1 0 178938868 97640448 22652 1992294400 4194304 9342243 548682068736 18446744073709551615 5855084 0 0 4096 0 0 0 0 17 1 0 0 /proc/9625/statm: 23838 22652 683 1256 0 22577 0 Current children cumulated CPU time (s) 1795.19 Current children cumulated vsize (KiB) 95352 Child status: 0 Real time (s): 1795.74 CPU time (s): 1795.24 CPU user time (s): 1791.42 CPU system time (s): 3.81642 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 97488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.42 system time used= 3.81642 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 225052 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= 6 involuntary context switches= 3104 runsolver used 1.41878 second user time and 3.59945 second system time The end
Begin job on node24 at 2009-06-16 02:49:45 IDJOB=1867973 IDBENCH=1153 IDSOLVER=684 FILE ID=node24/1867973-1245113385 PBS_JOBID= 9363639 Free space on /tmp= 66364 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.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-1867973-1245113385/watcher-1867973-1245113385 -o /tmp/evaluation-result-1867973-1245113385/solver-1867973-1245113385 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1867973-1245113385.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d761333f7ff9a755d3cd90e52b11f227 RANDOM SEED=813921509 node24.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.231 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.231 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: 1125712 kB Buffers: 53708 kB Cached: 796236 kB SwapCached: 260 kB Active: 116896 kB Inactive: 745792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1125712 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 13288 kB Writeback: 0 kB Mapped: 21200 kB Slab: 53464 kB Committed_AS: 173432 kB PageTables: 1444 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= 66352 MiB End job on node24 at 2009-06-16 03:19:41