Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? | 1794.86 | 1795.45 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb |
MD5SUM | 02e31ca1ab9f95407d6e9ec422f4634a |
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 | 2.83357 |
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 | 9071 |
Total number of constraints | 25914 |
Number of constraints which are clauses | 25190 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 724 |
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 | 39 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 132 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.39/0.40 c SCIP version 1.1.0.7 0.39/0.40 c LP-Solver SoPlex 1.4.1 0.39/0.40 c user parameter file <scip.set> not found - using default parameters 0.39/0.40 c read problem <HOME/instance-1868574-1245128526.opb> 0.39/0.40 c original problem has 9071 variables (9071 bin, 0 int, 0 impl, 0 cont) and 25914 constraints 0.49/0.52 c No objective function, only one solution is needed. 0.49/0.52 c start presolving problem 0.49/0.52 c presolving: 0.89/0.99 c (round 1) 519 del vars, 291 del conss, 97 chg bounds, 362 chg sides, 740 chg coeffs, 0 upgd conss, 431849 impls, 0 clqs 0.99/1.03 c (round 2) 520 del vars, 1143 del conss, 98 chg bounds, 362 chg sides, 740 chg coeffs, 0 upgd conss, 431849 impls, 0 clqs 0.99/1.05 c (round 3) 528 del vars, 1159 del conss, 105 chg bounds, 362 chg sides, 740 chg coeffs, 0 upgd conss, 432102 impls, 0 clqs 0.99/1.08 c (round 4) 528 del vars, 1165 del conss, 106 chg bounds, 362 chg sides, 740 chg coeffs, 0 upgd conss, 432145 impls, 0 clqs 0.99/1.10 c (round 5) 530 del vars, 1168 del conss, 106 chg bounds, 362 chg sides, 740 chg coeffs, 0 upgd conss, 432227 impls, 0 clqs 1.29/1.30 c (round 6) 530 del vars, 1170 del conss, 106 chg bounds, 362 chg sides, 740 chg coeffs, 24744 upgd conss, 432227 impls, 0 clqs 1.39/1.45 c presolving (7 rounds): 1.39/1.45 c 530 deleted vars, 1170 deleted constraints, 106 tightened bounds, 0 added holes, 362 changed sides, 740 changed coefficients 1.39/1.45 c 432227 implications, 0 cliques 1.39/1.45 c presolved problem has 8541 variables (8541 bin, 0 int, 0 impl, 0 cont) and 24744 constraints 1.39/1.45 c 724 constraints of type <knapsack> 1.39/1.45 c 24020 constraints of type <logicor> 1.39/1.45 c transformed objective value is always integral (scale: 1) 1.39/1.45 c Presolving Time: 0.83 1.39/1.45 c SATUNSAT-LIN 1.39/1.45 c ----------------------------------------------------------------------------------------------- 1.39/1.45 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.45 c separating/flowcover/freq = c -1 1.39/1.45 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.45 c separating/cmir/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/veclendiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/veclendiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/veclendiving/freq = c -1 1.39/1.45 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.45 c heuristics/simplerounding/freq = c -1 1.39/1.45 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/shifting/freq = c -1 1.39/1.45 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.45 c heuristics/rounding/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/rootsoldiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 1.39/1.45 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 1.39/1.45 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.45 c heuristics/rootsoldiving/freq = c -1 1.39/1.45 c # number of nodes added to the contingent of the total nodes 1.39/1.45 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.39/1.45 c heuristics/rens/nodesofs = c 2000 1.39/1.45 c # minimum percentage of integer variables that have to be fixable 1.39/1.45 c # [type: real, range: [0,1], default: 0.5] 1.39/1.45 c heuristics/rens/minfixingrate = c 0.3 1.39/1.45 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 0] 1.39/1.45 c heuristics/rens/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/pscostdiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/pscostdiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/pscostdiving/freq = c -1 1.39/1.45 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 1] 1.39/1.45 c heuristics/oneopt/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/objpscostdiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to total iteration number 1.39/1.45 c # [type: real, range: [0,1], default: 0.01] 1.39/1.45 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 1.39/1.45 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.45 c heuristics/objpscostdiving/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/linesearchdiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/linesearchdiving/freq = c -1 1.39/1.45 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/intshifting/freq = c -1 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/intdiving/maxlpiterquot = c 0.075 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/guideddiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/guideddiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/guideddiving/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/fracdiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/fracdiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/fracdiving/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/feaspump/maxlpiterofs = c 2000 1.39/1.45 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 20] 1.39/1.45 c heuristics/feaspump/freq = c -1 1.39/1.45 c # minimum percentage of integer variables that have to be fixed 1.39/1.45 c # [type: real, range: [0,1], default: 0.666] 1.39/1.45 c heuristics/crossover/minfixingrate = c 0.5 1.39/1.45 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 1.39/1.45 c # [type: real, range: [0,1], default: 0.1] 1.39/1.45 c heuristics/crossover/nodesquot = c 0.15 1.39/1.45 c # number of nodes without incumbent change that heuristic should wait 1.39/1.45 c # [type: longint, range: [0,9223372036854775807], default: 200] 1.39/1.45 c heuristics/crossover/nwaitingnodes = c 100 1.39/1.45 c # number of nodes added to the contingent of the total nodes 1.39/1.45 c # [type: longint, range: [0,9223372036854775807], default: 500] 1.39/1.45 c heuristics/crossover/nodesofs = c 750 1.39/1.45 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 30] 1.39/1.45 c heuristics/crossover/freq = c -1 1.39/1.45 c # additional number of allowed LP iterations 1.39/1.45 c # [type: int, range: [0,2147483647], default: 1000] 1.39/1.45 c heuristics/coefdiving/maxlpiterofs = c 1500 1.39/1.45 c # maximal fraction of diving LP iterations compared to node LP iterations 1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 1.39/1.45 c heuristics/coefdiving/maxlpiterquot = c 0.075 1.39/1.45 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: 10] 1.39/1.45 c heuristics/coefdiving/freq = c -1 1.39/1.45 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.45 c presolving/probing/maxrounds = c 0 1.39/1.45 c # should presolving try to simplify knapsacks 1.39/1.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.39/1.45 c constraints/knapsack/simplifyinequalities = c TRUE 1.39/1.45 c # should disaggregation of knapsack constraints be allowed in preprocessing? 1.39/1.45 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 1.39/1.45 c constraints/knapsack/disaggregation = c FALSE 1.39/1.45 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 1.39/1.45 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.45 c constraints/knapsack/maxnumcardlift = c 0 1.39/1.45 c # should presolving try to simplify inequalities 1.39/1.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 1.39/1.46 c constraints/linear/simplifyinequalities = c TRUE 1.39/1.46 c # maximal number of separation rounds in the root node (-1: unlimited) 1.39/1.46 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.46 c separating/maxroundsroot = c 5 1.39/1.46 c # maximal number of separation rounds per node (-1: unlimited) 1.39/1.46 c # [type: int, range: [-1,2147483647], default: 5] 1.39/1.46 c separating/maxrounds = c 1 1.39/1.46 c # solving stops, if the given number of solutions were found (-1: no limit) 1.39/1.46 c # [type: int, range: [-1,2147483647], default: -1] 1.39/1.46 c limits/solutions = c 1 1.39/1.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 1.39/1.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.39/1.46 c limits/memory = c 1620 1.39/1.46 c # maximal time in seconds to run 1.39/1.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 1.39/1.46 c limits/time = c 1791 1.39/1.46 c # frequency for displaying node information lines 1.39/1.46 c # [type: int, range: [-1,2147483647], default: 100] 1.39/1.46 c display/freq = c 10000 1.39/1.46 c ----------------------------------------------------------------------------------------------- 1.39/1.46 c start solving problem 1.39/1.46 c 4.19/4.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 4.19/4.21 c 3.6s| 1 | 0 | 1836 | 60M| 0 | 798 |8541 | 24k| 24k|8541 | 24k| 0 | 0 | 0 | 5.851372e+02 | -- | Inf 7.09/7.17 c 6.5s| 1 | 0 | 2327 | 60M| 0 | 790 |8541 | 24k| 24k|8541 | 24k| 77 | 0 | 0 | 6.271562e+02 | -- | Inf 9.80/9.85 c 9.2s| 1 | 0 | 2961 | 61M| 0 |1071 |8541 | 24k| 24k|8541 | 24k| 192 | 0 | 0 | 6.442593e+02 | -- | Inf 20.58/20.68 c 19.9s| 1 | 0 | 3899 | 61M| 0 |1078 |8541 | 24k| 24k|8541 | 25k| 385 | 0 | 0 | 7.308352e+02 | -- | Inf 24.38/24.43 c 23.7s| 1 | 0 | 4870 | 62M| 0 |1099 |8541 | 24k| 24k|8541 | 25k| 494 | 0 | 0 | 7.387905e+02 | -- | Inf 29.08/29.10 c 28.3s| 1 | 0 | 6230 | 63M| 0 |1156 |8541 | 24k| 24k|8541 | 25k| 605 | 0 | 0 | 7.439418e+02 | -- | Inf 58.28/58.31 c 57.5s| 1 | 2 | 6230 | 63M| 0 |1156 |8541 | 24k| 24k|8541 | 25k| 605 | 0 | 21 | 7.439418e+02 | -- | Inf 1794.61/1795.22 c 1794.61/1795.22 c SCIP Status : solving was interrupted [time limit reached] 1794.61/1795.22 c Solving Time (sec) : 1791.01 1794.61/1795.22 c Solving Nodes : 3116 1794.61/1795.22 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1794.61/1795.22 c Dual Bound : +9.62083591266736e+02 1794.61/1795.22 c Gap : infinite 1794.61/1795.22 c NODE 3116 1794.61/1795.22 c DUAL BOUND 962.084 1794.61/1795.22 c PRIMAL BOUND 1e+20 1794.61/1795.22 c GAP 1e+20 1794.61/1795.22 s UNKNOWN 1794.61/1795.22 c SCIP Status : solving was interrupted [time limit reached] 1794.61/1795.22 c Solving Time : 1791.01 1794.61/1795.22 c Original Problem : 1794.61/1795.22 c Problem name : HOME/instance-1868574-1245128526.opb 1794.61/1795.22 c Variables : 9071 (9071 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.61/1795.22 c Constraints : 25914 initial, 25914 maximal 1794.61/1795.22 c Presolved Problem : 1794.61/1795.22 c Problem name : t_HOME/instance-1868574-1245128526.opb 1794.61/1795.22 c Variables : 8541 (8541 binary, 0 integer, 0 implicit integer, 0 continuous) 1794.61/1795.22 c Constraints : 24744 initial, 26269 maximal 1794.61/1795.22 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1794.61/1795.22 c trivial : 0.01 1 0 0 0 0 0 0 0 1794.61/1795.22 c dualfix : 0.01 0 0 0 0 0 0 0 0 1794.61/1795.22 c boundshift : 0.00 0 0 0 0 0 0 0 0 1794.61/1795.22 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1794.61/1795.22 c implics : 0.12 0 421 0 0 0 0 0 0 1794.61/1795.22 c probing : 0.00 0 0 0 0 0 0 0 0 1794.61/1795.22 c knapsack : 0.08 0 0 0 0 0 0 0 0 1794.61/1795.22 c linear : 0.50 105 3 0 106 0 1170 362 740 1794.61/1795.22 c logicor : 0.05 0 0 0 0 0 0 0 0 1794.61/1795.22 c root node : - 0 - - 0 - - - - 1794.61/1795.22 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1794.61/1795.22 c integral : 0 0 0 2647 0 9 108 0 0 5214 1794.61/1795.22 c knapsack : 724 5 35347 0 1 193 14065 995 0 0 1794.61/1795.22 c logicor : 24020+ 5 31850 0 1 308 276012 0 0 0 1794.61/1795.22 c countsols : 0 0 0 0 1 0 0 0 0 0 1794.61/1795.22 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1794.61/1795.22 c integral : 841.10 0.00 0.00 841.10 0.00 1794.61/1795.22 c knapsack : 4.19 0.03 4.16 0.00 0.00 1794.61/1795.22 c logicor : 3.58 0.01 3.57 0.00 0.00 1794.61/1795.22 c countsols : 0.00 0.00 0.00 0.00 0.00 1794.61/1795.22 c Propagators : Time Calls Cutoffs DomReds 1794.61/1795.22 c rootredcost : 0.05 0 0 0 1794.61/1795.22 c pseudoobj : 46.43 35381 0 0 1794.61/1795.22 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1794.61/1795.22 c propagation : 0.28 501 500 3881 45.3 180 16.6 - 1794.61/1795.22 c infeasible LP : 1.15 180 180 775 26.8 35 11.8 0 1794.61/1795.22 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1794.61/1795.22 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1794.61/1795.22 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1794.61/1795.22 c applied globally : - - - 2224 23.9 - - - 1794.61/1795.22 c applied locally : - - - 0 0.0 - - - 1794.61/1795.22 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1794.61/1795.22 c cut pool : 0.00 4 - - 416 - (maximal pool size: 2520) 1794.61/1795.22 c redcost : 3.96 2621 0 0 0 0 1794.61/1795.22 c impliedbounds : 0.02 5 0 0 0 0 1794.61/1795.22 c intobj : 0.00 0 0 0 0 0 1794.61/1795.22 c gomory : 6.70 5 0 0 2500 0 1794.61/1795.22 c strongcg : 5.27 5 0 0 2500 0 1794.61/1795.22 c cmir : 0.00 0 0 0 0 0 1794.61/1795.22 c flowcover : 0.00 0 0 0 0 0 1794.61/1795.22 c clique : 0.62 5 0 0 36 0 1794.61/1795.22 c zerohalf : 0.00 0 0 0 0 0 1794.61/1795.22 c mcf : 0.24 1 0 0 0 0 1794.61/1795.22 c Pricers : Time Calls Vars 1794.61/1795.22 c problem variables: 0.00 0 0 1794.61/1795.22 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1794.61/1795.22 c relpscost : 841.10 2647 9 108 0 0 5214 1794.61/1795.22 c pscost : 0.00 0 0 0 0 0 0 1794.61/1795.22 c inference : 0.00 1 0 0 0 0 2 1794.61/1795.22 c mostinf : 0.00 0 0 0 0 0 0 1794.61/1795.22 c leastinf : 0.00 0 0 0 0 0 0 1794.61/1795.22 c fullstrong : 0.00 0 0 0 0 0 0 1794.61/1795.22 c allfullstrong : 0.00 0 0 0 0 0 0 1794.61/1795.22 c random : 0.00 0 0 0 0 0 0 1794.61/1795.22 c Primal Heuristics : Time Calls Found 1794.61/1795.22 c LP solutions : 0.00 - 0 1794.61/1795.22 c pseudo solutions : 0.00 - 0 1794.61/1795.22 c simplerounding : 0.00 0 0 1794.61/1795.22 c rounding : 0.00 0 0 1794.61/1795.22 c shifting : 0.00 0 0 1794.61/1795.22 c intshifting : 0.00 0 0 1794.61/1795.22 c oneopt : 0.00 0 0 1794.61/1795.22 c fixandinfer : 0.00 0 0 1794.61/1795.22 c feaspump : 0.00 0 0 1794.61/1795.22 c coefdiving : 0.00 0 0 1794.61/1795.22 c pscostdiving : 0.00 0 0 1794.61/1795.22 c fracdiving : 0.00 0 0 1794.61/1795.22 c veclendiving : 0.00 0 0 1794.61/1795.22 c intdiving : 0.00 0 0 1794.61/1795.22 c actconsdiving : 0.00 0 0 1794.61/1795.22 c objpscostdiving : 0.00 0 0 1794.61/1795.22 c rootsoldiving : 0.00 0 0 1794.61/1795.22 c linesearchdiving : 0.00 0 0 1794.61/1795.22 c guideddiving : 0.00 0 0 1794.61/1795.22 c octane : 0.00 0 0 1794.61/1795.22 c rens : 0.00 0 0 1794.61/1795.22 c rins : 0.00 0 0 1794.61/1795.22 c localbranching : 0.00 0 0 1794.61/1795.22 c mutation : 0.00 0 0 1794.61/1795.22 c crossover : 0.00 0 0 1794.61/1795.22 c dins : 0.00 0 0 1794.61/1795.22 c LP : Time Calls Iterations Iter/call Iter/sec 1794.61/1795.22 c primal LP : 0.02 0 0 0.00 0.00 1794.61/1795.22 c dual LP : 836.54 2816 294602 104.62 352.17 1794.61/1795.22 c barrier LP : 0.00 0 0 0.00 - 1794.61/1795.22 c diving/probing LP: 0.00 0 0 0.00 - 1794.61/1795.22 c strong branching : 840.40 885 260580 294.44 310.07 1794.61/1795.22 c (at root node) : - 21 9404 447.81 - 1794.61/1795.22 c conflict analysis: 0.00 0 0 0.00 - 1794.61/1795.22 c B&B Tree : 1794.61/1795.22 c number of runs : 1 1794.61/1795.22 c nodes : 3116 1794.61/1795.22 c nodes (total) : 3116 1794.61/1795.22 c nodes left : 257 1794.61/1795.22 c max depth : 109 1794.61/1795.22 c max depth (total): 109 1794.61/1795.22 c backtracks : 337 (10.8%) 1794.61/1795.22 c delayed cutoffs : 1844 1794.61/1795.22 c repropagations : 3977 (42298 domain reductions, 182 cutoffs) 1794.61/1795.22 c avg switch length: 4.64 1794.61/1795.22 c switching time : 5.22 1794.61/1795.22 c Solution : 1794.61/1795.22 c Solutions found : 0 (0 improvements) 1794.61/1795.22 c Primal Bound : - 1794.61/1795.22 c Dual Bound : +9.62083591266736e+02 1794.61/1795.22 c Gap : infinite 1794.61/1795.22 c Root Dual Bound : +7.43941818116045e+02 1794.80/1795.44 c Time complete: 1794.85.
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-1868574-1245128526/watcher-1868574-1245128526 -o /tmp/evaluation-result-1868574-1245128526/solver-1868574-1245128526 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868574-1245128526.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.90 0.97 0.99 3/64 4127 /proc/meminfo: memFree=1791768/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=4324 CPUtime=0 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 463 0 0 0 0 0 0 0 18 0 1 0 180453555 4427776 447 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0 /proc/4127/statm: 1081 448 286 886 0 191 0 [startup+0.0873649 s] /proc/loadavg: 0.90 0.97 0.99 3/64 4127 /proc/meminfo: memFree=1791768/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=13688 CPUtime=0.08 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 2726 0 0 0 7 1 0 0 18 0 1 0 180453555 14016512 2708 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0 /proc/4127/statm: 3422 2720 351 886 0 2532 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13688 [startup+0.102362 s] /proc/loadavg: 0.90 0.97 0.99 3/64 4127 /proc/meminfo: memFree=1791768/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=14564 CPUtime=0.1 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 2945 0 0 0 9 1 0 0 18 0 1 0 180453555 14913536 2927 1992294400 4194304 7823515 548682068736 18446744073709551615 6911817 0 0 4096 0 0 0 0 17 1 0 0 /proc/4127/statm: 3641 2927 351 886 0 2751 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14564 [startup+0.301398 s] /proc/loadavg: 0.90 0.97 0.99 3/64 4127 /proc/meminfo: memFree=1791768/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=21416 CPUtime=0.29 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 4657 0 0 0 28 1 0 0 19 0 1 0 180453555 21929984 4639 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/4127/statm: 5354 4639 351 886 0 4464 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21416 [startup+0.701467 s] /proc/loadavg: 0.90 0.97 0.99 3/64 4127 /proc/meminfo: memFree=1791768/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=61096 CPUtime=0.69 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 14677 0 0 0 63 6 0 0 22 0 1 0 180453555 62562304 14305 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 15274 14305 432 886 0 14384 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61096 [startup+1.50161 s] /proc/loadavg: 0.91 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1724176/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=89436 CPUtime=1.49 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 22480 0 0 0 131 18 0 0 17 0 1 0 180453555 91582464 21353 1992294400 4194304 7823515 548682068736 18446744073709551615 4299166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 22359 21353 488 886 0 21469 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 89436 [startup+3.10189 s] /proc/loadavg: 0.91 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1683728/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=121196 CPUtime=3.09 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 29944 0 0 0 289 20 0 0 25 0 1 0 180453555 124104704 28222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 30299 28222 522 886 0 29409 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 121196 [startup+6.30245 s] /proc/loadavg: 0.91 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1679184/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=126520 CPUtime=6.29 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 31419 0 0 0 598 31 0 0 25 0 1 0 180453555 129556480 29606 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 31630 29606 552 886 0 30740 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 126520 [startup+12.7016 s] /proc/loadavg: 0.92 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1671248/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=129732 CPUtime=12.68 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 32378 0 0 0 1235 33 0 0 25 0 1 0 180453555 132845568 30565 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 32433 30565 552 886 0 31543 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 129732 [startup+25.5018 s] /proc/loadavg: 0.94 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1666704/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=132636 CPUtime=25.48 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 34228 0 0 0 2510 38 0 0 25 0 1 0 180453555 135819264 32059 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 33159 32059 553 886 0 32269 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 132636 [startup+51.1013 s] /proc/loadavg: 0.96 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1664016/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=135052 CPUtime=51.08 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 34576 0 0 0 5065 43 0 0 25 0 1 0 180453555 138293248 32407 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 33763 32407 557 886 0 32873 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 135052 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1663248/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=135552 CPUtime=102.26 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 34761 0 0 0 10176 50 0 0 25 0 1 0 180453555 138805248 32592 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 33888 32592 558 886 0 32998 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 135552 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1662864/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=136128 CPUtime=162.24 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 34842 0 0 0 16166 58 0 0 25 0 1 0 180453555 139395072 32673 1992294400 4194304 7823515 548682068736 18446744073709551615 6211142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 34032 32673 558 886 0 33142 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 136128 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1660880/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=137816 CPUtime=222.22 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 35329 0 0 0 22156 66 0 0 25 0 1 0 180453555 141123584 33160 1992294400 4194304 7823515 548682068736 18446744073709551615 6212544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 34454 33160 558 886 0 33564 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 137816 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1660240/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=138696 CPUtime=282.19 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 35478 0 0 0 28144 75 0 0 25 0 1 0 180453555 142024704 33309 1992294400 4194304 7823515 548682068736 18446744073709551615 6908052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 34674 33309 558 886 0 33784 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 138696 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1660240/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=138696 CPUtime=342.18 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 35480 0 0 0 34134 84 0 0 25 0 1 0 180453555 142024704 33311 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 34674 33311 558 886 0 33784 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 138696 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1660112/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=138696 CPUtime=402.16 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 35485 0 0 0 40124 92 0 0 25 0 1 0 180453555 142024704 33316 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 34674 33316 558 886 0 33784 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 138696 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1660112/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=138696 CPUtime=462.13 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 35495 0 0 0 46114 99 0 0 25 0 1 0 180453555 142024704 33326 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 34674 33326 562 886 0 33784 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 138696 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1658832/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=139892 CPUtime=522.12 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 35813 0 0 0 52105 107 0 0 25 0 1 0 180453555 143249408 33644 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 34973 33644 564 886 0 34083 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 139892 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1655312/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=144024 CPUtime=582.1 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 36691 0 0 0 58093 117 0 0 25 0 1 0 180453555 147480576 34522 1992294400 4194304 7823515 548682068736 18446744073709551615 6212426 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 36006 34522 564 886 0 35116 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 144024 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4128 /proc/meminfo: memFree=1652560/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=145352 CPUtime=642.08 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 37366 0 0 0 64083 125 0 0 25 0 1 0 180453555 148840448 35197 1992294400 4194304 7823515 548682068736 18446744073709551615 6212670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 36338 35197 564 886 0 35448 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 145352 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1638736/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=158772 CPUtime=1121.92 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 50966 0 0 0 111982 210 0 0 25 0 1 0 180453555 162582528 38613 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 39693 38613 564 886 0 38803 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 158772 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1640592/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=158184 CPUtime=1181.9 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 52027 0 0 0 117971 219 0 0 25 0 1 0 180453555 161980416 38159 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 39546 38159 564 886 0 38656 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 158184 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1640208/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=157984 CPUtime=1241.88 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 53566 0 0 0 123961 227 0 0 25 0 1 0 180453555 161775616 38219 1992294400 4194304 7823515 548682068736 18446744073709551615 6212570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 39496 38219 564 886 0 38606 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 157984 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1637776/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=160240 CPUtime=1301.87 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 54156 0 0 0 129949 238 0 0 25 0 1 0 180453555 164085760 38809 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 40060 38809 564 886 0 39170 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 160240 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1637712/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=160240 CPUtime=1361.84 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 54167 0 0 0 135938 246 0 0 25 0 1 0 180453555 164085760 38820 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 40060 38820 564 886 0 39170 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 160240 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1637072/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=161088 CPUtime=1421.83 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 54318 0 0 0 141928 255 0 0 25 0 1 0 180453555 164954112 38971 1992294400 4194304 7823515 548682068736 18446744073709551615 6201535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 40272 38971 564 886 0 39382 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 161088 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1637392/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=160736 CPUtime=1481.81 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 55708 0 0 0 147916 265 0 0 25 0 1 0 180453555 164593664 38898 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 40184 38898 564 886 0 39294 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 160736 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1636560/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=161068 CPUtime=1541.78 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 55905 0 0 0 153903 275 0 0 25 0 1 0 180453555 164933632 39095 1992294400 4194304 7823515 548682068736 18446744073709551615 6109522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 40267 39095 564 886 0 39377 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 161068 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1634768/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=163324 CPUtime=1601.76 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 56345 0 0 0 159892 284 0 0 25 0 1 0 180453555 167243776 39535 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 40831 39535 564 886 0 39941 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 163324 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1636176/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=162832 CPUtime=1661.75 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 59083 0 0 0 165880 295 0 0 25 0 1 0 180453555 166739968 39191 1992294400 4194304 7823515 548682068736 18446744073709551615 6019607 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 40708 39191 564 886 0 39818 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 162832 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1632400/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=165704 CPUtime=1721.73 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 60025 0 0 0 171865 308 0 0 25 0 1 0 180453555 169680896 40130 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 41426 40130 564 886 0 40536 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 165704 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1632016/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=166512 CPUtime=1781.71 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 72973 0 0 0 177848 323 0 0 25 0 1 0 180453555 170508288 40199 1992294400 4194304 7823515 548682068736 18446744073709551615 6212556 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 41628 40199 564 886 0 40738 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 166512 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1631952/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=166512 CPUtime=1784.91 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 72989 0 0 0 178168 323 0 0 25 0 1 0 180453555 170508288 40215 1992294400 4194304 7823515 548682068736 18446744073709551615 6109387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 41628 40215 564 886 0 40738 0 Current children cumulated CPU time (s) 1784.91 Current children cumulated vsize (KiB) 166512 [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1631760/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=166512 CPUtime=1791.31 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 73036 0 0 0 178807 324 0 0 25 0 1 0 180453555 170508288 40262 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 41628 40262 564 886 0 40738 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 166512 [startup+1793.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1631760/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=166512 CPUtime=1792.9 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 73038 0 0 0 178966 324 0 0 25 0 1 0 180453555 170508288 40264 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 41628 40264 564 886 0 40738 0 Current children cumulated CPU time (s) 1792.9 Current children cumulated vsize (KiB) 166512 [startup+1794.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1631376/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=167916 CPUtime=1793.7 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 73141 0 0 0 179046 324 0 0 25 0 1 0 180453555 171945984 40367 1992294400 4194304 7823515 548682068736 18446744073709551615 6211146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 41979 40367 564 886 0 41089 0 Current children cumulated CPU time (s) 1793.7 Current children cumulated vsize (KiB) 167916 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1631312/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=167916 CPUtime=1794.51 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 73159 0 0 0 179126 325 0 0 25 0 1 0 180453555 171945984 40385 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4127/statm: 41979 40385 564 886 0 41089 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 167916 [startup+1795.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1631312/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=167916 CPUtime=1794.71 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 73163 0 0 0 179146 325 0 0 25 0 1 0 180453555 171945984 40389 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0 /proc/4127/statm: 41979 40389 568 886 0 41089 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (KiB) 167916 [startup+1795.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4128 /proc/meminfo: memFree=1631312/2055920 swapFree=4191900/4192956 [pid=4127] ppid=4125 vsize=161612 CPUtime=1794.8 /proc/4127/stat : 4127 (pbscip.linux.x8) R 4125 4127 4054 0 -1 4194304 73164 0 0 0 179155 325 0 0 25 0 1 0 180453555 165490688 39349 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0 /proc/4127/statm: 40403 39349 2721 886 0 39513 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 161612 Child status: 0 Real time (s): 1795.45 CPU time (s): 1794.86 CPU user time (s): 1791.58 CPU system time (s): 3.2795 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 167916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.58 system time used= 3.2795 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73168 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 2254 runsolver used 1.3378 second user time and 3.84641 second system time The end
Begin job on node4 at 2009-06-16 07:02:06 IDJOB=1868574 IDBENCH=1454 IDSOLVER=683 FILE ID=node4/1868574-1245128526 PBS_JOBID= 9363700 Free space on /tmp= 66408 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868574-1245128526/watcher-1868574-1245128526 -o /tmp/evaluation-result-1868574-1245128526/solver-1868574-1245128526 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868574-1245128526.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 02e31ca1ab9f95407d6e9ec422f4634a RANDOM SEED=1942444424 node4.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.259 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.259 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: 1792248 kB Buffers: 36112 kB Cached: 156612 kB SwapCached: 260 kB Active: 58580 kB Inactive: 147352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792248 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 10600 kB Writeback: 0 kB Mapped: 21708 kB Slab: 43748 kB Committed_AS: 135256 kB PageTables: 1472 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= 66400 MiB End job on node4 at 2009-06-16 07:32:02