Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.1 | 1800.54 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb |
MD5SUM | ec41e051a85a6b1d97ef15d7e169228d |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.437932 |
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 | 3249 |
Total number of constraints | 8983 |
Number of constraints which are clauses | 8599 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 384 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.10/0.14 c SCIP version 1.1.0.7 0.10/0.14 c LP-Solver Clp 1.8.2 0.10/0.14 c user parameter file <scip.set> not found - using default parameters 0.10/0.14 c read problem <HOME/instance-1868627-1245130089.opb> 0.10/0.14 c original problem has 3249 variables (3249 bin, 0 int, 0 impl, 0 cont) and 8983 constraints 0.10/0.18 c No objective function, only one solution is needed. 0.10/0.18 c start presolving problem 0.10/0.18 c presolving: 0.29/0.34 c (round 1) 252 del vars, 138 del conss, 48 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156722 impls, 0 clqs 0.29/0.36 c (round 2) 253 del vars, 556 del conss, 49 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156722 impls, 0 clqs 0.29/0.37 c (round 3) 257 del vars, 564 del conss, 53 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156872 impls, 0 clqs 0.29/0.37 c (round 4) 259 del vars, 569 del conss, 56 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156911 impls, 0 clqs 0.29/0.38 c (round 5) 261 del vars, 576 del conss, 57 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 156986 impls, 0 clqs 0.29/0.39 c (round 6) 263 del vars, 581 del conss, 57 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 157052 impls, 0 clqs 0.39/0.40 c (round 7) 263 del vars, 583 del conss, 57 chg bounds, 192 chg sides, 402 chg coeffs, 0 upgd conss, 157052 impls, 0 clqs 0.39/0.49 c (round 8) 263 del vars, 583 del conss, 57 chg bounds, 192 chg sides, 402 chg coeffs, 8400 upgd conss, 157052 impls, 0 clqs 0.49/0.53 c presolving (9 rounds): 0.49/0.53 c 263 deleted vars, 583 deleted constraints, 57 tightened bounds, 0 added holes, 192 changed sides, 402 changed coefficients 0.49/0.53 c 157052 implications, 0 cliques 0.49/0.53 c presolved problem has 2986 variables (2986 bin, 0 int, 0 impl, 0 cont) and 8400 constraints 0.49/0.53 c 384 constraints of type <knapsack> 0.49/0.53 c 8016 constraints of type <logicor> 0.49/0.53 c transformed objective value is always integral (scale: 1) 0.49/0.53 c Presolving Time: 0.30 0.49/0.53 c SATUNSAT-LIN 0.49/0.53 c ----------------------------------------------------------------------------------------------- 0.49/0.53 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.53 c separating/flowcover/freq = c -1 0.49/0.53 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.53 c separating/cmir/freq = c -1 0.49/0.53 c # additional number of allowed LP iterations 0.49/0.53 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.53 c heuristics/veclendiving/maxlpiterofs = c 1500 0.49/0.53 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.53 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.49/0.53 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.53 c heuristics/veclendiving/freq = c -1 0.49/0.53 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.53 c heuristics/simplerounding/freq = c -1 0.49/0.53 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.53 c heuristics/shifting/freq = c -1 0.49/0.53 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.53 c heuristics/rounding/freq = c -1 0.49/0.53 c # additional number of allowed LP iterations 0.49/0.53 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.53 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.49/0.53 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.49/0.53 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.49/0.53 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.53 c heuristics/rootsoldiving/freq = c -1 0.49/0.53 c # number of nodes added to the contingent of the total nodes 0.49/0.53 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.53 c heuristics/rens/nodesofs = c 2000 0.49/0.53 c # minimum percentage of integer variables that have to be fixable 0.49/0.53 c # [type: real, range: [0,1], default: 0.5] 0.49/0.53 c heuristics/rens/minfixingrate = c 0.3 0.49/0.53 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 0] 0.49/0.53 c heuristics/rens/freq = c -1 0.49/0.53 c # additional number of allowed LP iterations 0.49/0.53 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.53 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.49/0.53 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.53 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.49/0.53 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.53 c heuristics/pscostdiving/freq = c -1 0.49/0.53 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 1] 0.49/0.53 c heuristics/oneopt/freq = c -1 0.49/0.53 c # additional number of allowed LP iterations 0.49/0.53 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.53 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.49/0.53 c # maximal fraction of diving LP iterations compared to total iteration number 0.49/0.53 c # [type: real, range: [0,1], default: 0.01] 0.49/0.53 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.49/0.53 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.53 c heuristics/objpscostdiving/freq = c -1 0.49/0.53 c # additional number of allowed LP iterations 0.49/0.53 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.53 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.49/0.53 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.53 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.49/0.53 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.53 c heuristics/linesearchdiving/freq = c -1 0.49/0.53 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.53 c heuristics/intshifting/freq = c -1 0.49/0.53 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.53 c heuristics/intdiving/maxlpiterquot = c 0.075 0.49/0.53 c # additional number of allowed LP iterations 0.49/0.53 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.53 c heuristics/guideddiving/maxlpiterofs = c 1500 0.49/0.53 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.53 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.49/0.53 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.53 c heuristics/guideddiving/freq = c -1 0.49/0.53 c # additional number of allowed LP iterations 0.49/0.53 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.53 c heuristics/fracdiving/maxlpiterofs = c 1500 0.49/0.53 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.53 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.49/0.53 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.53 c heuristics/fracdiving/freq = c -1 0.49/0.53 c # additional number of allowed LP iterations 0.49/0.53 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.53 c heuristics/feaspump/maxlpiterofs = c 2000 0.49/0.53 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 20] 0.49/0.53 c heuristics/feaspump/freq = c -1 0.49/0.53 c # minimum percentage of integer variables that have to be fixed 0.49/0.53 c # [type: real, range: [0,1], default: 0.666] 0.49/0.53 c heuristics/crossover/minfixingrate = c 0.5 0.49/0.53 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.49/0.53 c # [type: real, range: [0,1], default: 0.1] 0.49/0.53 c heuristics/crossover/nodesquot = c 0.15 0.49/0.53 c # number of nodes without incumbent change that heuristic should wait 0.49/0.53 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.49/0.53 c heuristics/crossover/nwaitingnodes = c 100 0.49/0.53 c # number of nodes added to the contingent of the total nodes 0.49/0.53 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.49/0.53 c heuristics/crossover/nodesofs = c 750 0.49/0.53 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 30] 0.49/0.53 c heuristics/crossover/freq = c -1 0.49/0.53 c # additional number of allowed LP iterations 0.49/0.53 c # [type: int, range: [0,2147483647], default: 1000] 0.49/0.53 c heuristics/coefdiving/maxlpiterofs = c 1500 0.49/0.53 c # maximal fraction of diving LP iterations compared to node LP iterations 0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.49/0.53 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.49/0.53 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 10] 0.49/0.53 c heuristics/coefdiving/freq = c -1 0.49/0.53 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.53 c presolving/probing/maxrounds = c 0 0.49/0.53 c # should presolving try to simplify knapsacks 0.49/0.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.53 c constraints/knapsack/simplifyinequalities = c TRUE 0.49/0.53 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.49/0.53 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.49/0.53 c constraints/knapsack/disaggregation = c FALSE 0.49/0.53 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.53 c constraints/knapsack/maxnumcardlift = c 0 0.49/0.53 c # should presolving try to simplify inequalities 0.49/0.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.49/0.53 c constraints/linear/simplifyinequalities = c TRUE 0.49/0.53 c # maximal number of separation rounds in the root node (-1: unlimited) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.53 c separating/maxroundsroot = c 5 0.49/0.53 c # maximal number of separation rounds per node (-1: unlimited) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 5] 0.49/0.53 c separating/maxrounds = c 1 0.49/0.53 c # solving stops, if the given number of solutions were found (-1: no limit) 0.49/0.53 c # [type: int, range: [-1,2147483647], default: -1] 0.49/0.53 c limits/solutions = c 1 0.49/0.53 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.53 c limits/memory = c 1620 0.49/0.53 c # maximal time in seconds to run 0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.49/0.53 c limits/time = c 1791 0.49/0.53 c # frequency for displaying node information lines 0.49/0.53 c # [type: int, range: [-1,2147483647], default: 100] 0.49/0.53 c display/freq = c 10000 0.49/0.53 c ----------------------------------------------------------------------------------------------- 0.49/0.53 c start solving problem 0.49/0.53 c 0.60/0.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.60/0.70 c 0.5s| 1 | 0 | 874 | 21M| 0 | 446 |2986 |8400 |8400 |2986 |8400 | 0 | 0 | 0 | 2.856183e+02 | -- | Inf 1.20/1.26 c 1.0s| 1 | 0 | 1168 | 21M| 0 | 566 |2986 |8400 |8400 |2986 |8469 | 69 | 0 | 0 | 3.258861e+02 | -- | Inf 1.69/1.79 c 1.6s| 1 | 0 | 1706 | 21M| 0 | 624 |2986 |8400 |8400 |2986 |8592 | 192 | 0 | 0 | 3.425397e+02 | -- | Inf 2.39/2.41 c 2.2s| 1 | 0 | 2230 | 22M| 0 | 663 |2986 |8400 |8400 |2986 |8655 | 255 | 0 | 0 | 3.501968e+02 | -- | Inf 3.09/3.18 c 2.9s| 1 | 0 | 2721 | 22M| 0 | 662 |2986 |8400 |8400 |2986 |8719 | 319 | 0 | 0 | 3.568478e+02 | -- | Inf 3.99/4.02 c 3.8s| 1 | 0 | 3362 | 22M| 0 | 668 |2986 |8400 |8400 |2986 |8766 | 366 | 0 | 0 | 3.646320e+02 | -- | Inf 8.18/8.24 c 8.0s| 1 | 2 | 3362 | 22M| 0 | 668 |2986 |8400 |8400 |2986 |8766 | 366 | 0 | 17 | 3.646320e+02 | -- | Inf 357.91/358.00 c 356s| 10000 | 5585 |278968 | 48M| 101 | 61 |2986 |8682 |1209 |2986 |8696 | 366 | 604 |1741 | 5.244555e+02 | -- | Inf 573.95/574.15 c 572s| 20000 | 11811 |448855 | 72M| 101 | 72 |2986 |8906 |1229 |2986 |8696 | 366 |1124 |2555 | 5.262484e+02 | -- | Inf 778.41/778.61 c 775s| 30000 | 18097 |603168 | 97M| 101 | 132 |2986 |8835 |1230 |2986 |8696 | 366 |1558 |3006 | 5.270508e+02 | -- | Inf 1005.75/1006.05 c 1001s| 40000 | 24062 |764361 | 121M| 101 | 99 |2986 |8858 |1044 |2986 |8696 | 366 |1838 |4101 | 5.277475e+02 | -- | Inf 1235.59/1235.94 c 1230s| 50000 | 28809 |953312 | 142M| 101 | 93 |2986 |8886 |1038 |2986 |8696 | 366 |2274 |4919 | 5.288294e+02 | -- | Inf 1442.44/1442.85 c 1435s| 60000 | 32365 | 1116k| 158M| 101 | 52 |2986 |9014 | 848 |2986 |8696 | 366 |3634 |5598 | 5.303228e+02 | -- | Inf 1679.68/1680.18 c 1671s| 70000 | 35393 | 1359k| 172M| 101 | - |2986 |8871 | 993 |2986 |8696 | 366 |4541 |6403 | 5.317244e+02 | -- | Inf 1799.95/1800.49 c 1799.95/1800.49 c SCIP Status : solving was interrupted [time limit reached] 1799.95/1800.49 c Solving Time (sec) : 1791.00 1799.95/1800.49 c Solving Nodes : 75304 1799.95/1800.49 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1799.95/1800.49 c Dual Bound : +5.32486352672784e+02 1799.95/1800.49 c Gap : infinite 1799.95/1800.49 c NODE 75304 1799.95/1800.49 c DUAL BOUND 532.486 1799.95/1800.49 c PRIMAL BOUND 1e+20 1799.95/1800.49 c GAP 1e+20 1799.95/1800.49 s UNKNOWN 1799.95/1800.49 c SCIP Status : solving was interrupted [time limit reached] 1799.95/1800.49 c Solving Time : 1791.00 1799.95/1800.49 c Original Problem : 1799.95/1800.49 c Problem name : HOME/instance-1868627-1245130089.opb 1799.95/1800.49 c Variables : 3249 (3249 binary, 0 integer, 0 implicit integer, 0 continuous) 1799.95/1800.49 c Constraints : 8983 initial, 8983 maximal 1799.95/1800.49 c Presolved Problem : 1799.95/1800.49 c Problem name : t_HOME/instance-1868627-1245130089.opb 1799.95/1800.49 c Variables : 2986 (2986 binary, 0 integer, 0 implicit integer, 0 continuous) 1799.95/1800.49 c Constraints : 8400 initial, 9077 maximal 1799.95/1800.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1799.95/1800.49 c trivial : 0.01 2 0 0 0 0 0 0 0 1799.95/1800.49 c dualfix : 0.00 0 0 0 0 0 0 0 0 1799.95/1800.49 c boundshift : 0.00 0 0 0 0 0 0 0 0 1799.95/1800.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1799.95/1800.49 c implics : 0.03 0 203 0 0 0 0 0 0 1799.95/1800.49 c probing : 0.00 0 0 0 0 0 0 0 0 1799.95/1800.49 c knapsack : 0.02 0 0 0 0 0 0 0 0 1799.95/1800.49 c linear : 0.19 55 3 0 57 0 583 192 402 1799.95/1800.49 c logicor : 0.04 0 0 0 0 0 0 0 0 1799.95/1800.49 c root node : - 0 - - 0 - - - - 1799.95/1800.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1799.95/1800.49 c integral : 0 0 0 58199 0 76 645 0 0 115764 1799.95/1800.49 c knapsack : 384 5 271116 0 0 1653 226515 701 0 0 1799.95/1800.49 c logicor : 8016+ 5 239918 0 0 415 655363 0 0 0 1799.95/1800.49 c countsols : 0 0 0 0 0 0 0 0 0 0 1799.95/1800.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1799.95/1800.49 c integral : 213.31 0.00 0.00 213.31 0.00 1799.95/1800.49 c knapsack : 9.02 0.01 9.01 0.00 0.00 1799.95/1800.49 c logicor : 6.20 0.00 6.20 0.00 0.00 1799.95/1800.49 c countsols : 0.00 0.00 0.00 0.00 0.00 1799.95/1800.49 c Propagators : Time Calls Cutoffs DomReds 1799.95/1800.49 c rootredcost : 0.11 0 0 0 1799.95/1800.49 c pseudoobj : 40.74 271920 0 0 1799.95/1800.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1799.95/1800.49 c propagation : 0.32 2068 2066 9419 17.1 158 11.4 - 1799.95/1800.49 c infeasible LP : 12.50 15519 0 0 0.0 0 0.0 0 1799.95/1800.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1799.95/1800.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1799.95/1800.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1799.95/1800.49 c applied globally : - - - 4867 13.1 - - - 1799.95/1800.49 c applied locally : - - - 0 0.0 - - - 1799.95/1800.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1799.95/1800.49 c cut pool : 0.00 4 - - 326 - (maximal pool size: 1653) 1799.95/1800.49 c redcost : 12.40 57982 0 0 0 0 1799.95/1800.49 c impliedbounds : 0.02 5 0 0 0 0 1799.95/1800.49 c intobj : 0.00 0 0 0 0 0 1799.95/1800.49 c gomory : 0.78 5 0 0 2500 0 1799.95/1800.49 c strongcg : 0.69 5 0 0 2500 0 1799.95/1800.49 c cmir : 0.00 0 0 0 0 0 1799.95/1800.49 c flowcover : 0.00 0 0 0 0 0 1799.95/1800.49 c clique : 0.19 5 0 0 35 0 1799.95/1800.49 c zerohalf : 0.00 0 0 0 0 0 1799.95/1800.49 c mcf : 0.05 1 0 0 0 0 1799.95/1800.49 c Pricers : Time Calls Vars 1799.95/1800.49 c problem variables: 0.00 0 0 1799.95/1800.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1799.95/1800.49 c relpscost : 213.19 58199 76 645 0 0 115764 1799.95/1800.49 c pscost : 0.00 0 0 0 0 0 0 1799.95/1800.49 c inference : 0.00 0 0 0 0 0 0 1799.95/1800.49 c mostinf : 0.00 0 0 0 0 0 0 1799.95/1800.49 c leastinf : 0.00 0 0 0 0 0 0 1799.95/1800.49 c fullstrong : 0.00 0 0 0 0 0 0 1799.95/1800.49 c allfullstrong : 0.00 0 0 0 0 0 0 1799.95/1800.49 c random : 0.00 0 0 0 0 0 0 1799.95/1800.49 c Primal Heuristics : Time Calls Found 1799.95/1800.49 c LP solutions : 0.00 - 0 1799.95/1800.49 c pseudo solutions : 0.00 - 0 1799.95/1800.49 c simplerounding : 0.00 0 0 1799.95/1800.49 c rounding : 0.00 0 0 1799.95/1800.49 c shifting : 0.00 0 0 1799.95/1800.49 c intshifting : 0.00 0 0 1799.95/1800.49 c oneopt : 0.00 0 0 1799.95/1800.49 c fixandinfer : 0.00 0 0 1799.95/1800.49 c feaspump : 0.00 0 0 1799.95/1800.49 c coefdiving : 0.00 0 0 1799.95/1800.49 c pscostdiving : 0.00 0 0 1799.95/1800.49 c fracdiving : 0.00 0 0 1799.95/1800.49 c veclendiving : 0.00 0 0 1799.95/1800.49 c intdiving : 0.00 0 0 1799.95/1800.49 c actconsdiving : 0.00 0 0 1799.95/1800.49 c objpscostdiving : 0.00 0 0 1799.95/1800.49 c rootsoldiving : 0.00 0 0 1799.95/1800.49 c linesearchdiving : 0.00 0 0 1799.95/1800.49 c guideddiving : 0.00 0 0 1799.95/1800.49 c octane : 0.00 0 0 1799.95/1800.49 c rens : 0.00 0 0 1799.95/1800.49 c rins : 0.00 0 0 1799.95/1800.49 c localbranching : 0.00 0 0 1799.95/1800.49 c mutation : 0.00 0 0 1799.95/1800.49 c crossover : 0.00 0 0 1799.95/1800.49 c dins : 0.00 0 0 1799.95/1800.49 c LP : Time Calls Iterations Iter/call Iter/sec 1799.95/1800.49 c primal LP : 0.07 0 0 0.00 0.00 1799.95/1800.49 c dual LP : 1250.48 70885 1494374 21.08 1195.04 1799.95/1800.49 c barrier LP : 0.00 0 0 0.00 - 1799.95/1800.49 c diving/probing LP: 0.00 0 0 0.00 - 1799.95/1800.49 c strong branching : 208.47 6471 421171 65.09 2020.30 1799.95/1800.49 c (at root node) : - 17 5511 324.18 - 1799.95/1800.49 c conflict analysis: 0.00 0 0 0.00 - 1799.95/1800.49 c B&B Tree : 1799.95/1800.49 c number of runs : 1 1799.95/1800.49 c nodes : 75304 1799.95/1800.49 c nodes (total) : 75304 1799.95/1800.49 c nodes left : 36785 1799.95/1800.49 c max depth : 101 1799.95/1800.49 c max depth (total): 101 1799.95/1800.49 c backtracks : 7641 (10.1%) 1799.95/1800.49 c delayed cutoffs : 3676 1799.95/1800.49 c repropagations : 11679 (25442 domain reductions, 241 cutoffs) 1799.95/1800.49 c avg switch length: 5.86 1799.95/1800.49 c switching time : 22.26 1799.95/1800.49 c Solution : 1799.95/1800.49 c Solutions found : 0 (0 improvements) 1799.95/1800.49 c Primal Bound : - 1799.95/1800.49 c Dual Bound : +5.32486352672784e+02 1799.95/1800.49 c Gap : infinite 1799.95/1800.49 c Root Dual Bound : +3.64631961840343e+02
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-1868627-1245130089/watcher-1868627-1245130089 -o /tmp/evaluation-result-1868627-1245130089/solver-1868627-1245130089 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868627-1245130089.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7494 /proc/meminfo: memFree=1456544/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=5812 CPUtime=0 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 180608458 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/7494/statm: 1453 502 332 1256 0 192 0 [startup+0.105421 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7494 /proc/meminfo: memFree=1456544/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=16040 CPUtime=0.1 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 2968 0 0 0 9 1 0 0 18 0 1 0 180608458 16424960 2952 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/7494/statm: 4010 2952 376 1256 0 2749 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16040 [startup+0.202432 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7494 /proc/meminfo: memFree=1456544/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=28288 CPUtime=0.19 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 6249 0 0 0 17 2 0 0 19 0 1 0 180608458 28966912 5879 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 7072 5879 473 1256 0 5811 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28288 [startup+0.302434 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7494 /proc/meminfo: memFree=1456544/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=33912 CPUtime=0.29 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 7628 0 0 0 26 3 0 0 19 0 1 0 180608458 34725888 7258 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 8478 7258 474 1256 0 7217 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33912 [startup+0.702459 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7494 /proc/meminfo: memFree=1456544/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=54268 CPUtime=0.7 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 12146 0 0 0 62 8 0 0 18 0 1 0 180608458 55570432 11739 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 13567 11739 631 1256 0 12306 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 54268 [startup+1.50151 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1411224/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=55632 CPUtime=1.49 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 12549 0 0 0 138 11 0 0 24 0 1 0 180608458 56967168 12142 1992294400 4194304 9342243 548682068736 18446744073709551615 4297830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 13908 12142 654 1256 0 12647 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 55632 [startup+3.10162 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1408536/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=61592 CPUtime=3.09 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 13909 0 0 0 297 12 0 0 25 0 1 0 180608458 63070208 13502 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 15398 13502 654 1256 0 14137 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 61592 [startup+6.30182 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1402008/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=69880 CPUtime=6.29 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 15129 0 0 0 615 14 0 0 25 0 1 0 180608458 71557120 14176 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 17470 14176 659 1256 0 16209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 69880 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1401312/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=68928 CPUtime=12.69 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 18525 0 0 0 1253 16 0 0 25 0 1 0 180608458 70582272 14377 1992294400 4194304 9342243 548682068736 18446744073709551615 6960879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 17232 14377 673 1256 0 15971 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 68928 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1401568/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=70456 CPUtime=25.49 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 22274 0 0 0 2528 21 0 0 25 0 1 0 180608458 72146944 14347 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 17614 14347 673 1256 0 16353 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 70456 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1401248/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=70480 CPUtime=51.08 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 30274 0 0 0 5079 29 0 0 25 0 1 0 180608458 72171520 14417 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 17620 14417 673 1256 0 16359 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 70480 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1396128/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=71452 CPUtime=102.27 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 61944 0 0 0 10168 59 0 0 25 0 1 0 180608458 73166848 15733 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 17863 15733 680 1256 0 16602 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 71452 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1390304/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=76760 CPUtime=162.25 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 95190 0 0 0 16135 90 0 0 25 0 1 0 180608458 78602240 17139 1992294400 4194304 9342243 548682068736 18446744073709551615 6496544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 19190 17139 680 1256 0 17929 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 76760 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1385376/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=82944 CPUtime=222.24 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 110948 0 0 0 22110 114 0 0 25 0 1 0 180608458 84934656 18366 1992294400 4194304 9342243 548682068736 18446744073709551615 6896296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 20736 18366 680 1256 0 19475 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 82944 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1379616/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=88488 CPUtime=282.22 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 124906 0 0 0 28088 134 0 0 25 0 1 0 180608458 90611712 19804 1992294400 4194304 9342243 548682068736 18446744073709551615 6240183 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 22122 19804 680 1256 0 20861 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 88488 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1373728/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=95664 CPUtime=342.21 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 132579 0 0 0 34071 150 0 0 25 0 1 0 180608458 97959936 21283 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 23916 21283 680 1256 0 22655 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 95664 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1367328/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=100320 CPUtime=402.19 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 147312 0 0 0 40048 171 0 0 25 0 1 0 180608458 102727680 22842 1992294400 4194304 9342243 548682068736 18446744073709551615 6911081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 25080 22842 680 1256 0 23819 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 100320 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1361120/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=107396 CPUtime=462.18 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 155916 0 0 0 46030 188 0 0 25 0 1 0 180608458 109973504 24444 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 26849 24444 680 1256 0 25588 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 107396 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1354656/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=113896 CPUtime=522.16 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 174610 0 0 0 52009 207 0 0 25 0 1 0 180608458 116629504 26081 1992294400 4194304 9342243 548682068736 18446744073709551615 6039459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 28474 26081 680 1256 0 27213 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 113896 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1347168/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=121592 CPUtime=582.15 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 191514 0 0 0 57986 229 0 0 25 0 1 0 180608458 124510208 27924 1992294400 4194304 9342243 548682068736 18446744073709551615 4253576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 30398 27924 680 1256 0 29137 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 121592 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1340960/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=127872 CPUtime=642.14 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 197497 0 0 0 63969 245 0 0 25 0 1 0 180608458 130940928 29779 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 31968 29779 680 1256 0 30707 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 127872 [startup+702.302 s] ################ # More data... # ################ [startup+822.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1318496/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=148028 CPUtime=822.1 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 289992 0 0 0 81882 328 0 0 25 0 1 0 180608458 151580672 35032 1992294400 4194304 9342243 548682068736 18446744073709551615 6976974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 37007 35032 680 1256 0 35746 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 148028 [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1310176/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=161460 CPUtime=882.08 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 345012 0 0 0 87839 369 0 0 25 0 1 0 180608458 165335040 37073 1992294400 4194304 9342243 548682068736 18446744073709551615 6983475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 40365 37076 680 1256 0 39104 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 161460 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1304352/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=162604 CPUtime=942.06 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 376110 0 0 0 93804 402 0 0 25 0 1 0 180608458 166506496 38582 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 40651 38582 680 1256 0 39390 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 162604 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7495 /proc/meminfo: memFree=1297696/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=170016 CPUtime=1002.05 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 417397 0 0 0 99771 434 0 0 25 0 1 0 180608458 174096384 40268 1992294400 4194304 9342243 548682068736 18446744073709551615 6951969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 42504 40268 680 1256 0 41243 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 170016 [startup+1062.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 7495 /proc/meminfo: memFree=1290400/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=175224 CPUtime=1062.04 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 469574 0 0 0 105728 476 0 0 25 0 1 0 180608458 179429376 42063 1992294400 4194304 9342243 548682068736 18446744073709551615 6918669 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 43806 42063 680 1256 0 42545 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 175224 [startup+1122.3 s] /proc/loadavg: 1.05 1.02 1.00 2/65 7495 /proc/meminfo: memFree=1284896/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=182064 CPUtime=1122.02 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 511918 0 0 0 111689 513 0 0 25 0 1 0 180608458 186433536 43419 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 45516 43419 680 1256 0 44255 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 182064 [startup+1182.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7495 /proc/meminfo: memFree=1275872/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=189444 CPUtime=1182.01 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 560214 0 0 0 117651 550 0 0 25 0 1 0 180608458 193990656 45671 1992294400 4194304 9342243 548682068736 18446744073709551615 6889308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 47361 45671 680 1256 0 46100 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 189444 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7495 /proc/meminfo: memFree=1273632/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=197648 CPUtime=1241.99 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 640856 0 0 0 123594 605 0 0 25 0 1 0 180608458 202391552 46287 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 49412 46287 680 1256 0 48151 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 197648 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7495 /proc/meminfo: memFree=1273120/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=192844 CPUtime=1301.98 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 695808 0 0 0 129551 647 0 0 25 0 1 0 180608458 197472256 46379 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 48211 46379 680 1256 0 46950 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 192844 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7497 /proc/meminfo: memFree=1266072/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=201356 CPUtime=1361.96 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 719264 0 0 0 135526 670 0 0 25 0 1 0 180608458 206188544 48143 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 50339 48143 680 1256 0 49078 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 201356 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7497 /proc/meminfo: memFree=1259168/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=208248 CPUtime=1421.95 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 756104 0 0 0 141493 702 0 0 25 0 1 0 180608458 213245952 49856 1992294400 4194304 9342243 548682068736 18446744073709551615 6496544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 52062 49856 680 1256 0 50801 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 208248 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7497 /proc/meminfo: memFree=1254304/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=213444 CPUtime=1481.93 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 765772 0 0 0 147473 720 0 0 25 0 1 0 180608458 218566656 51083 1992294400 4194304 9342243 548682068736 18446744073709551615 6959481 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 53361 51083 680 1256 0 52100 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 213444 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7497 /proc/meminfo: memFree=1249760/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=217660 CPUtime=1541.92 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 770653 0 0 0 153459 733 0 0 25 0 1 0 180608458 222883840 52203 1992294400 4194304 9342243 548682068736 18446744073709551615 7009017 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 54415 52203 680 1256 0 53154 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 217660 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7497 /proc/meminfo: memFree=1249248/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=218488 CPUtime=1601.9 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 867023 0 0 0 159391 799 0 0 25 0 1 0 180608458 223731712 52326 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 54622 52326 680 1256 0 53361 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 218488 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7497 /proc/meminfo: memFree=1246496/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=226352 CPUtime=1661.89 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 875960 0 0 0 165369 820 0 0 25 0 1 0 180608458 231784448 53012 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 56588 53012 680 1256 0 55327 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 226352 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7497 /proc/meminfo: memFree=1243104/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=225440 CPUtime=1721.87 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 899088 0 0 0 171343 844 0 0 25 0 1 0 180608458 230850560 53845 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 56360 53845 680 1256 0 55099 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 225440 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7497 /proc/meminfo: memFree=1239200/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=228916 CPUtime=1781.86 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 958044 0 0 0 177299 887 0 0 25 0 1 0 180608458 234409984 54836 1992294400 4194304 9342243 548682068736 18446744073709551615 6064723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7494/statm: 57229 54836 680 1256 0 55968 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 228916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7497 /proc/meminfo: memFree=1236704/2055920 swapFree=4192812/4192956 [pid=7494] ppid=7492 vsize=231552 CPUtime=1800.06 /proc/7494/stat : 7494 (pbscip.linux.x8) R 7492 7494 7424 0 -1 4194304 958945 0 0 0 179114 892 0 0 25 0 1 0 180608458 237109248 55462 1992294400 4194304 9342243 548682068736 18446744073709551615 4303034 0 0 4096 0 0 0 0 17 1 0 0 /proc/7494/statm: 57888 55462 682 1256 0 56627 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 231552 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.54 CPU time (s): 1800.1 CPU user time (s): 1791.14 CPU system time (s): 8.95964 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 233772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.14 system time used= 8.95964 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 958945 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= 7 involuntary context switches= 3474 runsolver used 1.39379 second user time and 3.87741 second system time The end
Begin job on node30 at 2009-06-16 07:28:09 IDJOB=1868627 IDBENCH=1480 IDSOLVER=684 FILE ID=node30/1868627-1245130089 PBS_JOBID= 9363688 Free space on /tmp= 66244 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868627-1245130089/watcher-1868627-1245130089 -o /tmp/evaluation-result-1868627-1245130089/solver-1868627-1245130089 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868627-1245130089.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ec41e051a85a6b1d97ef15d7e169228d RANDOM SEED=2118940409 node30.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.230 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.230 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: 1456960 kB Buffers: 58344 kB Cached: 453420 kB SwapCached: 140 kB Active: 157784 kB Inactive: 368032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1456960 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 11988 kB Writeback: 0 kB Mapped: 23700 kB Slab: 59188 kB Committed_AS: 146668 kB PageTables: 1360 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= 66232 MiB End job on node30 at 2009-06-16 07:58:12