| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.32 | 1801.88 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb |
| MD5SUM | 3135d58f22cd009942de3e1dff086931 |
| 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 | 29.4245 |
| 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 | 667 |
| 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-2664396-1276289398.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.06 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.07
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
3.99/4.04 c 3.7s| 10000 | 8236 | 0 | 0.0 |7280k| 104 | - | 231 |4403 | 0 | 0 | 0 |2637 | 0 | 0.000000e+00 | -- | Inf
9.80/9.90 c 9.3s| 20000 | 14844 | 0 | 0.0 | 12M| 108 | - | 231 |6060 | 0 | 0 | 0 |7549 | 0 | 0.000000e+00 | -- | Inf
14.98/15.08 c 14.3s| 30000 | 22805 | 0 | 0.0 | 16M| 108 | - | 231 |6069 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
20.59/20.67 c 19.6s| 40000 | 30372 | 0 | 0.0 | 21M| 108 | - | 231 |6807 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
27.09/27.19 c 25.9s| 50000 | 37543 | 0 | 0.0 | 26M| 108 | - | 231 |7933 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
34.98/35.07 c 33.5s| 60000 | 44157 | 0 | 0.0 | 30M| 108 | - | 231 |9031 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
44.88/44.93 c 43.1s| 70000 | 49995 | 0 | 0.0 | 36M| 108 | - | 231 | 10k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
56.77/56.85 c 54.8s| 80000 | 55237 | 0 | 0.0 | 41M| 108 | - | 231 | 12k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
71.97/72.05 c 69.7s| 90000 | 59684 | 0 | 0.0 | 47M| 108 | - | 231 | 14k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
91.56/91.66 c 88.9s|100000 | 62971 | 0 | 0.0 | 52M| 108 | - | 231 | 15k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
110.26/110.37 c 107s|110000 | 67087 | 0 | 0.0 | 55M| 108 | - | 231 | 14k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
121.45/121.50 c 118s|120000 | 74293 | 0 | 0.0 | 59M| 108 | - | 231 | 12k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
131.45/131.53 c 128s|130000 | 81560 | 0 | 0.0 | 64M| 108 | - | 231 | 12k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
141.95/142.01 c 138s|140000 | 88535 | 0 | 0.0 | 68M| 108 | - | 231 | 12k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
152.94/153.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.94/153.02 c 149s|150000 | 95388 | 0 | 0.0 | 73M| 108 | - | 231 | 12k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
164.34/164.40 c 160s|160000 |102130 | 0 | 0.0 | 78M| 108 | - | 231 | 12k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
176.43/176.57 c 172s|170000 |108602 | 0 | 0.0 | 82M| 108 | - | 231 | 13k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
188.94/189.08 c 184s|180000 |114973 | 0 | 0.0 | 87M| 108 | - | 231 | 13k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
202.03/202.18 c 197s|190000 |121170 | 0 | 0.0 | 92M| 108 | - | 231 | 14k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
215.83/215.95 c 210s|200000 |127231 | 0 | 0.0 | 97M| 108 | - | 231 | 14k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
229.72/229.89 c 224s|210000 |133361 | 0 | 0.0 | 102M| 108 | - | 231 | 14k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
245.12/245.25 c 239s|220000 |138999 | 0 | 0.0 | 107M| 108 | - | 231 | 15k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
260.81/260.99 c 255s|230000 |144722 | 0 | 0.0 | 111M| 108 | - | 231 | 15k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
277.21/277.37 c 271s|240000 |150294 | 0 | 0.0 | 116M| 108 | - | 231 | 16k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
294.30/294.48 c 288s|250000 |155563 | 0 | 0.0 | 121M| 108 | - | 231 | 16k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
311.10/311.29 c 304s|260000 |161192 | 0 | 0.0 | 126M| 108 | - | 231 | 17k| 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
329.39/329.59 c 322s|270000 |166234 | 0 | 0.0 | 131M| 108 | - | 231 | 17k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
348.68/348.88 c 341s|280000 |171114 | 0 | 0.0 | 136M| 108 | - | 231 | 18k| 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
370.87/371.03 c 363s|290000 |175568 | 0 | 0.0 | 141M| 108 | - | 231 | 19k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
393.87/394.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.87/394.01 c 386s|300000 |179827 | 0 | 0.0 | 146M| 108 | - | 231 | 20k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
418.97/419.11 c 410s|310000 |183869 | 0 | 0.0 | 151M| 108 | - | 231 | 20k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
446.56/446.78 c 438s|320000 |187437 | 0 | 0.0 | 156M| 108 | - | 231 | 21k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
475.25/475.49 c 466s|330000 |190732 | 0 | 0.0 | 161M| 108 | - | 231 | 22k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
505.14/505.35 c 495s|340000 |193870 | 0 | 0.0 | 166M| 108 | - | 231 | 23k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
538.13/538.34 c 528s|350000 |196413 | 0 | 0.0 | 170M| 108 | - | 231 | 24k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
574.22/574.40 c 564s|360000 |198644 | 0 | 0.0 | 174M| 108 | - | 231 | 25k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
610.91/611.15 c 600s|370000 |200763 | 0 | 0.0 | 179M| 108 | - | 231 | 26k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
654.00/654.21 c 643s|380000 |201856 | 0 | 0.0 | 183M| 108 | - | 231 | 28k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
698.68/698.94 c 687s|390000 |203062 | 0 | 0.0 | 187M| 108 | - | 231 | 29k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
747.66/747.94 c 736s|400000 |203658 | 0 | 0.0 | 190M| 108 | - | 231 | 30k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
800.94/801.22 c 789s|410000 |203513 | 0 | 0.0 | 193M| 108 | - | 231 | 30k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
858.92/859.24 c 846s|420000 |202686 | 0 | 0.0 | 194M| 108 | - | 231 | 30k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
905.42/905.78 c 892s|430000 |205133 | 0 | 0.0 | 197M| 108 | - | 231 | 26k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
939.71/940.02 c 926s|440000 |209641 | 0 | 0.0 | 201M| 108 | - | 231 | 24k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
968.80/969.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.80/969.12 c 955s|450000 |214796 | 0 | 0.0 | 206M| 108 | - | 231 | 24k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
999.49/999.85 c 985s|460000 |219512 | 0 | 0.0 | 210M| 108 | - | 231 | 24k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1029.07/1029.47 c 1015s|470000 |224339 | 0 | 0.0 | 215M| 108 | - | 231 | 23k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1059.97/1060.39 c 1045s|480000 |228903 | 0 | 0.0 | 220M| 108 | - | 231 | 23k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1092.05/1092.47 c 1077s|490000 |233289 | 0 | 0.0 | 224M| 108 | - | 231 | 24k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1121.85/1122.20 c 1106s|500000 |238040 | 0 | 0.0 | 229M| 108 | - | 231 | 24k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1157.74/1158.12 c 1142s|510000 |241755 | 0 | 0.0 | 234M| 108 | - | 231 | 25k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1188.83/1189.28 c 1173s|520000 |246296 | 0 | 0.0 | 239M| 108 | - | 231 | 25k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1227.41/1227.82 c 1211s|530000 |249572 | 0 | 0.0 | 243M| 108 | - | 231 | 25k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1258.71/1259.17 c 1242s|540000 |254053 | 0 | 0.0 | 248M| 108 | - | 231 | 25k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
1297.99/1298.47 c 1281s|550000 |257168 | 0 | 0.0 | 253M| 108 | - | 231 | 26k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1331.18/1331.67 c 1314s|560000 |261392 | 0 | 0.0 | 258M| 108 | - | 231 | 27k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
1366.97/1367.49 c 1349s|570000 |265171 | 0 | 0.0 | 263M| 108 | - | 231 | 27k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1412.45/1412.90 c 1394s|580000 |267624 | 0 | 0.0 | 267M| 108 | - | 231 | 28k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | -- | Inf
1447.74/1448.26 c 1429s|590000 |271652 | 0 | 0.0 | 271M| 108 | - | 231 | 28k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
1486.93/1487.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1486.93/1487.49 c 1468s|600000 |275094 | 0 | 0.0 | 277M| 108 | - | 231 | 29k| 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1536.80/1537.38 c 1518s|610000 |277049 | 0 | 0.0 | 281M| 108 | - | 231 | 30k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
1574.89/1575.41 c 1555s|620000 |280782 | 0 | 0.0 | 285M| 108 | - | 231 | 30k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1616.39/1616.93 c 1596s|630000 |283898 | 0 | 0.0 | 290M| 108 | - | 231 | 30k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1661.67/1662.24 c 1641s|640000 |286467 | 0 | 0.0 | 295M| 108 | - | 231 | 31k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1706.56/1707.17 c 1686s|650000 |289276 | 0 | 0.0 | 299M| 108 | - | 231 | 31k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1746.74/1747.39 c 1726s|660000 |292703 | 0 | 0.0 | 303M| 108 | - | 231 | 31k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
1790.83/1791.41 c 1769s|670000 |295492 | 0 | 0.0 | 308M| 108 | - | 231 | 32k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.62 c
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time (sec) : 1778.47
1800.05/1800.62 c Solving Nodes : 672050
1800.05/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.62 c Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 s UNKNOWN
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1778.47
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-2664396-1276289398.opb
1800.05/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-2664396-1276289398.opb
1800.05/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 2564 initial, 32684 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0
1800.05/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.62 c root node : - 0 - - 0 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.62 c knapsack : 1 0 2221281 0 537184 58777 5755306 0 0 0
1800.05/1800.62 c setppc : 22 0 2173342 0 537184 87167 2434729 0 0 0
1800.05/1800.62 c logicor : 2541+ 0 1809340 0 537182 78901 6690167 0 0 0
1800.05/1800.62 c countsols : 0 0 0 0 537162 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c knapsack : 47.23 0.00 43.88 0.00 3.35
1800.05/1800.62 c setppc : 36.02 0.00 29.10 0.00 6.92
1800.05/1800.62 c logicor : 937.31 0.00 874.37 0.00 62.94
1800.05/1800.62 c countsols : 0.20 0.00 0.00 0.00 0.20
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c vbounds : 1.17 1 0 0
1800.05/1800.62 c rootredcost : 1.23 0 0 0
1800.05/1800.62 c pseudoobj : 0.97 0 0 0
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 14.15 224844 224724 1090787 17.9 6480 19.4 -
1800.05/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.62 c applied globally : - - - 524009 14.6 - - -
1800.05/1800.62 c applied locally : - - - 2525 35.4 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.62 c redcost : 0.00 0 0 0 0 0
1800.05/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 0.00 0 0 0 0 0
1800.05/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.62 c cmir : 0.00 0 0 0 0 0
1800.05/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.62 c clique : 0.00 0 0 0 0 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.00 0 0 0 0 0
1800.05/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 13.99 537162 0 0 0 0 1074324
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.00 - 0
1800.05/1800.62 c trivial : 0.00 1 0
1800.05/1800.62 c simplerounding : 0.00 0 0
1800.05/1800.62 c zirounding : 0.00 0 0
1800.05/1800.62 c rounding : 0.00 0 0
1800.05/1800.62 c shifting : 0.00 0 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c oneopt : 0.00 0 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c feaspump : 0.00 0 0
1800.05/1800.62 c coefdiving : 0.00 0 0
1800.05/1800.62 c pscostdiving : 0.00 0 0
1800.05/1800.62 c fracdiving : 0.00 0 0
1800.05/1800.62 c veclendiving : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c objpscostdiving : 0.00 0 0
1800.05/1800.62 c rootsoldiving : 0.00 0 0
1800.05/1800.62 c linesearchdiving : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 0.00 0 0
1800.05/1800.62 c trysol : 0.00 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.62 c (at root node) : - 0 0 0.00 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 672050
1800.05/1800.62 c nodes (total) : 672050
1800.05/1800.62 c nodes left : 296050
1800.05/1800.62 c max depth : 108
1800.05/1800.62 c max depth (total): 108
1800.05/1800.62 c backtracks : 140915 (21.0%)
1800.05/1800.62 c delayed cutoffs : 106225
1800.05/1800.62 c repropagations : 453304 (4886599 domain reductions, 89957 cutoffs)
1800.05/1800.62 c avg switch length: 11.91
1800.05/1800.62 c switching time : 479.44
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 0 (0 improvements)
1800.05/1800.62 c Primal Bound : -
1800.05/1800.62 c Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Root Iterations : 0
1801.24/1801.88 c Time complete: 1801.31.
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-2664396-1276289398/watcher-2664396-1276289398 -o /tmp/evaluation-result-2664396-1276289398/solver-2664396-1276289398 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664396-1276289398.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.70 1.23 1.07 3/106 6779 /proc/meminfo: memFree=1550508/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=6584 CPUtime=0 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 999 0 0 0 0 0 0 0 22 0 1 0 4541079 6742016 922 1992294400 4194304 7136930 140734200013808 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6779/statm: 1646 931 254 719 0 925 0 [startup+0.0790251 s] /proc/loadavg: 1.70 1.23 1.07 3/106 6779 /proc/meminfo: memFree=1550508/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=14472 CPUtime=0.07 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 3263 0 0 0 6 1 0 0 22 0 1 0 4541079 14819328 2832 1992294400 4194304 7136930 140734200013808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 3618 2832 337 719 0 2897 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14472 [startup+0.101027 s] /proc/loadavg: 1.70 1.23 1.07 3/106 6779 /proc/meminfo: memFree=1550508/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=14768 CPUtime=0.09 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 3599 0 0 0 8 1 0 0 22 0 1 0 4541079 15122432 2911 1992294400 4194304 7136930 140734200013808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 3692 2911 345 719 0 2971 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14768 [startup+0.301047 s] /proc/loadavg: 1.70 1.23 1.07 3/106 6779 /proc/meminfo: memFree=1550508/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=17060 CPUtime=0.29 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 6808 0 0 0 26 3 0 0 22 0 1 0 4541079 17469440 3550 1992294400 4194304 7136930 140734200013808 18446744073709551615 5005094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 4265 3550 391 719 0 3544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17060 [startup+0.701085 s] /proc/loadavg: 1.70 1.23 1.07 3/106 6779 /proc/meminfo: memFree=1550508/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=17724 CPUtime=0.69 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 6959 0 0 0 65 4 0 0 24 0 1 0 4541079 18149376 3701 1992294400 4194304 7136930 140734200013808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 4431 3701 391 719 0 3710 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17724 [startup+1.50116 s] /proc/loadavg: 1.70 1.23 1.07 2/107 6780 /proc/meminfo: memFree=1536240/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=19232 CPUtime=1.48 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 7343 0 0 0 140 8 0 0 25 0 1 0 4541079 19693568 4085 1992294400 4194304 7136930 140734200013808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 4808 4085 391 719 0 4087 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19232 [startup+3.10132 s] /proc/loadavg: 1.70 1.23 1.07 2/107 6780 /proc/meminfo: memFree=1533760/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=21492 CPUtime=3.09 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 7946 0 0 0 290 19 0 0 25 0 1 0 4541079 22007808 4688 1992294400 4194304 7136930 140734200013808 18446744073709551615 4223200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 5373 4688 391 719 0 4652 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21492 [startup+6.30063 s] /proc/loadavg: 1.65 1.23 1.07 2/107 6780 /proc/meminfo: memFree=1529172/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=25864 CPUtime=6.29 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 9016 0 0 0 594 35 0 0 25 0 1 0 4541079 26484736 5758 1992294400 4194304 7136930 140734200013808 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 6466 5758 391 719 0 5745 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25864 [startup+12.7003 s] /proc/loadavg: 1.59 1.22 1.07 2/107 6780 /proc/meminfo: memFree=1523344/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=32508 CPUtime=12.68 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 10733 0 0 0 1204 64 0 0 25 0 1 0 4541079 33288192 7475 1992294400 4194304 7136930 140734200013808 18446744073709551615 5000704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 8127 7475 391 719 0 7406 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32508 [startup+25.5015 s] /proc/loadavg: 1.46 1.21 1.07 2/107 6780 /proc/meminfo: memFree=1509580/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=44660 CPUtime=25.49 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 13797 0 0 0 2434 115 0 0 25 0 1 0 4541079 45731840 10539 1992294400 4194304 7136930 140734200013808 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 11165 10539 391 719 0 10444 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44660 [startup+51.101 s] /proc/loadavg: 1.30 1.19 1.07 2/107 6782 /proc/meminfo: memFree=1491352/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=62356 CPUtime=51.07 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 18280 0 0 0 4920 187 0 0 25 0 1 0 4541079 63852544 15022 1992294400 4194304 7136930 140734200013808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 15589 15022 391 719 0 14868 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 62356 [startup+102.308 s] /proc/loadavg: 1.13 1.16 1.06 2/107 6782 /proc/meminfo: memFree=1471636/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=82420 CPUtime=102.26 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 23276 0 0 0 9944 282 0 0 25 0 1 0 4541079 84398080 20018 1992294400 4194304 7136930 140734200013808 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 20605 20018 391 719 0 19884 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 82420 [startup+162.301 s] /proc/loadavg: 1.09 1.14 1.06 2/107 6784 /proc/meminfo: memFree=1442620/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=112644 CPUtime=162.24 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 30430 0 0 0 15801 423 0 0 25 0 1 0 4541079 115347456 27172 1992294400 4194304 7136930 140734200013808 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 28161 27172 391 719 0 27440 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 112644 [startup+222.301 s] /proc/loadavg: 1.07 1.13 1.06 2/107 6786 /proc/meminfo: memFree=1417076/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=137808 CPUtime=222.22 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 36763 0 0 0 21671 551 0 0 25 0 1 0 4541079 141115392 33505 1992294400 4194304 7136930 140734200013808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 34452 33505 391 719 0 33731 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 137808 [startup+282.301 s] /proc/loadavg: 1.06 1.12 1.06 2/107 6788 /proc/meminfo: memFree=1395376/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=159732 CPUtime=282.21 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 42304 0 0 0 27561 660 0 0 25 0 1 0 4541079 163565568 39046 1992294400 4194304 7136930 140734200013808 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 39933 39046 391 719 0 39212 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 159732 [startup+342.301 s] /proc/loadavg: 1.06 1.11 1.06 2/107 6788 /proc/meminfo: memFree=1377892/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=176444 CPUtime=342.18 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 46526 0 0 0 33459 759 0 0 25 0 1 0 4541079 180678656 43268 1992294400 4194304 7136930 140734200013808 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 44111 43268 391 719 0 43390 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 176444 [startup+402.301 s] /proc/loadavg: 1.13 1.12 1.07 2/107 6790 /proc/meminfo: memFree=1361524/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=192672 CPUtime=402.17 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 50590 0 0 0 39372 845 0 0 25 0 1 0 4541079 197296128 47332 1992294400 4194304 7136930 140734200013808 18446744073709551615 4221212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 48168 47332 391 719 0 47447 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 192672 [startup+462.301 s] /proc/loadavg: 1.12 1.11 1.07 2/107 6792 /proc/meminfo: memFree=1345404/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=208708 CPUtime=462.16 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 54561 0 0 0 45296 920 0 0 25 0 1 0 4541079 213716992 51303 1992294400 4194304 7136930 140734200013808 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 52177 51303 391 719 0 51456 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 208708 [startup+522.301 s] /proc/loadavg: 1.09 1.10 1.07 2/107 6794 /proc/meminfo: memFree=1338088/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=216908 CPUtime=522.14 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 56659 0 0 0 51229 985 0 0 25 0 1 0 4541079 222113792 53401 1992294400 4194304 7136930 140734200013808 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 54227 53401 391 719 0 53506 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 216908 [startup+582.301 s] /proc/loadavg: 1.03 1.08 1.06 2/107 6796 /proc/meminfo: memFree=1327672/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=230392 CPUtime=582.12 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 58986 0 0 0 57164 1048 0 0 25 0 1 0 4541079 235921408 55728 1992294400 4194304 7136930 140734200013808 18446744073709551615 4409185 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 57598 55728 391 719 0 56877 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 230392 [startup+642.301 s] /proc/loadavg: 1.01 1.06 1.05 2/107 6796 /proc/meminfo: memFree=1317628/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=240740 CPUtime=642.11 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 61484 0 0 0 63105 1106 0 0 25 0 1 0 4541079 246517760 58226 1992294400 4194304 7136930 140734200013808 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 60185 58226 391 719 0 59464 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 240740 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.02 1.03 2/107 6813 /proc/meminfo: memFree=1297292/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=260600 CPUtime=942 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 66474 0 0 0 92843 1357 0 0 25 0 1 0 4541079 266854400 63216 1992294400 4194304 7136930 140734200013808 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 65150 63216 391 719 0 64429 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 260600 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.02 2/107 6815 /proc/meminfo: memFree=1283032/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=274588 CPUtime=1001.99 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 70014 0 0 0 98778 1421 0 0 25 0 1 0 4541079 281178112 66756 1992294400 4194304 7136930 140734200013808 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 68647 66756 391 719 0 67926 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 274588 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 6817 /proc/meminfo: memFree=1273360/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=284380 CPUtime=1061.97 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 72433 0 0 0 104710 1487 0 0 25 0 1 0 4541079 291205120 69175 1992294400 4194304 7136930 140734200013808 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 71095 69175 391 719 0 70374 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 284380 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 6819 /proc/meminfo: memFree=1264060/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=294088 CPUtime=1121.95 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 74916 0 0 0 110644 1551 0 0 25 0 1 0 4541079 301146112 71658 1992294400 4194304 7136930 140734200013808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 73522 71658 391 719 0 72801 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 294088 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6821 /proc/meminfo: memFree=1255752/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=301776 CPUtime=1181.93 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 76844 0 0 0 116584 1609 0 0 25 0 1 0 4541079 309018624 73586 1992294400 4194304 7136930 140734200013808 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 75444 73586 391 719 0 74723 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 301776 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6821 /proc/meminfo: memFree=1246080/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=310860 CPUtime=1241.91 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 79166 0 0 0 122519 1672 0 0 25 0 1 0 4541079 318320640 75908 1992294400 4194304 7136930 140734200013808 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 77715 75908 391 719 0 76994 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 310860 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6823 /proc/meminfo: memFree=1238268/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=318592 CPUtime=1301.9 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 81085 0 0 0 128464 1726 0 0 25 0 1 0 4541079 326238208 77827 1992294400 4194304 7136930 140734200013808 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 79648 77827 391 719 0 78927 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 318592 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6825 /proc/meminfo: memFree=1226736/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=330136 CPUtime=1361.87 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 83961 0 0 0 134400 1787 0 0 25 0 1 0 4541079 338059264 80703 1992294400 4194304 7136930 140734200013808 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 82534 80703 391 719 0 81813 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 330136 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6827 /proc/meminfo: memFree=1220536/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=336288 CPUtime=1421.85 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 85532 0 0 0 140352 1833 0 0 25 0 1 0 4541079 344358912 82274 1992294400 4194304 7136930 140734200013808 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 84072 82274 391 719 0 83351 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 336288 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 6832 /proc/meminfo: memFree=1210120/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=345876 CPUtime=1481.82 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 87953 0 0 0 146294 1888 0 0 25 0 1 0 4541079 354177024 84695 1992294400 4194304 7136930 140734200013808 18446744073709551615 4227235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 86469 84695 391 719 0 85748 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 345876 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 6832 /proc/meminfo: memFree=1207020/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=349424 CPUtime=1541.81 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 88827 0 0 0 152245 1936 0 0 25 0 1 0 4541079 357810176 85569 1992294400 4194304 7136930 140734200013808 18446744073709551615 4659954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 87356 85569 391 719 0 86635 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 349424 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6834 /proc/meminfo: memFree=1196604/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=359596 CPUtime=1601.79 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 91433 0 0 0 158189 1990 0 0 25 0 1 0 4541079 368226304 88175 1992294400 4194304 7136930 140734200013808 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 89899 88175 391 719 0 89178 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 359596 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6836 /proc/meminfo: memFree=1189288/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=367216 CPUtime=1661.77 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 93275 0 0 0 164143 2034 0 0 25 0 1 0 4541079 376029184 90017 1992294400 4194304 7136930 140734200013808 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 91804 90017 391 719 0 91083 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 367216 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6838 /proc/meminfo: memFree=1182592/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=373884 CPUtime=1721.76 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 94929 0 0 0 170092 2084 0 0 25 0 1 0 4541079 382857216 91671 1992294400 4194304 7136930 140734200013808 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 93471 91671 391 719 0 92750 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 373884 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6840 /proc/meminfo: memFree=1175400/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=380680 CPUtime=1781.74 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 96665 0 0 0 176035 2139 0 0 25 0 1 0 4541079 389816320 93407 1992294400 4194304 7136930 140734200013808 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 95170 93407 391 719 0 94449 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 380680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6840 /proc/meminfo: memFree=1172796/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=383476 CPUtime=1800.05 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 97330 0 0 0 177852 2153 0 0 25 0 1 0 4541079 392679424 94072 1992294400 4194304 7136930 140734200013808 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6779/statm: 95869 94072 391 719 0 95148 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 383476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6840 /proc/meminfo: memFree=1172796/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=383652 CPUtime=1800.83 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 97362 0 0 0 177930 2153 0 0 25 0 1 0 4541079 392859648 94104 1992294400 4194304 7136930 140734200013808 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6779/statm: 95913 94104 396 719 0 95192 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 383652 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6841 /proc/meminfo: memFree=1172664/2059040 swapFree=4192956/4192956 [pid=6779] ppid=6777 vsize=372992 CPUtime=1801.24 /proc/6779/stat : 6779 (pbscip.linux.x8) R 6777 6779 5667 0 -1 4202496 97362 0 0 0 177971 2153 0 0 25 0 1 0 4541079 381943808 91439 1992294400 4194304 7136930 140734200013808 18446744073709551615 4408811 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6779/statm: 93248 91439 396 719 0 92527 0 Current children cumulated CPU time (s) 1801.24 Current children cumulated vsize (KiB) 372992 Child status: 0 Real time (s): 1801.88 CPU time (s): 1801.32 CPU user time (s): 1779.75 CPU system time (s): 21.5747 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 383652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.75 system time used= 21.5747 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97369 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= 3 involuntary context switches= 9867 runsolver used 3.00154 second user time and 8.49571 second system time The end
Begin job on node015 at 2010-06-11 22:49:58 IDJOB=2664396 IDBENCH=1294 IDSOLVER=1167 FILE ID=node015/2664396-1276289398 PBS_JOBID= 11173095 Free space on /tmp= 62540 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.1900575442.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-2664396-1276289398/watcher-2664396-1276289398 -o /tmp/evaluation-result-2664396-1276289398/solver-2664396-1276289398 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664396-1276289398.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3135d58f22cd009942de3e1dff086931 RANDOM SEED=127111013 node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1551036 kB Buffers: 68800 kB Cached: 311572 kB SwapCached: 0 kB Active: 174672 kB Inactive: 265424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1551036 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3296 kB Writeback: 4 kB AnonPages: 59736 kB Mapped: 15392 kB Slab: 46100 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180216 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= 62536 MiB End job on node015 at 2010-06-11 23:20:00