| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | UNSAT | 1129.45 | 1129.8 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb |
| MD5SUM | ba7629ec9d43ef12b6ab9587104e8a0f |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1.82472 |
| 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 | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| 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 | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 813 |
| 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: NONE] [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-2664412-1276295999.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.00/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.06
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.95
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.39/4.44 c 4.1s| 10000 | 7669 | 0 | 0.0 |7136k| 100 | - | 231 |4512 | 0 | 0 | 0 |2722 | 0 | 0.000000e+00 | -- | Inf
10.49/10.59 c 10.0s| 20000 | 14082 | 0 | 0.0 | 12M| 100 | - | 231 |5653 | 0 | 0 | 0 |6834 | 0 | 0.000000e+00 | -- | Inf
17.29/17.37 c 16.5s| 30000 | 20772 | 0 | 0.0 | 16M| 100 | - | 231 |6638 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
25.49/25.54 c 24.4s| 40000 | 26869 | 0 | 0.0 | 21M| 100 | - | 231 |7635 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
37.68/37.79 c 36.3s| 50000 | 30785 | 0 | 0.0 | 26M| 100 | - | 231 |9142 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
54.88/54.92 c 53.0s| 60000 | 33033 | 0 | 0.0 | 31M| 100 | - | 231 | 10k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
70.47/70.58 c 68.3s| 70000 | 36981 | 0 | 0.0 | 36M| 100 | - | 231 |9979 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
85.57/85.63 c 83.0s| 80000 | 41140 | 0 | 0.0 | 41M| 100 | - | 231 | 10k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
102.17/102.22 c 99.2s| 90000 | 44745 | 0 | 0.0 | 46M| 100 | - | 231 | 11k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
121.26/121.38 c 118s|100000 | 47609 | 0 | 0.0 | 52M| 100 | - | 231 | 12k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
142.64/142.76 c 139s|110000 | 50159 | 0 | 0.0 | 57M| 100 | - | 231 | 13k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
167.44/167.57 c 163s|120000 | 51829 | 0 | 0.0 | 62M| 100 | - | 231 | 14k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
194.23/194.38 c 190s|130000 | 53254 | 0 | 0.0 | 67M| 100 | - | 231 | 15k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
222.82/222.99 c 218s|140000 | 54373 | 0 | 0.0 | 71M| 100 | - | 231 | 15k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
253.01/253.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.01/253.11 c 248s|150000 | 55049 | 0 | 0.0 | 75M| 100 | - | 231 | 16k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
288.50/288.62 c 283s|160000 | 54536 | 0 | 0.0 | 77M| 100 | - | 231 | 18k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
331.00/331.18 c 325s|170000 | 53307 | 0 | 0.0 | 79M| 100 | - | 231 | 18k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
370.97/371.11 c 364s|180000 | 53042 | 0 | 0.0 | 84M| 100 | - | 231 | 18k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
412.97/413.17 c 406s|190000 | 52230 | 0 | 0.0 | 87M| 100 | - | 231 | 19k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
457.84/458.07 c 450s|200000 | 51188 | 0 | 0.0 | 90M| 100 | - | 231 | 21k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
506.73/506.93 c 499s|210000 | 49687 | 0 | 0.0 | 92M| 100 | - | 231 | 23k| 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
559.32/559.56 c 551s|220000 | 47670 | 0 | 0.0 | 93M| 100 | - | 231 | 24k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
611.61/611.89 c 603s|230000 | 45911 | 0 | 0.0 | 93M| 100 | - | 231 | 26k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
670.69/670.99 c 661s|240000 | 43115 | 0 | 0.0 | 92M| 100 | - | 231 | 28k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
743.57/743.89 c 734s|250000 | 37959 | 0 | 0.0 | 88M| 100 | - | 231 | 33k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
842.03/842.33 c 832s|260000 | 28670 | 0 | 0.0 | 75M| 100 | - | 231 | 34k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
940.22/940.52 c 929s|270000 | 20196 | 0 | 0.0 | 62M| 100 | - | 231 | 37k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1060.17/1060.52 c 1048s|280000 | 7935 | 0 | 0.0 | 41M| 100 | - | 231 | 44k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1129.25/1129.66 c
1129.25/1129.66 c SCIP Status : problem is solved [infeasible]
1129.25/1129.66 c Solving Time (sec) : 1117.19
1129.25/1129.66 c Solving Nodes : 283896
1129.25/1129.66 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1129.25/1129.66 c Dual Bound : +1.00000000000000e+20
1129.25/1129.66 c Gap : 0.00 %
1129.25/1129.66 s UNSATISFIABLE
1129.25/1129.66 c SCIP Status : problem is solved [infeasible]
1129.25/1129.66 c Solving Time : 1117.19
1129.25/1129.66 c Original Problem :
1129.25/1129.66 c Problem name : HOME/instance-2664412-1276295999.opb
1129.25/1129.66 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1129.25/1129.66 c Constraints : 2707 initial, 2707 maximal
1129.25/1129.66 c Presolved Problem :
1129.25/1129.66 c Problem name : t_HOME/instance-2664412-1276295999.opb
1129.25/1129.66 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1129.25/1129.66 c Constraints : 2564 initial, 48665 maximal
1129.25/1129.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1129.25/1129.66 c trivial : 0.00 0 0 0 0 0 0 0 0
1129.25/1129.66 c dualfix : 0.00 0 0 0 0 0 0 0 0
1129.25/1129.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
1129.25/1129.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1129.25/1129.66 c implics : 0.00 0 0 0 0 0 0 0 0
1129.25/1129.66 c probing : 0.00 0 0 0 0 0 0 0 0
1129.25/1129.66 c knapsack : 0.00 0 0 0 0 0 0 0 0
1129.25/1129.66 c setppc : 0.00 0 0 0 0 0 0 0 0
1129.25/1129.66 c linear : 0.03 0 0 0 0 0 143 0 0
1129.25/1129.66 c logicor : 0.03 0 0 0 0 0 0 0 0
1129.25/1129.66 c root node : - 0 - - 0 - - - -
1129.25/1129.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1129.25/1129.66 c integral : 0 0 0 0 0 0 0 0 0 0
1129.25/1129.66 c knapsack : 1 0 1252718 0 185460 41424 4149254 0 0 0
1129.25/1129.66 c setppc : 22 0 1218430 0 185460 50988 1452413 0 0 0
1129.25/1129.66 c logicor : 2541+ 0 903477 0 185460 55736 3613343 0 0 0
1129.25/1129.66 c countsols : 0 0 0 0 185460 0 0 0 0 0
1129.25/1129.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1129.25/1129.66 c integral : 0.00 0.00 0.00 0.00 0.00
1129.25/1129.66 c knapsack : 30.92 0.00 29.88 0.00 1.04
1129.25/1129.66 c setppc : 17.18 0.00 14.95 0.00 2.23
1129.25/1129.66 c logicor : 576.63 0.00 551.27 0.00 25.36
1129.25/1129.66 c countsols : 0.12 0.00 0.00 0.00 0.12
1129.25/1129.66 c Propagators : Time Calls Cutoffs DomReds
1129.25/1129.66 c vbounds : 0.66 1 0 0
1129.25/1129.66 c rootredcost : 0.73 0 0 0
1129.25/1129.66 c pseudoobj : 0.37 0 0 0
1129.25/1129.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1129.25/1129.66 c propagation : 9.32 148148 148070 678658 17.0 3529 19.5 -
1129.25/1129.66 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1129.25/1129.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1129.25/1129.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1129.25/1129.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1129.25/1129.66 c applied globally : - - - 332928 13.8 - - -
1129.25/1129.66 c applied locally : - - - 768 34.5 - - -
1129.25/1129.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1129.25/1129.66 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1129.25/1129.66 c redcost : 0.00 0 0 0 0 0
1129.25/1129.66 c impliedbounds : 0.00 0 0 0 0 0
1129.25/1129.66 c intobj : 0.00 0 0 0 0 0
1129.25/1129.66 c cgmip : 0.00 0 0 0 0 0
1129.25/1129.66 c gomory : 0.00 0 0 0 0 0
1129.25/1129.66 c strongcg : 0.00 0 0 0 0 0
1129.25/1129.66 c cmir : 0.00 0 0 0 0 0
1129.25/1129.66 c flowcover : 0.00 0 0 0 0 0
1129.25/1129.66 c clique : 0.00 0 0 0 0 0
1129.25/1129.66 c zerohalf : 0.00 0 0 0 0 0
1129.25/1129.66 c mcf : 0.00 0 0 0 0 0
1129.25/1129.66 c rapidlearning : 0.00 0 0 0 0 0
1129.25/1129.66 c Pricers : Time Calls Vars
1129.25/1129.66 c problem variables: 0.00 0 0
1129.25/1129.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1129.25/1129.66 c relpscost : 0.00 0 0 0 0 0 0
1129.25/1129.66 c pscost : 0.00 0 0 0 0 0 0
1129.25/1129.66 c inference : 5.13 185460 0 0 0 0 370920
1129.25/1129.66 c mostinf : 0.00 0 0 0 0 0 0
1129.25/1129.66 c leastinf : 0.00 0 0 0 0 0 0
1129.25/1129.66 c fullstrong : 0.00 0 0 0 0 0 0
1129.25/1129.66 c allfullstrong : 0.00 0 0 0 0 0 0
1129.25/1129.66 c random : 0.00 0 0 0 0 0 0
1129.25/1129.66 c Primal Heuristics : Time Calls Found
1129.25/1129.66 c LP solutions : 0.00 - 0
1129.25/1129.66 c pseudo solutions : 0.00 - 0
1129.25/1129.66 c trivial : 0.00 1 0
1129.25/1129.66 c simplerounding : 0.00 0 0
1129.25/1129.66 c zirounding : 0.00 0 0
1129.25/1129.66 c rounding : 0.00 0 0
1129.25/1129.66 c shifting : 0.00 0 0
1129.25/1129.66 c intshifting : 0.00 0 0
1129.25/1129.66 c oneopt : 0.00 0 0
1129.25/1129.66 c twoopt : 0.00 0 0
1129.25/1129.66 c fixandinfer : 0.00 0 0
1129.25/1129.66 c feaspump : 0.00 0 0
1129.25/1129.66 c coefdiving : 0.00 0 0
1129.25/1129.66 c pscostdiving : 0.00 0 0
1129.25/1129.66 c fracdiving : 0.00 0 0
1129.25/1129.66 c veclendiving : 0.00 0 0
1129.25/1129.66 c intdiving : 0.00 0 0
1129.25/1129.66 c actconsdiving : 0.00 0 0
1129.25/1129.66 c objpscostdiving : 0.00 0 0
1129.25/1129.66 c rootsoldiving : 0.00 0 0
1129.25/1129.66 c linesearchdiving : 0.00 0 0
1129.25/1129.66 c guideddiving : 0.00 0 0
1129.25/1129.66 c octane : 0.00 0 0
1129.25/1129.66 c rens : 0.00 0 0
1129.25/1129.66 c rins : 0.00 0 0
1129.25/1129.66 c localbranching : 0.00 0 0
1129.25/1129.66 c mutation : 0.00 0 0
1129.25/1129.66 c crossover : 0.00 0 0
1129.25/1129.66 c dins : 0.00 0 0
1129.25/1129.66 c undercover : 0.00 0 0
1129.25/1129.66 c nlp : 0.00 0 0
1129.25/1129.66 c trysol : 0.00 0 0
1129.25/1129.66 c LP : Time Calls Iterations Iter/call Iter/sec
1129.25/1129.66 c primal LP : 0.00 0 0 0.00 -
1129.25/1129.66 c dual LP : 0.00 0 0 0.00 -
1129.25/1129.66 c lex dual LP : 0.00 0 0 0.00 -
1129.25/1129.66 c barrier LP : 0.00 0 0 0.00 -
1129.25/1129.66 c diving/probing LP: 0.00 0 0 0.00 -
1129.25/1129.66 c strong branching : 0.00 0 0 0.00 -
1129.25/1129.66 c (at root node) : - 0 0 0.00 -
1129.25/1129.66 c conflict analysis: 0.00 0 0 0.00 -
1129.25/1129.66 c B&B Tree :
1129.25/1129.66 c number of runs : 1
1129.25/1129.66 c nodes : 283896
1129.25/1129.66 c nodes (total) : 283896
1129.25/1129.66 c nodes left : 0
1129.25/1129.66 c max depth : 100
1129.25/1129.66 c max depth (total): 100
1129.25/1129.66 c backtracks : 112783 (39.7%)
1129.25/1129.66 c delayed cutoffs : 87025
1129.25/1129.66 c repropagations : 420548 (2805260 domain reductions, 49712 cutoffs)
1129.25/1129.66 c avg switch length: 21.59
1129.25/1129.66 c switching time : 319.76
1129.25/1129.66 c Solution :
1129.25/1129.66 c Solutions found : 0 (0 improvements)
1129.25/1129.66 c Primal Bound : infeasible
1129.25/1129.66 c Dual Bound : -
1129.25/1129.66 c Gap : 0.00 %
1129.25/1129.66 c Root Dual Bound : +0.00000000000000e+00
1129.25/1129.66 c Root Iterations : 0
1129.35/1129.80 c Time complete: 1129.44.
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-2664412-1276295999/watcher-2664412-1276295999 -o /tmp/evaluation-result-2664412-1276295999/solver-2664412-1276295999 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664412-1276295999.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.21 1.05 1.02 3/106 6742 /proc/meminfo: memFree=1547488/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=6584 CPUtime=0 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 1008 0 0 0 0 0 0 0 22 0 1 0 5203591 6742016 931 1992294400 4194304 7136930 140735819663648 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6742/statm: 1646 941 254 719 0 925 0 [startup+0.09187 s] /proc/loadavg: 1.21 1.05 1.02 3/106 6742 /proc/meminfo: memFree=1547488/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=14472 CPUtime=0.08 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 3532 0 0 0 7 1 0 0 22 0 1 0 5203591 14819328 2844 1992294400 4194304 7136930 140735819663648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 3618 2844 343 719 0 2897 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14472 [startup+0.101872 s] /proc/loadavg: 1.21 1.05 1.02 3/106 6742 /proc/meminfo: memFree=1547488/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=15052 CPUtime=0.09 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 3663 0 0 0 8 1 0 0 22 0 1 0 5203591 15413248 2975 1992294400 4194304 7136930 140735819663648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 3763 2975 345 719 0 3042 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15052 [startup+0.300895 s] /proc/loadavg: 1.21 1.05 1.02 3/106 6742 /proc/meminfo: memFree=1547488/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=17116 CPUtime=0.29 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 6820 0 0 0 25 4 0 0 22 0 1 0 5203591 17526784 3562 1992294400 4194304 7136930 140735819663648 18446744073709551615 5005225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 4279 3562 391 719 0 3558 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17116 [startup+0.700942 s] /proc/loadavg: 1.21 1.05 1.02 3/106 6742 /proc/meminfo: memFree=1547488/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=17660 CPUtime=0.69 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 6957 0 0 0 64 5 0 0 23 0 1 0 5203591 18083840 3699 1992294400 4194304 7136930 140735819663648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 4415 3699 391 719 0 3694 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17660 [startup+1.50104 s] /proc/loadavg: 1.21 1.05 1.02 2/107 6743 /proc/meminfo: memFree=1533096/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=19264 CPUtime=1.49 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 7349 0 0 0 139 10 0 0 25 0 1 0 5203591 19726336 4091 1992294400 4194304 7136930 140735819663648 18446744073709551615 4223878 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 4816 4091 391 719 0 4095 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19264 [startup+3.10023 s] /proc/loadavg: 1.21 1.05 1.02 2/107 6743 /proc/meminfo: memFree=1531360/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=21496 CPUtime=3.09 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 7919 0 0 0 291 18 0 0 25 0 1 0 5203591 22011904 4661 1992294400 4194304 7136930 140735819663648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 5374 4661 391 719 0 4653 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21496 [startup+6.3006 s] /proc/loadavg: 1.20 1.05 1.02 2/107 6743 /proc/meminfo: memFree=1527268/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=25096 CPUtime=6.28 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 8818 0 0 0 595 33 0 0 25 0 1 0 5203591 25698304 5560 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 6274 5560 391 719 0 5553 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25096 [startup+12.7004 s] /proc/loadavg: 1.18 1.05 1.01 2/107 6743 /proc/meminfo: memFree=1520324/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=31240 CPUtime=12.69 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 10387 0 0 0 1204 65 0 0 25 0 1 0 5203591 31989760 7129 1992294400 4194304 7136930 140735819663648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 7810 7129 391 719 0 7089 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31240 [startup+25.5009 s] /proc/loadavg: 1.14 1.04 1.01 2/107 6745 /proc/meminfo: memFree=1509784/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=41544 CPUtime=25.49 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 12985 0 0 0 2438 111 0 0 25 0 1 0 5203591 42541056 9727 1992294400 4194304 7136930 140735819663648 18446744073709551615 4408811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 10386 9727 391 719 0 9665 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41544 [startup+51.1011 s] /proc/loadavg: 1.09 1.04 1.01 2/107 6745 /proc/meminfo: memFree=1498376/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=53092 CPUtime=51.08 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 15833 0 0 0 4933 175 0 0 25 0 1 0 5203591 54366208 12575 1992294400 4194304 7136930 140735819663648 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 13273 12575 391 719 0 12552 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 53092 [startup+102.308 s] /proc/loadavg: 1.04 1.03 1.01 2/107 6747 /proc/meminfo: memFree=1477668/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=73516 CPUtime=102.26 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 20953 0 0 0 9934 292 0 0 25 0 1 0 5203591 75280384 17695 1992294400 4194304 7136930 140735819663648 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 18379 17695 391 719 0 17658 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 73516 [startup+162.302 s] /proc/loadavg: 1.01 1.02 1.00 2/107 6747 /proc/meminfo: memFree=1458324/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=93024 CPUtime=162.25 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 25735 0 0 0 15830 395 0 0 25 0 1 0 5203591 95256576 22477 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 23256 22477 391 719 0 22535 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 93024 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6749 /proc/meminfo: memFree=1446420/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=104788 CPUtime=222.22 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 28682 0 0 0 21744 478 0 0 25 0 1 0 5203591 107302912 25424 1992294400 4194304 7136930 140735819663648 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 26197 25424 391 719 0 25476 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 104788 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6751 /proc/meminfo: memFree=1437864/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=113640 CPUtime=282.21 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 30850 0 0 0 27664 557 0 0 25 0 1 0 5203591 116367360 27592 1992294400 4194304 7136930 140735819663648 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 28410 27592 391 719 0 27689 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 113640 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6753 /proc/meminfo: memFree=1431168/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=120472 CPUtime=342.18 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 32474 0 0 0 33598 620 0 0 25 0 1 0 5203591 123363328 29216 1992294400 4194304 7136930 140735819663648 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 30118 29216 391 719 0 29397 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 120472 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6755 /proc/meminfo: memFree=1423108/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=128740 CPUtime=402.16 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 34467 0 0 0 39533 683 0 0 25 0 1 0 5203591 131829760 31209 1992294400 4194304 7136930 140735819663648 18446744073709551615 4998262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 32185 31209 391 719 0 31464 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 128740 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6755 /proc/meminfo: memFree=1416784/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=134896 CPUtime=462.14 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 36014 0 0 0 45469 745 0 0 25 0 1 0 5203591 138133504 32756 1992294400 4194304 7136930 140735819663648 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 33724 32756 391 719 0 33003 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 134896 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6757 /proc/meminfo: memFree=1409468/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=142720 CPUtime=522.13 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 37937 0 0 0 51409 804 0 0 25 0 1 0 5203591 146145280 34679 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 35680 34679 391 719 0 34959 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 142720 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6759 /proc/meminfo: memFree=1406740/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=145044 CPUtime=582.11 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 38492 0 0 0 57352 859 0 0 25 0 1 0 5203591 148525056 35234 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 36261 35234 391 719 0 35540 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 145044 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6761 /proc/meminfo: memFree=1405252/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=146412 CPUtime=642.1 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 38864 0 0 0 63304 906 0 0 25 0 1 0 5203591 149925888 35606 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 36603 35606 391 719 0 35882 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 146412 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6763 /proc/meminfo: memFree=1403144/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=148312 CPUtime=702.08 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 39364 0 0 0 69251 957 0 0 25 0 1 0 5203591 151871488 36106 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 37078 36106 391 719 0 36357 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 148312 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6763 /proc/meminfo: memFree=1401656/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=150472 CPUtime=762.07 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 39727 0 0 0 75207 1000 0 0 25 0 1 0 5203591 154083328 36469 1992294400 4194304 7136930 140735819663648 18446744073709551615 5004477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 37618 36469 391 719 0 36897 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 150472 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6765 /proc/meminfo: memFree=1401036/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=151300 CPUtime=822.04 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 39872 0 0 0 81170 1034 0 0 25 0 1 0 5203591 154931200 36614 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 37825 36614 391 719 0 37104 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 151300 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6767 /proc/meminfo: memFree=1400788/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=151420 CPUtime=882.03 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 39935 0 0 0 87130 1073 0 0 25 0 1 0 5203591 155054080 36677 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 37855 36677 391 719 0 37134 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 151420 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6769 /proc/meminfo: memFree=1400540/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=151480 CPUtime=942 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 39945 0 0 0 93091 1109 0 0 25 0 1 0 5203591 155115520 36687 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 37870 36687 391 719 0 37149 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 151480 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6771 /proc/meminfo: memFree=1399672/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=152752 CPUtime=1001.99 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 40152 0 0 0 99056 1143 0 0 25 0 1 0 5203591 156418048 36894 1992294400 4194304 7136930 140735819663648 18446744073709551615 4210566 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 38188 36894 391 719 0 37467 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 152752 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6771 /proc/meminfo: memFree=1398680/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=153692 CPUtime=1061.97 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 40387 0 0 0 105022 1175 0 0 25 0 1 0 5203591 157380608 37129 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 38423 37129 391 719 0 37702 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 153692 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6773 /proc/meminfo: memFree=1398308/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=154048 CPUtime=1121.95 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 40483 0 0 0 110992 1203 0 0 25 0 1 0 5203591 157745152 37225 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 38512 37225 391 719 0 37791 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 154048 Solver just ended. Dumping a history of the last processes samples [startup+1126.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6773 /proc/meminfo: memFree=1398308/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=154048 CPUtime=1125.95 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 40484 0 0 0 111391 1204 0 0 25 0 1 0 5203591 157745152 37226 1992294400 4194304 7136930 140735819663648 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 38512 37226 391 719 0 37791 0 Current children cumulated CPU time (s) 1125.95 Current children cumulated vsize (KiB) 154048 [startup+1127.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6773 /proc/meminfo: memFree=1398308/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=154048 CPUtime=1127.55 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 40484 0 0 0 111550 1205 0 0 25 0 1 0 5203591 157745152 37226 1992294400 4194304 7136930 140735819663648 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 38512 37226 391 719 0 37791 0 Current children cumulated CPU time (s) 1127.55 Current children cumulated vsize (KiB) 154048 [startup+1128.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6773 /proc/meminfo: memFree=1398308/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=154048 CPUtime=1128.34 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 40484 0 0 0 111629 1205 0 0 25 0 1 0 5203591 157745152 37226 1992294400 4194304 7136930 140735819663648 18446744073709551615 4223034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 38512 37226 391 719 0 37791 0 Current children cumulated CPU time (s) 1128.34 Current children cumulated vsize (KiB) 154048 [startup+1129.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6773 /proc/meminfo: memFree=1398308/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=154048 CPUtime=1129.15 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 40484 0 0 0 111709 1206 0 0 25 0 1 0 5203591 157745152 37226 1992294400 4194304 7136930 140735819663648 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6742/statm: 38512 37226 391 719 0 37791 0 Current children cumulated CPU time (s) 1129.15 Current children cumulated vsize (KiB) 154048 [startup+1129.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6773 /proc/meminfo: memFree=1398308/2059040 swapFree=4192956/4192956 [pid=6742] ppid=6740 vsize=153284 CPUtime=1129.35 /proc/6742/stat : 6742 (pbscip.linux.x8) R 6740 6742 6335 0 -1 4202496 40556 0 0 0 111729 1206 0 0 25 0 1 0 5203591 156962816 37041 1992294400 4194304 7136930 140735819663648 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6742/statm: 38321 37041 396 719 0 37600 0 Current children cumulated CPU time (s) 1129.35 Current children cumulated vsize (KiB) 153284 Child status: 0 Real time (s): 1129.8 CPU time (s): 1129.45 CPU user time (s): 1117.37 CPU system time (s): 12.0782 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 154048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1117.37 system time used= 12.0782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40563 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= 5535 runsolver used 1.90871 second user time and 5.30019 second system time The end
Begin job on node006 at 2010-06-12 00:39:59 IDJOB=2664412 IDBENCH=1313 IDSOLVER=1167 FILE ID=node006/2664412-1276295999 PBS_JOBID= 11173117 Free space on /tmp= 62472 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664412-1276295999/watcher-2664412-1276295999 -o /tmp/evaluation-result-2664412-1276295999/solver-2664412-1276295999 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664412-1276295999.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ba7629ec9d43ef12b6ab9587104e8a0f RANDOM SEED=1089605628 node006.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.204 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.40 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.204 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1547892 kB Buffers: 72920 kB Cached: 311040 kB SwapCached: 0 kB Active: 173964 kB Inactive: 269324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1547892 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3540 kB Writeback: 8 kB AnonPages: 59300 kB Mapped: 15392 kB Slab: 46028 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181952 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= 62468 MiB End job on node006 at 2010-06-12 00:58:49