| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | UNSAT | 311.848 | 311.966 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_8-unsat.opb |
| MD5SUM | a4c61139e0eb75a13e9da4d40232e606 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| 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 | 311.848 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 29040 |
| Total number of constraints | 96434 |
| Number of constraints which are clauses | 95958 |
| 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 | 120 |
| 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 | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 740 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2684801-1278434381.opb>
1.69/1.71 c original problem has 29040 variables (29040 bin, 0 int, 0 impl, 0 cont) and 96434 constraints
1.69/1.71 c problem read
1.69/1.71 c No objective function, only one solution is needed.
1.69/1.72 c presolving settings loaded
2.20/2.24 c presolving:
6.59/6.69 c (round 1) 6687 del vars, 19660 del conss, 4985 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5359024 impls, 0 clqs
8.99/9.00 c (round 2) 14159 del vars, 48261 del conss, 11986 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5402729 impls, 0 clqs
9.28/9.34 c (round 3) 16664 del vars, 60179 del conss, 13462 chg bounds, 16 chg sides, 25 chg coeffs, 0 upgd conss, 5416545 impls, 0 clqs
9.49/9.52 c (round 4) 17592 del vars, 63891 del conss, 14105 chg bounds, 40 chg sides, 60 chg coeffs, 0 upgd conss, 5426135 impls, 0 clqs
9.58/9.65 c (round 5) 18275 del vars, 66177 del conss, 14529 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5434363 impls, 0 clqs
9.68/9.74 c (round 6) 18664 del vars, 67612 del conss, 14750 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5438491 impls, 0 clqs
9.79/9.82 c (round 7) 18912 del vars, 68445 del conss, 14901 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5441206 impls, 0 clqs
9.79/9.88 c (round 8) 19066 del vars, 69049 del conss, 14975 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5443218 impls, 0 clqs
9.89/9.94 c (round 9) 19184 del vars, 69434 del conss, 15033 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5445104 impls, 0 clqs
9.89/9.99 c (round 10) 19266 del vars, 69712 del conss, 15078 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5446164 impls, 0 clqs
9.99/10.04 c (round 11) 19309 del vars, 69889 del conss, 15101 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5446546 impls, 0 clqs
9.99/10.08 c (round 12) 19341 del vars, 70026 del conss, 15110 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5447066 impls, 0 clqs
10.08/10.12 c (round 13) 19346 del vars, 70056 del conss, 15111 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5447170 impls, 0 clqs
10.38/10.42 c (round 14) 19346 del vars, 70058 del conss, 15111 chg bounds, 42 chg sides, 67 chg coeffs, 26376 upgd conss, 5447170 impls, 0 clqs
10.89/10.90 c (round 15) 19346 del vars, 70058 del conss, 15111 chg bounds, 105 chg sides, 251 chg coeffs, 26376 upgd conss, 5447170 impls, 0 clqs
10.89/11.00 c (round 16) 19346 del vars, 70058 del conss, 15111 chg bounds, 109 chg sides, 323 chg coeffs, 26376 upgd conss, 5447170 impls, 2 clqs
11.00/11.09 c presolving (17 rounds):
11.00/11.09 c 19346 deleted vars, 70058 deleted constraints, 15111 tightened bounds, 0 added holes, 109 changed sides, 346 changed coefficients
11.00/11.09 c 5447170 implications, 4 cliques
11.00/11.09 c presolved problem has 9694 variables (9694 bin, 0 int, 0 impl, 0 cont) and 26376 constraints
11.00/11.09 c 444 constraints of type <knapsack>
11.00/11.09 c 25932 constraints of type <logicor>
11.00/11.09 c transformed objective value is always integral (scale: 1)
11.00/11.09 c Presolving Time: 8.46
11.00/11.09 c - non default parameters ----------------------------------------------------------------------
11.00/11.09 c # SCIP version 1.2.1.2
11.00/11.09 c
11.00/11.09 c # frequency for displaying node information lines
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 100]
11.00/11.09 c display/freq = 10000
11.00/11.09 c
11.00/11.09 c # maximal time in seconds to run
11.00/11.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.00/11.09 c limits/time = 1798.29
11.00/11.09 c
11.00/11.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.00/11.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.00/11.09 c limits/memory = 1620
11.00/11.09 c
11.00/11.09 c # solving stops, if the given number of solutions were found (-1: no limit)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: -1]
11.00/11.09 c limits/solutions = 1
11.00/11.09 c
11.00/11.09 c # maximal number of separation rounds per node (-1: unlimited)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 5]
11.00/11.09 c separating/maxrounds = 1
11.00/11.09 c
11.00/11.09 c # maximal number of separation rounds in the root node (-1: unlimited)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: -1]
11.00/11.09 c separating/maxroundsroot = 5
11.00/11.09 c
11.00/11.09 c # should presolving try to simplify inequalities
11.00/11.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.00/11.09 c constraints/linear/simplifyinequalities = TRUE
11.00/11.09 c
11.00/11.09 c # should disaggregation of knapsack constraints be allowed in preprocessing?
11.00/11.09 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
11.00/11.09 c constraints/knapsack/disaggregation = FALSE
11.00/11.09 c
11.00/11.09 c # should presolving try to simplify knapsacks
11.00/11.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.00/11.09 c constraints/knapsack/simplifyinequalities = TRUE
11.00/11.09 c
11.00/11.09 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: -1]
11.00/11.09 c presolving/probing/maxrounds = 0
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 10]
11.00/11.09 c heuristics/coefdiving/freq = -1
11.00/11.09 c
11.00/11.09 c # maximal fraction of diving LP iterations compared to node LP iterations
11.00/11.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.00/11.09 c heuristics/coefdiving/maxlpiterquot = 0.075
11.00/11.09 c
11.00/11.09 c # additional number of allowed LP iterations
11.00/11.09 c # [type: int, range: [0,2147483647], default: 1000]
11.00/11.09 c heuristics/coefdiving/maxlpiterofs = 1500
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 30]
11.00/11.09 c heuristics/crossover/freq = -1
11.00/11.09 c
11.00/11.09 c # number of nodes added to the contingent of the total nodes
11.00/11.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
11.00/11.09 c heuristics/crossover/nodesofs = 750
11.00/11.09 c
11.00/11.09 c # number of nodes without incumbent change that heuristic should wait
11.00/11.09 c # [type: longint, range: [0,9223372036854775807], default: 200]
11.00/11.09 c heuristics/crossover/nwaitingnodes = 100
11.00/11.09 c
11.00/11.09 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
11.00/11.09 c # [type: real, range: [0,1], default: 0.1]
11.00/11.09 c heuristics/crossover/nodesquot = 0.15
11.00/11.09 c
11.00/11.09 c # minimum percentage of integer variables that have to be fixed
11.00/11.09 c # [type: real, range: [0,1], default: 0.666]
11.00/11.09 c heuristics/crossover/minfixingrate = 0.5
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 20]
11.00/11.09 c heuristics/feaspump/freq = -1
11.00/11.09 c
11.00/11.09 c # additional number of allowed LP iterations
11.00/11.09 c # [type: int, range: [0,2147483647], default: 1000]
11.00/11.09 c heuristics/feaspump/maxlpiterofs = 2000
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 10]
11.00/11.09 c heuristics/fracdiving/freq = -1
11.00/11.09 c
11.00/11.09 c # maximal fraction of diving LP iterations compared to node LP iterations
11.00/11.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.00/11.09 c heuristics/fracdiving/maxlpiterquot = 0.075
11.00/11.09 c
11.00/11.09 c # additional number of allowed LP iterations
11.00/11.09 c # [type: int, range: [0,2147483647], default: 1000]
11.00/11.09 c heuristics/fracdiving/maxlpiterofs = 1500
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 10]
11.00/11.09 c heuristics/guideddiving/freq = -1
11.00/11.09 c
11.00/11.09 c # maximal fraction of diving LP iterations compared to node LP iterations
11.00/11.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.00/11.09 c heuristics/guideddiving/maxlpiterquot = 0.075
11.00/11.09 c
11.00/11.09 c # additional number of allowed LP iterations
11.00/11.09 c # [type: int, range: [0,2147483647], default: 1000]
11.00/11.09 c heuristics/guideddiving/maxlpiterofs = 1500
11.00/11.09 c
11.00/11.09 c # maximal fraction of diving LP iterations compared to node LP iterations
11.00/11.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.00/11.09 c heuristics/intdiving/maxlpiterquot = 0.075
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 10]
11.00/11.09 c heuristics/intshifting/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 10]
11.00/11.09 c heuristics/linesearchdiving/freq = -1
11.00/11.09 c
11.00/11.09 c # maximal fraction of diving LP iterations compared to node LP iterations
11.00/11.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.00/11.09 c heuristics/linesearchdiving/maxlpiterquot = 0.075
11.00/11.09 c
11.00/11.09 c # additional number of allowed LP iterations
11.00/11.09 c # [type: int, range: [0,2147483647], default: 1000]
11.00/11.09 c heuristics/linesearchdiving/maxlpiterofs = 1500
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 1]
11.00/11.09 c heuristics/nlp/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 20]
11.00/11.09 c heuristics/objpscostdiving/freq = -1
11.00/11.09 c
11.00/11.09 c # maximal fraction of diving LP iterations compared to total iteration number
11.00/11.09 c # [type: real, range: [0,1], default: 0.01]
11.00/11.09 c heuristics/objpscostdiving/maxlpiterquot = 0.015
11.00/11.09 c
11.00/11.09 c # additional number of allowed LP iterations
11.00/11.09 c # [type: int, range: [0,2147483647], default: 1000]
11.00/11.09 c heuristics/objpscostdiving/maxlpiterofs = 1500
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 1]
11.00/11.09 c heuristics/oneopt/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 10]
11.00/11.09 c heuristics/pscostdiving/freq = -1
11.00/11.09 c
11.00/11.09 c # maximal fraction of diving LP iterations compared to node LP iterations
11.00/11.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.00/11.09 c heuristics/pscostdiving/maxlpiterquot = 0.075
11.00/11.09 c
11.00/11.09 c # additional number of allowed LP iterations
11.00/11.09 c # [type: int, range: [0,2147483647], default: 1000]
11.00/11.09 c heuristics/pscostdiving/maxlpiterofs = 1500
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 0]
11.00/11.09 c heuristics/rens/freq = -1
11.00/11.09 c
11.00/11.09 c # minimum percentage of integer variables that have to be fixable
11.00/11.09 c # [type: real, range: [0,1], default: 0.5]
11.00/11.09 c heuristics/rens/minfixingrate = 0.3
11.00/11.09 c
11.00/11.09 c # number of nodes added to the contingent of the total nodes
11.00/11.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
11.00/11.09 c heuristics/rens/nodesofs = 2000
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 20]
11.00/11.09 c heuristics/rootsoldiving/freq = -1
11.00/11.09 c
11.00/11.09 c # maximal fraction of diving LP iterations compared to node LP iterations
11.00/11.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
11.00/11.09 c heuristics/rootsoldiving/maxlpiterquot = 0.015
11.00/11.09 c
11.00/11.09 c # additional number of allowed LP iterations
11.00/11.09 c # [type: int, range: [0,2147483647], default: 1000]
11.00/11.09 c heuristics/rootsoldiving/maxlpiterofs = 1500
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 1]
11.00/11.09 c heuristics/rounding/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 10]
11.00/11.09 c heuristics/shifting/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 1]
11.00/11.09 c heuristics/simplerounding/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 0]
11.00/11.09 c heuristics/trivial/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 1]
11.00/11.09 c heuristics/trysol/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 10]
11.00/11.09 c heuristics/veclendiving/freq = -1
11.00/11.09 c
11.00/11.09 c # maximal fraction of diving LP iterations compared to node LP iterations
11.00/11.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
11.00/11.09 c heuristics/veclendiving/maxlpiterquot = 0.075
11.00/11.09 c
11.00/11.09 c # additional number of allowed LP iterations
11.00/11.09 c # [type: int, range: [0,2147483647], default: 1000]
11.00/11.09 c heuristics/veclendiving/maxlpiterofs = 1500
11.00/11.09 c
11.00/11.09 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 1]
11.00/11.09 c heuristics/zirounding/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 0]
11.00/11.09 c separating/cmir/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: 0]
11.00/11.09 c separating/flowcover/freq = -1
11.00/11.09 c
11.00/11.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
11.00/11.09 c # [type: int, range: [-1,2147483647], default: -1]
11.00/11.09 c separating/rapidlearning/freq = 0
11.00/11.09 c
11.00/11.09 c -----------------------------------------------------------------------------------------------
11.00/11.09 c start solving
11.08/11.10 c
311.47/311.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.47/311.61 c 308s| 1 | 0 | 39021 | - | 160M| 0 | - |9694 | 26k|9694 | 26k| 0 | 0 | 0 | -- | -- | 0.00%
311.47/311.61 c 308s| 1 | 0 | 39021 | - | 160M| 0 | - |9694 | 26k|9694 | 26k| 0 | 0 | 0 | -- | -- | 0.00%
311.47/311.61 c
311.47/311.61 c SCIP Status : problem is solved [infeasible]
311.47/311.61 c Solving Time (sec) : 307.64
311.47/311.61 c Solving Nodes : 1
311.47/311.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
311.47/311.61 c Dual Bound : +1.00000000000000e+20
311.47/311.61 c Gap : 0.00 %
311.47/311.61 s UNSATISFIABLE
311.47/311.61 c SCIP Status : problem is solved [infeasible]
311.47/311.61 c Solving Time : 307.64
311.47/311.61 c Original Problem :
311.47/311.61 c Problem name : HOME/instance-2684801-1278434381.opb
311.47/311.61 c Variables : 29040 (29040 binary, 0 integer, 0 implicit integer, 0 continuous)
311.47/311.61 c Constraints : 96434 initial, 96434 maximal
311.47/311.61 c Presolved Problem :
311.47/311.61 c Problem name : t_HOME/instance-2684801-1278434381.opb
311.47/311.61 c Variables : 9694 (9694 binary, 0 integer, 0 implicit integer, 0 continuous)
311.47/311.61 c Constraints : 26376 initial, 26376 maximal
311.47/311.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
311.47/311.61 c trivial : 0.07 864 0 0 0 0 0 0 0
311.47/311.61 c dualfix : 0.02 111 0 0 0 0 0 0 0
311.47/311.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
311.47/311.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
311.47/311.61 c implics : 0.20 0 0 0 0 0 0 0 0
311.47/311.61 c probing : 0.00 0 0 0 0 0 0 0 0
311.47/311.61 c knapsack : 0.41 0 0 0 0 0 0 67 279
311.47/311.61 c linear : 7.28 14253 4118 0 15111 0 70058 42 67
311.47/311.61 c logicor : 0.17 0 0 0 0 0 0 0 0
311.47/311.61 c root node : - 0 - - 0 - - - -
311.47/311.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
311.47/311.61 c integral : 0 0 0 0 0 0 0 0 0 0
311.47/311.61 c knapsack : 444 0 1 0 0 0 0 0 0 0
311.47/311.61 c logicor : 25932 0 1 0 0 0 0 0 0 0
311.47/311.61 c countsols : 0 0 0 0 0 0 0 0 0 0
311.47/311.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
311.47/311.61 c integral : 0.00 0.00 0.00 0.00 0.00
311.47/311.61 c knapsack : 0.00 0.00 0.00 0.00 0.00
311.47/311.61 c logicor : 0.03 0.00 0.03 0.00 0.00
311.47/311.61 c countsols : 0.00 0.00 0.00 0.00 0.00
311.47/311.61 c Propagators : Time Calls Cutoffs DomReds
311.47/311.61 c vbounds : 0.00 1 0 0
311.47/311.61 c rootredcost : 0.00 0 0 0
311.47/311.61 c pseudoobj : 0.00 0 0 0
311.47/311.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
311.47/311.61 c propagation : 0.00 0 0 0 0.0 0 0.0 -
311.47/311.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
311.47/311.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
311.47/311.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
311.47/311.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
311.47/311.61 c applied globally : - - - 0 0.0 - - -
311.47/311.61 c applied locally : - - - 0 0.0 - - -
311.47/311.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
311.47/311.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
311.47/311.61 c redcost : 0.00 0 0 0 0 0
311.47/311.61 c impliedbounds : 0.00 0 0 0 0 0
311.47/311.61 c intobj : 0.00 0 0 0 0 0
311.47/311.61 c cgmip : 0.00 0 0 0 0 0
311.47/311.61 c gomory : 0.00 0 0 0 0 0
311.47/311.61 c strongcg : 0.00 0 0 0 0 0
311.47/311.61 c cmir : 0.00 0 0 0 0 0
311.47/311.61 c flowcover : 0.00 0 0 0 0 0
311.47/311.61 c clique : 0.00 0 0 0 0 0
311.47/311.61 c zerohalf : 0.00 0 0 0 0 0
311.47/311.61 c mcf : 0.00 0 0 0 0 0
311.47/311.61 c rapidlearning : 0.00 0 0 0 0 0
311.47/311.61 c Pricers : Time Calls Vars
311.47/311.61 c problem variables: 0.00 0 0
311.47/311.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
311.47/311.61 c pscost : 0.00 0 0 0 0 0 0
311.47/311.61 c inference : 0.00 0 0 0 0 0 0
311.47/311.61 c mostinf : 0.00 0 0 0 0 0 0
311.47/311.61 c leastinf : 0.00 0 0 0 0 0 0
311.47/311.61 c fullstrong : 0.00 0 0 0 0 0 0
311.47/311.61 c allfullstrong : 0.00 0 0 0 0 0 0
311.47/311.61 c random : 0.00 0 0 0 0 0 0
311.47/311.61 c relpscost : 0.00 0 0 0 0 0 0
311.47/311.61 c Primal Heuristics : Time Calls Found
311.47/311.61 c LP solutions : 0.00 - 0
311.47/311.61 c pseudo solutions : 0.00 - 0
311.47/311.61 c trivial : 0.05 1 0
311.47/311.61 c simplerounding : 0.00 0 0
311.47/311.61 c zirounding : 0.00 0 0
311.47/311.61 c rounding : 0.00 0 0
311.47/311.61 c shifting : 0.00 0 0
311.47/311.61 c intshifting : 0.00 0 0
311.47/311.61 c oneopt : 0.00 0 0
311.47/311.61 c twoopt : 0.00 0 0
311.47/311.61 c fixandinfer : 0.00 0 0
311.47/311.61 c feaspump : 0.00 0 0
311.47/311.61 c coefdiving : 0.00 0 0
311.47/311.61 c pscostdiving : 0.00 0 0
311.47/311.61 c fracdiving : 0.00 0 0
311.47/311.61 c veclendiving : 0.00 0 0
311.47/311.61 c intdiving : 0.00 0 0
311.47/311.61 c actconsdiving : 0.00 0 0
311.47/311.61 c objpscostdiving : 0.00 0 0
311.47/311.61 c rootsoldiving : 0.00 0 0
311.47/311.61 c linesearchdiving : 0.00 0 0
311.47/311.61 c guideddiving : 0.00 0 0
311.47/311.61 c octane : 0.00 0 0
311.47/311.61 c rens : 0.00 0 0
311.47/311.61 c rins : 0.00 0 0
311.47/311.61 c localbranching : 0.00 0 0
311.47/311.61 c mutation : 0.00 0 0
311.47/311.61 c crossover : 0.00 0 0
311.47/311.61 c dins : 0.00 0 0
311.47/311.61 c undercover : 0.00 0 0
311.47/311.61 c nlp : 0.00 0 0
311.47/311.61 c trysol : 0.00 0 0
311.47/311.61 c LP : Time Calls Iterations Iter/call Iter/sec
311.47/311.61 c primal LP : 0.00 0 0 0.00 -
311.47/311.61 c dual LP : 298.71 1 39021 39021.00 130.63
311.47/311.61 c lex dual LP : 0.00 0 0 0.00 -
311.47/311.61 c barrier LP : 0.00 0 0 0.00 -
311.47/311.61 c diving/probing LP: 0.00 0 0 0.00 -
311.47/311.61 c strong branching : 0.00 0 0 0.00 -
311.47/311.61 c (at root node) : - 0 0 0.00 -
311.47/311.61 c conflict analysis: 0.00 0 0 0.00 -
311.47/311.61 c B&B Tree :
311.47/311.61 c number of runs : 1
311.47/311.61 c nodes : 1
311.47/311.61 c nodes (total) : 1
311.47/311.61 c nodes left : 0
311.47/311.61 c max depth : 0
311.47/311.61 c max depth (total): 0
311.47/311.61 c backtracks : 0 (0.0%)
311.47/311.61 c delayed cutoffs : 0
311.47/311.61 c repropagations : 0 (0 domain reductions, 0 cutoffs)
311.47/311.61 c avg switch length: 2.00
311.47/311.61 c switching time : 0.00
311.47/311.61 c Solution :
311.47/311.61 c Solutions found : 0 (0 improvements)
311.47/311.61 c Primal Bound : infeasible
311.47/311.61 c Dual Bound : -
311.47/311.61 c Gap : 0.00 %
311.47/311.61 c Root Dual Bound : -
311.47/311.61 c Root Iterations : 39021
311.77/311.96 c Time complete: 311.84.
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-2684801-1278434381/watcher-2684801-1278434381 -o /tmp/evaluation-result-2684801-1278434381/solver-2684801-1278434381 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2684801-1278434381.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.97 0.82 3/106 21619 /proc/meminfo: memFree=1425492/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=9288 CPUtime=0 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 1 0 11650617 9510912 976 1992294400 4194304 9819077 140735590635776 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21619/statm: 2322 986 371 1374 0 943 0 [startup+0.0649741 s] /proc/loadavg: 1.00 0.97 0.82 3/106 21619 /proc/meminfo: memFree=1425492/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=14952 CPUtime=0.06 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 2659 0 0 0 5 1 0 0 20 0 1 0 11650617 15310848 2579 1992294400 4194304 9819077 140735590635776 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21619/statm: 3738 2579 386 1374 0 2359 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14952 [startup+0.100977 s] /proc/loadavg: 1.00 0.97 0.82 3/106 21619 /proc/meminfo: memFree=1425492/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=18580 CPUtime=0.09 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 3570 0 0 0 8 1 0 0 20 0 1 0 11650617 19025920 3490 1992294400 4194304 9819077 140735590635776 18446744073709551615 5648419 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21619/statm: 4645 3490 386 1374 0 3266 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18580 [startup+0.300995 s] /proc/loadavg: 1.00 0.97 0.82 3/106 21619 /proc/meminfo: memFree=1425492/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=28600 CPUtime=0.29 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 6093 0 0 0 27 2 0 0 20 0 1 0 11650617 29286400 6013 1992294400 4194304 9819077 140735590635776 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21619/statm: 7150 6013 386 1374 0 5771 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28600 [startup+0.701033 s] /proc/loadavg: 1.00 0.97 0.82 3/106 21619 /proc/meminfo: memFree=1425492/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=37180 CPUtime=0.69 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 8237 0 0 0 66 3 0 0 21 0 1 0 11650617 38072320 8157 1992294400 4194304 9819077 140735590635776 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21619/statm: 9295 8157 386 1374 0 7916 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37180 [startup+1.50111 s] /proc/loadavg: 1.00 0.97 0.82 3/107 21620 /proc/meminfo: memFree=1386292/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=61700 CPUtime=1.49 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 14358 0 0 0 144 5 0 0 23 0 1 0 11650617 63180800 14278 1992294400 4194304 9819077 140735590635776 18446744073709551615 8584085 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21619/statm: 15425 14278 386 1374 0 14046 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61700 [startup+3.10126 s] /proc/loadavg: 1.00 0.97 0.82 2/107 21620 /proc/meminfo: memFree=1284612/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=205116 CPUtime=3.09 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 49890 0 0 0 289 20 0 0 25 0 1 0 11650617 210038784 49374 1992294400 4194304 9819077 140735590635776 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 51279 49374 486 1374 0 49900 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 205116 [startup+6.30155 s] /proc/loadavg: 1.00 0.97 0.82 2/107 21620 /proc/meminfo: memFree=1152676/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=294648 CPUtime=6.29 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 71387 0 0 0 595 34 0 0 25 0 1 0 11650617 301719552 70871 1992294400 4194304 9819077 140735590635776 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 73662 70871 490 1374 0 72283 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 294648 [startup+12.7012 s] /proc/loadavg: 1.00 0.97 0.83 2/107 21620 /proc/meminfo: memFree=1114616/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=337800 CPUtime=12.68 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 96554 0 0 0 1195 73 0 0 25 0 1 0 11650617 345907200 78065 1992294400 4194304 9819077 140735590635776 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 84450 78065 644 1374 0 83071 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 337800 [startup+25.5013 s] /proc/loadavg: 1.00 0.97 0.83 2/107 21620 /proc/meminfo: memFree=1113624/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=342948 CPUtime=25.48 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 111435 0 0 0 2465 83 0 0 25 0 1 0 11650617 351178752 78451 1992294400 4194304 9819077 140735590635776 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 85737 78451 644 1374 0 84358 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 342948 [startup+51.1017 s] /proc/loadavg: 1.00 0.97 0.83 2/107 21622 /proc/meminfo: memFree=1111888/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=344840 CPUtime=51.06 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 131344 0 0 0 5009 97 0 0 25 0 1 0 11650617 353116160 78960 1992294400 4194304 9819077 140735590635776 18446744073709551615 6198730 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86210 78960 644 1374 0 84831 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 344840 [startup+102.308 s] /proc/loadavg: 1.00 0.97 0.83 2/107 21622 /proc/meminfo: memFree=1108044/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=345356 CPUtime=102.24 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 169185 0 0 0 10104 120 0 0 25 0 1 0 11650617 353644544 79735 1992294400 4194304 9819077 140735590635776 18446744073709551615 7318419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86339 79735 644 1374 0 84960 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 345356 [startup+162.301 s] /proc/loadavg: 1.00 0.97 0.84 2/107 21624 /proc/meminfo: memFree=1108788/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=345612 CPUtime=162.22 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 215195 0 0 0 16073 149 0 0 25 0 1 0 11650617 353906688 79651 1992294400 4194304 9819077 140735590635776 18446744073709551615 7309303 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86403 79651 644 1374 0 85024 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 345612 [startup+222.302 s] /proc/loadavg: 1.00 0.97 0.85 2/107 21626 /proc/meminfo: memFree=1110400/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=345444 CPUtime=222.2 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 261950 0 0 0 22041 179 0 0 25 0 1 0 11650617 353734656 79130 1992294400 4194304 9819077 140735590635776 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86361 79130 644 1374 0 84982 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 345444 [startup+282.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 21628 /proc/meminfo: memFree=1111268/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=345444 CPUtime=282.18 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 304831 0 0 0 28012 206 0 0 25 0 1 0 11650617 353734656 79046 1992294400 4194304 9819077 140735590635776 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86361 79046 644 1374 0 84982 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 345444 Solver just ended. Dumping a history of the last processes samples [startup+294.301 s] /proc/loadavg: 1.00 0.97 0.85 2/107 21628 /proc/meminfo: memFree=1111020/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=345448 CPUtime=294.17 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 313458 0 0 0 29206 211 0 0 25 0 1 0 11650617 353738752 79080 1992294400 4194304 9819077 140735590635776 18446744073709551615 7301640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86362 79080 644 1374 0 84983 0 Current children cumulated CPU time (s) 294.17 Current children cumulated vsize (KiB) 345448 [startup+300.701 s] /proc/loadavg: 1.00 0.97 0.85 2/107 21628 /proc/meminfo: memFree=1110276/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=345444 CPUtime=300.57 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 317770 0 0 0 29843 214 0 0 25 0 1 0 11650617 353734656 79269 1992294400 4194304 9819077 140735590635776 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86361 79269 644 1374 0 84982 0 Current children cumulated CPU time (s) 300.57 Current children cumulated vsize (KiB) 345444 [startup+307.102 s] /proc/loadavg: 1.00 0.97 0.85 2/107 21628 /proc/meminfo: memFree=1109656/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=345416 CPUtime=306.98 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 323437 0 0 0 30480 218 0 0 25 0 1 0 11650617 353705984 78768 1992294400 4194304 9819077 140735590635776 18446744073709551615 7311322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86354 78768 644 1374 0 84975 0 Current children cumulated CPU time (s) 306.98 Current children cumulated vsize (KiB) 345416 [startup+310.301 s] /proc/loadavg: 1.00 0.97 0.85 2/107 21628 /proc/meminfo: memFree=1111640/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=345416 CPUtime=310.18 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 325535 0 0 0 30799 219 0 0 25 0 1 0 11650617 353705984 78805 1992294400 4194304 9819077 140735590635776 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86354 78805 644 1374 0 84975 0 Current children cumulated CPU time (s) 310.18 Current children cumulated vsize (KiB) 345416 [startup+311.101 s] /proc/loadavg: 1.00 0.97 0.85 2/107 21628 /proc/meminfo: memFree=1111640/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=345416 CPUtime=310.98 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 325680 0 0 0 30879 219 0 0 25 0 1 0 11650617 353705984 78950 1992294400 4194304 9819077 140735590635776 18446744073709551615 7294731 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86354 78950 644 1374 0 84975 0 Current children cumulated CPU time (s) 310.98 Current children cumulated vsize (KiB) 345416 [startup+311.501 s] /proc/loadavg: 1.00 0.97 0.85 2/107 21628 /proc/meminfo: memFree=1110896/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=345416 CPUtime=311.37 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 325752 0 0 0 30918 219 0 0 25 0 1 0 11650617 353705984 79022 1992294400 4194304 9819077 140735590635776 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21619/statm: 86354 79022 644 1374 0 84975 0 Current children cumulated CPU time (s) 311.37 Current children cumulated vsize (KiB) 345416 [startup+311.901 s] /proc/loadavg: 1.00 0.97 0.85 2/107 21628 /proc/meminfo: memFree=1110896/2059040 swapFree=4192956/4192956 [pid=21619] ppid=21617 vsize=91900 CPUtime=311.77 /proc/21619/stat : 21619 (pbscip.linux.x8) R 21617 21619 21333 0 -1 4202496 327349 0 0 0 30955 222 0 0 25 0 1 0 11650617 94105600 21823 1992294400 4194304 9819077 140735590635776 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21619/statm: 22975 21823 665 1374 0 21596 0 Current children cumulated CPU time (s) 311.77 Current children cumulated vsize (KiB) 91900 Child status: 0 Real time (s): 311.966 CPU time (s): 311.848 CPU user time (s): 309.612 CPU system time (s): 2.23566 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (KiB): 345672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 309.612 system time used= 2.23566 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 327359 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 4024 runsolver used 0.52592 second user time and 1.47278 second system time The end
Begin job on node015 at 2010-07-06 18:39:41 IDJOB=2684801 IDBENCH=73572 IDSOLVER=1168 FILE ID=node015/2684801-1278434381 PBS_JOBID= 11233456 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_8-unsat.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684801-1278434381/watcher-2684801-1278434381 -o /tmp/evaluation-result-2684801-1278434381/solver-2684801-1278434381 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2684801-1278434381.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a4c61139e0eb75a13e9da4d40232e606 RANDOM SEED=682447239 node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.214 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1425896 kB Buffers: 104908 kB Cached: 389084 kB SwapCached: 0 kB Active: 188864 kB Inactive: 366276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1425896 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 9308 kB Writeback: 0 kB AnonPages: 61096 kB Mapped: 14420 kB Slab: 56108 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182564 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node015 at 2010-07-06 18:44:53