| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.41 | 1801.18 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb |
| MD5SUM | ad2f2eb73d6b7e5f546be528b10bc762 |
| 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 | 24.6932 |
| 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 | 745 |
| 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-2664445-1276307284.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.19/4.26 c 4.0s| 10000 | 7933 | 0 | 0.0 |7214k| 94 | - | 231 |4524 | 0 | 0 | 0 |2867 | 0 | 0.000000e+00 | -- | Inf
9.99/10.10 c 9.6s| 20000 | 14488 | 0 | 0.0 | 11M| 95 | - | 231 |5254 | 0 | 0 | 0 |7145 | 0 | 0.000000e+00 | -- | Inf
15.78/15.84 c 15.1s| 30000 | 21778 | 0 | 0.0 | 16M| 95 | - | 231 |6242 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
23.09/23.17 c 22.2s| 40000 | 28248 | 0 | 0.0 | 21M| 95 | - | 231 |7524 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
33.08/33.15 c 31.9s| 50000 | 33561 | 0 | 0.0 | 26M| 95 | - | 231 |9066 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
45.77/45.81 c 44.2s| 60000 | 37964 | 0 | 0.0 | 31M| 95 | - | 231 | 10k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
62.07/62.17 c 60.3s| 70000 | 41376 | 0 | 0.0 | 36M| 95 | - | 231 | 11k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
82.06/82.15 c 79.9s| 80000 | 43634 | 0 | 0.0 | 40M| 95 | - | 231 | 11k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
97.16/97.27 c 94.7s| 90000 | 48080 | 0 | 0.0 | 44M| 95 | - | 231 | 10k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
111.35/111.42 c 108s|100000 | 53088 | 0 | 0.0 | 49M| 95 | - | 231 | 11k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
127.95/128.06 c 125s|110000 | 57512 | 0 | 0.0 | 55M| 95 | - | 231 | 12k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
147.54/147.64 c 144s|120000 | 61322 | 0 | 0.0 | 60M| 95 | - | 231 | 14k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
169.63/169.74 c 166s|130000 | 64711 | 0 | 0.0 | 65M| 95 | - | 231 | 15k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
193.43/193.51 c 189s|140000 | 67764 | 0 | 0.0 | 70M| 95 | - | 231 | 16k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
218.72/218.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.72/218.84 c 214s|150000 | 70599 | 0 | 0.0 | 75M| 95 | - | 231 | 16k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
245.21/245.38 c 240s|160000 | 73186 | 0 | 0.0 | 80M| 95 | - | 231 | 17k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
274.60/274.72 c 269s|170000 | 75165 | 0 | 0.0 | 84M| 95 | - | 231 | 18k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
304.79/304.95 c 299s|180000 | 77015 | 0 | 0.0 | 89M| 95 | - | 231 | 18k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
338.08/338.25 c 332s|190000 | 78199 | 0 | 0.0 | 93M| 95 | - | 231 | 18k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
372.27/372.45 c 366s|200000 | 79254 | 0 | 0.0 | 97M| 95 | - | 231 | 19k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
409.16/409.38 c 402s|210000 | 79757 | 0 | 0.0 | 101M| 95 | - | 231 | 20k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
452.74/452.90 c 445s|220000 | 79156 | 0 | 0.0 | 103M| 95 | - | 231 | 20k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
503.12/503.33 c 495s|230000 | 76925 | 0 | 0.0 | 104M| 95 | - | 231 | 19k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
536.61/536.90 c 529s|240000 | 79095 | 0 | 0.0 | 106M| 95 | - | 231 | 18k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
573.20/573.49 c 565s|250000 | 80593 | 0 | 0.0 | 111M| 95 | - | 231 | 20k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
615.79/616.02 c 607s|260000 | 80949 | 0 | 0.0 | 115M| 95 | - | 231 | 21k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
663.47/663.73 c 654s|270000 | 80749 | 0 | 0.0 | 120M| 95 | - | 231 | 24k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
717.15/717.45 c 708s|280000 | 79975 | 0 | 0.0 | 123M| 95 | - | 231 | 26k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
775.03/775.37 c 765s|290000 | 79236 | 0 | 0.0 | 126M| 95 | - | 231 | 28k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
836.59/836.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
836.59/836.94 c 826s|300000 | 77959 | 0 | 0.0 | 129M| 95 | - | 231 | 29k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
906.52/907.06 c 896s|310000 | 75329 | 0 | 0.0 | 130M| 95 | - | 231 | 30k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
976.11/976.61 c 965s|320000 | 72956 | 0 | 0.0 | 131M| 95 | - | 231 | 31k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1051.47/1052.08 c 1040s|330000 | 69633 | 0 | 0.0 | 130M| 95 | - | 231 | 32k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1129.05/1129.63 c 1117s|340000 | 65915 | 0 | 0.0 | 128M| 95 | - | 231 | 33k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1210.63/1211.24 c 1198s|350000 | 61769 | 0 | 0.0 | 125M| 95 | - | 231 | 35k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1307.89/1308.57 c 1295s|360000 | 54961 | 0 | 0.0 | 117M| 95 | - | 231 | 37k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1415.16/1415.89 c 1401s|370000 | 47953 | 0 | 0.0 | 112M| 95 | - | 231 | 38k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1541.31/1542.09 c 1527s|380000 | 39106 | 0 | 0.0 | 101M| 95 | - | 231 | 42k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1670.97/1671.70 c 1656s|390000 | 30142 | 0 | 0.0 | 88M| 95 | - | 231 | 46k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.81 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.81 c
1800.04/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.81 c Solving Time (sec) : 1784.21
1800.04/1800.81 c Solving Nodes : 399576
1800.04/1800.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.81 c Dual Bound : +0.00000000000000e+00
1800.04/1800.81 c Gap : infinite
1800.04/1800.81 s UNKNOWN
1800.04/1800.81 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.81 c Solving Time : 1784.21
1800.04/1800.81 c Original Problem :
1800.04/1800.81 c Problem name : HOME/instance-2664445-1276307284.opb
1800.04/1800.81 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.81 c Constraints : 2707 initial, 2707 maximal
1800.04/1800.81 c Presolved Problem :
1800.04/1800.81 c Problem name : t_HOME/instance-2664445-1276307284.opb
1800.04/1800.81 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.81 c Constraints : 2564 initial, 52084 maximal
1800.04/1800.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.81 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.81 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.81 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.81 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.81 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.81 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.82 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.82 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.82 c linear : 0.03 0 0 0 0 0 143 0 0
1800.04/1800.82 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.82 c root node : - 0 - - 0 - - - -
1800.04/1800.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.82 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.82 c knapsack : 1 0 1697549 0 261845 60818 5501638 0 0 0
1800.04/1800.82 c setppc : 22 0 1648569 0 261845 77486 2033637 0 0 0
1800.04/1800.82 c logicor : 2541+ 0 1218921 0 261843 66965 5308481 0 0 0
1800.04/1800.82 c countsols : 0 0 0 0 261839 0 0 0 0 0
1800.04/1800.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.82 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.82 c knapsack : 41.79 0.00 40.34 0.00 1.45
1800.04/1800.82 c setppc : 26.41 0.00 23.31 0.00 3.10
1800.04/1800.82 c logicor : 932.58 0.00 897.32 0.00 35.26
1800.04/1800.82 c countsols : 0.11 0.00 0.00 0.00 0.11
1800.04/1800.82 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.82 c vbounds : 0.94 1 0 0
1800.04/1800.82 c rootredcost : 0.98 0 0 0
1800.04/1800.82 c pseudoobj : 0.79 0 0 0
1800.04/1800.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.82 c propagation : 12.81 205269 205180 946872 17.1 3969 20.5 -
1800.04/1800.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.82 c applied globally : - - - 457111 13.8 - - -
1800.04/1800.82 c applied locally : - - - 1836 36.0 - - -
1800.04/1800.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.82 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.82 c redcost : 0.00 0 0 0 0 0
1800.04/1800.82 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.82 c intobj : 0.00 0 0 0 0 0
1800.04/1800.82 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.82 c gomory : 0.00 0 0 0 0 0
1800.04/1800.82 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.82 c cmir : 0.00 0 0 0 0 0
1800.04/1800.82 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.82 c clique : 0.00 0 0 0 0 0
1800.04/1800.82 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.82 c mcf : 0.00 0 0 0 0 0
1800.04/1800.82 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.82 c Pricers : Time Calls Vars
1800.04/1800.82 c problem variables: 0.00 0 0
1800.04/1800.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.82 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.82 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.82 c inference : 7.10 261839 0 0 0 0 523678
1800.04/1800.82 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.82 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.82 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.82 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.82 c random : 0.00 0 0 0 0 0 0
1800.04/1800.82 c Primal Heuristics : Time Calls Found
1800.04/1800.82 c LP solutions : 0.00 - 0
1800.04/1800.82 c pseudo solutions : 0.00 - 0
1800.04/1800.82 c trivial : 0.01 1 0
1800.04/1800.82 c simplerounding : 0.00 0 0
1800.04/1800.82 c zirounding : 0.00 0 0
1800.04/1800.82 c rounding : 0.00 0 0
1800.04/1800.82 c shifting : 0.00 0 0
1800.04/1800.82 c intshifting : 0.00 0 0
1800.04/1800.82 c oneopt : 0.00 0 0
1800.04/1800.82 c twoopt : 0.00 0 0
1800.04/1800.82 c fixandinfer : 0.00 0 0
1800.04/1800.82 c feaspump : 0.00 0 0
1800.04/1800.82 c coefdiving : 0.00 0 0
1800.04/1800.82 c pscostdiving : 0.00 0 0
1800.04/1800.82 c fracdiving : 0.00 0 0
1800.04/1800.82 c veclendiving : 0.00 0 0
1800.04/1800.82 c intdiving : 0.00 0 0
1800.04/1800.82 c actconsdiving : 0.00 0 0
1800.04/1800.82 c objpscostdiving : 0.00 0 0
1800.04/1800.82 c rootsoldiving : 0.00 0 0
1800.04/1800.82 c linesearchdiving : 0.00 0 0
1800.04/1800.82 c guideddiving : 0.00 0 0
1800.04/1800.82 c octane : 0.00 0 0
1800.04/1800.82 c rens : 0.00 0 0
1800.04/1800.82 c rins : 0.00 0 0
1800.04/1800.82 c localbranching : 0.00 0 0
1800.04/1800.82 c mutation : 0.00 0 0
1800.04/1800.82 c crossover : 0.00 0 0
1800.04/1800.82 c dins : 0.00 0 0
1800.04/1800.82 c undercover : 0.00 0 0
1800.04/1800.82 c nlp : 0.00 0 0
1800.04/1800.82 c trysol : 0.00 0 0
1800.04/1800.82 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.82 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.82 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.82 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.82 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.82 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.82 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.82 c (at root node) : - 0 0 0.00 -
1800.04/1800.82 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.82 c B&B Tree :
1800.04/1800.82 c number of runs : 1
1800.04/1800.82 c nodes : 399576
1800.04/1800.82 c nodes (total) : 399576
1800.04/1800.82 c nodes left : 21609
1800.04/1800.82 c max depth : 95
1800.04/1800.82 c max depth (total): 95
1800.04/1800.82 c backtracks : 152874 (38.3%)
1800.04/1800.82 c delayed cutoffs : 102494
1800.04/1800.82 c repropagations : 529613 (3818029 domain reductions, 67532 cutoffs)
1800.04/1800.82 c avg switch length: 21.35
1800.04/1800.82 c switching time : 506.93
1800.04/1800.82 c Solution :
1800.04/1800.82 c Solutions found : 0 (0 improvements)
1800.04/1800.82 c Primal Bound : -
1800.04/1800.82 c Dual Bound : +0.00000000000000e+00
1800.04/1800.82 c Gap : infinite
1800.04/1800.82 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.82 c Root Iterations : 0
1800.33/1801.17 c Time complete: 1800.41.
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-2664445-1276307284/watcher-2664445-1276307284 -o /tmp/evaluation-result-2664445-1276307284/solver-2664445-1276307284 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664445-1276307284.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.01 1.01 1.00 3/106 7208 /proc/meminfo: memFree=1540808/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=6584 CPUtime=0 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 1091 0 0 0 0 0 0 0 24 0 1 0 4380286 6742016 1013 1992294400 4194304 7136930 140736592033600 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7208/statm: 1646 1022 254 719 0 925 0 [startup+0.101898 s] /proc/loadavg: 1.01 1.01 1.00 3/106 7208 /proc/meminfo: memFree=1540808/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=15048 CPUtime=0.09 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 3664 0 0 0 8 1 0 0 18 0 1 0 4380286 15409152 2975 1992294400 4194304 7136930 140736592033600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 3762 2975 345 719 0 3041 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15048 [startup+0.200915 s] /proc/loadavg: 1.01 1.01 1.00 3/106 7208 /proc/meminfo: memFree=1540808/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=16932 CPUtime=0.19 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 6762 0 0 0 16 3 0 0 18 0 1 0 4380286 17338368 3503 1992294400 4194304 7136930 140736592033600 18446744073709551615 4414514 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 4233 3503 391 719 0 3512 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16932 [startup+0.300933 s] /proc/loadavg: 1.01 1.01 1.00 3/106 7208 /proc/meminfo: memFree=1540808/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=17088 CPUtime=0.29 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 6820 0 0 0 26 3 0 0 18 0 1 0 4380286 17498112 3561 1992294400 4194304 7136930 140736592033600 18446744073709551615 4697383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 4272 3561 391 719 0 3551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17088 [startup+0.701006 s] /proc/loadavg: 1.01 1.01 1.00 3/106 7208 /proc/meminfo: memFree=1540808/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=17872 CPUtime=0.69 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 7007 0 0 0 64 5 0 0 18 0 1 0 4380286 18300928 3748 1992294400 4194304 7136930 140736592033600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 4468 3748 391 719 0 3747 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17872 [startup+1.50115 s] /proc/loadavg: 1.01 1.01 1.00 2/107 7209 /proc/meminfo: memFree=1526292/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=19256 CPUtime=1.49 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 7345 0 0 0 139 10 0 0 20 0 1 0 4380286 19718144 4086 1992294400 4194304 7136930 140736592033600 18446744073709551615 4644815 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 4814 4086 391 719 0 4093 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19256 [startup+3.10144 s] /proc/loadavg: 1.01 1.01 1.00 2/107 7209 /proc/meminfo: memFree=1524184/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=21444 CPUtime=3.09 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 7921 0 0 0 292 17 0 0 25 0 1 0 4380286 21958656 4662 1992294400 4194304 7136930 140736592033600 18446744073709551615 4854175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 5361 4662 391 719 0 4640 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21444 [startup+6.30102 s] /proc/loadavg: 1.01 1.01 1.00 2/107 7209 /proc/meminfo: memFree=1519968/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=25240 CPUtime=6.29 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 8888 0 0 0 597 32 0 0 25 0 1 0 4380286 25845760 5629 1992294400 4194304 7136930 140736592033600 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 6310 5629 391 719 0 5589 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25240 [startup+12.7012 s] /proc/loadavg: 1.01 1.00 1.00 2/107 7209 /proc/meminfo: memFree=1513644/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=30888 CPUtime=12.69 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 10322 0 0 0 1211 58 0 0 25 0 1 0 4380286 31629312 7063 1992294400 4194304 7136930 140736592033600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 7722 7063 391 719 0 7001 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30888 [startup+25.5005 s] /proc/loadavg: 1.01 1.00 1.00 2/107 7209 /proc/meminfo: memFree=1501864/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=42332 CPUtime=25.49 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 13208 0 0 0 2449 100 0 0 25 0 1 0 4380286 43347968 9949 1992294400 4194304 7136930 140736592033600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 10583 9949 391 719 0 9862 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42332 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7209 /proc/meminfo: memFree=1488100/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=56076 CPUtime=51.07 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 16657 0 0 0 4944 163 0 0 25 0 1 0 4380286 57421824 13398 1992294400 4194304 7136930 140736592033600 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 14019 13398 391 719 0 13298 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 56076 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7211 /proc/meminfo: memFree=1471112/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=72952 CPUtime=102.27 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 20878 0 0 0 9963 264 0 0 25 0 1 0 4380286 74702848 17619 1992294400 4194304 7136930 140736592033600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 18238 17619 391 719 0 17517 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 72952 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7213 /proc/meminfo: memFree=1448048/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=95856 CPUtime=162.23 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 26613 0 0 0 15857 366 0 0 25 0 1 0 4380286 98156544 23354 1992294400 4194304 7136930 140736592033600 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 23964 23354 391 719 0 23243 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 95856 [startup+222.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7215 /proc/meminfo: memFree=1432796/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=113636 CPUtime=222.23 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 30500 0 0 0 21773 450 0 0 25 0 1 0 4380286 116363264 27241 1992294400 4194304 7136930 140736592033600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 28409 27241 391 719 0 27688 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 113636 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7215 /proc/meminfo: memFree=1420024/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=126192 CPUtime=282.19 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 33593 0 0 0 27686 533 0 0 25 0 1 0 4380286 129220608 30334 1992294400 4194304 7136930 140736592033600 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 31548 30334 391 719 0 30827 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 126192 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7217 /proc/meminfo: memFree=1411840/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=134416 CPUtime=342.17 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 35610 0 0 0 33614 603 0 0 25 0 1 0 4380286 137641984 32351 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 33604 32351 391 719 0 32883 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 134416 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7219 /proc/meminfo: memFree=1402664/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=143708 CPUtime=402.15 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 37928 0 0 0 39544 671 0 0 25 0 1 0 4380286 147156992 34669 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 35927 34669 391 719 0 35206 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 143708 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7221 /proc/meminfo: memFree=1399068/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=147232 CPUtime=462.13 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 38801 0 0 0 45482 731 0 0 25 0 1 0 4380286 150765568 35542 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 36808 35542 391 719 0 36087 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 147232 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7223 /proc/meminfo: memFree=1396712/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=149484 CPUtime=522.12 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 39358 0 0 0 51426 786 0 0 25 0 1 0 4380286 153071616 36099 1992294400 4194304 7136930 140736592033600 18446744073709551615 5005237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 37371 36099 391 719 0 36650 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 149484 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7223 /proc/meminfo: memFree=1386916/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=159420 CPUtime=582.1 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 41783 0 0 0 57363 847 0 0 25 0 1 0 4380286 163246080 38524 1992294400 4194304 7136930 140736592033600 18446744073709551615 4208902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 39855 38524 391 719 0 39134 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 159420 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7225 /proc/meminfo: memFree=1378980/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=167368 CPUtime=642.07 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 43751 0 0 0 63308 899 0 0 25 0 1 0 4380286 171384832 40492 1992294400 4194304 7136930 140736592033600 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 41842 40492 391 719 0 41121 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 167368 [startup+702.301 s] ################ # More data... # ################ [startup+882.31 s] /proc/loadavg: 1.01 1.01 1.00 2/107 7732 /proc/meminfo: memFree=1360868/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=184940 CPUtime=881.85 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 48039 0 0 0 87105 1080 0 0 25 0 1 0 4380286 189378560 44780 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 46235 44780 391 719 0 45514 0 Current children cumulated CPU time (s) 881.85 Current children cumulated vsize (KiB) 184940 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7734 /proc/meminfo: memFree=1359008/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=186672 CPUtime=941.82 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 48449 0 0 0 93061 1121 0 0 25 0 1 0 4380286 191152128 45190 1992294400 4194304 7136930 140736592033600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 46668 45190 391 719 0 45947 0 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (KiB) 186672 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7736 /proc/meminfo: memFree=1357148/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=188684 CPUtime=1001.8 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 48906 0 0 0 99023 1157 0 0 25 0 1 0 4380286 193212416 45647 1992294400 4194304 7136930 140736592033600 18446744073709551615 4209188 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 47171 45647 391 719 0 46450 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 188684 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7738 /proc/meminfo: memFree=1355040/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=190828 CPUtime=1061.78 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 49446 0 0 0 104984 1194 0 0 25 0 1 0 4380286 195407872 46187 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 47707 46187 391 719 0 46986 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 190828 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7740 /proc/meminfo: memFree=1354668/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=191356 CPUtime=1121.76 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 49522 0 0 0 110946 1230 0 0 25 0 1 0 4380286 195948544 46263 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 47839 46263 391 719 0 47118 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 191356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7740 /proc/meminfo: memFree=1354180/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=191816 CPUtime=1181.74 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 49637 0 0 0 116910 1264 0 0 25 0 1 0 4380286 196419584 46378 1992294400 4194304 7136930 140736592033600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 47954 46378 391 719 0 47233 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 191816 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7742 /proc/meminfo: memFree=1353312/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=192696 CPUtime=1241.72 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 49850 0 0 0 122869 1303 0 0 25 0 1 0 4380286 197320704 46591 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 48174 46591 391 719 0 47453 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 192696 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7744 /proc/meminfo: memFree=1352816/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=193320 CPUtime=1301.7 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 49998 0 0 0 128833 1337 0 0 25 0 1 0 4380286 197959680 46739 1992294400 4194304 7136930 140736592033600 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 48330 46739 391 719 0 47609 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 193320 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7746 /proc/meminfo: memFree=1352568/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=193540 CPUtime=1361.67 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 50041 0 0 0 134795 1372 0 0 25 0 1 0 4380286 198184960 46782 1992294400 4194304 7136930 140736592033600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 48385 46782 391 719 0 47664 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 193540 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7748 /proc/meminfo: memFree=1352072/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=194256 CPUtime=1421.66 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 50162 0 0 0 140763 1403 0 0 25 0 1 0 4380286 198918144 46903 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 48564 46903 391 719 0 47843 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 194256 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7748 /proc/meminfo: memFree=1351824/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=194256 CPUtime=1481.63 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 50216 0 0 0 146727 1436 0 0 25 0 1 0 4380286 198918144 46957 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 48564 46957 391 719 0 47843 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 194256 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7750 /proc/meminfo: memFree=1351576/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=194632 CPUtime=1541.62 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 50283 0 0 0 152701 1461 0 0 25 0 1 0 4380286 199303168 47024 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 48658 47024 391 719 0 47937 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 194632 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7752 /proc/meminfo: memFree=1351328/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=194824 CPUtime=1601.59 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 50368 0 0 0 158673 1486 0 0 25 0 1 0 4380286 199499776 47109 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 48706 47109 391 719 0 47985 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 194824 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7754 /proc/meminfo: memFree=1351204/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=194896 CPUtime=1661.57 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 50374 0 0 0 164644 1513 0 0 25 0 1 0 4380286 199573504 47115 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 48724 47115 391 719 0 48003 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 194896 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7756 /proc/meminfo: memFree=1350584/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=196128 CPUtime=1721.55 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 50521 0 0 0 170615 1540 0 0 25 0 1 0 4380286 200835072 47262 1992294400 4194304 7136930 140736592033600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 49032 47262 391 719 0 48311 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 196128 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7756 /proc/meminfo: memFree=1350460/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=196128 CPUtime=1781.53 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 50551 0 0 0 176584 1569 0 0 25 0 1 0 4380286 200835072 47292 1992294400 4194304 7136930 140736592033600 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 49032 47292 391 719 0 48311 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 196128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7758 /proc/meminfo: memFree=1350336/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=196576 CPUtime=1800.04 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 50601 0 0 0 178426 1578 0 0 25 0 1 0 4380286 201293824 47342 1992294400 4194304 7136930 140736592033600 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7208/statm: 49144 47342 391 719 0 48423 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 196576 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7758 /proc/meminfo: memFree=1350336/2059040 swapFree=4192956/4192956 [pid=7208] ppid=7206 vsize=195812 CPUtime=1800.33 /proc/7208/stat : 7208 (pbscip.linux.x8) R 7206 7208 6184 0 -1 4202496 50682 0 0 0 178455 1578 0 0 18 0 1 0 4380286 200511488 47166 1992294400 4194304 7136930 140736592033600 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7208/statm: 48953 47166 396 719 0 48232 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 195812 Child status: 0 Real time (s): 1801.18 CPU time (s): 1800.41 CPU user time (s): 1784.6 CPU system time (s): 15.8106 CPU usage (%): 99.9576 Max. virtual memory (cumulated for all children) (KiB): 196840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.6 system time used= 15.8106 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50689 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= 4 involuntary context switches= 11182 runsolver used 4.01039 second user time and 9.02763 second system time The end
Begin job on node027 at 2010-06-12 03:48:04 IDJOB=2664445 IDBENCH=1348 IDSOLVER=1167 FILE ID=node027/2664445-1276307284 PBS_JOBID= 11173129 Free space on /tmp= 62448 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.1900551347.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-2664445-1276307284/watcher-2664445-1276307284 -o /tmp/evaluation-result-2664445-1276307284/solver-2664445-1276307284 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664445-1276307284.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ad2f2eb73d6b7e5f546be528b10bc762 RANDOM SEED=931556760 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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: 1541336 kB Buffers: 77944 kB Cached: 311564 kB SwapCached: 0 kB Active: 175916 kB Inactive: 272936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1541336 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3264 kB Writeback: 0 kB AnonPages: 59296 kB Mapped: 15484 kB Slab: 47020 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182432 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node027 at 2010-06-12 04:18:07