Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 1625.87 | 1626.48 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.ucl.opb |
MD5SUM | d30cbdfbaf2c404a9c4e9217e33c734d |
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.249961 |
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 | 6392 |
Total number of constraints | 18058 |
Number of constraints which are clauses | 17278 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 780 |
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.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2667427-1276336957.opb> 0.29/0.34 c original problem has 6392 variables (6392 bin, 0 int, 0 impl, 0 cont) and 18058 constraints 0.29/0.34 c problem read 0.29/0.34 c No objective function, only one solution is needed. 0.29/0.35 c presolving settings loaded 0.39/0.45 c presolving: 0.79/0.81 c (round 1) 1053 del vars, 1641 del conss, 469 chg bounds, 390 chg sides, 806 chg coeffs, 0 upgd conss, 361213 impls, 0 clqs 0.79/0.86 c (round 2) 1060 del vars, 2864 del conss, 471 chg bounds, 395 chg sides, 811 chg coeffs, 0 upgd conss, 362479 impls, 0 clqs 0.79/0.88 c (round 3) 1060 del vars, 2879 del conss, 471 chg bounds, 395 chg sides, 811 chg coeffs, 0 upgd conss, 362479 impls, 0 clqs 1.00/1.08 c (round 4) 1060 del vars, 2884 del conss, 471 chg bounds, 395 chg sides, 811 chg coeffs, 15174 upgd conss, 362479 impls, 0 clqs 1.09/1.13 c presolving (5 rounds): 1.09/1.13 c 1060 deleted vars, 2884 deleted constraints, 471 tightened bounds, 0 added holes, 395 changed sides, 811 changed coefficients 1.09/1.13 c 362479 implications, 0 cliques 1.09/1.13 c presolved problem has 5332 variables (5332 bin, 0 int, 0 impl, 0 cont) and 15174 constraints 1.09/1.13 c 780 constraints of type <knapsack> 1.09/1.13 c 14394 constraints of type <logicor> 1.09/1.13 c transformed objective value is always integral (scale: 1) 1.09/1.13 c Presolving Time: 0.63 1.09/1.13 c - non default parameters ---------------------------------------------------------------------- 1.09/1.13 c # SCIP version 1.2.1.2 1.09/1.13 c 1.09/1.13 c # frequency for displaying node information lines 1.09/1.13 c # [type: int, range: [-1,2147483647], default: 100] 1.09/1.13 c display/freq = 10000 1.09/1.13 c 1.09/1.13 c # maximal time in seconds to run 1.09/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.09/1.13 c limits/time = 1799.66 1.09/1.13 c 1.09/1.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.09/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.09/1.13 c limits/memory = 1620 1.09/1.13 c 1.09/1.13 c # solving stops, if the given number of solutions were found (-1: no limit) 1.09/1.13 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.13 c limits/solutions = 1 1.09/1.13 c 1.09/1.13 c # maximal number of separation rounds per node (-1: unlimited) 1.09/1.13 c # [type: int, range: [-1,2147483647], default: 5] 1.09/1.13 c separating/maxrounds = 1 1.09/1.13 c 1.09/1.13 c # maximal number of separation rounds in the root node (-1: unlimited) 1.09/1.13 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.13 c separating/maxroundsroot = 5 1.09/1.13 c 1.09/1.13 c # should presolving try to simplify inequalities 1.09/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.09/1.13 c constraints/linear/simplifyinequalities = TRUE 1.09/1.13 c 1.09/1.13 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.09/1.13 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.09/1.13 c constraints/knapsack/disaggregation = FALSE 1.09/1.13 c 1.09/1.13 c # should presolving try to simplify knapsacks 1.09/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.09/1.13 c constraints/knapsack/simplifyinequalities = TRUE 1.09/1.13 c 1.09/1.13 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.09/1.13 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.13 c presolving/probing/maxrounds = 0 1.09/1.13 c 1.09/1.13 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.09/1.13 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.13 c heuristics/coefdiving/freq = -1 1.09/1.13 c 1.09/1.13 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.13 c heuristics/coefdiving/maxlpiterquot = 0.075 1.09/1.13 c 1.09/1.13 c # additional number of allowed LP iterations 1.09/1.13 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.13 c heuristics/coefdiving/maxlpiterofs = 1500 1.09/1.13 c 1.09/1.13 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.09/1.13 c # [type: int, range: [-1,2147483647], default: 30] 1.09/1.13 c heuristics/crossover/freq = -1 1.09/1.13 c 1.09/1.13 c # number of nodes added to the contingent of the total nodes 1.09/1.13 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.09/1.13 c heuristics/crossover/nodesofs = 750 1.09/1.13 c 1.09/1.13 c # number of nodes without incumbent change that heuristic should wait 1.09/1.13 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.09/1.13 c heuristics/crossover/nwaitingnodes = 100 1.09/1.13 c 1.09/1.13 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.09/1.13 c # [type: real, range: [0,1], default: 0.1] 1.09/1.13 c heuristics/crossover/nodesquot = 0.15 1.09/1.13 c 1.09/1.13 c # minimum percentage of integer variables that have to be fixed 1.09/1.13 c # [type: real, range: [0,1], default: 0.666] 1.09/1.13 c heuristics/crossover/minfixingrate = 0.5 1.09/1.13 c 1.09/1.13 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.09/1.13 c # [type: int, range: [-1,2147483647], default: 20] 1.09/1.13 c heuristics/feaspump/freq = -1 1.09/1.13 c 1.09/1.13 c # additional number of allowed LP iterations 1.09/1.13 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.13 c heuristics/feaspump/maxlpiterofs = 2000 1.09/1.13 c 1.09/1.13 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.09/1.13 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.13 c heuristics/fracdiving/freq = -1 1.09/1.13 c 1.09/1.13 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.13 c heuristics/fracdiving/maxlpiterquot = 0.075 1.09/1.13 c 1.09/1.13 c # additional number of allowed LP iterations 1.09/1.13 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.14 c heuristics/fracdiving/maxlpiterofs = 1500 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.14 c heuristics/guideddiving/freq = -1 1.09/1.14 c 1.09/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.14 c heuristics/guideddiving/maxlpiterquot = 0.075 1.09/1.14 c 1.09/1.14 c # additional number of allowed LP iterations 1.09/1.14 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.14 c heuristics/guideddiving/maxlpiterofs = 1500 1.09/1.14 c 1.09/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.14 c heuristics/intdiving/maxlpiterquot = 0.075 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.14 c heuristics/intshifting/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.14 c heuristics/linesearchdiving/freq = -1 1.09/1.14 c 1.09/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.14 c heuristics/linesearchdiving/maxlpiterquot = 0.075 1.09/1.14 c 1.09/1.14 c # additional number of allowed LP iterations 1.09/1.14 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.14 c heuristics/linesearchdiving/maxlpiterofs = 1500 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.14 c heuristics/nlp/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 20] 1.09/1.14 c heuristics/objpscostdiving/freq = -1 1.09/1.14 c 1.09/1.14 c # maximal fraction of diving LP iterations compared to total iteration number 1.09/1.14 c # [type: real, range: [0,1], default: 0.01] 1.09/1.14 c heuristics/objpscostdiving/maxlpiterquot = 0.015 1.09/1.14 c 1.09/1.14 c # additional number of allowed LP iterations 1.09/1.14 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.14 c heuristics/objpscostdiving/maxlpiterofs = 1500 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.14 c heuristics/oneopt/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.14 c heuristics/pscostdiving/freq = -1 1.09/1.14 c 1.09/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.14 c heuristics/pscostdiving/maxlpiterquot = 0.075 1.09/1.14 c 1.09/1.14 c # additional number of allowed LP iterations 1.09/1.14 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.14 c heuristics/pscostdiving/maxlpiterofs = 1500 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.14 c heuristics/rens/freq = -1 1.09/1.14 c 1.09/1.14 c # minimum percentage of integer variables that have to be fixable 1.09/1.14 c # [type: real, range: [0,1], default: 0.5] 1.09/1.14 c heuristics/rens/minfixingrate = 0.3 1.09/1.14 c 1.09/1.14 c # number of nodes added to the contingent of the total nodes 1.09/1.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.09/1.14 c heuristics/rens/nodesofs = 2000 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 20] 1.09/1.14 c heuristics/rootsoldiving/freq = -1 1.09/1.14 c 1.09/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.09/1.14 c heuristics/rootsoldiving/maxlpiterquot = 0.015 1.09/1.14 c 1.09/1.14 c # additional number of allowed LP iterations 1.09/1.14 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.14 c heuristics/rootsoldiving/maxlpiterofs = 1500 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.14 c heuristics/rounding/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.14 c heuristics/shifting/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.14 c heuristics/simplerounding/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.14 c heuristics/trivial/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.14 c heuristics/trysol/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 10] 1.09/1.14 c heuristics/veclendiving/freq = -1 1.09/1.14 c 1.09/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations 1.09/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.09/1.14 c heuristics/veclendiving/maxlpiterquot = 0.075 1.09/1.14 c 1.09/1.14 c # additional number of allowed LP iterations 1.09/1.14 c # [type: int, range: [0,2147483647], default: 1000] 1.09/1.14 c heuristics/veclendiving/maxlpiterofs = 1500 1.09/1.14 c 1.09/1.14 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 1] 1.09/1.14 c heuristics/zirounding/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.14 c separating/cmir/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: 0] 1.09/1.14 c separating/flowcover/freq = -1 1.09/1.14 c 1.09/1.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 1.09/1.14 c # [type: int, range: [-1,2147483647], default: -1] 1.09/1.14 c separating/rapidlearning/freq = 0 1.09/1.14 c 1.09/1.14 c ----------------------------------------------------------------------------------------------- 1.09/1.14 c start solving 1.09/1.14 c 2.39/2.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 2.39/2.49 c 2.0s| 1 | 0 | 2549 | - | 42M| 0 |1815 |5332 | 15k|5332 | 15k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 6.79/6.83 c 6.2s| 1 | 0 | 4663 | - | 42M| 0 |1772 |5332 | 15k|5332 | 15k| 85 | 0 | 0 | 0.000000e+00 | -- | Inf 11.69/11.70 c 11.1s| 1 | 0 | 6730 | - | 43M| 0 |1905 |5332 | 15k|5332 | 15k| 180 | 0 | 0 | 0.000000e+00 | -- | Inf 18.59/18.63 c 17.9s| 1 | 0 | 8245 | - | 43M| 0 |1920 |5332 | 15k|5332 | 15k| 329 | 0 | 0 | 0.000000e+00 | -- | Inf 26.29/26.37 c 25.6s| 1 | 0 | 10520 | - | 44M| 0 |1781 |5332 | 15k|5332 | 15k| 427 | 0 | 0 | 0.000000e+00 | -- | Inf 35.28/35.36 c 34.5s| 1 | 0 | 12419 | - | 44M| 0 |1911 |5332 | 15k|5332 | 15k| 515 | 0 | 0 | 0.000000e+00 | -- | Inf 92.46/92.54 c 91.3s| 1 | 2 | 12419 | - | 44M| 0 |1911 |5332 | 15k|5332 | 15k| 515 | 0 | 28 | 0.000000e+00 | -- | Inf 1625.68/1626.36 c 1625.68/1626.36 c SCIP Status : problem is solved [infeasible] 1625.68/1626.36 c Solving Time (sec) : 1612.56 1625.68/1626.36 c Solving Nodes : 1810 1625.68/1626.36 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1625.68/1626.36 c Dual Bound : +1.00000000000000e+20 1625.68/1626.36 c Gap : 0.00 % 1625.68/1626.36 s UNSATISFIABLE 1625.68/1626.36 c SCIP Status : problem is solved [infeasible] 1625.68/1626.36 c Solving Time : 1612.56 1625.68/1626.36 c Original Problem : 1625.68/1626.36 c Problem name : HOME/instance-2667427-1276336957.opb 1625.68/1626.36 c Variables : 6392 (6392 binary, 0 integer, 0 implicit integer, 0 continuous) 1625.68/1626.36 c Constraints : 18058 initial, 18058 maximal 1625.68/1626.36 c Presolved Problem : 1625.68/1626.36 c Problem name : t_HOME/instance-2667427-1276336957.opb 1625.68/1626.36 c Variables : 5332 (5332 binary, 0 integer, 0 implicit integer, 0 continuous) 1625.68/1626.36 c Constraints : 15174 initial, 16401 maximal 1625.68/1626.36 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1625.68/1626.36 c trivial : 0.00 0 0 0 0 0 0 0 0 1625.68/1626.36 c dualfix : 0.00 0 0 0 0 0 0 0 0 1625.68/1626.36 c boundshift : 0.00 0 0 0 0 0 0 0 0 1625.68/1626.36 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1625.68/1626.36 c implics : 0.05 0 585 0 0 0 0 0 0 1625.68/1626.36 c probing : 0.00 0 0 0 0 0 0 0 0 1625.68/1626.36 c knapsack : 0.01 0 0 0 0 0 0 0 0 1625.68/1626.36 c linear : 0.43 471 4 0 471 0 2884 395 811 1625.68/1626.36 c logicor : 0.07 0 0 0 0 0 0 0 0 1625.68/1626.36 c root node : - 827 - - 827 - - - - 1625.68/1626.36 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1625.68/1626.36 c integral : 0 0 0 1419 0 9 36 0 0 2788 1625.68/1626.36 c knapsack : 780 5 29322 0 0 3 922 1003 0 0 1625.68/1626.36 c logicor : 14394+ 5 28120 0 0 731 279825 0 0 0 1625.68/1626.36 c countsols : 0 0 0 0 0 0 0 0 0 0 1625.68/1626.36 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1625.68/1626.36 c integral : 804.83 0.00 0.00 804.83 0.00 1625.68/1626.36 c knapsack : 0.80 0.02 0.78 0.00 0.00 1625.68/1626.36 c logicor : 2.53 0.03 2.50 0.00 0.00 1625.68/1626.36 c countsols : 0.00 0.00 0.00 0.00 0.00 1625.68/1626.36 c Propagators : Time Calls Cutoffs DomReds 1625.68/1626.36 c vbounds : 0.01 1 0 0 1625.68/1626.36 c rootredcost : 0.03 0 0 0 1625.68/1626.36 c pseudoobj : 0.00 0 0 0 1625.68/1626.36 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1625.68/1626.36 c propagation : 0.31 734 726 3897 27.5 222 14.0 - 1625.68/1626.36 c infeasible LP : 0.05 12 12 30 10.1 1 2.0 0 1625.68/1626.36 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1625.68/1626.36 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1625.68/1626.36 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1625.68/1626.36 c applied globally : - - - 1803 18.0 - - - 1625.68/1626.36 c applied locally : - - - 0 0.0 - - - 1625.68/1626.36 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1625.68/1626.36 c cut pool : 0.00 4 - - 126 - (maximal pool size: 1624) 1625.68/1626.36 c redcost : 0.93 1409 0 0 0 0 1625.68/1626.36 c impliedbounds : 0.02 5 0 0 0 0 1625.68/1626.36 c intobj : 0.00 0 0 0 0 0 1625.68/1626.36 c cgmip : 0.00 0 0 0 0 0 1625.68/1626.36 c gomory : 7.76 5 0 0 1977 0 1625.68/1626.36 c strongcg : 5.99 5 0 0 2203 0 1625.68/1626.36 c cmir : 0.00 0 0 0 0 0 1625.68/1626.36 c flowcover : 0.00 0 0 0 0 0 1625.68/1626.36 c clique : 0.67 5 0 0 36 0 1625.68/1626.36 c zerohalf : 0.00 0 0 0 0 0 1625.68/1626.36 c mcf : 0.05 1 0 0 0 0 1625.68/1626.36 c rapidlearning : 0.00 0 0 0 0 0 1625.68/1626.36 c Pricers : Time Calls Vars 1625.68/1626.36 c problem variables: 0.00 0 0 1625.68/1626.36 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1625.68/1626.36 c relpscost : 804.83 1419 9 36 0 0 2788 1625.68/1626.36 c pscost : 0.00 0 0 0 0 0 0 1625.68/1626.36 c inference : 0.00 0 0 0 0 0 0 1625.68/1626.36 c mostinf : 0.00 0 0 0 0 0 0 1625.68/1626.36 c leastinf : 0.00 0 0 0 0 0 0 1625.68/1626.36 c fullstrong : 0.00 0 0 0 0 0 0 1625.68/1626.36 c allfullstrong : 0.00 0 0 0 0 0 0 1625.68/1626.36 c random : 0.00 0 0 0 0 0 0 1625.68/1626.36 c Primal Heuristics : Time Calls Found 1625.68/1626.36 c LP solutions : 0.00 - 0 1625.68/1626.36 c pseudo solutions : 0.00 - 0 1625.68/1626.36 c trivial : 0.01 1 0 1625.68/1626.36 c simplerounding : 0.00 0 0 1625.68/1626.36 c zirounding : 0.00 0 0 1625.68/1626.36 c rounding : 0.00 0 0 1625.68/1626.36 c shifting : 0.00 0 0 1625.68/1626.36 c intshifting : 0.00 0 0 1625.68/1626.36 c oneopt : 0.00 0 0 1625.68/1626.36 c twoopt : 0.00 0 0 1625.68/1626.36 c fixandinfer : 0.00 0 0 1625.68/1626.36 c feaspump : 0.00 0 0 1625.68/1626.36 c coefdiving : 0.00 0 0 1625.68/1626.36 c pscostdiving : 0.00 0 0 1625.68/1626.36 c fracdiving : 0.00 0 0 1625.68/1626.36 c veclendiving : 0.00 0 0 1625.68/1626.36 c intdiving : 0.00 0 0 1625.68/1626.36 c actconsdiving : 0.00 0 0 1625.68/1626.36 c objpscostdiving : 0.00 0 0 1625.68/1626.36 c rootsoldiving : 0.00 0 0 1625.68/1626.36 c linesearchdiving : 0.00 0 0 1625.68/1626.36 c guideddiving : 0.00 0 0 1625.68/1626.36 c octane : 0.00 0 0 1625.68/1626.36 c rens : 0.00 0 0 1625.68/1626.36 c rins : 0.00 0 0 1625.68/1626.36 c localbranching : 0.00 0 0 1625.68/1626.36 c mutation : 0.00 0 0 1625.68/1626.36 c crossover : 0.00 0 0 1625.68/1626.36 c dins : 0.00 0 0 1625.68/1626.36 c undercover : 0.00 0 0 1625.68/1626.36 c nlp : 0.00 0 0 1625.68/1626.36 c trysol : 0.00 0 0 1625.68/1626.36 c LP : Time Calls Iterations Iter/call Iter/sec 1625.68/1626.36 c primal LP : 0.02 0 0 0.00 0.00 1625.68/1626.36 c dual LP : 773.46 1434 459800 320.64 594.47 1625.68/1626.36 c lex dual LP : 0.00 0 0 0.00 - 1625.68/1626.36 c barrier LP : 0.00 0 0 0.00 - 1625.68/1626.36 c diving/probing LP: 0.00 0 0 0.00 - 1625.68/1626.36 c strong branching : 803.78 631 357181 566.06 444.38 1625.68/1626.36 c (at root node) : - 28 20256 723.43 - 1625.68/1626.36 c conflict analysis: 0.00 0 0 0.00 - 1625.68/1626.36 c B&B Tree : 1625.68/1626.36 c number of runs : 1 1625.68/1626.36 c nodes : 1810 1625.68/1626.36 c nodes (total) : 1810 1625.68/1626.36 c nodes left : 0 1625.68/1626.36 c max depth : 57 1625.68/1626.36 c max depth (total): 57 1625.68/1626.36 c backtracks : 393 (21.7%) 1625.68/1626.36 c delayed cutoffs : 979 1625.68/1626.36 c repropagations : 2052 (90723 domain reductions, 339 cutoffs) 1625.68/1626.36 c avg switch length: 3.83 1625.68/1626.36 c switching time : 2.03 1625.68/1626.36 c Solution : 1625.68/1626.36 c Solutions found : 0 (0 improvements) 1625.68/1626.36 c Primal Bound : infeasible 1625.68/1626.36 c Dual Bound : - 1625.68/1626.36 c Gap : 0.00 % 1625.68/1626.36 c Root Dual Bound : +0.00000000000000e+00 1625.68/1626.36 c Root Iterations : 12419 1625.78/1626.48 c Time complete: 1625.87.
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-2667427-1276336957/watcher-2667427-1276336957 -o /tmp/evaluation-result-2667427-1276336957/solver-2667427-1276336957 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667427-1276336957.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.14 2.09 1.70 3/106 10894 /proc/meminfo: memFree=1850756/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=6696 CPUtime=0 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 9297245 6856704 903 1992294400 4194304 8223781 140733698917216 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10894/statm: 1674 913 343 984 0 687 0 [startup+0.022206 s] /proc/loadavg: 2.14 2.09 1.70 3/106 10894 /proc/meminfo: memFree=1850756/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=9624 CPUtime=0.01 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1695 0 0 0 1 0 0 0 20 0 1 0 9297245 9854976 1615 1992294400 4194304 8223781 140733698917216 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10894/statm: 2406 1615 363 984 0 1419 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9624 [startup+0.10122 s] /proc/loadavg: 2.14 2.09 1.70 3/106 10894 /proc/meminfo: memFree=1850756/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=13252 CPUtime=0.09 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 2607 0 0 0 9 0 0 0 22 0 1 0 9297245 13570048 2527 1992294400 4194304 8223781 140733698917216 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10894/statm: 3313 2527 363 984 0 2326 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13252 [startup+0.301255 s] /proc/loadavg: 2.14 2.09 1.70 3/106 10894 /proc/meminfo: memFree=1850756/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=20612 CPUtime=0.29 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 4464 0 0 0 28 1 0 0 22 0 1 0 9297245 21106688 4384 1992294400 4194304 8223781 140733698917216 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10894/statm: 5153 4384 363 984 0 4166 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20612 [startup+0.701327 s] /proc/loadavg: 2.14 2.09 1.70 3/106 10894 /proc/meminfo: memFree=1850756/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=55108 CPUtime=0.69 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 13079 0 0 0 64 5 0 0 24 0 1 0 9297245 56430592 12635 1992294400 4194304 8223781 140733698917216 18446744073709551615 5955857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 13777 12635 444 984 0 12790 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 55108 [startup+1.50047 s] /proc/loadavg: 2.05 2.07 1.69 2/107 10895 /proc/meminfo: memFree=1791848/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=86088 CPUtime=1.49 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 23605 0 0 0 136 13 0 0 25 0 1 0 9297245 88154112 20013 1992294400 4194304 8223781 140733698917216 18446744073709551615 6567930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 21522 20013 549 984 0 20535 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86088 [startup+3.10076 s] /proc/loadavg: 2.05 2.07 1.69 2/107 10895 /proc/meminfo: memFree=1771636/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=86908 CPUtime=3.09 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 24972 0 0 0 292 17 0 0 25 0 1 0 9297245 88993792 20114 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 21727 20114 570 984 0 20740 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 86908 [startup+6.30033 s] /proc/loadavg: 2.05 2.07 1.69 2/107 10895 /proc/meminfo: memFree=1767544/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=90860 CPUtime=6.29 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 28164 0 0 0 603 26 0 0 25 0 1 0 9297245 93040640 21095 1992294400 4194304 8223781 140733698917216 18446744073709551615 6567850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 22715 21095 573 984 0 21728 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 90860 [startup+12.7005 s] /proc/loadavg: 1.88 2.03 1.69 2/107 10895 /proc/meminfo: memFree=1765932/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=92728 CPUtime=12.69 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 32213 0 0 0 1238 31 0 0 25 0 1 0 9297245 94953472 21471 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 23182 21471 573 984 0 22195 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 92728 [startup+25.5018 s] /proc/loadavg: 1.75 2.00 1.68 2/107 10897 /proc/meminfo: memFree=1764320/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=95068 CPUtime=25.48 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 38017 0 0 0 2508 40 0 0 25 0 1 0 9297245 97349632 21947 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 23767 21947 573 984 0 22780 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 95068 [startup+51.1013 s] /proc/loadavg: 1.49 1.92 1.66 2/107 10897 /proc/meminfo: memFree=1764568/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=95512 CPUtime=51.07 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 59062 0 0 0 5050 57 0 0 25 0 1 0 9297245 97804288 22065 1992294400 4194304 8223781 140733698917216 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 23878 22065 576 984 0 22891 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 95512 [startup+102.308 s] /proc/loadavg: 1.19 1.76 1.62 2/107 10899 /proc/meminfo: memFree=1763452/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=95168 CPUtime=102.26 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 113970 0 0 0 10133 93 0 0 25 0 1 0 9297245 97452032 22123 1992294400 4194304 8223781 140733698917216 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 23792 22123 578 984 0 22805 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 95168 [startup+162.301 s] /proc/loadavg: 1.07 1.62 1.58 2/107 10899 /proc/meminfo: memFree=1764320/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=95156 CPUtime=162.24 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 165883 0 0 0 16091 133 0 0 25 0 1 0 9297245 97439744 22036 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 23789 22036 578 984 0 22802 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 95156 [startup+222.301 s] /proc/loadavg: 1.02 1.50 1.54 2/107 10901 /proc/meminfo: memFree=1764320/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=95172 CPUtime=222.21 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 222915 0 0 0 22046 175 0 0 25 0 1 0 9297245 97456128 22016 1992294400 4194304 8223781 140733698917216 18446744073709551615 6569884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 23793 22016 579 984 0 22806 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 95172 [startup+282.301 s] /proc/loadavg: 1.01 1.41 1.50 2/107 10903 /proc/meminfo: memFree=1764320/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=95556 CPUtime=282.19 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 277976 0 0 0 28005 214 0 0 25 0 1 0 9297245 97849344 22094 1992294400 4194304 8223781 140733698917216 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 23889 22094 579 984 0 22902 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 95556 [startup+342.3 s] /proc/loadavg: 1.00 1.33 1.47 2/107 10905 /proc/meminfo: memFree=1764196/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=95376 CPUtime=342.16 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 331887 0 0 0 33962 254 0 0 25 0 1 0 9297245 97665024 22039 1992294400 4194304 8223781 140733698917216 18446744073709551615 6248430 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 23844 22039 579 984 0 22857 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 95376 [startup+402.3 s] /proc/loadavg: 1.00 1.27 1.43 2/107 10907 /proc/meminfo: memFree=1763824/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=95420 CPUtime=402.14 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 386776 0 0 0 39917 297 0 0 25 0 1 0 9297245 97710080 21898 1992294400 4194304 8223781 140733698917216 18446744073709551615 6448550 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 23855 21898 579 984 0 22868 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 95420 [startup+462.302 s] /proc/loadavg: 1.00 1.22 1.41 2/107 10907 /proc/meminfo: memFree=1762336/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=96612 CPUtime=462.11 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 440436 0 0 0 45873 338 0 0 25 0 1 0 9297245 98930688 22319 1992294400 4194304 8223781 140733698917216 18446744073709551615 6446865 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 24153 22319 583 984 0 23166 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 96612 [startup+522.302 s] /proc/loadavg: 1.00 1.18 1.38 2/107 10909 /proc/meminfo: memFree=1761716/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=97192 CPUtime=522.09 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 504266 0 0 0 51821 388 0 0 25 0 1 0 9297245 99524608 22589 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 24298 22589 583 984 0 23311 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 97192 [startup+582.301 s] /proc/loadavg: 1.00 1.14 1.35 2/107 10911 /proc/meminfo: memFree=1760104/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=98648 CPUtime=582.07 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 581307 0 0 0 57763 444 0 0 25 0 1 0 9297245 101015552 23011 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 24662 23011 583 984 0 23675 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 98648 [startup+642.301 s] /proc/loadavg: 1.00 1.11 1.33 2/107 10913 /proc/meminfo: memFree=1758616/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=100112 CPUtime=642.06 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 636976 0 0 0 63719 487 0 0 25 0 1 0 9297245 102514688 23243 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 25028 23243 583 984 0 24041 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 100112 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1753284/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=104588 CPUtime=1001.91 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1058043 0 0 0 99386 805 0 0 25 0 1 0 9297245 107098112 24357 1992294400 4194304 8223781 140733698917216 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 26147 24357 583 984 0 25160 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 104588 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.19 2/107 10926 /proc/meminfo: memFree=1753036/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=105196 CPUtime=1061.89 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1126915 0 0 0 105332 857 0 0 25 0 1 0 9297245 107720704 24473 1992294400 4194304 8223781 140733698917216 18446744073709551615 6612636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 26299 24473 583 984 0 25312 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 105196 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 10928 /proc/meminfo: memFree=1751176/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=106368 CPUtime=1121.87 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1188938 0 0 0 111285 902 0 0 25 0 1 0 9297245 108920832 24906 1992294400 4194304 8223781 140733698917216 18446744073709551615 6450707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 26592 24906 583 984 0 25605 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 106368 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.17 2/107 10930 /proc/meminfo: memFree=1751672/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=106552 CPUtime=1181.84 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1246025 0 0 0 117240 944 0 0 25 0 1 0 9297245 109109248 24886 1992294400 4194304 8223781 140733698917216 18446744073709551615 6564450 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 26638 24886 583 984 0 25651 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 106552 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.15 2/107 10932 /proc/meminfo: memFree=1751052/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=106948 CPUtime=1241.83 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1313092 0 0 0 123187 996 0 0 25 0 1 0 9297245 109514752 24931 1992294400 4194304 8223781 140733698917216 18446744073709551615 6568093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 26737 24931 583 984 0 25750 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 106948 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 10934 /proc/meminfo: memFree=1748696/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=109428 CPUtime=1301.81 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1379238 0 0 0 129137 1044 0 0 25 0 1 0 9297245 112054272 25576 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 27357 25576 583 984 0 26370 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 109428 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 10934 /proc/meminfo: memFree=1746712/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=111160 CPUtime=1361.78 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1437883 0 0 0 135089 1089 0 0 25 0 1 0 9297245 113827840 26066 1992294400 4194304 8223781 140733698917216 18446744073709551615 6560128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 27790 26066 583 984 0 26803 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 111160 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.12 2/107 10936 /proc/meminfo: memFree=1746836/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=111420 CPUtime=1421.76 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1492871 0 0 0 141043 1133 0 0 25 0 1 0 9297245 114094080 25888 1992294400 4194304 8223781 140733698917216 18446744073709551615 6448527 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 27855 25888 583 984 0 26868 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 111420 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 10938 /proc/meminfo: memFree=1745596/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=112748 CPUtime=1481.73 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1542361 0 0 0 146995 1178 0 0 25 0 1 0 9297245 115453952 26334 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 28187 26334 583 984 0 27200 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 112748 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 10940 /proc/meminfo: memFree=1744852/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=113304 CPUtime=1541.72 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1600837 0 0 0 152952 1220 0 0 25 0 1 0 9297245 116023296 26496 1992294400 4194304 8223781 140733698917216 18446744073709551615 6610268 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 28326 26496 583 984 0 27339 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 113304 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10942 /proc/meminfo: memFree=1745100/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=113676 CPUtime=1601.69 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1666938 0 0 0 158901 1268 0 0 25 0 1 0 9297245 116404224 26535 1992294400 4194304 8223781 140733698917216 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 28419 26535 583 984 0 27432 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 113676 Solver just ended. Dumping a history of the last processes samples [startup+1612.7 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10942 /proc/meminfo: memFree=1744232/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=113764 CPUtime=1612.08 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1674962 0 0 0 159933 1275 0 0 25 0 1 0 9297245 116494336 26647 1992294400 4194304 8223781 140733698917216 18446744073709551615 6614449 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 28441 26647 583 984 0 27454 0 Current children cumulated CPU time (s) 1612.08 Current children cumulated vsize (KiB) 113764 [startup+1619.1 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10942 /proc/meminfo: memFree=1744728/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=113704 CPUtime=1618.49 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1681246 0 0 0 160569 1280 0 0 25 0 1 0 9297245 116432896 26575 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 28426 26575 583 984 0 27439 0 Current children cumulated CPU time (s) 1618.49 Current children cumulated vsize (KiB) 113704 [startup+1622.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10942 /proc/meminfo: memFree=1744480/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=113940 CPUtime=1621.69 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1684349 0 0 0 160887 1282 0 0 25 0 1 0 9297245 116674560 26551 1992294400 4194304 8223781 140733698917216 18446744073709551615 6599292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 28485 26551 583 984 0 27498 0 Current children cumulated CPU time (s) 1621.69 Current children cumulated vsize (KiB) 113940 [startup+1623.9 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10942 /proc/meminfo: memFree=1744108/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=113984 CPUtime=1623.28 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1685717 0 0 0 161045 1283 0 0 25 0 1 0 9297245 116719616 26678 1992294400 4194304 8223781 140733698917216 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 28496 26678 583 984 0 27509 0 Current children cumulated CPU time (s) 1623.28 Current children cumulated vsize (KiB) 113984 [startup+1625.5 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10942 /proc/meminfo: memFree=1744108/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=114300 CPUtime=1624.89 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1687064 0 0 0 161204 1285 0 0 25 0 1 0 9297245 117043200 26735 1992294400 4194304 8223781 140733698917216 18446744073709551615 6502686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 28575 26735 583 984 0 27588 0 Current children cumulated CPU time (s) 1624.89 Current children cumulated vsize (KiB) 114300 [startup+1625.9 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10942 /proc/meminfo: memFree=1743860/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=114300 CPUtime=1625.28 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1687277 0 0 0 161243 1285 0 0 25 0 1 0 9297245 117043200 26735 1992294400 4194304 8223781 140733698917216 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 28575 26735 583 984 0 27588 0 Current children cumulated CPU time (s) 1625.28 Current children cumulated vsize (KiB) 114300 [startup+1626.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10942 /proc/meminfo: memFree=1743860/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=114300 CPUtime=1625.68 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1687719 0 0 0 161283 1285 0 0 25 0 1 0 9297245 117043200 26758 1992294400 4194304 8223781 140733698917216 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10894/statm: 28575 26758 583 984 0 27588 0 Current children cumulated CPU time (s) 1625.68 Current children cumulated vsize (KiB) 114300 [startup+1626.4 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10942 /proc/meminfo: memFree=1743860/2059040 swapFree=4136620/4192956 [pid=10894] ppid=10892 vsize=110372 CPUtime=1625.78 /proc/10894/stat : 10894 (pbscip.linux.x8) R 10892 10894 10791 0 -1 4202496 1687723 0 0 0 161293 1285 0 0 25 0 1 0 9297245 113020928 25805 1992294400 4194304 8223781 140733698917216 18446744073709551615 6207141 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10894/statm: 27593 25805 587 984 0 26606 0 Current children cumulated CPU time (s) 1625.78 Current children cumulated vsize (KiB) 110372 Child status: 0 Real time (s): 1626.48 CPU time (s): 1625.87 CPU user time (s): 1613 CPU system time (s): 12.871 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 115752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1613 system time used= 12.871 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1687732 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= 2 involuntary context switches= 19563 runsolver used 2.6236 second user time and 7.73982 second system time The end
Begin job on node012 at 2010-06-12 12:02:37 IDJOB=2667427 IDBENCH=1478 IDSOLVER=1169 FILE ID=node012/2667427-1276336957 PBS_JOBID= 11173179 Free space on /tmp= 62408 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667427-1276336957/watcher-2667427-1276336957 -o /tmp/evaluation-result-2667427-1276336957/solver-2667427-1276336957 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667427-1276336957.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d30cbdfbaf2c404a9c4e9217e33c734d RANDOM SEED=448942748 node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1851160 kB Buffers: 15884 kB Cached: 109212 kB SwapCached: 16524 kB Active: 109308 kB Inactive: 35288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1851160 kB SwapTotal: 4192956 kB SwapFree: 4136620 kB Dirty: 5068 kB Writeback: 0 kB AnonPages: 10760 kB Mapped: 9228 kB Slab: 41452 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182180 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62404 MiB End job on node012 at 2010-06-12 12:29:43