| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 588.535 | 588.692 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12052_5-unsat.opb |
| MD5SUM | 2ff183c8695f0992ee4ac0210b2026e7 |
| 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 | 588.535 |
| 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 | 37752 |
| Total number of constraints | 131628 |
| Number of constraints which are clauses | 131008 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 620 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 96 |
| 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 | 21 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 531 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704717-1278580419.opb>
1.89/1.94 c original problem has 37752 variables (37752 bin, 0 int, 0 impl, 0 cont) and 131628 constraints
1.89/1.94 c problem read
1.89/1.94 c No objective function, only one solution is needed.
1.89/1.94 c presolving settings loaded
2.59/2.61 c presolving:
8.80/8.87 c (round 1) 8460 del vars, 24741 del conss, 6689 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7310010 impls, 0 clqs
12.79/12.81 c (round 2) 15745 del vars, 56925 del conss, 13491 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7355180 impls, 0 clqs
13.29/13.35 c (round 3) 18444 del vars, 70134 del conss, 15082 chg bounds, 67 chg sides, 53 chg coeffs, 0 upgd conss, 7378752 impls, 0 clqs
13.69/13.75 c (round 4) 19858 del vars, 75616 del conss, 16132 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7395915 impls, 0 clqs
13.99/14.06 c (round 5) 21002 del vars, 79911 del conss, 16985 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7414865 impls, 0 clqs
14.29/14.38 c (round 6) 22147 del vars, 83887 del conss, 17869 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7426788 impls, 0 clqs
14.49/14.56 c (round 7) 23099 del vars, 87509 del conss, 18516 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7435195 impls, 0 clqs
14.59/14.67 c (round 8) 23469 del vars, 89039 del conss, 18732 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7439118 impls, 0 clqs
14.69/14.75 c (round 9) 23644 del vars, 89736 del conss, 18815 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7441011 impls, 0 clqs
14.79/14.81 c (round 10) 23755 del vars, 90151 del conss, 18875 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7442529 impls, 0 clqs
14.79/14.86 c (round 11) 23819 del vars, 90396 del conss, 18899 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7443301 impls, 0 clqs
14.89/14.90 c (round 12) 23847 del vars, 90523 del conss, 18909 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7443625 impls, 0 clqs
14.89/14.94 c (round 13) 23855 del vars, 90562 del conss, 18910 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7443743 impls, 0 clqs
14.89/14.97 c (round 14) 23856 del vars, 90571 del conss, 18910 chg bounds, 75 chg sides, 61 chg coeffs, 0 upgd conss, 7443761 impls, 0 clqs
15.29/15.33 c (round 15) 23856 del vars, 90572 del conss, 18910 chg bounds, 75 chg sides, 61 chg coeffs, 41056 upgd conss, 7443761 impls, 0 clqs
15.79/15.87 c (round 16) 23856 del vars, 90572 del conss, 18910 chg bounds, 100 chg sides, 270 chg coeffs, 41056 upgd conss, 7444147 impls, 161 clqs
16.09/16.16 c presolving (17 rounds):
16.09/16.16 c 23856 deleted vars, 90572 deleted constraints, 18910 tightened bounds, 0 added holes, 100 changed sides, 305 changed coefficients
16.09/16.16 c 7444147 implications, 164 cliques
16.09/16.16 c presolved problem has 13896 variables (13896 bin, 0 int, 0 impl, 0 cont) and 41056 constraints
16.09/16.16 c 573 constraints of type <knapsack>
16.09/16.16 c 33870 constraints of type <setppc>
16.09/16.16 c 6613 constraints of type <logicor>
16.09/16.16 c transformed objective value is always integral (scale: 1)
16.09/16.16 c Presolving Time: 13.78
16.09/16.16 c - non default parameters ----------------------------------------------------------------------
16.09/16.16 c # SCIP version 1.2.1.3
16.09/16.16 c
16.09/16.16 c # frequency for displaying node information lines
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 100]
16.09/16.16 c display/freq = 10000
16.09/16.16 c
16.09/16.16 c # maximal time in seconds to run
16.09/16.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.09/16.16 c limits/time = 1788.06
16.09/16.16 c
16.09/16.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.09/16.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.09/16.16 c limits/memory = 1620
16.09/16.16 c
16.09/16.16 c # solving stops, if the given number of solutions were found (-1: no limit)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: -1]
16.09/16.16 c limits/solutions = 1
16.09/16.16 c
16.09/16.16 c # maximal number of separation rounds per node (-1: unlimited)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 5]
16.09/16.16 c separating/maxrounds = 1
16.09/16.16 c
16.09/16.16 c # maximal number of separation rounds in the root node (-1: unlimited)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: -1]
16.09/16.16 c separating/maxroundsroot = 5
16.09/16.16 c
16.09/16.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
16.09/16.16 c # [type: int, range: [1,2], default: 1]
16.09/16.16 c timing/clocktype = 2
16.09/16.16 c
16.09/16.16 c # should presolving try to simplify inequalities
16.09/16.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.09/16.16 c constraints/linear/simplifyinequalities = TRUE
16.09/16.16 c
16.09/16.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
16.09/16.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.09/16.16 c constraints/indicator/addCouplingCons = TRUE
16.09/16.16 c
16.09/16.16 c # should disaggregation of knapsack constraints be allowed in preprocessing?
16.09/16.16 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
16.09/16.16 c constraints/knapsack/disaggregation = FALSE
16.09/16.16 c
16.09/16.16 c # should presolving try to simplify knapsacks
16.09/16.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.09/16.16 c constraints/knapsack/simplifyinequalities = TRUE
16.09/16.16 c
16.09/16.16 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: -1]
16.09/16.16 c presolving/probing/maxrounds = 0
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 10]
16.09/16.16 c heuristics/coefdiving/freq = -1
16.09/16.16 c
16.09/16.16 c # maximal fraction of diving LP iterations compared to node LP iterations
16.09/16.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.09/16.16 c heuristics/coefdiving/maxlpiterquot = 0.075
16.09/16.16 c
16.09/16.16 c # additional number of allowed LP iterations
16.09/16.16 c # [type: int, range: [0,2147483647], default: 1000]
16.09/16.16 c heuristics/coefdiving/maxlpiterofs = 1500
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 30]
16.09/16.16 c heuristics/crossover/freq = -1
16.09/16.16 c
16.09/16.16 c # number of nodes added to the contingent of the total nodes
16.09/16.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
16.09/16.16 c heuristics/crossover/nodesofs = 750
16.09/16.16 c
16.09/16.16 c # number of nodes without incumbent change that heuristic should wait
16.09/16.16 c # [type: longint, range: [0,9223372036854775807], default: 200]
16.09/16.16 c heuristics/crossover/nwaitingnodes = 100
16.09/16.16 c
16.09/16.16 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
16.09/16.16 c # [type: real, range: [0,1], default: 0.1]
16.09/16.16 c heuristics/crossover/nodesquot = 0.15
16.09/16.16 c
16.09/16.16 c # minimum percentage of integer variables that have to be fixed
16.09/16.16 c # [type: real, range: [0,1], default: 0.666]
16.09/16.16 c heuristics/crossover/minfixingrate = 0.5
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 20]
16.09/16.16 c heuristics/feaspump/freq = -1
16.09/16.16 c
16.09/16.16 c # additional number of allowed LP iterations
16.09/16.16 c # [type: int, range: [0,2147483647], default: 1000]
16.09/16.16 c heuristics/feaspump/maxlpiterofs = 2000
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 10]
16.09/16.16 c heuristics/fracdiving/freq = -1
16.09/16.16 c
16.09/16.16 c # maximal fraction of diving LP iterations compared to node LP iterations
16.09/16.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.09/16.16 c heuristics/fracdiving/maxlpiterquot = 0.075
16.09/16.16 c
16.09/16.16 c # additional number of allowed LP iterations
16.09/16.16 c # [type: int, range: [0,2147483647], default: 1000]
16.09/16.16 c heuristics/fracdiving/maxlpiterofs = 1500
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 10]
16.09/16.16 c heuristics/guideddiving/freq = -1
16.09/16.16 c
16.09/16.16 c # maximal fraction of diving LP iterations compared to node LP iterations
16.09/16.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.09/16.16 c heuristics/guideddiving/maxlpiterquot = 0.075
16.09/16.16 c
16.09/16.16 c # additional number of allowed LP iterations
16.09/16.16 c # [type: int, range: [0,2147483647], default: 1000]
16.09/16.16 c heuristics/guideddiving/maxlpiterofs = 1500
16.09/16.16 c
16.09/16.16 c # maximal fraction of diving LP iterations compared to node LP iterations
16.09/16.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.09/16.16 c heuristics/intdiving/maxlpiterquot = 0.075
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 10]
16.09/16.16 c heuristics/intshifting/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 10]
16.09/16.16 c heuristics/linesearchdiving/freq = -1
16.09/16.16 c
16.09/16.16 c # maximal fraction of diving LP iterations compared to node LP iterations
16.09/16.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.09/16.16 c heuristics/linesearchdiving/maxlpiterquot = 0.075
16.09/16.16 c
16.09/16.16 c # additional number of allowed LP iterations
16.09/16.16 c # [type: int, range: [0,2147483647], default: 1000]
16.09/16.16 c heuristics/linesearchdiving/maxlpiterofs = 1500
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 1]
16.09/16.16 c heuristics/nlp/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 20]
16.09/16.16 c heuristics/objpscostdiving/freq = -1
16.09/16.16 c
16.09/16.16 c # maximal fraction of diving LP iterations compared to total iteration number
16.09/16.16 c # [type: real, range: [0,1], default: 0.01]
16.09/16.16 c heuristics/objpscostdiving/maxlpiterquot = 0.015
16.09/16.16 c
16.09/16.16 c # additional number of allowed LP iterations
16.09/16.16 c # [type: int, range: [0,2147483647], default: 1000]
16.09/16.16 c heuristics/objpscostdiving/maxlpiterofs = 1500
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 1]
16.09/16.16 c heuristics/oneopt/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 10]
16.09/16.16 c heuristics/pscostdiving/freq = -1
16.09/16.16 c
16.09/16.16 c # maximal fraction of diving LP iterations compared to node LP iterations
16.09/16.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.09/16.16 c heuristics/pscostdiving/maxlpiterquot = 0.075
16.09/16.16 c
16.09/16.16 c # additional number of allowed LP iterations
16.09/16.16 c # [type: int, range: [0,2147483647], default: 1000]
16.09/16.16 c heuristics/pscostdiving/maxlpiterofs = 1500
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 0]
16.09/16.16 c heuristics/rens/freq = -1
16.09/16.16 c
16.09/16.16 c # minimum percentage of integer variables that have to be fixable
16.09/16.16 c # [type: real, range: [0,1], default: 0.5]
16.09/16.16 c heuristics/rens/minfixingrate = 0.3
16.09/16.16 c
16.09/16.16 c # number of nodes added to the contingent of the total nodes
16.09/16.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
16.09/16.16 c heuristics/rens/nodesofs = 2000
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 20]
16.09/16.16 c heuristics/rootsoldiving/freq = -1
16.09/16.16 c
16.09/16.16 c # maximal fraction of diving LP iterations compared to node LP iterations
16.09/16.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
16.09/16.16 c heuristics/rootsoldiving/maxlpiterquot = 0.015
16.09/16.16 c
16.09/16.16 c # additional number of allowed LP iterations
16.09/16.16 c # [type: int, range: [0,2147483647], default: 1000]
16.09/16.16 c heuristics/rootsoldiving/maxlpiterofs = 1500
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 1]
16.09/16.16 c heuristics/rounding/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 10]
16.09/16.16 c heuristics/shifting/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 1]
16.09/16.16 c heuristics/simplerounding/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 0]
16.09/16.16 c heuristics/trivial/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 1]
16.09/16.16 c heuristics/trysol/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 10]
16.09/16.16 c heuristics/veclendiving/freq = -1
16.09/16.16 c
16.09/16.16 c # maximal fraction of diving LP iterations compared to node LP iterations
16.09/16.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.09/16.16 c heuristics/veclendiving/maxlpiterquot = 0.075
16.09/16.16 c
16.09/16.16 c # additional number of allowed LP iterations
16.09/16.16 c # [type: int, range: [0,2147483647], default: 1000]
16.09/16.16 c heuristics/veclendiving/maxlpiterofs = 1500
16.09/16.16 c
16.09/16.16 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 1]
16.09/16.16 c heuristics/zirounding/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 0]
16.09/16.16 c separating/cmir/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: 0]
16.09/16.16 c separating/flowcover/freq = -1
16.09/16.16 c
16.09/16.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
16.09/16.16 c # [type: int, range: [-1,2147483647], default: -1]
16.09/16.16 c separating/rapidlearning/freq = 0
16.09/16.16 c
16.09/16.16 c -----------------------------------------------------------------------------------------------
16.09/16.16 c start solving
16.09/16.18 c
588.03/588.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
588.03/588.22 c 586s| 1 | 0 | 42258 | - | 226M| 0 | - | 13k| 41k| 13k| 41k| 0 | 0 | 0 | -- | -- | 0.00%
588.03/588.22 c 586s| 1 | 0 | 42258 | - | 226M| 0 | - | 13k| 41k| 13k| 41k| 0 | 0 | 0 | -- | -- | 0.00%
588.03/588.22 c
588.03/588.22 c SCIP Status : problem is solved [infeasible]
588.03/588.22 c Solving Time (sec) : 586.27
588.03/588.22 c Solving Nodes : 1
588.03/588.22 c Primal Bound : +1.00000000000000e+20 (0 solutions)
588.03/588.22 c Dual Bound : +1.00000000000000e+20
588.03/588.22 c Gap : 0.00 %
588.03/588.22 s UNSATISFIABLE
588.03/588.22 c SCIP Status : problem is solved [infeasible]
588.03/588.22 c Solving Time : 586.27
588.03/588.22 c Original Problem :
588.03/588.22 c Problem name : HOME/instance-2704717-1278580419.opb
588.03/588.22 c Variables : 37752 (37752 binary, 0 integer, 0 implicit integer, 0 continuous)
588.03/588.22 c Constraints : 131628 initial, 131628 maximal
588.03/588.22 c Presolved Problem :
588.03/588.22 c Problem name : t_HOME/instance-2704717-1278580419.opb
588.03/588.22 c Variables : 13896 (13896 binary, 0 integer, 0 implicit integer, 0 continuous)
588.03/588.22 c Constraints : 41056 initial, 41056 maximal
588.03/588.22 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
588.03/588.22 c trivial : 0.06 876 0 0 0 0 0 0 0
588.03/588.22 c dualfix : 0.13 112 0 0 0 0 0 0 0
588.03/588.22 c boundshift : 0.00 0 0 0 0 0 0 0 0
588.03/588.22 c inttobinary : 0.00 0 0 0 0 0 0 0 0
588.03/588.22 c implics : 0.29 0 0 0 0 0 0 0 0
588.03/588.22 c probing : 0.00 0 0 0 0 0 0 0 0
588.03/588.22 c knapsack : 0.59 0 0 0 0 0 0 25 244
588.03/588.22 c setppc : 0.15 0 0 0 0 0 0 0 0
588.03/588.22 c linear : 12.09 18047 4821 0 18910 0 90572 75 61
588.03/588.22 c logicor : 0.05 0 0 0 0 0 0 0 0
588.03/588.22 c root node : - 0 - - 0 - - - -
588.03/588.22 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
588.03/588.22 c integral : 0 0 0 0 0 0 0 0 0 0
588.03/588.22 c knapsack : 573 0 1 0 0 0 0 0 0 0
588.03/588.22 c setppc : 33870 0 1 0 0 0 0 0 0 0
588.03/588.22 c logicor : 6613 0 1 0 0 0 0 0 0 0
588.03/588.22 c countsols : 0 0 0 0 0 0 0 0 0 0
588.03/588.22 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
588.03/588.22 c integral : 0.00 0.00 0.00 0.00 0.00
588.03/588.22 c knapsack : 0.00 0.00 0.00 0.00 0.00
588.03/588.22 c setppc : 0.00 0.00 0.00 0.00 0.00
588.03/588.22 c logicor : 0.01 0.00 0.01 0.00 0.00
588.03/588.22 c countsols : 0.00 0.00 0.00 0.00 0.00
588.03/588.22 c Propagators : Time Calls Cutoffs DomReds
588.03/588.22 c vbounds : 0.00 1 0 0
588.03/588.22 c rootredcost : 0.00 0 0 0
588.03/588.22 c pseudoobj : 0.00 0 0 0
588.03/588.22 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
588.03/588.22 c propagation : 0.00 0 0 0 0.0 0 0.0 -
588.03/588.22 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
588.03/588.22 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
588.03/588.22 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
588.03/588.22 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
588.03/588.22 c applied globally : - - - 0 0.0 - - -
588.03/588.22 c applied locally : - - - 0 0.0 - - -
588.03/588.22 c Separators : Time Calls Cutoffs DomReds Cuts Conss
588.03/588.22 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
588.03/588.22 c redcost : 0.00 0 0 0 0 0
588.03/588.22 c impliedbounds : 0.00 0 0 0 0 0
588.03/588.22 c intobj : 0.00 0 0 0 0 0
588.03/588.22 c cgmip : 0.00 0 0 0 0 0
588.03/588.22 c gomory : 0.00 0 0 0 0 0
588.03/588.22 c strongcg : 0.00 0 0 0 0 0
588.03/588.22 c cmir : 0.00 0 0 0 0 0
588.03/588.22 c flowcover : 0.00 0 0 0 0 0
588.03/588.22 c clique : 0.00 0 0 0 0 0
588.03/588.22 c zerohalf : 0.00 0 0 0 0 0
588.03/588.22 c mcf : 0.00 0 0 0 0 0
588.03/588.22 c rapidlearning : 0.00 0 0 0 0 0
588.03/588.22 c Pricers : Time Calls Vars
588.03/588.22 c problem variables: 0.00 0 0
588.03/588.22 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
588.03/588.22 c pscost : 0.00 0 0 0 0 0 0
588.03/588.22 c inference : 0.00 0 0 0 0 0 0
588.03/588.22 c mostinf : 0.00 0 0 0 0 0 0
588.03/588.22 c leastinf : 0.00 0 0 0 0 0 0
588.03/588.22 c fullstrong : 0.00 0 0 0 0 0 0
588.03/588.22 c allfullstrong : 0.00 0 0 0 0 0 0
588.03/588.22 c random : 0.00 0 0 0 0 0 0
588.03/588.22 c relpscost : 0.00 0 0 0 0 0 0
588.03/588.22 c Primal Heuristics : Time Calls Found
588.03/588.22 c LP solutions : 0.00 - 0
588.03/588.22 c pseudo solutions : 0.00 - 0
588.03/588.22 c trivial : 0.07 1 0
588.03/588.22 c simplerounding : 0.00 0 0
588.03/588.22 c zirounding : 0.00 0 0
588.03/588.22 c rounding : 0.00 0 0
588.03/588.22 c shifting : 0.00 0 0
588.03/588.22 c intshifting : 0.00 0 0
588.03/588.22 c oneopt : 0.00 0 0
588.03/588.22 c twoopt : 0.00 0 0
588.03/588.22 c fixandinfer : 0.00 0 0
588.03/588.22 c feaspump : 0.00 0 0
588.03/588.22 c coefdiving : 0.00 0 0
588.03/588.22 c pscostdiving : 0.00 0 0
588.03/588.22 c fracdiving : 0.00 0 0
588.03/588.22 c veclendiving : 0.00 0 0
588.03/588.22 c intdiving : 0.00 0 0
588.03/588.22 c actconsdiving : 0.00 0 0
588.03/588.22 c objpscostdiving : 0.00 0 0
588.03/588.22 c rootsoldiving : 0.00 0 0
588.03/588.22 c linesearchdiving : 0.00 0 0
588.03/588.22 c guideddiving : 0.00 0 0
588.03/588.22 c octane : 0.00 0 0
588.03/588.22 c rens : 0.00 0 0
588.03/588.22 c rins : 0.00 0 0
588.03/588.22 c localbranching : 0.00 0 0
588.03/588.22 c mutation : 0.00 0 0
588.03/588.22 c crossover : 0.00 0 0
588.03/588.22 c dins : 0.00 0 0
588.03/588.22 c undercover : 0.00 0 0
588.03/588.22 c nlp : 0.00 0 0
588.03/588.22 c trysol : 0.00 0 0
588.03/588.22 c LP : Time Calls Iterations Iter/call Iter/sec
588.03/588.22 c primal LP : 0.00 0 0 0.00 -
588.03/588.22 c dual LP : 571.80 1 42258 42258.00 73.90
588.03/588.22 c lex dual LP : 0.00 0 0 0.00 -
588.03/588.22 c barrier LP : 0.00 0 0 0.00 -
588.03/588.22 c diving/probing LP: 0.00 0 0 0.00 -
588.03/588.22 c strong branching : 0.00 0 0 0.00 -
588.03/588.22 c (at root node) : - 0 0 0.00 -
588.03/588.22 c conflict analysis: 0.00 0 0 0.00 -
588.03/588.22 c B&B Tree :
588.03/588.22 c number of runs : 1
588.03/588.22 c nodes : 1
588.03/588.22 c nodes (total) : 1
588.03/588.22 c nodes left : 0
588.03/588.22 c max depth : 0
588.03/588.22 c max depth (total): 0
588.03/588.22 c backtracks : 0 (0.0%)
588.03/588.22 c delayed cutoffs : 0
588.03/588.22 c repropagations : 0 (0 domain reductions, 0 cutoffs)
588.03/588.22 c avg switch length: 2.00
588.03/588.22 c switching time : 0.00
588.03/588.22 c Solution :
588.03/588.22 c Solutions found : 0 (0 improvements)
588.03/588.22 c Primal Bound : infeasible
588.03/588.22 c Dual Bound : -
588.03/588.22 c Gap : 0.00 %
588.03/588.22 c Root Dual Bound : -
588.03/588.22 c Root Iterations : 42258
588.44/588.69 c Time complete: 588.53.
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-2704717-1278580419/watcher-2704717-1278580419 -o /tmp/evaluation-result-2704717-1278580419/solver-2704717-1278580419 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704717-1278580419.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: 0.99 0.97 0.91 3/105 32535 /proc/meminfo: memFree=1811224/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=7904 CPUtime=0 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 1129 0 0 0 0 0 0 0 21 0 1 0 26250266 8093696 1041 1992294400 4194304 8395647 140733256607408 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32535/statm: 1976 1050 365 1026 0 946 0 [startup+0.0100571 s] /proc/loadavg: 0.99 0.97 0.91 3/105 32535 /proc/meminfo: memFree=1811224/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=8936 CPUtime=0 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 1448 0 0 0 0 0 0 0 21 0 1 0 26250266 9150464 1360 1992294400 4194304 8395647 140733256607408 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32535/statm: 2234 1372 374 1026 0 1204 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8936 [startup+0.101066 s] /proc/loadavg: 0.99 0.97 0.91 3/105 32535 /proc/meminfo: memFree=1811224/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=18420 CPUtime=0.09 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 3892 0 0 0 8 1 0 0 21 0 1 0 26250266 18862080 3803 1992294400 4194304 8395647 140733256607408 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32535/statm: 4605 3803 390 1026 0 3575 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18420 [startup+0.301089 s] /proc/loadavg: 0.99 0.97 0.91 3/105 32535 /proc/meminfo: memFree=1811224/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=32640 CPUtime=0.29 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 7434 0 0 0 27 2 0 0 21 0 1 0 26250266 33423360 7345 1992294400 4194304 8395647 140733256607408 18446744073709551615 7301391 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32535/statm: 8160 7345 390 1026 0 7130 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32640 [startup+0.701134 s] /proc/loadavg: 0.99 0.97 0.91 3/105 32535 /proc/meminfo: memFree=1811224/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=43412 CPUtime=0.69 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 10114 0 0 0 66 3 0 0 22 0 1 0 26250266 44453888 10025 1992294400 4194304 8395647 140733256607408 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32535/statm: 10853 10025 390 1026 0 9823 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43412 [startup+1.50122 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32536 /proc/meminfo: memFree=1765708/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=70064 CPUtime=1.49 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 16780 0 0 0 144 5 0 0 25 0 1 0 26250266 71745536 16691 1992294400 4194304 8395647 140733256607408 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32535/statm: 17516 16691 390 1026 0 16486 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 70064 [startup+3.10141 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32536 /proc/meminfo: memFree=1677172/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=232020 CPUtime=3.09 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 56858 0 0 0 290 19 0 0 25 0 1 0 26250266 237588480 56415 1992294400 4194304 8395647 140733256607408 18446744073709551615 6345866 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 58005 56415 469 1026 0 56975 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 232020 [startup+6.30177 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32536 /proc/meminfo: memFree=1490428/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=347000 CPUtime=6.29 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 85426 0 0 0 600 29 0 0 25 0 1 0 26250266 355328000 84983 1992294400 4194304 8395647 140733256607408 18446744073709551615 6068852 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 86750 84983 469 1026 0 85720 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 347000 [startup+12.7015 s] /proc/loadavg: 1.07 0.99 0.91 2/106 32536 /proc/meminfo: memFree=1421236/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=401536 CPUtime=12.69 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 98038 0 0 0 1236 33 0 0 25 0 1 0 26250266 411172864 97595 1992294400 4194304 8395647 140733256607408 18446744073709551615 4247653 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 100384 97595 475 1026 0 99354 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 401536 [startup+25.501 s] /proc/loadavg: 1.06 0.99 0.91 2/106 32537 /proc/meminfo: memFree=1368536/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=459780 CPUtime=25.49 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 113136 0 0 0 2508 41 0 0 25 0 1 0 26250266 470814720 110883 1992294400 4194304 8395647 140733256607408 18446744073709551615 6697941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 114945 110883 603 1026 0 113915 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 459780 [startup+51.1009 s] /proc/loadavg: 1.04 0.99 0.91 2/106 32538 /proc/meminfo: memFree=1364196/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=463524 CPUtime=51.08 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 114370 0 0 0 5062 46 0 0 25 0 1 0 26250266 474648576 112084 1992294400 4194304 8395647 140733256607408 18446744073709551615 6696991 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 115881 112084 661 1026 0 114851 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 463524 [startup+102.308 s] /proc/loadavg: 1.01 0.99 0.91 2/106 32540 /proc/meminfo: memFree=1359360/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=467884 CPUtime=102.27 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 115537 0 0 0 10174 53 0 0 25 0 1 0 26250266 479113216 113191 1992294400 4194304 8395647 140733256607408 18446744073709551615 6752768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 116971 113191 601 1026 0 115941 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 467884 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32540 /proc/meminfo: memFree=1355764/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=470660 CPUtime=162.25 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116456 0 0 0 16166 59 0 0 25 0 1 0 26250266 481955840 114110 1992294400 4194304 8395647 140733256607408 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 117665 114110 607 1026 0 116635 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 470660 [startup+222.3 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32542 /proc/meminfo: memFree=1355392/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=471460 CPUtime=222.23 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116551 0 0 0 22157 66 0 0 25 0 1 0 26250266 482775040 114188 1992294400 4194304 8395647 140733256607408 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 117865 114188 590 1026 0 116835 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 471460 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32544 /proc/meminfo: memFree=1354400/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=282.21 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116819 0 0 0 28150 71 0 0 25 0 1 0 26250266 484167680 114456 1992294400 4194304 8395647 140733256607408 18446744073709551615 6697246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114456 590 1026 0 117175 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 472820 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32546 /proc/meminfo: memFree=1354400/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=342.2 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116819 0 0 0 34143 77 0 0 25 0 1 0 26250266 484167680 114456 1992294400 4194304 8395647 140733256607408 18446744073709551615 6696247 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114456 590 1026 0 117175 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 472820 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32551 /proc/meminfo: memFree=1353532/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=402.18 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116821 0 0 0 40136 82 0 0 25 0 1 0 26250266 484167680 114458 1992294400 4194304 8395647 140733256607408 18446744073709551615 6702018 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114458 590 1026 0 117175 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 472820 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32551 /proc/meminfo: memFree=1353656/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=462.17 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116821 0 0 0 46130 87 0 0 25 0 1 0 26250266 484167680 114458 1992294400 4194304 8395647 140733256607408 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114458 590 1026 0 117175 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 472820 [startup+522.3 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32553 /proc/meminfo: memFree=1353656/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=522.15 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116821 0 0 0 52122 93 0 0 25 0 1 0 26250266 484167680 114458 1992294400 4194304 8395647 140733256607408 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114458 590 1026 0 117175 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 472820 [startup+582.3 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32555 /proc/meminfo: memFree=1353656/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=582.14 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116821 0 0 0 58114 100 0 0 25 0 1 0 26250266 484167680 114458 1992294400 4194304 8395647 140733256607408 18446744073709551615 6636387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114458 590 1026 0 117175 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 472820 Solver just ended. Dumping a history of the last processes samples [startup+585.501 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32555 /proc/meminfo: memFree=1353656/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=585.34 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116821 0 0 0 58434 100 0 0 25 0 1 0 26250266 484167680 114458 1992294400 4194304 8395647 140733256607408 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114458 590 1026 0 117175 0 Current children cumulated CPU time (s) 585.34 Current children cumulated vsize (KiB) 472820 [startup+587.101 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32555 /proc/meminfo: memFree=1353656/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=586.93 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116821 0 0 0 58593 100 0 0 25 0 1 0 26250266 484167680 114458 1992294400 4194304 8395647 140733256607408 18446744073709551615 6696995 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114458 590 1026 0 117175 0 Current children cumulated CPU time (s) 586.93 Current children cumulated vsize (KiB) 472820 [startup+587.901 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32555 /proc/meminfo: memFree=1353656/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=587.73 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116821 0 0 0 58673 100 0 0 25 0 1 0 26250266 484167680 114458 1992294400 4194304 8395647 140733256607408 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114458 590 1026 0 117175 0 Current children cumulated CPU time (s) 587.73 Current children cumulated vsize (KiB) 472820 [startup+588.301 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32555 /proc/meminfo: memFree=1353656/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=588.13 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116829 0 0 0 58713 100 0 0 18 0 1 0 26250266 484167680 114466 1992294400 4194304 8395647 140733256607408 18446744073709551615 6150524 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114466 598 1026 0 117175 0 Current children cumulated CPU time (s) 588.13 Current children cumulated vsize (KiB) 472820 [startup+588.509 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32555 /proc/meminfo: memFree=1353656/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=472820 CPUtime=588.34 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116832 0 0 0 58734 100 0 0 18 0 1 0 26250266 484167680 114469 1992294400 4194304 8395647 140733256607408 18446744073709551615 6066780 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32535/statm: 118205 114469 601 1026 0 117175 0 Current children cumulated CPU time (s) 588.34 Current children cumulated vsize (KiB) 472820 [startup+588.602 s] /proc/loadavg: 1.00 0.99 0.91 2/106 32555 /proc/meminfo: memFree=1353656/2059040 swapFree=4135732/4192956 [pid=32535] ppid=32533 vsize=403460 CPUtime=588.44 /proc/32535/stat : 32535 (pbscip.linux.x8) R 32533 32535 32085 0 -1 4202496 116832 0 0 0 58743 101 0 0 18 0 1 0 26250266 413143040 98354 1992294400 4194304 8395647 140733256607408 18446744073709551615 4969843 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32535/statm: 100865 98354 601 1026 0 99835 0 Current children cumulated CPU time (s) 588.44 Current children cumulated vsize (KiB) 403460 Child status: 0 Real time (s): 588.692 CPU time (s): 588.535 CPU user time (s): 587.484 CPU system time (s): 1.05184 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 472820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 587.484 system time used= 1.05184 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116840 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= 1390 runsolver used 0.936857 second user time and 2.83157 second system time The end
Begin job on node088 at 2010-07-08 11:13:39 IDJOB=2704717 IDBENCH=74340 IDSOLVER=1213 FILE ID=node088/2704717-1278580419 PBS_JOBID= 11240060 Free space on /tmp= 62504 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12052_5-unsat.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704717-1278580419/watcher-2704717-1278580419 -o /tmp/evaluation-result-2704717-1278580419/solver-2704717-1278580419 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704717-1278580419.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2ff183c8695f0992ee4ac0210b2026e7 RANDOM SEED=2088375184 node088.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.245 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.49 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.245 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1811752 kB Buffers: 33024 kB Cached: 122888 kB SwapCached: 10828 kB Active: 107616 kB Inactive: 61928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1811752 kB SwapTotal: 4192956 kB SwapFree: 4135732 kB Dirty: 14484 kB Writeback: 0 kB AnonPages: 11604 kB Mapped: 8408 kB Slab: 55976 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178184 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= 62496 MiB End job on node088 at 2010-07-08 11:23:28