Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? | 1794.49 | 1794.96 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb |
MD5SUM | d484bc8efed557f17788965b19feafe5 |
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 | 4602 |
Total number of constraints | 30179 |
Number of constraints which are clauses | 29160 |
Number of constraints which are cardinality constraints (but not clauses) | 941 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 29 |
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 | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 103 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.39/0.47 c SCIP version 1.1.0.7 0.39/0.47 c LP-Solver Clp 1.8.2 0.39/0.47 c user parameter file <scip.set> not found - using default parameters 0.39/0.47 c read problem <HOME/instance-1868667-1245131885.opb> 0.39/0.47 c original problem has 4602 variables (4602 bin, 0 int, 0 impl, 0 cont) and 30179 constraints 0.49/0.59 c No objective function, only one solution is needed. 0.49/0.59 c start presolving problem 0.49/0.59 c presolving: 0.89/0.92 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 30179 upgd conss, 0 impls, 941 clqs 0.89/0.99 c presolving (2 rounds): 0.89/0.99 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 108 changed coefficients 0.89/0.99 c 0 implications, 1505 cliques 0.89/0.99 c presolved problem has 4602 variables (4602 bin, 0 int, 0 impl, 0 cont) and 30179 constraints 0.89/0.99 c 78 constraints of type <knapsack> 0.89/0.99 c 941 constraints of type <setppc> 0.89/0.99 c 29160 constraints of type <logicor> 0.89/0.99 c transformed objective value is always integral (scale: 1) 0.89/0.99 c Presolving Time: 0.34 0.89/0.99 c SATUNSAT-LIN 0.89/0.99 c ----------------------------------------------------------------------------------------------- 0.89/0.99 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 0] 0.89/0.99 c separating/flowcover/freq = c -1 0.89/0.99 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 0] 0.89/0.99 c separating/cmir/freq = c -1 0.89/0.99 c # additional number of allowed LP iterations 0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.99 c heuristics/veclendiving/maxlpiterofs = c 1500 0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.99 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.89/0.99 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.99 c heuristics/veclendiving/freq = c -1 0.89/0.99 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 1] 0.89/0.99 c heuristics/simplerounding/freq = c -1 0.89/0.99 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.99 c heuristics/shifting/freq = c -1 0.89/0.99 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 1] 0.89/0.99 c heuristics/rounding/freq = c -1 0.89/0.99 c # additional number of allowed LP iterations 0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.99 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.89/0.99 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.89/0.99 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 20] 0.89/0.99 c heuristics/rootsoldiving/freq = c -1 0.89/0.99 c # number of nodes added to the contingent of the total nodes 0.89/0.99 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.89/0.99 c heuristics/rens/nodesofs = c 2000 0.89/0.99 c # minimum percentage of integer variables that have to be fixable 0.89/0.99 c # [type: real, range: [0,1], default: 0.5] 0.89/0.99 c heuristics/rens/minfixingrate = c 0.3 0.89/0.99 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 0] 0.89/0.99 c heuristics/rens/freq = c -1 0.89/0.99 c # additional number of allowed LP iterations 0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.99 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.99 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.89/0.99 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.99 c heuristics/pscostdiving/freq = c -1 0.89/0.99 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 1] 0.89/0.99 c heuristics/oneopt/freq = c -1 0.89/0.99 c # additional number of allowed LP iterations 0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.99 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.89/0.99 c # maximal fraction of diving LP iterations compared to total iteration number 0.89/0.99 c # [type: real, range: [0,1], default: 0.01] 0.89/0.99 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.89/0.99 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 20] 0.89/0.99 c heuristics/objpscostdiving/freq = c -1 0.89/0.99 c # additional number of allowed LP iterations 0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.99 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.99 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.89/0.99 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.99 c heuristics/linesearchdiving/freq = c -1 0.89/0.99 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.99 c heuristics/intshifting/freq = c -1 0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.99 c heuristics/intdiving/maxlpiterquot = c 0.075 0.89/0.99 c # additional number of allowed LP iterations 0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.99 c heuristics/guideddiving/maxlpiterofs = c 1500 0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.99 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.89/0.99 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.99 c heuristics/guideddiving/freq = c -1 0.89/0.99 c # additional number of allowed LP iterations 0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.99 c heuristics/fracdiving/maxlpiterofs = c 1500 0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.99 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.89/0.99 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.99 c heuristics/fracdiving/freq = c -1 0.89/0.99 c # additional number of allowed LP iterations 0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.99 c heuristics/feaspump/maxlpiterofs = c 2000 0.89/0.99 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 20] 0.89/0.99 c heuristics/feaspump/freq = c -1 0.89/0.99 c # minimum percentage of integer variables that have to be fixed 0.89/0.99 c # [type: real, range: [0,1], default: 0.666] 0.89/0.99 c heuristics/crossover/minfixingrate = c 0.5 0.89/0.99 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.89/0.99 c # [type: real, range: [0,1], default: 0.1] 0.89/0.99 c heuristics/crossover/nodesquot = c 0.15 0.89/0.99 c # number of nodes without incumbent change that heuristic should wait 0.89/0.99 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.89/0.99 c heuristics/crossover/nwaitingnodes = c 100 0.89/0.99 c # number of nodes added to the contingent of the total nodes 0.89/0.99 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.89/0.99 c heuristics/crossover/nodesofs = c 750 0.89/0.99 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 30] 0.89/0.99 c heuristics/crossover/freq = c -1 0.89/0.99 c # additional number of allowed LP iterations 0.89/0.99 c # [type: int, range: [0,2147483647], default: 1000] 0.89/0.99 c heuristics/coefdiving/maxlpiterofs = c 1500 0.89/0.99 c # maximal fraction of diving LP iterations compared to node LP iterations 0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.89/0.99 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.89/0.99 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: 10] 0.89/0.99 c heuristics/coefdiving/freq = c -1 0.89/0.99 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1] 0.89/0.99 c presolving/probing/maxrounds = c 0 0.89/0.99 c # should presolving try to simplify knapsacks 0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.89/0.99 c constraints/knapsack/simplifyinequalities = c TRUE 0.89/0.99 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.89/0.99 c constraints/knapsack/disaggregation = c FALSE 0.89/0.99 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1] 0.89/0.99 c constraints/knapsack/maxnumcardlift = c 0 0.89/0.99 c # should presolving try to simplify inequalities 0.99/1.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.99/1.00 c constraints/linear/simplifyinequalities = c TRUE 0.99/1.00 c # maximal number of separation rounds in the root node (-1: unlimited) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: -1] 0.99/1.00 c separating/maxroundsroot = c 5 0.99/1.00 c # maximal number of separation rounds per node (-1: unlimited) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 5] 0.99/1.00 c separating/maxrounds = c 1 0.99/1.00 c # solving stops, if the given number of solutions were found (-1: no limit) 0.99/1.00 c # [type: int, range: [-1,2147483647], default: -1] 0.99/1.00 c limits/solutions = c 1 0.99/1.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.99/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.99/1.00 c limits/memory = c 1620 0.99/1.00 c # maximal time in seconds to run 0.99/1.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.99/1.00 c limits/time = c 1791 0.99/1.00 c # frequency for displaying node information lines 0.99/1.00 c # [type: int, range: [-1,2147483647], default: 100] 0.99/1.00 c display/freq = c 10000 0.99/1.00 c ----------------------------------------------------------------------------------------------- 0.99/1.00 c start solving problem 0.99/1.00 c 7.08/7.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 7.08/7.17 c 6.5s| 1 | 0 | 1834 | 43M| 0 | 665 |4602 | 30k| 30k|4602 | 30k| 0 | 0 | 0 | 1.740000e+02 | -- | Inf 29.59/29.63 c 28.9s| 1 | 0 | 4785 | 50M| 0 | 862 |4602 | 30k| 30k|4602 | 30k| 43 | 0 | 0 | 1.740000e+02 | -- | Inf 53.67/53.75 c 53.0s| 1 | 0 | 7416 | 54M| 0 | 870 |4602 | 30k| 30k|4602 | 30k| 78 | 0 | 0 | 1.740000e+02 | -- | Inf 117.46/117.51 c 117s| 1 | 0 | 9791 | 54M| 0 | 891 |4602 | 30k| 30k|4602 | 30k| 100 | 0 | 0 | 1.740000e+02 | -- | Inf 158.15/158.22 c 157s| 1 | 0 | 12423 | 55M| 0 | 859 |4602 | 30k| 30k|4602 | 30k| 121 | 0 | 0 | 1.740000e+02 | -- | Inf 186.94/187.09 c 186s| 1 | 0 | 15233 | 55M| 0 | 860 |4602 | 30k| 30k|4602 | 30k| 137 | 0 | 0 | 1.740000e+02 | -- | Inf 316.80/316.96 c 316s| 1 | 2 | 15233 | 55M| 0 | 860 |4602 | 30k| 30k|4602 | 30k| 137 | 0 | 33 | 1.740000e+02 | -- | Inf 1794.22/1794.80 c 1794.22/1794.80 c SCIP Status : solving was interrupted [time limit reached] 1794.22/1794.80 c Solving Time (sec) : 1791.01 1794.22/1794.80 c Solving Nodes : 221 1794.22/1794.80 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1794.22/1794.80 c Dual Bound : +1.74000000000001e+02 1794.22/1794.80 c Gap : infinite 1794.22/1794.80 c NODE 221 1794.22/1794.80 c DUAL BOUND 174 1794.22/1794.80 c PRIMAL BOUND 1e+20 1794.22/1794.80 c GAP 1e+20 1794.22/1794.80 s UNKNOWN 1794.22/1794.80 c SCIP Status : solving was interrupted [time limit reached] 1794.22/1794.80 c Solving Time : 1791.01 1794.22/1794.80 c Original Problem : 1794.22/1794.80 c Problem name : HOME/instance-1868667-1245131885.opb 1794.22/1794.80 c Variables : 4602 (4602 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.22/1794.80 c Constraints : 30179 initial, 30179 maximal 1794.22/1794.80 c Presolved Problem : 1794.22/1794.80 c Problem name : t_HOME/instance-1868667-1245131885.opb 1794.22/1794.80 c Variables : 4602 (4602 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.22/1794.80 c Constraints : 30179 initial, 30179 maximal 1794.22/1794.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1794.22/1794.80 c trivial : 0.00 0 0 0 0 0 0 0 0 1794.22/1794.80 c dualfix : 0.00 0 0 0 0 0 0 0 0 1794.22/1794.80 c boundshift : 0.00 0 0 0 0 0 0 0 0 1794.22/1794.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1794.22/1794.80 c implics : 0.00 0 0 0 0 0 0 0 0 1794.22/1794.80 c probing : 0.00 0 0 0 0 0 0 0 0 1794.22/1794.80 c knapsack : 0.01 0 0 0 0 0 0 0 108 1794.22/1794.80 c setppc : 0.01 0 0 0 0 0 0 0 0 1794.22/1794.80 c logicor : 0.07 0 0 0 0 0 0 0 0 1794.22/1794.80 c root node : - 0 - - 0 - - - - 1794.22/1794.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1794.22/1794.80 c integral : 0 0 0 221 0 0 0 0 0 442 1794.22/1794.80 c knapsack : 78 5 428 0 0 0 603 63 0 0 1794.22/1794.80 c setppc : 941 5 428 0 0 0 3223 0 0 0 1794.22/1794.80 c logicor : 29160 5 75 0 0 0 5 0 0 0 1794.22/1794.80 c countsols : 0 0 0 0 0 0 0 0 0 0 1794.22/1794.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1794.22/1794.80 c integral : 947.83 0.00 0.00 947.83 0.00 1794.22/1794.80 c knapsack : 0.01 0.00 0.01 0.00 0.00 1794.22/1794.80 c setppc : 0.06 0.00 0.06 0.00 0.00 1794.22/1794.80 c logicor : 0.05 0.02 0.03 0.00 0.00 1794.22/1794.80 c countsols : 0.00 0.00 0.00 0.00 0.00 1794.22/1794.80 c Propagators : Time Calls Cutoffs DomReds 1794.22/1794.80 c rootredcost : 0.00 0 0 0 1794.22/1794.80 c pseudoobj : 0.19 429 0 0 1794.22/1794.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1794.22/1794.80 c propagation : 0.00 0 0 0 0.0 0 0.0 - 1794.22/1794.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1794.22/1794.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1794.22/1794.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1794.22/1794.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1794.22/1794.80 c applied globally : - - - 0 0.0 - - - 1794.22/1794.80 c applied locally : - - - 0 0.0 - - - 1794.22/1794.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1794.22/1794.80 c cut pool : 0.01 4 - - 14 - (maximal pool size: 520) 1794.22/1794.80 c redcost : 0.13 225 0 0 0 0 1794.22/1794.80 c impliedbounds : 0.01 5 0 0 0 0 1794.22/1794.80 c intobj : 0.00 0 0 0 0 0 1794.22/1794.80 c gomory : 57.41 5 0 0 2500 0 1794.22/1794.80 c strongcg : 44.09 5 0 0 2500 0 1794.22/1794.80 c cmir : 0.00 0 0 0 0 0 1794.22/1794.80 c flowcover : 0.00 0 0 0 0 0 1794.22/1794.80 c clique : 0.18 5 0 0 32 0 1794.22/1794.80 c zerohalf : 0.00 0 0 0 0 0 1794.22/1794.80 c mcf : 0.05 1 0 0 0 0 1794.22/1794.80 c Pricers : Time Calls Vars 1794.22/1794.80 c problem variables: 0.00 0 0 1794.22/1794.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1794.22/1794.80 c relpscost : 947.83 221 0 0 0 0 442 1794.22/1794.80 c pscost : 0.00 0 0 0 0 0 0 1794.22/1794.80 c inference : 0.00 0 0 0 0 0 0 1794.22/1794.80 c mostinf : 0.00 0 0 0 0 0 0 1794.22/1794.80 c leastinf : 0.00 0 0 0 0 0 0 1794.22/1794.80 c fullstrong : 0.00 0 0 0 0 0 0 1794.22/1794.80 c allfullstrong : 0.00 0 0 0 0 0 0 1794.22/1794.80 c random : 0.00 0 0 0 0 0 0 1794.22/1794.80 c Primal Heuristics : Time Calls Found 1794.22/1794.80 c LP solutions : 0.00 - 0 1794.22/1794.80 c pseudo solutions : 0.00 - 0 1794.22/1794.80 c simplerounding : 0.00 0 0 1794.22/1794.80 c rounding : 0.00 0 0 1794.22/1794.80 c shifting : 0.00 0 0 1794.22/1794.80 c intshifting : 0.00 0 0 1794.22/1794.80 c oneopt : 0.00 0 0 1794.22/1794.80 c fixandinfer : 0.00 0 0 1794.22/1794.80 c feaspump : 0.00 0 0 1794.22/1794.80 c coefdiving : 0.00 0 0 1794.22/1794.80 c pscostdiving : 0.00 0 0 1794.22/1794.80 c fracdiving : 0.00 0 0 1794.22/1794.80 c veclendiving : 0.00 0 0 1794.22/1794.80 c intdiving : 0.00 0 0 1794.22/1794.80 c actconsdiving : 0.00 0 0 1794.22/1794.80 c objpscostdiving : 0.00 0 0 1794.22/1794.80 c rootsoldiving : 0.00 0 0 1794.22/1794.80 c linesearchdiving : 0.00 0 0 1794.22/1794.80 c guideddiving : 0.00 0 0 1794.22/1794.80 c octane : 0.00 0 0 1794.22/1794.80 c rens : 0.00 0 0 1794.22/1794.80 c rins : 0.00 0 0 1794.22/1794.80 c localbranching : 0.00 0 0 1794.22/1794.80 c mutation : 0.00 0 0 1794.22/1794.80 c crossover : 0.00 0 0 1794.22/1794.80 c dins : 0.00 0 0 1794.22/1794.80 c LP : Time Calls Iterations Iter/call Iter/sec 1794.22/1794.80 c primal LP : 3.15 0 0 0.00 0.00 1794.22/1794.80 c dual LP : 734.89 226 239601 1060.18 326.04 1794.22/1794.80 c barrier LP : 0.00 0 0 0.00 - 1794.22/1794.80 c diving/probing LP: 0.00 0 0 0.00 - 1794.22/1794.80 c strong branching : 947.82 540 244164 452.16 257.61 1794.22/1794.80 c (at root node) : - 33 21621 655.18 - 1794.22/1794.80 c conflict analysis: 0.00 0 0 0.00 - 1794.22/1794.80 c B&B Tree : 1794.22/1794.80 c number of runs : 1 1794.22/1794.80 c nodes : 221 1794.22/1794.80 c nodes (total) : 221 1794.22/1794.80 c nodes left : 222 1794.22/1794.80 c max depth : 33 1794.22/1794.80 c max depth (total): 33 1794.22/1794.80 c backtracks : 16 (7.2%) 1794.22/1794.80 c delayed cutoffs : 0 1794.22/1794.80 c repropagations : 0 (0 domain reductions, 0 cutoffs) 1794.22/1794.80 c avg switch length: 1.91 1794.22/1794.80 c switching time : 3.24 1794.22/1794.80 c Solution : 1794.22/1794.80 c Solutions found : 0 (0 improvements) 1794.22/1794.80 c Primal Bound : - 1794.22/1794.80 c Dual Bound : +1.74000000000001e+02 1794.22/1794.80 c Gap : infinite 1794.22/1794.80 c Root Dual Bound : +1.74000000000000e+02 1794.42/1794.95 c Time complete: 1794.48.
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-1868667-1245131885/watcher-1868667-1245131885 -o /tmp/evaluation-result-1868667-1245131885/solver-1868667-1245131885 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868667-1245131885.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.00 1.00 1.00 2/64 1022 /proc/meminfo: memFree=1918632/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=8648 CPUtime=0 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 1096 0 0 0 0 0 0 0 18 0 1 0 180788585 8855552 1080 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/1022/statm: 2162 1087 362 1256 0 901 0 [startup+0.0390671 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1022 /proc/meminfo: memFree=1918632/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=13160 CPUtime=0.02 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 2258 0 0 0 2 0 0 0 18 0 1 0 180788585 13475840 2242 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/1022/statm: 3290 2242 376 1256 0 2029 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13160 [startup+0.101072 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1022 /proc/meminfo: memFree=1918632/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=18112 CPUtime=0.09 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 3288 0 0 0 8 1 0 0 18 0 1 0 180788585 18546688 3272 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/1022/statm: 4528 3280 376 1256 0 3267 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18112 [startup+0.301092 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1022 /proc/meminfo: memFree=1918632/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=22944 CPUtime=0.29 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 4702 0 0 0 27 2 0 0 19 0 1 0 180788585 23494656 4686 1992294400 4194304 9342243 548682068736 18446744073709551615 5010255 0 0 4096 0 0 0 0 17 1 0 0 /proc/1022/statm: 5736 4686 376 1256 0 4475 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22944 [startup+0.701136 s] /proc/loadavg: 1.00 1.00 1.00 2/64 1022 /proc/meminfo: memFree=1918632/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=54352 CPUtime=0.69 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 12724 0 0 0 63 6 0 0 22 0 1 0 180788585 55656448 12354 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 13588 12354 457 1256 0 12327 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54352 [startup+1.50122 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1023 /proc/meminfo: memFree=1858144/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=103956 CPUtime=1.49 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 23622 0 0 0 134 15 0 0 19 0 1 0 180788585 106450944 22326 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 25989 22326 611 1256 0 24728 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103956 [startup+3.10139 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1023 /proc/meminfo: memFree=1830752/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=104932 CPUtime=3.08 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 24392 0 0 0 293 15 0 0 25 0 1 0 180788585 107450368 23096 1992294400 4194304 9342243 548682068736 18446744073709551615 6937477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 26233 23096 611 1256 0 24972 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 104932 [startup+6.30174 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1023 /proc/meminfo: memFree=1827232/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=106112 CPUtime=6.29 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 25274 0 0 0 613 16 0 0 25 0 1 0 180788585 108658688 23402 1992294400 4194304 9342243 548682068736 18446744073709551615 6977879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 26528 23402 611 1256 0 25267 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 106112 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1023 /proc/meminfo: memFree=1822184/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=111540 CPUtime=12.69 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 27723 0 0 0 1250 19 0 0 25 0 1 0 180788585 114216960 25302 1992294400 4194304 9342243 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 27885 25302 633 1256 0 26624 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 111540 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1023 /proc/meminfo: memFree=1815784/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=118816 CPUtime=25.48 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 29440 0 0 0 2527 21 0 0 25 0 1 0 180788585 121667584 26380 1992294400 4194304 9342243 548682068736 18446744073709551615 6962191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 29704 26380 645 1256 0 28443 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 118816 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1023 /proc/meminfo: memFree=1809256/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=125320 CPUtime=51.08 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 31041 0 0 0 5084 24 0 0 25 0 1 0 180788585 128327680 27981 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 31330 27981 645 1256 0 30069 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 125320 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1023 /proc/meminfo: memFree=1808616/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=125320 CPUtime=102.27 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 31209 0 0 0 10197 30 0 0 25 0 1 0 180788585 128327680 28149 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 31330 28149 645 1256 0 30069 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 125320 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1023 /proc/meminfo: memFree=1801128/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=129680 CPUtime=162.25 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 34400 0 0 0 16189 36 0 0 25 0 1 0 180788585 132792320 30005 1992294400 4194304 9342243 548682068736 18446744073709551615 4341890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 32420 30005 645 1256 0 31159 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 129680 [startup+222.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 1029 /proc/meminfo: memFree=1796712/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=148140 CPUtime=222.23 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 44360 0 0 0 22177 46 0 0 25 0 1 0 180788585 151695360 31084 1992294400 4194304 9342243 548682068736 18446744073709551615 6040648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 37035 31084 650 1256 0 35774 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 148140 [startup+282.301 s] /proc/loadavg: 1.01 1.01 1.00 2/65 1029 /proc/meminfo: memFree=1796712/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=148140 CPUtime=282.21 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 54153 0 0 0 28167 54 0 0 25 0 1 0 180788585 151695360 31077 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 37035 31077 650 1256 0 35774 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 148140 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1795496/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=146300 CPUtime=342.19 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 64511 0 0 0 34156 63 0 0 25 0 1 0 180788585 149811200 31395 1992294400 4194304 9342243 548682068736 18446744073709551615 6960706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36575 31395 666 1256 0 35314 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 146300 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1794600/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=145588 CPUtime=402.18 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 85696 0 0 0 40140 78 0 0 25 0 1 0 180788585 149082112 31610 1992294400 4194304 9342243 548682068736 18446744073709551615 6960738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36397 31610 666 1256 0 35136 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 145588 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1795304/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=144252 CPUtime=462.17 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 105441 0 0 0 46125 92 0 0 25 0 1 0 180788585 147714048 31442 1992294400 4194304 9342243 548682068736 18446744073709551615 6960333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36063 31442 666 1256 0 34802 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 144252 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1795112/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=144360 CPUtime=522.15 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 118893 0 0 0 52113 102 0 0 25 0 1 0 180788585 147824640 31474 1992294400 4194304 9342243 548682068736 18446744073709551615 5870010 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36090 31474 666 1256 0 34829 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 144360 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1796008/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=144448 CPUtime=582.13 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 130559 0 0 0 58101 112 0 0 25 0 1 0 180788585 147914752 31249 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36112 31249 667 1256 0 34851 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 144448 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1794792/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=130660 CPUtime=642.12 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 142264 0 0 0 64087 125 0 0 25 0 1 0 180788585 133795840 31110 1992294400 4194304 9342243 548682068736 18446744073709551615 7289219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 32665 31110 667 1256 0 31404 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 130660 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1794664/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=134728 CPUtime=1062.01 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 196033 0 0 0 106008 193 0 0 25 0 1 0 180788585 137961472 31517 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 33682 31517 667 1256 0 32421 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 134728 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1794664/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=133764 CPUtime=1121.99 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 201961 0 0 0 111997 202 0 0 25 0 1 0 180788585 136974336 31469 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 33441 31469 667 1256 0 32180 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 133764 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1794600/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=133744 CPUtime=1181.98 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 207881 0 0 0 117987 211 0 0 25 0 1 0 180788585 136953856 31466 1992294400 4194304 9342243 548682068736 18446744073709551615 6965954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 33436 31466 667 1256 0 32175 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 133744 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1794600/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=133704 CPUtime=1241.97 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 212510 0 0 0 123979 218 0 0 25 0 1 0 180788585 136912896 31469 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 33426 31469 667 1256 0 32165 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 133704 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1794536/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=133704 CPUtime=1301.96 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 215475 0 0 0 129971 225 0 0 25 0 1 0 180788585 136912896 31463 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 33426 31463 667 1256 0 32165 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 133704 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1794472/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=134740 CPUtime=1361.93 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 217165 0 0 0 135962 231 0 0 25 0 1 0 180788585 137973760 31499 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 33685 31499 667 1256 0 32424 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 134740 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1792936/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=146240 CPUtime=1421.92 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 220167 0 0 0 141954 238 0 0 25 0 1 0 180788585 149749760 31858 1992294400 4194304 9342243 548682068736 18446744073709551615 6496559 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36560 31858 667 1256 0 35299 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 146240 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1793320/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=148032 CPUtime=1481.9 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 223978 0 0 0 147945 245 0 0 25 0 1 0 180788585 151584768 31814 1992294400 4194304 9342243 548682068736 18446744073709551615 6978062 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 37008 31814 667 1256 0 35747 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 148032 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1793192/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=147924 CPUtime=1541.89 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 224576 0 0 0 153937 252 0 0 25 0 1 0 180788585 151474176 31807 1992294400 4194304 9342243 548682068736 18446744073709551615 6960563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36981 31807 667 1256 0 35720 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 147924 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1791336/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=146380 CPUtime=1601.87 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 226007 0 0 0 159928 259 0 0 25 0 1 0 180788585 149893120 31865 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36595 31865 667 1256 0 35334 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 146380 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1793960/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=147932 CPUtime=1661.86 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 231198 0 0 0 165918 268 0 0 25 0 1 0 180788585 151482368 31630 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36983 31630 667 1256 0 35722 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 147932 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1794088/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=134856 CPUtime=1721.84 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 231737 0 0 0 171909 275 0 0 25 0 1 0 180788585 138092544 31577 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 33714 31577 667 1256 0 32453 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 134856 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1794280/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=134852 CPUtime=1781.82 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 237728 0 0 0 177899 283 0 0 25 0 1 0 180788585 138088448 31532 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 33713 31532 667 1256 0 32452 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 134852 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1792360/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=146412 CPUtime=1785.02 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 238214 0 0 0 178218 284 0 0 25 0 1 0 180788585 149925888 32018 1992294400 4194304 9342243 548682068736 18446744073709551615 5868521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36603 32018 667 1256 0 35342 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 146412 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1792936/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=146172 CPUtime=1791.42 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 239874 0 0 0 178857 285 0 0 25 0 1 0 180788585 149680128 31865 1992294400 4194304 9342243 548682068736 18446744073709551615 6960333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36543 31865 667 1256 0 35282 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 146172 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1792936/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=146172 CPUtime=1793.02 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 240289 0 0 0 179017 285 0 0 25 0 1 0 180788585 149680128 31866 1992294400 4194304 9342243 548682068736 18446744073709551615 6978062 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36543 31866 667 1256 0 35282 0 Current children cumulated CPU time (s) 1793.02 Current children cumulated vsize (KiB) 146172 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1793000/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=146172 CPUtime=1793.82 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 240700 0 0 0 179096 286 0 0 25 0 1 0 180788585 149680128 31861 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36543 31861 667 1256 0 35282 0 Current children cumulated CPU time (s) 1793.82 Current children cumulated vsize (KiB) 146172 [startup+1794.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1793000/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=146172 CPUtime=1794.22 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 240704 0 0 0 179136 286 0 0 25 0 1 0 180788585 149680128 31865 1992294400 4194304 9342243 548682068736 18446744073709551615 6960356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1022/statm: 36543 31865 667 1256 0 35282 0 Current children cumulated CPU time (s) 1794.22 Current children cumulated vsize (KiB) 146172 [startup+1794.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1029 /proc/meminfo: memFree=1793000/2055920 swapFree=4181536/4192956 [pid=1022] ppid=1020 vsize=130660 CPUtime=1794.42 /proc/1022/stat : 1022 (pbscip.linux.x8) R 1020 1022 923 0 -1 4194304 240709 0 0 0 179156 286 0 0 25 0 1 0 180788585 133795840 31456 1992294400 4194304 9342243 548682068736 18446744073709551615 4802841 0 0 4096 0 0 0 0 17 1 0 0 /proc/1022/statm: 32665 31456 672 1256 0 31404 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (KiB) 130660 Child status: 0 Real time (s): 1794.96 CPU time (s): 1794.49 CPU user time (s): 1791.61 CPU system time (s): 2.88256 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 148500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.61 system time used= 2.88256 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 240717 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= 2047 runsolver used 1.2788 second user time and 3.9464 second system time The end
Begin job on node19 at 2009-06-16 07:58:05 IDJOB=1868667 IDBENCH=1500 IDSOLVER=684 FILE ID=node19/1868667-1245131885 PBS_JOBID= 9363687 Free space on /tmp= 66156 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.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-1868667-1245131885/watcher-1868667-1245131885 -o /tmp/evaluation-result-1868667-1245131885/solver-1868667-1245131885 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868667-1245131885.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d484bc8efed557f17788965b19feafe5 RANDOM SEED=1351189158 node19.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.234 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.234 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: 1919560 kB Buffers: 5028 kB Cached: 68416 kB SwapCached: 6048 kB Active: 66336 kB Inactive: 15808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1919560 kB SwapTotal: 4192956 kB SwapFree: 4181536 kB Dirty: 12780 kB Writeback: 0 kB Mapped: 13424 kB Slab: 40248 kB Committed_AS: 179568 kB PageTables: 1456 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= 66144 MiB End job on node19 at 2009-06-16 08:28:00