Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.38 | 1800.87 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb |
MD5SUM | 35e445ac209f1522afc5b57d4ebf6731 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.406937 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7578 |
Total number of constraints | 21401 |
Number of constraints which are clauses | 20501 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 900 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
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.29/0.34 c SCIP version 1.1.0.7 0.29/0.34 c LP-Solver Clp 1.8.2 0.29/0.34 c user parameter file <scip.set> not found - using default parameters 0.29/0.34 c read problem <HOME/instance-1868619-1245129529.opb> 0.29/0.34 c original problem has 7578 variables (7578 bin, 0 int, 0 impl, 0 cont) and 21401 constraints 0.39/0.44 c No objective function, only one solution is needed. 0.39/0.44 c start presolving problem 0.39/0.44 c presolving: 0.79/0.88 c (round 1) 1249 del vars, 1916 del conss, 530 chg bounds, 450 chg sides, 932 chg coeffs, 0 upgd conss, 420742 impls, 0 clqs 0.89/0.92 c (round 2) 1252 del vars, 3420 del conss, 533 chg bounds, 450 chg sides, 932 chg coeffs, 0 upgd conss, 420894 impls, 0 clqs 1.09/1.11 c (round 3) 1252 del vars, 3426 del conss, 533 chg bounds, 450 chg sides, 932 chg coeffs, 17975 upgd conss, 420894 impls, 0 clqs 1.19/1.23 c presolving (4 rounds): 1.19/1.23 c 1252 deleted vars, 3426 deleted constraints, 533 tightened bounds, 0 added holes, 450 changed sides, 932 changed coefficients 1.19/1.23 c 420894 implications, 0 cliques 1.19/1.23 c presolved problem has 6326 variables (6326 bin, 0 int, 0 impl, 0 cont) and 17975 constraints 1.19/1.23 c 900 constraints of type <knapsack> 1.19/1.23 c 17075 constraints of type <logicor> 1.19/1.23 c transformed objective value is always integral (scale: 1) 1.19/1.23 c Presolving Time: 0.72 1.19/1.23 c SATUNSAT-LIN 1.19/1.23 c ----------------------------------------------------------------------------------------------- 1.19/1.23 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 0] 1.19/1.23 c separating/flowcover/freq = c -1 1.19/1.23 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 0] 1.19/1.23 c separating/cmir/freq = c -1 1.19/1.23 c # additional number of allowed LP iterations 1.19/1.23 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.23 c heuristics/veclendiving/maxlpiterofs = c 1500 1.19/1.23 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.23 c heuristics/veclendiving/maxlpiterquot = c 0.075 1.19/1.23 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.23 c heuristics/veclendiving/freq = c -1 1.19/1.23 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 1] 1.19/1.23 c heuristics/simplerounding/freq = c -1 1.19/1.23 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.23 c heuristics/shifting/freq = c -1 1.19/1.23 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 1] 1.19/1.23 c heuristics/rounding/freq = c -1 1.19/1.23 c # additional number of allowed LP iterations 1.19/1.23 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.23 c heuristics/rootsoldiving/maxlpiterofs = c 1500 1.19/1.23 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.19/1.23 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 1.19/1.23 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 20] 1.19/1.23 c heuristics/rootsoldiving/freq = c -1 1.19/1.23 c # number of nodes added to the contingent of the total nodes 1.19/1.23 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.19/1.23 c heuristics/rens/nodesofs = c 2000 1.19/1.23 c # minimum percentage of integer variables that have to be fixable 1.19/1.23 c # [type: real, range: [0,1], default: 0.5] 1.19/1.23 c heuristics/rens/minfixingrate = c 0.3 1.19/1.23 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 0] 1.19/1.23 c heuristics/rens/freq = c -1 1.19/1.23 c # additional number of allowed LP iterations 1.19/1.23 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.23 c heuristics/pscostdiving/maxlpiterofs = c 1500 1.19/1.23 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.23 c heuristics/pscostdiving/maxlpiterquot = c 0.075 1.19/1.23 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.23 c heuristics/pscostdiving/freq = c -1 1.19/1.23 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 1] 1.19/1.23 c heuristics/oneopt/freq = c -1 1.19/1.23 c # additional number of allowed LP iterations 1.19/1.23 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.23 c heuristics/objpscostdiving/maxlpiterofs = c 1500 1.19/1.23 c # maximal fraction of diving LP iterations compared to total iteration number 1.19/1.23 c # [type: real, range: [0,1], default: 0.01] 1.19/1.23 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 1.19/1.23 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 20] 1.19/1.23 c heuristics/objpscostdiving/freq = c -1 1.19/1.23 c # additional number of allowed LP iterations 1.19/1.23 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.23 c heuristics/linesearchdiving/maxlpiterofs = c 1500 1.19/1.23 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.23 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 1.19/1.23 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.23 c heuristics/linesearchdiving/freq = c -1 1.19/1.23 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.23 c heuristics/intshifting/freq = c -1 1.19/1.23 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.23 c heuristics/intdiving/maxlpiterquot = c 0.075 1.19/1.23 c # additional number of allowed LP iterations 1.19/1.23 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.23 c heuristics/guideddiving/maxlpiterofs = c 1500 1.19/1.23 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.23 c heuristics/guideddiving/maxlpiterquot = c 0.075 1.19/1.23 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.23 c heuristics/guideddiving/freq = c -1 1.19/1.23 c # additional number of allowed LP iterations 1.19/1.23 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.23 c heuristics/fracdiving/maxlpiterofs = c 1500 1.19/1.23 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.23 c heuristics/fracdiving/maxlpiterquot = c 0.075 1.19/1.23 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.23 c heuristics/fracdiving/freq = c -1 1.19/1.23 c # additional number of allowed LP iterations 1.19/1.23 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.23 c heuristics/feaspump/maxlpiterofs = c 2000 1.19/1.23 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 20] 1.19/1.23 c heuristics/feaspump/freq = c -1 1.19/1.23 c # minimum percentage of integer variables that have to be fixed 1.19/1.23 c # [type: real, range: [0,1], default: 0.666] 1.19/1.23 c heuristics/crossover/minfixingrate = c 0.5 1.19/1.23 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.19/1.23 c # [type: real, range: [0,1], default: 0.1] 1.19/1.23 c heuristics/crossover/nodesquot = c 0.15 1.19/1.23 c # number of nodes without incumbent change that heuristic should wait 1.19/1.23 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.19/1.23 c heuristics/crossover/nwaitingnodes = c 100 1.19/1.23 c # number of nodes added to the contingent of the total nodes 1.19/1.23 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.19/1.23 c heuristics/crossover/nodesofs = c 750 1.19/1.23 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 30] 1.19/1.23 c heuristics/crossover/freq = c -1 1.19/1.23 c # additional number of allowed LP iterations 1.19/1.23 c # [type: int, range: [0,2147483647], default: 1000] 1.19/1.23 c heuristics/coefdiving/maxlpiterofs = c 1500 1.19/1.23 c # maximal fraction of diving LP iterations compared to node LP iterations 1.19/1.23 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.19/1.23 c heuristics/coefdiving/maxlpiterquot = c 0.075 1.19/1.23 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: 10] 1.19/1.23 c heuristics/coefdiving/freq = c -1 1.19/1.23 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.23 c presolving/probing/maxrounds = c 0 1.19/1.23 c # should presolving try to simplify knapsacks 1.19/1.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.19/1.23 c constraints/knapsack/simplifyinequalities = c TRUE 1.19/1.23 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.19/1.23 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.19/1.23 c constraints/knapsack/disaggregation = c FALSE 1.19/1.23 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 1.19/1.23 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.23 c constraints/knapsack/maxnumcardlift = c 0 1.19/1.23 c # should presolving try to simplify inequalities 1.19/1.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.19/1.24 c constraints/linear/simplifyinequalities = c TRUE 1.19/1.24 c # maximal number of separation rounds in the root node (-1: unlimited) 1.19/1.24 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.24 c separating/maxroundsroot = c 5 1.19/1.24 c # maximal number of separation rounds per node (-1: unlimited) 1.19/1.24 c # [type: int, range: [-1,2147483647], default: 5] 1.19/1.24 c separating/maxrounds = c 1 1.19/1.24 c # solving stops, if the given number of solutions were found (-1: no limit) 1.19/1.24 c # [type: int, range: [-1,2147483647], default: -1] 1.19/1.24 c limits/solutions = c 1 1.19/1.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.19/1.24 c limits/memory = c 1620 1.19/1.24 c # maximal time in seconds to run 1.19/1.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.19/1.24 c limits/time = c 1791 1.19/1.24 c # frequency for displaying node information lines 1.19/1.24 c # [type: int, range: [-1,2147483647], default: 100] 1.19/1.24 c display/freq = c 10000 1.19/1.24 c ----------------------------------------------------------------------------------------------- 1.19/1.24 c start solving problem 1.19/1.24 c 1.89/1.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.89/1.98 c 1.5s| 1 | 0 | 2035 | 49M| 0 |1330 |6326 | 17k| 17k|6326 | 17k| 0 | 0 | 0 | 4.670329e+02 | -- | Inf 4.29/4.36 c 3.8s| 1 | 0 | 2780 | 50M| 0 |1312 |6326 | 17k| 17k|6326 | 18k| 96 | 0 | 0 | 5.082273e+02 | -- | Inf 6.99/7.09 c 6.5s| 1 | 0 | 3524 | 51M| 0 |1344 |6326 | 17k| 17k|6326 | 18k| 286 | 0 | 0 | 5.566108e+02 | -- | Inf 9.69/9.79 c 9.2s| 1 | 0 | 4242 | 52M| 0 |1378 |6326 | 17k| 17k|6326 | 18k| 385 | 0 | 0 | 5.666884e+02 | -- | Inf 17.49/17.51 c 16.9s| 1 | 0 | 5599 | 53M| 0 |1341 |6326 | 17k| 17k|6326 | 18k| 601 | 0 | 0 | 6.233073e+02 | -- | Inf 21.28/21.38 c 20.7s| 1 | 0 | 6777 | 54M| 0 |1338 |6326 | 17k| 17k|6326 | 18k| 698 | 0 | 0 | 6.338543e+02 | -- | Inf 34.77/34.82 c 34.1s| 1 | 2 | 6777 | 54M| 0 |1338 |6326 | 17k| 17k|6326 | 18k| 698 | 0 | 21 | 6.338543e+02 | -- | Inf 1766.60/1767.13 c 1756s| 10000 | 1883 | 1186k| 100M| 86 |1065 |6326 | 20k| 10k|6326 | 18k| 698 | 12k|3015 | 7.564424e+02 | -- | Inf 1800.10/1800.65 c 1800.10/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.10/1800.65 c Solving Time (sec) : 1789.15 1800.10/1800.65 c Solving Nodes : 10208 1800.10/1800.65 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.10/1800.65 c Dual Bound : +7.56678712863938e+02 1800.10/1800.65 c Gap : infinite 1800.10/1800.65 c NODE 10208 1800.10/1800.65 c DUAL BOUND 756.679 1800.10/1800.65 c PRIMAL BOUND 1e+20 1800.10/1800.65 c GAP 1e+20 1800.10/1800.65 s UNKNOWN 1800.10/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.10/1800.65 c Solving Time : 1789.15 1800.10/1800.65 c Original Problem : 1800.10/1800.65 c Problem name : HOME/instance-1868619-1245129529.opb 1800.10/1800.65 c Variables : 7578 (7578 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.10/1800.65 c Constraints : 21401 initial, 21401 maximal 1800.10/1800.65 c Presolved Problem : 1800.10/1800.65 c Problem name : t_HOME/instance-1868619-1245129529.opb 1800.10/1800.65 c Variables : 6326 (6326 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.10/1800.65 c Constraints : 17975 initial, 20849 maximal 1800.10/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.10/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.65 c dualfix : 0.01 0 0 0 0 0 0 0 0 1800.10/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.65 c implics : 0.09 0 716 0 0 0 0 0 0 1800.10/1800.65 c probing : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.65 c knapsack : 0.06 0 0 0 0 0 0 0 0 1800.10/1800.65 c linear : 0.43 533 3 0 533 0 3426 450 932 1800.10/1800.65 c logicor : 0.07 0 0 0 0 0 0 0 0 1800.10/1800.65 c root node : - 0 - - 0 - - - - 1800.10/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.10/1800.65 c integral : 0 0 0 7764 0 13 271 0 0 15356 1800.10/1800.65 c knapsack : 900 5 210947 0 0 21 1767 1000 0 0 1800.10/1800.65 c logicor : 17075+ 5 207752 0 0 3369 1797761 0 0 0 1800.10/1800.65 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.10/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.10/1800.65 c integral : 518.99 0.00 0.00 518.99 0.00 1800.10/1800.65 c knapsack : 21.93 0.02 21.91 0.00 0.00 1800.10/1800.65 c logicor : 20.96 0.00 20.96 0.00 0.00 1800.10/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.10/1800.65 c Propagators : Time Calls Cutoffs DomReds 1800.10/1800.65 c rootredcost : 0.16 0 0 0 1800.10/1800.65 c pseudoobj : 172.61 211146 0 0 1800.10/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.10/1800.65 c propagation : 2.04 3390 3386 34780 56.2 757 14.6 - 1800.10/1800.65 c infeasible LP : 0.61 477 0 0 0.0 0 0.0 0 1800.10/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.10/1800.65 c applied globally : - - - 13070 43.2 - - - 1800.10/1800.65 c applied locally : - - - 0 0.0 - - - 1800.10/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.10/1800.65 c cut pool : 0.02 4 - - 480 - (maximal pool size: 2895) 1800.10/1800.65 c redcost : 8.04 7709 0 0 0 0 1800.10/1800.65 c impliedbounds : 0.04 5 0 0 0 0 1800.10/1800.65 c intobj : 0.00 0 0 0 0 0 1800.10/1800.65 c gomory : 7.37 5 0 0 2500 0 1800.10/1800.65 c strongcg : 3.72 5 0 0 2500 0 1800.10/1800.65 c cmir : 0.00 0 0 0 0 0 1800.10/1800.65 c flowcover : 0.00 0 0 0 0 0 1800.10/1800.65 c clique : 0.62 5 0 0 37 0 1800.10/1800.65 c zerohalf : 0.00 0 0 0 0 0 1800.10/1800.65 c mcf : 0.11 1 0 0 0 0 1800.10/1800.65 c Pricers : Time Calls Vars 1800.10/1800.65 c problem variables: 0.00 0 0 1800.10/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.10/1800.65 c relpscost : 518.97 7764 13 271 0 0 15356 1800.10/1800.65 c pscost : 0.00 0 0 0 0 0 0 1800.10/1800.65 c inference : 0.00 0 0 0 0 0 0 1800.10/1800.65 c mostinf : 0.00 0 0 0 0 0 0 1800.10/1800.65 c leastinf : 0.00 0 0 0 0 0 0 1800.10/1800.65 c fullstrong : 0.00 0 0 0 0 0 0 1800.10/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0 1800.10/1800.65 c random : 0.00 0 0 0 0 0 0 1800.10/1800.65 c Primal Heuristics : Time Calls Found 1800.10/1800.65 c LP solutions : 0.00 - 0 1800.10/1800.65 c pseudo solutions : 0.00 - 0 1800.10/1800.65 c simplerounding : 0.00 0 0 1800.10/1800.65 c rounding : 0.00 0 0 1800.10/1800.65 c shifting : 0.00 0 0 1800.10/1800.65 c intshifting : 0.00 0 0 1800.10/1800.65 c oneopt : 0.00 0 0 1800.10/1800.65 c fixandinfer : 0.00 0 0 1800.10/1800.65 c feaspump : 0.00 0 0 1800.10/1800.65 c coefdiving : 0.00 0 0 1800.10/1800.65 c pscostdiving : 0.00 0 0 1800.10/1800.65 c fracdiving : 0.00 0 0 1800.10/1800.65 c veclendiving : 0.00 0 0 1800.10/1800.65 c intdiving : 0.00 0 0 1800.10/1800.65 c actconsdiving : 0.00 0 0 1800.10/1800.65 c objpscostdiving : 0.00 0 0 1800.10/1800.65 c rootsoldiving : 0.00 0 0 1800.10/1800.65 c linesearchdiving : 0.00 0 0 1800.10/1800.65 c guideddiving : 0.00 0 0 1800.10/1800.65 c octane : 0.00 0 0 1800.10/1800.65 c rens : 0.00 0 0 1800.10/1800.65 c rins : 0.00 0 0 1800.10/1800.65 c localbranching : 0.00 0 0 1800.10/1800.65 c mutation : 0.00 0 0 1800.10/1800.65 c crossover : 0.00 0 0 1800.10/1800.65 c dins : 0.00 0 0 1800.10/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec 1800.10/1800.65 c primal LP : 0.37 0 0 0.00 0.00 1800.10/1800.65 c dual LP : 947.23 8237 1209915 146.89 1277.32 1800.10/1800.65 c barrier LP : 0.00 0 0 0.00 - 1800.10/1800.65 c diving/probing LP: 0.00 0 0 0.00 - 1800.10/1800.65 c strong branching : 514.22 3058 714677 233.71 1389.83 1800.10/1800.65 c (at root node) : - 21 7771 370.05 - 1800.10/1800.65 c conflict analysis: 0.00 0 0 0.00 - 1800.10/1800.65 c B&B Tree : 1800.10/1800.65 c number of runs : 1 1800.10/1800.65 c nodes : 10208 1800.10/1800.65 c nodes (total) : 10208 1800.10/1800.65 c nodes left : 1926 1800.10/1800.65 c max depth : 86 1800.10/1800.65 c max depth (total): 86 1800.10/1800.65 c backtracks : 1911 (18.7%) 1800.10/1800.65 c delayed cutoffs : 3223 1800.10/1800.65 c repropagations : 6672 (419839 domain reductions, 1350 cutoffs) 1800.10/1800.65 c avg switch length: 4.67 1800.10/1800.65 c switching time : 16.32 1800.10/1800.65 c Solution : 1800.10/1800.65 c Solutions found : 0 (0 improvements) 1800.10/1800.65 c Primal Bound : - 1800.10/1800.65 c Dual Bound : +7.56678712863938e+02 1800.10/1800.65 c Gap : infinite 1800.10/1800.65 c Root Dual Bound : +6.33854275470828e+02 1800.29/1800.86 c Time complete: 1800.36.
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-1868619-1245129529/watcher-1868619-1245129529 -o /tmp/evaluation-result-1868619-1245129529/solver-1868619-1245129529 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868619-1245129529.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 3/64 2409 /proc/meminfo: memFree=1639016/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=5812 CPUtime=0 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 180553562 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/2409/statm: 1453 501 332 1256 0 192 0 [startup+0.07911 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2409 /proc/meminfo: memFree=1639016/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=14076 CPUtime=0.06 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 2448 0 0 0 6 0 0 0 18 0 1 0 180553562 14413824 2432 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/2409/statm: 3519 2442 376 1256 0 2258 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14076 [startup+0.102106 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2409 /proc/meminfo: memFree=1639016/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=15880 CPUtime=0.09 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 2956 0 0 0 8 1 0 0 18 0 1 0 180553562 16261120 2940 1992294400 4194304 9342243 548682068736 18446744073709551615 8247790 0 0 4096 0 0 0 0 17 1 0 0 /proc/2409/statm: 3970 2940 376 1256 0 2709 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15880 [startup+0.301128 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2409 /proc/meminfo: memFree=1639016/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=23736 CPUtime=0.29 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 4838 0 0 0 28 1 0 0 19 0 1 0 180553562 24305664 4822 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/2409/statm: 5934 4830 376 1256 0 4673 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23736 [startup+0.701176 s] /proc/loadavg: 1.00 1.00 1.00 3/64 2409 /proc/meminfo: memFree=1639016/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=61044 CPUtime=0.69 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 14444 0 0 0 62 7 0 0 22 0 1 0 180553562 62509056 14074 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 15261 14074 474 1256 0 14000 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61044 [startup+1.50227 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1575584/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=99168 CPUtime=1.49 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 22764 0 0 0 134 15 0 0 18 0 1 0 180553562 101548032 22308 1992294400 4194304 9342243 548682068736 18446744073709551615 6910929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 24792 22308 619 1256 0 23531 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 99168 [startup+3.10146 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1550368/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=101080 CPUtime=3.09 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 24451 0 0 0 286 23 0 0 25 0 1 0 180553562 103505920 23347 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 25270 23347 643 1256 0 24009 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 101080 [startup+6.30183 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1543464/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=108012 CPUtime=6.29 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 25918 0 0 0 602 27 0 0 25 0 1 0 180553562 110604288 24814 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 27003 24814 654 1256 0 25742 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 108012 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1540072/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=109796 CPUtime=12.68 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 26898 0 0 0 1239 29 0 0 25 0 1 0 180553562 112431104 25273 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 27449 25273 654 1256 0 26188 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 109796 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1530088/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=129976 CPUtime=25.49 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 31462 0 0 0 2514 35 0 0 25 0 1 0 180553562 133095424 27784 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 32494 27784 659 1256 0 31233 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 129976 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1527080/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=129048 CPUtime=51.06 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 40710 0 0 0 5065 41 0 0 25 0 1 0 180553562 132145152 28567 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 32262 28567 673 1256 0 31001 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 129048 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1525672/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=130072 CPUtime=102.25 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 101021 0 0 0 10147 78 0 0 25 0 1 0 180553562 133193728 28911 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 32518 28911 673 1256 0 31257 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 130072 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1526248/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=122824 CPUtime=162.24 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 202509 0 0 0 16091 133 0 0 25 0 1 0 180553562 125771776 28776 1992294400 4194304 9342243 548682068736 18446744073709551615 6240157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 30706 28776 680 1256 0 29445 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 122824 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1522664/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=137064 CPUtime=222.22 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 236725 0 0 0 22060 162 0 0 25 0 1 0 180553562 140353536 29757 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 34266 29757 680 1256 0 33005 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 137064 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1523112/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=131152 CPUtime=282.2 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 264791 0 0 0 28032 188 0 0 25 0 1 0 180553562 134299648 29585 1992294400 4194304 9342243 548682068736 18446744073709551615 6942343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 32788 29585 680 1256 0 31527 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 131152 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1522736/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=130092 CPUtime=342.19 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 336355 0 0 0 33982 237 0 0 25 0 1 0 180553562 133214208 29601 1992294400 4194304 9342243 548682068736 18446744073709551615 8223589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 32523 29601 680 1256 0 31262 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 130092 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1514544/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=148140 CPUtime=402.17 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 388417 0 0 0 39945 272 0 0 25 0 1 0 180553562 151695360 31668 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 37035 31668 680 1256 0 35774 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 148140 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1516080/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=138076 CPUtime=462.16 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 426935 0 0 0 45912 304 0 0 25 0 1 0 180553562 141389824 31241 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 34519 31241 680 1256 0 33258 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 138076 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1512944/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=141972 CPUtime=522.14 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 477090 0 0 0 51872 342 0 0 25 0 1 0 180553562 145379328 32042 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 35493 32042 680 1256 0 34232 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 141972 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1508144/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=152140 CPUtime=582.12 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 497713 0 0 0 57849 363 0 0 25 0 1 0 180553562 155791360 33317 1992294400 4194304 9342243 548682068736 18446744073709551615 6392958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 38035 33317 680 1256 0 36774 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 152140 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1503600/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=148908 CPUtime=642.11 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 513359 0 0 0 63831 380 0 0 25 0 1 0 180553562 152481792 34350 1992294400 4194304 9342243 548682068736 18446744073709551615 6224580 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 37227 34350 680 1256 0 35966 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 148908 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1494320/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=159984 CPUtime=882.04 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 640406 0 0 0 87710 494 0 0 25 0 1 0 180553562 163823616 36674 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 39996 36674 680 1256 0 38735 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 159984 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1489200/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=164496 CPUtime=942.03 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 699201 0 0 0 93666 537 0 0 25 0 1 0 180553562 168443904 37920 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 41124 37920 680 1256 0 39863 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 164496 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1487088/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=173940 CPUtime=1002.01 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 744767 0 0 0 99627 574 0 0 25 0 1 0 180553562 178114560 38260 1992294400 4194304 9342243 548682068736 18446744073709551615 6018241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 43485 38261 680 1256 0 42224 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 173940 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1482224/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=169932 CPUtime=1062 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 783486 0 0 0 105596 604 0 0 25 0 1 0 180553562 174010368 39608 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 42483 39608 680 1256 0 41222 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 169932 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1478192/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=183816 CPUtime=1121.98 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 808796 0 0 0 111567 631 0 0 25 0 1 0 180553562 188227584 41134 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 45954 41134 680 1256 0 44693 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 183816 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1477296/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=185832 CPUtime=1181.96 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 868029 0 0 0 117524 672 0 0 25 0 1 0 180553562 190291968 40866 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 46458 40866 680 1256 0 45197 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 185832 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1473584/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=178892 CPUtime=1241.94 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 921603 0 0 0 123482 712 0 0 25 0 1 0 180553562 183185408 41743 1992294400 4194304 9342243 548682068736 18446744073709551615 6897478 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 44723 41743 680 1256 0 43462 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 178892 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1472880/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=180988 CPUtime=1301.93 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 967544 0 0 0 129442 751 0 0 25 0 1 0 180553562 185331712 41944 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 45247 41944 680 1256 0 43986 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 180988 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1469552/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=192484 CPUtime=1361.92 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 1028972 0 0 0 135399 793 0 0 25 0 1 0 180553562 197103616 42768 1992294400 4194304 9342243 548682068736 18446744073709551615 7008412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 48121 42768 680 1256 0 46860 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 192484 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1470704/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=183996 CPUtime=1421.9 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 1118270 0 0 0 141342 848 0 0 25 0 1 0 180553562 188411904 42448 1992294400 4194304 9342243 548682068736 18446744073709551615 6939152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 45999 42448 680 1256 0 44738 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 183996 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1470128/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=196352 CPUtime=1481.88 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 1230325 0 0 0 147276 912 0 0 25 0 1 0 180553562 201064448 43232 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 49088 43232 680 1256 0 47827 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 196352 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1462896/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=189576 CPUtime=1541.87 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 1275449 0 0 0 153241 946 0 0 25 0 1 0 180553562 194125824 44398 1992294400 4194304 9342243 548682068736 18446744073709551615 6939156 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 47394 44398 680 1256 0 46133 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 189576 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1460848/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=192864 CPUtime=1601.84 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 1299671 0 0 0 159215 969 0 0 25 0 1 0 180553562 197492736 44916 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 48216 44916 680 1256 0 46955 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 192864 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1458352/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=193044 CPUtime=1661.83 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 1353453 0 0 0 165179 1004 0 0 25 0 1 0 180553562 197677056 45502 1992294400 4194304 9342243 548682068736 18446744073709551615 6890364 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 48261 45502 680 1256 0 47000 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 193044 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1456752/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=196780 CPUtime=1721.82 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 1395628 0 0 0 171146 1036 0 0 25 0 1 0 180553562 201502720 45932 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 49195 45932 680 1256 0 47934 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 196780 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1455152/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=198280 CPUtime=1781.8 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 1419370 0 0 0 177121 1059 0 0 25 0 1 0 180553562 203038720 46239 1992294400 4194304 9342243 548682068736 18446744073709551615 6350692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 49570 46239 680 1256 0 48309 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 198280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1454064/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=199632 CPUtime=1800.1 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 1429764 0 0 0 178943 1067 0 0 25 0 1 0 180553562 204423168 46584 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2409/statm: 49908 46584 680 1256 0 48647 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 199632 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2410 /proc/meminfo: memFree=1454064/2055920 swapFree=4192812/4192956 [pid=2409] ppid=2407 vsize=199632 CPUtime=1800.29 /proc/2409/stat : 2409 (pbscip.linux.x8) R 2407 2409 2050 0 -1 4194304 1429865 0 0 0 178962 1067 0 0 25 0 1 0 180553562 204423168 46570 1992294400 4194304 9342243 548682068736 18446744073709551615 5854981 0 0 4096 0 0 0 0 17 1 0 0 /proc/2409/statm: 49908 46570 685 1256 0 48647 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 199632 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.38 CPU user time (s): 1789.67 CPU system time (s): 10.7084 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 210044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.67 system time used= 10.7084 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1429870 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= 2843 runsolver used 1.62375 second user time and 3.51546 second system time The end
Begin job on node11 at 2009-06-16 07:18:49 IDJOB=1868619 IDBENCH=1476 IDSOLVER=684 FILE ID=node11/1868619-1245129529 PBS_JOBID= 9363717 Free space on /tmp= 66196 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.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-1868619-1245129529/watcher-1868619-1245129529 -o /tmp/evaluation-result-1868619-1245129529/solver-1868619-1245129529 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868619-1245129529.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 35e445ac209f1522afc5b57d4ebf6731 RANDOM SEED=863873405 node11.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: 1639432 kB Buffers: 29120 kB Cached: 310404 kB SwapCached: 0 kB Active: 66324 kB Inactive: 286604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1639432 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 12364 kB Writeback: 0 kB Mapped: 23244 kB Slab: 49536 kB Committed_AS: 174908 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= 66184 MiB End job on node11 at 2009-06-16 07:48:52