Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | UNSAT | 1563.18 | 1563.7 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl.opb |
MD5SUM | a1104c8fec3fd69abc0a798c3b6bfa5b |
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 | 1.27781 |
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 | 2152 |
Total number of constraints | 5613 |
Number of constraints which are clauses | 5137 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 476 |
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 | 35 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 129 |
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.09/0.09 c SCIP version 1.1.0.7 0.09/0.09 c LP-Solver SoPlex 1.4.1 0.09/0.09 c user parameter file <scip.set> not found - using default parameters 0.09/0.09 c read problem <HOME/instance-1868648-1245130719.opb> 0.09/0.09 c original problem has 2152 variables (2152 bin, 0 int, 0 impl, 0 cont) and 5613 constraints 0.09/0.12 c No objective function, only one solution is needed. 0.09/0.12 c start presolving problem 0.09/0.12 c presolving: 0.19/0.21 c (round 1) 231 del vars, 206 del conss, 74 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92088 impls, 0 clqs 0.19/0.22 c (round 2) 232 del vars, 540 del conss, 75 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92088 impls, 0 clqs 0.19/0.23 c (round 3) 236 del vars, 550 del conss, 79 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs 0.19/0.24 c (round 4) 238 del vars, 553 del conss, 81 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs 0.19/0.24 c (round 5) 241 del vars, 559 del conss, 84 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs 0.19/0.25 c (round 6) 246 del vars, 568 del conss, 89 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs 0.19/0.25 c (round 7) 252 del vars, 581 del conss, 95 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92422 impls, 0 clqs 0.19/0.26 c (round 8) 252 del vars, 593 del conss, 95 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92682 impls, 0 clqs 0.29/0.32 c (round 9) 252 del vars, 607 del conss, 95 chg bounds, 238 chg sides, 506 chg coeffs, 5006 upgd conss, 92682 impls, 0 clqs 0.29/0.36 c presolving (10 rounds): 0.29/0.36 c 252 deleted vars, 607 deleted constraints, 95 tightened bounds, 0 added holes, 238 changed sides, 506 changed coefficients 0.29/0.36 c 92682 implications, 0 cliques 0.29/0.36 c presolved problem has 1900 variables (1900 bin, 0 int, 0 impl, 0 cont) and 5006 constraints 0.29/0.36 c 472 constraints of type <knapsack> 0.29/0.36 c 4534 constraints of type <logicor> 0.29/0.36 c transformed objective value is always integral (scale: 1) 0.29/0.36 c Presolving Time: 0.20 0.29/0.36 c SATUNSAT-LIN 0.29/0.36 c ----------------------------------------------------------------------------------------------- 0.29/0.36 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.36 c separating/flowcover/freq = c -1 0.29/0.36 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.36 c separating/cmir/freq = c -1 0.29/0.36 c # additional number of allowed LP iterations 0.29/0.36 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.36 c heuristics/veclendiving/maxlpiterofs = c 1500 0.29/0.36 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.36 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.29/0.36 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.36 c heuristics/veclendiving/freq = c -1 0.29/0.36 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.36 c heuristics/simplerounding/freq = c -1 0.29/0.36 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.36 c heuristics/shifting/freq = c -1 0.29/0.36 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.36 c heuristics/rounding/freq = c -1 0.29/0.36 c # additional number of allowed LP iterations 0.29/0.36 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.36 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.29/0.36 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.29/0.36 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.29/0.36 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.36 c heuristics/rootsoldiving/freq = c -1 0.29/0.36 c # number of nodes added to the contingent of the total nodes 0.29/0.36 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.36 c heuristics/rens/nodesofs = c 2000 0.29/0.36 c # minimum percentage of integer variables that have to be fixable 0.29/0.36 c # [type: real, range: [0,1], default: 0.5] 0.29/0.36 c heuristics/rens/minfixingrate = c 0.3 0.29/0.36 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 0] 0.29/0.36 c heuristics/rens/freq = c -1 0.29/0.36 c # additional number of allowed LP iterations 0.29/0.36 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.36 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.29/0.36 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.36 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.29/0.36 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.36 c heuristics/pscostdiving/freq = c -1 0.29/0.36 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 1] 0.29/0.36 c heuristics/oneopt/freq = c -1 0.29/0.36 c # additional number of allowed LP iterations 0.29/0.36 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.36 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.29/0.36 c # maximal fraction of diving LP iterations compared to total iteration number 0.29/0.36 c # [type: real, range: [0,1], default: 0.01] 0.29/0.36 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.29/0.36 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.36 c heuristics/objpscostdiving/freq = c -1 0.29/0.36 c # additional number of allowed LP iterations 0.29/0.36 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.36 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.29/0.36 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.36 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.29/0.36 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.36 c heuristics/linesearchdiving/freq = c -1 0.29/0.36 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.36 c heuristics/intshifting/freq = c -1 0.29/0.36 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.36 c heuristics/intdiving/maxlpiterquot = c 0.075 0.29/0.36 c # additional number of allowed LP iterations 0.29/0.36 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.36 c heuristics/guideddiving/maxlpiterofs = c 1500 0.29/0.36 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.36 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.29/0.36 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.36 c heuristics/guideddiving/freq = c -1 0.29/0.36 c # additional number of allowed LP iterations 0.29/0.36 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.36 c heuristics/fracdiving/maxlpiterofs = c 1500 0.29/0.36 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.36 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.29/0.36 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.36 c heuristics/fracdiving/freq = c -1 0.29/0.36 c # additional number of allowed LP iterations 0.29/0.36 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.36 c heuristics/feaspump/maxlpiterofs = c 2000 0.29/0.36 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 20] 0.29/0.36 c heuristics/feaspump/freq = c -1 0.29/0.36 c # minimum percentage of integer variables that have to be fixed 0.29/0.36 c # [type: real, range: [0,1], default: 0.666] 0.29/0.36 c heuristics/crossover/minfixingrate = c 0.5 0.29/0.36 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.29/0.36 c # [type: real, range: [0,1], default: 0.1] 0.29/0.36 c heuristics/crossover/nodesquot = c 0.15 0.29/0.36 c # number of nodes without incumbent change that heuristic should wait 0.29/0.36 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.29/0.36 c heuristics/crossover/nwaitingnodes = c 100 0.29/0.36 c # number of nodes added to the contingent of the total nodes 0.29/0.36 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.29/0.36 c heuristics/crossover/nodesofs = c 750 0.29/0.36 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 30] 0.29/0.36 c heuristics/crossover/freq = c -1 0.29/0.36 c # additional number of allowed LP iterations 0.29/0.36 c # [type: int, range: [0,2147483647], default: 1000] 0.29/0.36 c heuristics/coefdiving/maxlpiterofs = c 1500 0.29/0.36 c # maximal fraction of diving LP iterations compared to node LP iterations 0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.29/0.36 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.29/0.36 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 10] 0.29/0.36 c heuristics/coefdiving/freq = c -1 0.29/0.36 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.36 c presolving/probing/maxrounds = c 0 0.29/0.36 c # should presolving try to simplify knapsacks 0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.36 c constraints/knapsack/simplifyinequalities = c TRUE 0.29/0.36 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.29/0.36 c constraints/knapsack/disaggregation = c FALSE 0.29/0.36 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.36 c constraints/knapsack/maxnumcardlift = c 0 0.29/0.36 c # should presolving try to simplify inequalities 0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.29/0.36 c constraints/linear/simplifyinequalities = c TRUE 0.29/0.36 c # maximal number of separation rounds in the root node (-1: unlimited) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.36 c separating/maxroundsroot = c 5 0.29/0.36 c # maximal number of separation rounds per node (-1: unlimited) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 5] 0.29/0.36 c separating/maxrounds = c 1 0.29/0.36 c # solving stops, if the given number of solutions were found (-1: no limit) 0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1] 0.29/0.36 c limits/solutions = c 1 0.29/0.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.36 c limits/memory = c 1620 0.29/0.36 c # maximal time in seconds to run 0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.36 c limits/time = c 1791 0.29/0.36 c # frequency for displaying node information lines 0.29/0.36 c # [type: int, range: [-1,2147483647], default: 100] 0.29/0.36 c display/freq = c 10000 0.29/0.36 c ----------------------------------------------------------------------------------------------- 0.29/0.36 c start solving problem 0.29/0.36 c 0.59/0.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.59/0.61 c 0.5s| 1 | 0 | 924 | 13M| 0 | 409 |1900 |5006 |5006 |1900 |5006 | 0 | 0 | 0 | 2.154306e+02 | -- | Inf 1.00/1.02 c 0.9s| 1 | 0 | 1268 | 13M| 0 | 421 |1900 |5006 |5006 |1900 |5090 | 84 | 0 | 0 | 2.666934e+02 | -- | Inf 1.39/1.47 c 1.3s| 1 | 0 | 1659 | 14M| 0 | 439 |1900 |5006 |5006 |1900 |5171 | 165 | 0 | 0 | 2.802072e+02 | -- | Inf 1.78/1.85 c 1.7s| 1 | 0 | 2000 | 14M| 0 | 405 |1900 |5006 |5006 |1900 |5268 | 262 | 0 | 0 | 3.014610e+02 | -- | Inf 2.29/2.39 c 2.2s| 1 | 0 | 2450 | 14M| 0 | 438 |1900 |5006 |5006 |1900 |5348 | 342 | 0 | 0 | 3.117554e+02 | -- | Inf 2.99/3.00 c 2.8s| 1 | 0 | 3066 | 15M| 0 | 425 |1900 |5006 |5006 |1900 |5459 | 453 | 0 | 0 | 3.167348e+02 | -- | Inf 11.89/11.93 c 11.7s| 1 | 2 | 3066 | 15M| 0 | 425 |1900 |5006 |5006 |1900 |5459 | 453 | 0 | 17 | 3.167348e+02 | -- | Inf 359.67/359.84 c 358s| 10000 | 2659 |268685 | 28M| 63 | 243 |1900 |7880 |2572 |1900 |5366 | 453 |6204 |3470 | 3.932659e+02 | -- | Inf 618.89/619.16 c 616s| 20000 | 7728 |559854 | 47M| 63 | 157 |1900 |8233 |1534 |1900 |5366 | 453 | 14k|5217 | 4.085305e+02 | -- | Inf 893.10/893.45 c 888s| 30000 | 10002 |872510 | 61M| 63 | - |1900 |8798 |2555 | 0 | 0 | 453 | 25k|7033 | 4.155472e+02 | -- | Inf 1175.21/1175.69 c 1169s| 40000 | 2209 | 1194k| 34M| 75 | 159 |1900 |8139 |1618 |1900 |5366 | 453 | 36k|8678 | 4.244018e+02 | -- | Inf 1432.32/1432.82 c 1425s| 50000 | 2070 | 1501k| 34M| 75 | 250 |1900 |9147 |2668 |1900 |5366 | 453 | 49k| 10k| 4.505136e+02 | -- | Inf 1563.07/1563.62 c 1563.07/1563.62 c SCIP Status : problem is solved [infeasible] 1563.07/1563.62 c Solving Time (sec) : 1554.68 1563.07/1563.62 c Solving Nodes : 54489 1563.07/1563.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1563.07/1563.62 c Dual Bound : +1.00000000000000e+20 1563.07/1563.62 c Gap : 0.00 % 1563.07/1563.62 c NODE 54489 1563.07/1563.62 c DUAL BOUND 1e+20 1563.07/1563.62 c PRIMAL BOUND 1e+20 1563.07/1563.62 c GAP 0 1563.07/1563.62 s UNSATISFIABLE 1563.07/1563.62 c SCIP Status : problem is solved [infeasible] 1563.07/1563.62 c Solving Time : 1554.68 1563.07/1563.62 c Original Problem : 1563.07/1563.62 c Problem name : HOME/instance-1868648-1245130719.opb 1563.07/1563.62 c Variables : 2152 (2152 binary, 0 integer, 0 implicit integer, 0 continuous) 1563.07/1563.62 c Constraints : 5613 initial, 5613 maximal 1563.07/1563.62 c Presolved Problem : 1563.07/1563.62 c Problem name : t_HOME/instance-1868648-1245130719.opb 1563.07/1563.62 c Variables : 1900 (1900 binary, 0 integer, 0 implicit integer, 0 continuous) 1563.07/1563.62 c Constraints : 5006 initial, 9776 maximal 1563.07/1563.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1563.07/1563.62 c trivial : 0.00 0 0 0 0 0 0 0 0 1563.07/1563.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 1563.07/1563.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1563.07/1563.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1563.07/1563.62 c implics : 0.01 0 152 0 0 0 0 0 0 1563.07/1563.62 c probing : 0.00 0 0 0 0 0 0 0 0 1563.07/1563.62 c knapsack : 0.01 0 0 0 0 0 0 0 0 1563.07/1563.62 c linear : 0.14 95 5 0 95 0 607 238 506 1563.07/1563.62 c logicor : 0.04 0 0 0 0 0 0 0 0 1563.07/1563.62 c root node : - 4 - - 4 - - - - 1563.07/1563.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1563.07/1563.62 c integral : 0 0 0 46652 0 512 2877 0 0 90080 1563.07/1563.62 c knapsack : 472 5 396047 0 0 6295 467225 872 0 0 1563.07/1563.62 c logicor : 4534+ 5 365044 0 0 8456 1287335 0 0 0 1563.07/1563.62 c countsols : 0 0 0 0 0 0 0 0 0 0 1563.07/1563.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1563.07/1563.62 c integral : 406.74 0.00 0.00 406.74 0.00 1563.07/1563.62 c knapsack : 16.46 0.03 16.43 0.00 0.00 1563.07/1563.62 c logicor : 25.59 0.00 25.59 0.00 0.00 1563.07/1563.62 c countsols : 0.00 0.00 0.00 0.00 0.00 1563.07/1563.62 c Propagators : Time Calls Cutoffs DomReds 1563.07/1563.62 c rootredcost : 0.19 0 0 0 1563.07/1563.62 c pseudoobj : 33.46 396820 0 0 1563.07/1563.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1563.07/1563.62 c propagation : 5.59 14751 14705 157252 40.0 3674 14.0 - 1563.07/1563.62 c infeasible LP : 0.98 580 579 2386 21.4 200 16.2 0 1563.07/1563.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1563.07/1563.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1563.07/1563.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1563.07/1563.62 c applied globally : - - - 57119 28.1 - - - 1563.07/1563.62 c applied locally : - - - 0 0.0 - - - 1563.07/1563.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1563.07/1563.62 c cut pool : 0.00 4 - - 523 - (maximal pool size: 1862) 1563.07/1563.62 c redcost : 4.62 45663 0 0 0 0 1563.07/1563.62 c impliedbounds : 0.01 5 0 0 0 0 1563.07/1563.62 c intobj : 0.00 0 0 0 0 0 1563.07/1563.62 c gomory : 0.45 5 0 0 2500 0 1563.07/1563.62 c strongcg : 0.40 5 0 0 2500 0 1563.07/1563.62 c cmir : 0.00 0 0 0 0 0 1563.07/1563.62 c flowcover : 0.00 0 0 0 0 0 1563.07/1563.62 c clique : 0.08 5 0 0 26 0 1563.07/1563.62 c zerohalf : 0.00 0 0 0 0 0 1563.07/1563.62 c mcf : 0.02 1 0 0 0 0 1563.07/1563.62 c Pricers : Time Calls Vars 1563.07/1563.62 c problem variables: 0.00 0 0 1563.07/1563.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1563.07/1563.62 c relpscost : 406.64 46652 512 2877 0 0 90080 1563.07/1563.62 c pscost : 0.00 0 0 0 0 0 0 1563.07/1563.62 c inference : 0.00 0 0 0 0 0 0 1563.07/1563.62 c mostinf : 0.00 0 0 0 0 0 0 1563.07/1563.62 c leastinf : 0.00 0 0 0 0 0 0 1563.07/1563.62 c fullstrong : 0.00 0 0 0 0 0 0 1563.07/1563.62 c allfullstrong : 0.00 0 0 0 0 0 0 1563.07/1563.62 c random : 0.00 0 0 0 0 0 0 1563.07/1563.62 c Primal Heuristics : Time Calls Found 1563.07/1563.62 c LP solutions : 0.00 - 0 1563.07/1563.62 c pseudo solutions : 0.00 - 0 1563.07/1563.62 c simplerounding : 0.00 0 0 1563.07/1563.62 c rounding : 0.00 0 0 1563.07/1563.62 c shifting : 0.00 0 0 1563.07/1563.62 c intshifting : 0.00 0 0 1563.07/1563.62 c oneopt : 0.00 0 0 1563.07/1563.62 c fixandinfer : 0.00 0 0 1563.07/1563.62 c feaspump : 0.00 0 0 1563.07/1563.62 c coefdiving : 0.00 0 0 1563.07/1563.62 c pscostdiving : 0.00 0 0 1563.07/1563.62 c fracdiving : 0.00 0 0 1563.07/1563.62 c veclendiving : 0.00 0 0 1563.07/1563.62 c intdiving : 0.00 0 0 1563.07/1563.62 c actconsdiving : 0.00 0 0 1563.07/1563.62 c objpscostdiving : 0.00 0 0 1563.07/1563.62 c rootsoldiving : 0.00 0 0 1563.07/1563.62 c linesearchdiving : 0.00 0 0 1563.07/1563.62 c guideddiving : 0.00 0 0 1563.07/1563.62 c octane : 0.00 0 0 1563.07/1563.62 c rens : 0.00 0 0 1563.07/1563.62 c rins : 0.00 0 0 1563.07/1563.62 c localbranching : 0.00 0 0 1563.07/1563.62 c mutation : 0.00 0 0 1563.07/1563.62 c crossover : 0.00 0 0 1563.07/1563.62 c dins : 0.00 0 0 1563.07/1563.62 c LP : Time Calls Iterations Iter/call Iter/sec 1563.07/1563.62 c primal LP : 0.00 0 0 0.00 - 1563.07/1563.62 c dual LP : 903.18 47128 1659277 35.21 1837.15 1563.07/1563.62 c barrier LP : 0.00 0 0 0.00 - 1563.07/1563.62 c diving/probing LP: 0.00 0 0 0.00 - 1563.07/1563.62 c strong branching : 399.80 10635 575781 54.14 1440.17 1563.07/1563.62 c (at root node) : - 17 11905 700.29 - 1563.07/1563.62 c conflict analysis: 0.00 0 0 0.00 - 1563.07/1563.62 c B&B Tree : 1563.07/1563.62 c number of runs : 1 1563.07/1563.62 c nodes : 54489 1563.07/1563.62 c nodes (total) : 54489 1563.07/1563.62 c nodes left : 0 1563.07/1563.62 c max depth : 75 1563.07/1563.62 c max depth (total): 75 1563.07/1563.62 c backtracks : 11037 (20.3%) 1563.07/1563.62 c delayed cutoffs : 35592 1563.07/1563.62 c repropagations : 33537 (463966 domain reductions, 6394 cutoffs) 1563.07/1563.62 c avg switch length: 5.61 1563.07/1563.62 c switching time : 34.62 1563.07/1563.62 c Solution : 1563.07/1563.62 c Solutions found : 0 (0 improvements) 1563.07/1563.62 c Primal Bound : infeasible 1563.07/1563.62 c Dual Bound : - 1563.07/1563.62 c Gap : 0.00 % 1563.07/1563.62 c Root Dual Bound : +3.16734766394596e+02 1563.07/1563.69 c Time complete: 1563.17.
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-1868648-1245130719/watcher-1868648-1245130719 -o /tmp/evaluation-result-1868648-1245130719/solver-1868648-1245130719 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868648-1245130719.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.01 1.00 3/64 31899 /proc/meminfo: memFree=1342756/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=4328 CPUtime=0 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 483 0 0 0 0 0 0 0 18 0 1 0 180669069 4431872 468 1992294400 4194304 7823515 548682068736 18446744073709551615 5868704 0 0 4096 0 0 0 0 17 1 0 0 /proc/31899/statm: 1162 479 312 886 0 272 0 [startup+0.098925 s] /proc/loadavg: 1.04 1.01 1.00 3/64 31899 /proc/meminfo: memFree=1342756/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=14416 CPUtime=0.09 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 2930 0 0 0 8 1 0 0 18 0 1 0 180669069 14761984 2911 1992294400 4194304 7823515 548682068736 18446744073709551615 6962503 0 0 4096 0 0 0 0 17 1 0 0 /proc/31899/statm: 3604 2911 351 886 0 2714 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14416 [startup+0.101924 s] /proc/loadavg: 1.04 1.01 1.00 3/64 31899 /proc/meminfo: memFree=1342756/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=13004 CPUtime=0.09 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 2935 0 0 0 8 1 0 0 18 0 1 0 180669069 13316096 2563 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 3251 2563 356 886 0 2361 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13004 [startup+0.301959 s] /proc/loadavg: 1.04 1.01 1.00 3/64 31899 /proc/meminfo: memFree=1342756/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=30812 CPUtime=0.29 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 7150 0 0 0 25 4 0 0 19 0 1 0 180669069 31551488 6778 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 7703 6778 439 886 0 6813 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30812 [startup+0.702027 s] /proc/loadavg: 1.04 1.01 1.00 3/64 31899 /proc/meminfo: memFree=1342756/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=39512 CPUtime=0.69 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 9517 0 0 0 63 6 0 0 18 0 1 0 180669069 40460288 9001 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 9878 9001 540 886 0 8988 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39512 [startup+1.50116 s] /proc/loadavg: 1.03 1.01 1.00 2/65 31900 /proc/meminfo: memFree=1307548/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=42976 CPUtime=1.49 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 10497 0 0 0 140 9 0 0 25 0 1 0 180669069 44007424 9918 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 10744 9918 552 886 0 9854 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42976 [startup+3.10144 s] /proc/loadavg: 1.03 1.01 1.00 2/65 31900 /proc/meminfo: memFree=1303708/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=44576 CPUtime=3.09 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 11035 0 0 0 298 11 0 0 25 0 1 0 180669069 45645824 10426 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 11144 10426 556 886 0 10254 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44576 [startup+6.30198 s] /proc/loadavg: 1.03 1.01 1.00 2/65 31900 /proc/meminfo: memFree=1302684/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=44576 CPUtime=6.29 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 11045 0 0 0 617 12 0 0 25 0 1 0 180669069 45645824 10436 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 11144 10436 556 886 0 10254 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44576 [startup+12.7011 s] /proc/loadavg: 1.03 1.01 1.00 2/65 31900 /proc/meminfo: memFree=1302684/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=44892 CPUtime=12.69 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 11049 0 0 0 1255 14 0 0 25 0 1 0 180669069 45969408 10440 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 11223 10440 558 886 0 10333 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44892 [startup+25.5012 s] /proc/loadavg: 1.02 1.01 1.00 2/65 31900 /proc/meminfo: memFree=1302812/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=44892 CPUtime=25.49 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 11050 0 0 0 2531 18 0 0 25 0 1 0 180669069 45969408 10441 1992294400 4194304 7823515 548682068736 18446744073709551615 6211480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 11223 10441 558 886 0 10333 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44892 [startup+51.1016 s] /proc/loadavg: 1.01 1.01 1.00 2/65 31900 /proc/meminfo: memFree=1302940/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=44892 CPUtime=51.07 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 11051 0 0 0 5079 28 0 0 25 0 1 0 180669069 45969408 10442 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 11223 10442 558 886 0 10333 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44892 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31900 /proc/meminfo: memFree=1300700/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=47188 CPUtime=102.26 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 11656 0 0 0 10178 48 0 0 25 0 1 0 180669069 48320512 11044 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 11797 11044 564 886 0 10907 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 47188 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31900 /proc/meminfo: memFree=1295964/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=51912 CPUtime=162.24 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 12834 0 0 0 16149 75 0 0 25 0 1 0 180669069 53157888 12222 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 12978 12222 564 886 0 12088 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 51912 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31900 /proc/meminfo: memFree=1291164/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=56472 CPUtime=222.21 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 14040 0 0 0 22116 105 0 0 25 0 1 0 180669069 57827328 13411 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 14118 13411 564 886 0 13228 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 56472 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31900 /proc/meminfo: memFree=1289564/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=58232 CPUtime=282.19 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 14431 0 0 0 28084 135 0 0 25 0 1 0 180669069 59629568 13802 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 14558 13802 564 886 0 13668 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 58232 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31900 /proc/meminfo: memFree=1286428/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=61256 CPUtime=342.18 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 15192 0 0 0 34050 168 0 0 25 0 1 0 180669069 62726144 14563 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 15314 14563 564 886 0 14424 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 61256 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31900 /proc/meminfo: memFree=1281244/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=66288 CPUtime=402.15 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 16476 0 0 0 40010 205 0 0 25 0 1 0 180669069 67878912 15847 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 16572 15847 564 886 0 15682 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 66288 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31900 /proc/meminfo: memFree=1278172/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=69240 CPUtime=462.14 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 17239 0 0 0 45974 240 0 0 25 0 1 0 180669069 70901760 16610 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 17310 16610 564 886 0 16420 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 69240 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31900 /proc/meminfo: memFree=1272668/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=74708 CPUtime=522.12 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 18605 0 0 0 51941 271 0 0 25 0 1 0 180669069 76500992 17976 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 18677 17976 564 886 0 17787 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 74708 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31900 /proc/meminfo: memFree=1267868/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=79664 CPUtime=582.1 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 19811 0 0 0 57908 302 0 0 25 0 1 0 180669069 81575936 19182 1992294400 4194304 7823515 548682068736 18446744073709551615 4266366 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 19916 19182 564 886 0 19026 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 79664 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31900 /proc/meminfo: memFree=1260060/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=87148 CPUtime=642.08 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 21810 0 0 0 63874 334 0 0 25 0 1 0 180669069 89239552 21104 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 21787 21104 564 886 0 20897 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 87148 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1242268/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=104956 CPUtime=941.98 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 26266 0 0 0 93704 494 0 0 25 0 1 0 180669069 107474944 25559 1992294400 4194304 7823515 548682068736 18446744073709551615 6911824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 26239 25559 564 886 0 25349 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 104956 [startup+1002.3 s] /proc/loadavg: 1.06 1.01 1.00 2/65 31902 /proc/meminfo: memFree=1241436/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=105752 CPUtime=1001.96 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 26427 0 0 0 99672 524 0 0 25 0 1 0 180669069 108290048 25720 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 26438 25720 564 886 0 25548 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 105752 [startup+1062.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 31902 /proc/meminfo: memFree=1239580/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=107428 CPUtime=1061.94 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 26883 0 0 0 105638 556 0 0 25 0 1 0 180669069 110006272 26176 1992294400 4194304 7823515 548682068736 18446744073709551615 5879390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 26857 26176 564 886 0 25967 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 107428 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31902 /proc/meminfo: memFree=1238556/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=108380 CPUtime=1121.92 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27121 0 0 0 111601 591 0 0 25 0 1 0 180669069 110981120 26414 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27095 26414 564 886 0 26205 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 108380 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31902 /proc/meminfo: memFree=1237788/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=109360 CPUtime=1181.91 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27365 0 0 0 117567 624 0 0 25 0 1 0 180669069 111984640 26658 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27340 26658 564 886 0 26450 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 109360 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31902 /proc/meminfo: memFree=1237276/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=109584 CPUtime=1241.89 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27423 0 0 0 123530 659 0 0 25 0 1 0 180669069 112214016 26716 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27396 26716 564 886 0 26506 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 109584 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31902 /proc/meminfo: memFree=1236572/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=110252 CPUtime=1301.86 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27590 0 0 0 129493 693 0 0 25 0 1 0 180669069 112898048 26883 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27563 26883 564 886 0 26673 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 110252 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1236188/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=110432 CPUtime=1361.84 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27635 0 0 0 135458 726 0 0 25 0 1 0 180669069 113082368 26928 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27608 26928 564 886 0 26718 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 110432 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1236188/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=110616 CPUtime=1421.82 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27684 0 0 0 141425 757 0 0 25 0 1 0 180669069 113270784 26977 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27654 26977 564 886 0 26764 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 110616 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1236124/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=110616 CPUtime=1481.8 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27690 0 0 0 147391 789 0 0 25 0 1 0 180669069 113270784 26983 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27654 26983 564 886 0 26764 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 110616 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1235740/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=111108 CPUtime=1541.77 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27804 0 0 0 153358 819 0 0 25 0 1 0 180669069 113774592 27097 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27777 27097 564 886 0 26887 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 111108 Solver just ended. Dumping a history of the last processes samples [startup+1548.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1235676/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=111108 CPUtime=1548.18 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27812 0 0 0 153994 824 0 0 25 0 1 0 180669069 113774592 27105 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27777 27105 564 886 0 26887 0 Current children cumulated CPU time (s) 1548.18 Current children cumulated vsize (KiB) 111108 [startup+1555.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1235356/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=111496 CPUtime=1554.58 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27901 0 0 0 154630 828 0 0 25 0 1 0 180669069 114171904 27194 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27874 27194 564 886 0 26984 0 Current children cumulated CPU time (s) 1554.58 Current children cumulated vsize (KiB) 111496 [startup+1558.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1235292/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=111496 CPUtime=1557.78 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27902 0 0 0 154948 830 0 0 25 0 1 0 180669069 114171904 27195 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27874 27195 564 886 0 26984 0 Current children cumulated CPU time (s) 1557.78 Current children cumulated vsize (KiB) 111496 [startup+1561.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1235164/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=111844 CPUtime=1560.97 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27988 0 0 0 155265 832 0 0 25 0 1 0 180669069 114528256 27281 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27961 27281 564 886 0 27071 0 Current children cumulated CPU time (s) 1560.97 Current children cumulated vsize (KiB) 111844 [startup+1562.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1234972/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=111844 CPUtime=1561.78 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27989 0 0 0 155345 833 0 0 25 0 1 0 180669069 114528256 27282 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27961 27282 564 886 0 27071 0 Current children cumulated CPU time (s) 1561.78 Current children cumulated vsize (KiB) 111844 [startup+1563.11 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1234972/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=111844 CPUtime=1562.58 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27989 0 0 0 155425 833 0 0 25 0 1 0 180669069 114528256 27282 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27961 27282 564 886 0 27071 0 Current children cumulated CPU time (s) 1562.58 Current children cumulated vsize (KiB) 111844 [startup+1563.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1234972/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=111844 CPUtime=1562.97 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27989 0 0 0 155464 833 0 0 25 0 1 0 180669069 114528256 27282 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27961 27282 564 886 0 27071 0 Current children cumulated CPU time (s) 1562.97 Current children cumulated vsize (KiB) 111844 [startup+1563.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31908 /proc/meminfo: memFree=1234972/2055920 swapFree=4181368/4192956 [pid=31899] ppid=31897 vsize=111844 CPUtime=1563.07 /proc/31899/stat : 31899 (pbscip.linux.x8) R 31897 31899 31664 0 -1 4194304 27989 0 0 0 155474 833 0 0 25 0 1 0 180669069 114528256 27282 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31899/statm: 27961 27282 564 886 0 27071 0 Current children cumulated CPU time (s) 1563.07 Current children cumulated vsize (KiB) 111844 Child status: 0 Real time (s): 1563.7 CPU time (s): 1563.18 CPU user time (s): 1554.82 CPU system time (s): 8.35273 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 111844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1554.82 system time used= 8.35273 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27998 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2784 runsolver used 1.17682 second user time and 3.17852 second system time The end
Begin job on node43 at 2009-06-16 07:38:39 IDJOB=1868648 IDBENCH=1491 IDSOLVER=683 FILE ID=node43/1868648-1245130719 PBS_JOBID= 9363711 Free space on /tmp= 66192 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.burch_dill.2.accl.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-1868648-1245130719/watcher-1868648-1245130719 -o /tmp/evaluation-result-1868648-1245130719/solver-1868648-1245130719 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868648-1245130719.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a1104c8fec3fd69abc0a798c3b6bfa5b RANDOM SEED=1705228769 node43.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.281 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.281 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: 1343172 kB Buffers: 46792 kB Cached: 594740 kB SwapCached: 5352 kB Active: 79788 kB Inactive: 569568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1343172 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 10120 kB Writeback: 0 kB Mapped: 13528 kB Slab: 49324 kB Committed_AS: 166660 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66184 MiB End job on node43 at 2009-06-16 08:04:42