| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.22 | 1801.8 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb |
| MD5SUM | 19ba22a32308a07bd9c7341c12b6a0ff |
| 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 | 164.6 |
| 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 | 733 |
| 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-2664390-1276287755.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.10/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.10/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.10/0.14 c presolving (3 rounds):
0.10/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.14 c 242 implications, 22 cliques
0.10/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.10/0.15 c 1 constraints of type <knapsack>
0.10/0.15 c 22 constraints of type <setppc>
0.10/0.15 c 2541 constraints of type <logicor>
0.10/0.15 c transformed objective value is always integral (scale: 1)
0.10/0.15 c Presolving Time: 0.06
0.10/0.15 c - non default parameters ----------------------------------------------------------------------
0.10/0.15 c # SCIP version 1.2.1.2
0.10/0.15 c
0.10/0.15 c # frequency for displaying node information lines
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.15 c display/freq = 10000
0.10/0.15 c
0.10/0.15 c # maximal time in seconds to run
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15 c limits/time = 1799.95
0.10/0.15 c
0.10/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15 c limits/memory = 1620
0.10/0.15 c
0.10/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c limits/solutions = 1
0.10/0.15 c
0.10/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c lp/solvefreq = -1
0.10/0.15 c
0.10/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.10/0.15 c separating/maxrounds = 1
0.10/0.15 c
0.10/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c separating/maxroundsroot = 5
0.10/0.15 c
0.10/0.15 c # should presolving try to simplify inequalities
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15 c constraints/linear/simplifyinequalities = TRUE
0.10/0.15 c
0.10/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.10/0.15 c constraints/knapsack/disaggregation = FALSE
0.10/0.15 c
0.10/0.15 c # should presolving try to simplify knapsacks
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.15 c
0.10/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c presolving/probing/maxrounds = 0
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/coefdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.10/0.15 c heuristics/crossover/freq = -1
0.10/0.15 c
0.10/0.15 c # number of nodes added to the contingent of the total nodes
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.10/0.15 c heuristics/crossover/nodesofs = 750
0.10/0.15 c
0.10/0.15 c # number of nodes without incumbent change that heuristic should wait
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.10/0.15 c heuristics/crossover/nwaitingnodes = 100
0.10/0.15 c
0.10/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.10/0.15 c # [type: real, range: [0,1], default: 0.1]
0.10/0.15 c heuristics/crossover/nodesquot = 0.15
0.10/0.15 c
0.10/0.15 c # minimum percentage of integer variables that have to be fixed
0.10/0.15 c # [type: real, range: [0,1], default: 0.666]
0.10/0.15 c heuristics/crossover/minfixingrate = 0.5
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/feaspump/freq = -1
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/fracdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/guideddiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/intshifting/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/linesearchdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/nlp/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/objpscostdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.10/0.15 c # [type: real, range: [0,1], default: 0.01]
0.10/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/oneopt/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/pscostdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c heuristics/rens/freq = -1
0.10/0.15 c
0.10/0.15 c # minimum percentage of integer variables that have to be fixable
0.10/0.15 c # [type: real, range: [0,1], default: 0.5]
0.10/0.15 c heuristics/rens/minfixingrate = 0.3
0.10/0.15 c
0.10/0.15 c # number of nodes added to the contingent of the total nodes
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.10/0.15 c heuristics/rens/nodesofs = 2000
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/rootsoldiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.10/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/rounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/shifting/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/simplerounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c heuristics/trivial/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/trysol/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/veclendiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/zirounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c separating/cmir/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c separating/flowcover/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c separating/rapidlearning/freq = 0
0.10/0.15 c
0.10/0.15 c -----------------------------------------------------------------------------------------------
0.10/0.15 c start solving
0.10/0.15 c
0.10/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.10/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.89/3.99 c 3.7s| 10000 | 8346 | 0 | 0.0 |7248k| 109 | - | 231 |4268 | 0 | 0 | 0 |2415 | 0 | 0.000000e+00 | -- | Inf
9.29/9.36 c 8.8s| 20000 | 15246 | 0 | 0.0 | 12M| 109 | - | 231 |5214 | 0 | 0 | 0 |6565 | 0 | 0.000000e+00 | -- | Inf
14.49/14.56 c 13.8s| 30000 | 22958 | 0 | 0.0 | 16M| 109 | - | 231 |5914 | 0 | 0 | 0 |9595 | 0 | 0.000000e+00 | -- | Inf
20.29/20.38 c 19.4s| 40000 | 30440 | 0 | 0.0 | 21M| 109 | - | 231 |7018 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
27.09/27.13 c 25.9s| 50000 | 37552 | 0 | 0.0 | 26M| 109 | - | 231 |7885 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
34.78/34.89 c 33.4s| 60000 | 44172 | 0 | 0.0 | 31M| 109 | - | 231 |8704 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
43.47/43.53 c 41.8s| 70000 | 50500 | 0 | 0.0 | 36M| 109 | - | 231 |9906 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
54.06/54.18 c 52.2s| 80000 | 56209 | 0 | 0.0 | 41M| 109 | - | 231 | 11k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
67.16/67.24 c 64.9s| 90000 | 61216 | 0 | 0.0 | 47M| 109 | - | 231 | 13k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
83.46/83.60 c 81.0s|100000 | 65259 | 0 | 0.0 | 52M| 109 | - | 231 | 13k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
104.46/104.60 c 102s|110000 | 67871 | 0 | 0.0 | 56M| 109 | - | 231 | 13k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
117.25/117.31 c 114s|120000 | 73916 | 0 | 0.0 | 60M| 109 | - | 231 | 11k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
129.14/129.27 c 126s|130000 | 80418 | 0 | 0.0 | 65M| 109 | - | 231 | 11k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
140.65/140.72 c 137s|140000 | 87034 | 0 | 0.0 | 69M| 109 | - | 231 | 11k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
152.64/152.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.64/152.79 c 149s|150000 | 93503 | 0 | 0.0 | 74M| 109 | - | 231 | 12k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
165.14/165.24 c 161s|160000 | 99903 | 0 | 0.0 | 79M| 109 | - | 231 | 12k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
177.93/178.06 c 174s|170000 |106195 | 0 | 0.0 | 83M| 109 | - | 231 | 13k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
190.72/190.84 c 186s|180000 |112504 | 0 | 0.0 | 88M| 109 | - | 231 | 13k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
204.32/204.49 c 199s|190000 |118572 | 0 | 0.0 | 93M| 109 | - | 231 | 13k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
220.62/220.71 c 215s|200000 |123823 | 0 | 0.0 | 98M| 109 | - | 231 | 14k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
238.01/238.16 c 233s|210000 |128870 | 0 | 0.0 | 103M| 109 | - | 231 | 15k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
256.30/256.40 c 250s|220000 |133721 | 0 | 0.0 | 108M| 109 | - | 231 | 15k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
275.91/276.00 c 270s|230000 |138378 | 0 | 0.0 | 113M| 109 | - | 231 | 16k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
296.18/296.35 c 290s|240000 |142872 | 0 | 0.0 | 118M| 109 | - | 231 | 17k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
317.97/318.12 c 311s|250000 |147054 | 0 | 0.0 | 123M| 109 | - | 231 | 17k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
339.07/339.26 c 332s|260000 |151532 | 0 | 0.0 | 127M| 109 | - | 231 | 17k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
360.96/361.14 c 354s|270000 |155793 | 0 | 0.0 | 132M| 109 | - | 231 | 18k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
383.26/383.47 c 376s|280000 |159979 | 0 | 0.0 | 137M| 109 | - | 231 | 18k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
406.75/406.96 c 399s|290000 |164029 | 0 | 0.0 | 142M| 109 | - | 231 | 19k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
432.94/433.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.94/433.15 c 425s|300000 |167543 | 0 | 0.0 | 147M| 109 | - | 231 | 19k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
460.33/460.57 c 452s|310000 |170842 | 0 | 0.0 | 152M| 109 | - | 231 | 20k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
488.52/488.71 c 480s|320000 |174036 | 0 | 0.0 | 156M| 109 | - | 231 | 21k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
520.02/520.21 c 511s|330000 |176522 | 0 | 0.0 | 161M| 109 | - | 231 | 22k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
551.31/551.50 c 542s|340000 |179165 | 0 | 0.0 | 166M| 109 | - | 231 | 23k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
585.00/585.27 c 575s|350000 |181398 | 0 | 0.0 | 171M| 109 | - | 231 | 24k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
618.99/619.29 c 609s|360000 |183931 | 0 | 0.0 | 175M| 109 | - | 231 | 25k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
656.07/656.35 c 645s|370000 |185714 | 0 | 0.0 | 180M| 109 | - | 231 | 26k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
694.35/694.65 c 683s|380000 |187481 | 0 | 0.0 | 184M| 109 | - | 231 | 26k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
736.44/736.75 c 725s|390000 |188499 | 0 | 0.0 | 188M| 109 | - | 231 | 28k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
780.63/780.90 c 769s|400000 |189396 | 0 | 0.0 | 191M| 109 | - | 231 | 27k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
830.81/831.15 c 819s|410000 |188477 | 0 | 0.0 | 192M| 109 | - | 231 | 27k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
867.61/867.99 c 855s|420000 |191354 | 0 | 0.0 | 193M| 109 | - | 231 | 23k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
894.50/894.84 c 882s|430000 |196499 | 0 | 0.0 | 198M| 109 | - | 231 | 21k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
920.09/920.44 c 907s|440000 |201543 | 0 | 0.0 | 202M| 109 | - | 231 | 21k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
946.58/946.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.58/946.98 c 933s|450000 |206352 | 0 | 0.0 | 208M| 109 | - | 231 | 21k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
979.77/980.14 c 966s|460000 |209913 | 0 | 0.0 | 213M| 109 | - | 231 | 22k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1015.65/1016.09 c 1002s|470000 |213168 | 0 | 0.0 | 218M| 109 | - | 231 | 23k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1054.84/1055.21 c 1040s|480000 |215985 | 0 | 0.0 | 223M| 109 | - | 231 | 24k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1092.94/1093.38 c 1078s|490000 |219226 | 0 | 0.0 | 229M| 109 | - | 231 | 25k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1134.02/1134.45 c 1119s|500000 |221912 | 0 | 0.0 | 234M| 109 | - | 231 | 26k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1174.70/1175.12 c 1159s|510000 |224836 | 0 | 0.0 | 239M| 109 | - | 231 | 26k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1219.19/1219.67 c 1203s|520000 |227215 | 0 | 0.0 | 244M| 109 | - | 231 | 27k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1261.78/1262.24 c 1246s|530000 |230005 | 0 | 0.0 | 249M| 109 | - | 231 | 28k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1309.67/1310.17 c 1293s|540000 |232027 | 0 | 0.0 | 254M| 109 | - | 231 | 28k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
1354.15/1354.69 c 1337s|550000 |234531 | 0 | 0.0 | 259M| 109 | - | 231 | 29k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
1407.74/1408.25 c 1390s|560000 |235931 | 0 | 0.0 | 263M| 109 | - | 231 | 30k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1454.33/1454.84 c 1437s|570000 |238173 | 0 | 0.0 | 268M| 109 | - | 231 | 30k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1505.71/1506.21 c 1488s|580000 |239880 | 0 | 0.0 | 273M| 109 | - | 231 | 31k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | -- | Inf
1558.49/1559.05 c 1540s|590000 |241756 | 0 | 0.0 | 277M| 109 | - | 231 | 31k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1605.57/1606.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1605.57/1606.14 c 1587s|600000 |244043 | 0 | 0.0 | 281M| 109 | - | 231 | 31k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1658.35/1658.93 c 1639s|610000 |245615 | 0 | 0.0 | 286M| 109 | - | 231 | 33k| 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1711.23/1711.83 c 1692s|620000 |247572 | 0 | 0.0 | 290M| 109 | - | 231 | 32k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | -- | Inf
1759.33/1759.95 c 1740s|630000 |249675 | 0 | 0.0 | 294M| 109 | - | 231 | 33k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.62 c
1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.62 c Solving Time (sec) : 1779.94
1800.02/1800.62 c Solving Nodes : 638070
1800.02/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.62 c Dual Bound : +0.00000000000000e+00
1800.02/1800.62 c Gap : infinite
1800.02/1800.62 s UNKNOWN
1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.62 c Solving Time : 1779.94
1800.02/1800.62 c Original Problem :
1800.02/1800.62 c Problem name : HOME/instance-2664390-1276287755.opb
1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.02/1800.62 c Presolved Problem :
1800.02/1800.62 c Problem name : t_HOME/instance-2664390-1276287755.opb
1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62 c Constraints : 2564 initial, 34338 maximal
1800.02/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0
1800.02/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.62 c root node : - 0 - - 0 - - - -
1800.02/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.62 c knapsack : 1 0 2073893 0 500021 63515 6777523 0 0 0
1800.02/1800.62 c setppc : 22 0 2018908 0 500021 87861 2588203 0 0 0
1800.02/1800.62 c logicor : 2541+ 0 1614768 0 500019 80670 7033145 0 0 0
1800.02/1800.62 c countsols : 0 0 0 0 500004 0 0 0 0 0
1800.02/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.62 c knapsack : 48.87 0.00 46.05 0.00 2.82
1800.02/1800.62 c setppc : 38.33 0.00 31.47 0.00 6.86
1800.02/1800.62 c logicor : 932.16 0.00 875.57 0.00 56.59
1800.02/1800.62 c countsols : 0.20 0.00 0.00 0.00 0.20
1800.02/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.62 c vbounds : 1.16 1 0 0
1800.02/1800.62 c rootredcost : 1.10 0 0 0
1800.02/1800.62 c pseudoobj : 1.07 0 0 0
1800.02/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.62 c propagation : 14.84 232046 231954 1086178 17.4 7154 20.0 -
1800.02/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.62 c applied globally : - - - 509316 13.9 - - -
1800.02/1800.62 c applied locally : - - - 3141 35.3 - - -
1800.02/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.62 c redcost : 0.00 0 0 0 0 0
1800.02/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.62 c intobj : 0.00 0 0 0 0 0
1800.02/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.62 c gomory : 0.00 0 0 0 0 0
1800.02/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.62 c cmir : 0.00 0 0 0 0 0
1800.02/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.62 c clique : 0.00 0 0 0 0 0
1800.02/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.62 c mcf : 0.00 0 0 0 0 0
1800.02/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.62 c Pricers : Time Calls Vars
1800.02/1800.62 c problem variables: 0.00 0 0
1800.02/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.62 c inference : 13.28 500004 0 0 0 0 1000008
1800.02/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.62 c random : 0.00 0 0 0 0 0 0
1800.02/1800.62 c Primal Heuristics : Time Calls Found
1800.02/1800.62 c LP solutions : 0.00 - 0
1800.02/1800.62 c pseudo solutions : 0.00 - 0
1800.02/1800.62 c trivial : 0.00 1 0
1800.02/1800.62 c simplerounding : 0.00 0 0
1800.02/1800.62 c zirounding : 0.00 0 0
1800.02/1800.62 c rounding : 0.00 0 0
1800.02/1800.62 c shifting : 0.00 0 0
1800.02/1800.62 c intshifting : 0.00 0 0
1800.02/1800.62 c oneopt : 0.00 0 0
1800.02/1800.62 c twoopt : 0.00 0 0
1800.02/1800.62 c fixandinfer : 0.00 0 0
1800.02/1800.62 c feaspump : 0.00 0 0
1800.02/1800.62 c coefdiving : 0.00 0 0
1800.02/1800.62 c pscostdiving : 0.00 0 0
1800.02/1800.62 c fracdiving : 0.00 0 0
1800.02/1800.62 c veclendiving : 0.00 0 0
1800.02/1800.62 c intdiving : 0.00 0 0
1800.02/1800.62 c actconsdiving : 0.00 0 0
1800.02/1800.62 c objpscostdiving : 0.00 0 0
1800.02/1800.62 c rootsoldiving : 0.00 0 0
1800.02/1800.62 c linesearchdiving : 0.00 0 0
1800.02/1800.62 c guideddiving : 0.00 0 0
1800.02/1800.62 c octane : 0.00 0 0
1800.02/1800.62 c rens : 0.00 0 0
1800.02/1800.62 c rins : 0.00 0 0
1800.02/1800.62 c localbranching : 0.00 0 0
1800.02/1800.62 c mutation : 0.00 0 0
1800.02/1800.62 c crossover : 0.00 0 0
1800.02/1800.62 c dins : 0.00 0 0
1800.02/1800.62 c undercover : 0.00 0 0
1800.02/1800.62 c nlp : 0.00 0 0
1800.02/1800.62 c trysol : 0.00 0 0
1800.02/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.62 c (at root node) : - 0 0 0.00 -
1800.02/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.62 c B&B Tree :
1800.02/1800.62 c number of runs : 1
1800.02/1800.62 c nodes : 638070
1800.02/1800.62 c nodes (total) : 638070
1800.02/1800.62 c nodes left : 251296
1800.02/1800.62 c max depth : 109
1800.02/1800.62 c max depth (total): 109
1800.02/1800.62 c backtracks : 142875 (22.4%)
1800.02/1800.62 c delayed cutoffs : 110643
1800.02/1800.62 c repropagations : 459277 (5550187 domain reductions, 93980 cutoffs)
1800.02/1800.62 c avg switch length: 12.94
1800.02/1800.62 c switching time : 483.91
1800.02/1800.62 c Solution :
1800.02/1800.62 c Solutions found : 0 (0 improvements)
1800.02/1800.62 c Primal Bound : -
1800.02/1800.62 c Dual Bound : +0.00000000000000e+00
1800.02/1800.62 c Gap : infinite
1800.02/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.62 c Root Iterations : 0
1801.12/1801.80 c Time complete: 1801.22.
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-2664390-1276287755/watcher-2664390-1276287755 -o /tmp/evaluation-result-2664390-1276287755/solver-2664390-1276287755 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664390-1276287755.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5723 /proc/meminfo: memFree=1549876/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=6584 CPUtime=0 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 1008 0 0 0 0 0 0 0 18 0 1 0 4379500 6742016 931 1992294400 4194304 7136930 140736403887040 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5723/statm: 1646 940 254 719 0 925 0 [startup+0.075735 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5723 /proc/meminfo: memFree=1549876/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=14472 CPUtime=0.07 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 3263 0 0 0 6 1 0 0 20 0 1 0 4379500 14819328 2832 1992294400 4194304 7136930 140736403887040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 3618 2832 337 719 0 2897 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14472 [startup+0.101738 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5723 /proc/meminfo: memFree=1549876/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=14912 CPUtime=0.1 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 3660 0 0 0 8 2 0 0 20 0 1 0 4379500 15269888 2972 1992294400 4194304 7136930 140736403887040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 3728 2972 345 719 0 3007 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14912 [startup+0.300761 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5723 /proc/meminfo: memFree=1549876/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=17204 CPUtime=0.29 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 6818 0 0 0 26 3 0 0 20 0 1 0 4379500 17616896 3560 1992294400 4194304 7136930 140736403887040 18446744073709551615 5005201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 4301 3560 391 719 0 3580 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17204 [startup+0.700808 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5723 /proc/meminfo: memFree=1549876/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=17616 CPUtime=0.69 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 6949 0 0 0 64 5 0 0 20 0 1 0 4379500 18038784 3691 1992294400 4194304 7136930 140736403887040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 4404 3691 391 719 0 3683 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17616 [startup+1.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5724 /proc/meminfo: memFree=1535732/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=19112 CPUtime=1.49 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 7335 0 0 0 139 10 0 0 23 0 1 0 4379500 19570688 4077 1992294400 4194304 7136930 140736403887040 18446744073709551615 4697373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 4778 4077 391 719 0 4057 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19112 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5724 /proc/meminfo: memFree=1533500/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=21604 CPUtime=3.09 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 7946 0 0 0 291 18 0 0 25 0 1 0 4379500 22122496 4688 1992294400 4194304 7136930 140736403887040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 5401 4688 391 719 0 4680 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21604 [startup+6.30046 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5724 /proc/meminfo: memFree=1528664/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=26000 CPUtime=6.28 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 9056 0 0 0 595 33 0 0 25 0 1 0 4379500 26624000 5798 1992294400 4194304 7136930 140736403887040 18446744073709551615 6166813 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 6500 5798 391 719 0 5779 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 26000 [startup+12.7002 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5724 /proc/meminfo: memFree=1520984/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=32980 CPUtime=12.69 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 10826 0 0 0 1208 61 0 0 25 0 1 0 4379500 33771520 7568 1992294400 4194304 7136930 140736403887040 18446744073709551615 4661498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 8245 7568 391 719 0 7524 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32980 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5724 /proc/meminfo: memFree=1507716/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=45800 CPUtime=25.48 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 14090 0 0 0 2440 108 0 0 25 0 1 0 4379500 46899200 10832 1992294400 4194304 7136930 140736403887040 18446744073709551615 5005237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 11450 10832 391 719 0 10729 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45800 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5726 /proc/meminfo: memFree=1489860/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=63804 CPUtime=51.07 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 18614 0 0 0 4921 186 0 0 25 0 1 0 4379500 65335296 15356 1992294400 4194304 7136930 140736403887040 18446744073709551615 4209991 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 15951 15356 391 719 0 15230 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 63804 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5726 /proc/meminfo: memFree=1466052/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=89144 CPUtime=102.26 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 24449 0 0 0 9944 282 0 0 25 0 1 0 4379500 91283456 21191 1992294400 4194304 7136930 140736403887040 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 22286 21191 391 719 0 21565 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 89144 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5728 /proc/meminfo: memFree=1442988/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=111660 CPUtime=162.23 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 30144 0 0 0 15817 406 0 0 25 0 1 0 4379500 114339840 26886 1992294400 4194304 7136930 140736403887040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 27915 26886 391 719 0 27194 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 111660 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5730 /proc/meminfo: memFree=1421536/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=132656 CPUtime=222.22 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 35482 0 0 0 21701 521 0 0 25 0 1 0 4379500 135839744 32224 1992294400 4194304 7136930 140736403887040 18446744073709551615 5956715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 33164 32224 391 719 0 32443 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 132656 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5732 /proc/meminfo: memFree=1395000/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=159364 CPUtime=282.19 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 42106 0 0 0 27604 615 0 0 25 0 1 0 4379500 163188736 38848 1992294400 4194304 7136930 140736403887040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 39841 38848 391 719 0 39120 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 159364 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5732 /proc/meminfo: memFree=1382848/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=171272 CPUtime=342.16 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 45121 0 0 0 33518 698 0 0 25 0 1 0 4379500 175382528 41863 1992294400 4194304 7136930 140736403887040 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 42818 41863 391 719 0 42097 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 171272 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5734 /proc/meminfo: memFree=1363504/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=190580 CPUtime=402.15 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 49944 0 0 0 39431 784 0 0 25 0 1 0 4379500 195153920 46686 1992294400 4194304 7136930 140736403887040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 47645 46686 391 719 0 46924 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 190580 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5736 /proc/meminfo: memFree=1355072/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=198844 CPUtime=462.13 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 52022 0 0 0 45354 859 0 0 25 0 1 0 4379500 203616256 48764 1992294400 4194304 7136930 140736403887040 18446744073709551615 4227352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 49711 48764 391 719 0 48990 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 198844 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5738 /proc/meminfo: memFree=1344408/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=209400 CPUtime=522.11 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 54634 0 0 0 51284 927 0 0 25 0 1 0 4379500 214425600 51376 1992294400 4194304 7136930 140736403887040 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 52350 51376 391 719 0 51629 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 209400 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5740 /proc/meminfo: memFree=1334860/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=219048 CPUtime=582.1 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 57068 0 0 0 57222 988 0 0 25 0 1 0 4379500 224305152 53810 1992294400 4194304 7136930 140736403887040 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 54762 53810 391 719 0 54041 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 219048 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5740 /proc/meminfo: memFree=1328784/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=224968 CPUtime=642.07 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 58526 0 0 0 63159 1048 0 0 25 0 1 0 4379500 230367232 55268 1992294400 4194304 7136930 140736403887040 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 56242 55268 391 719 0 55521 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 224968 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5750 /proc/meminfo: memFree=1273356/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=284284 CPUtime=1001.96 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 72246 0 0 0 98799 1397 0 0 25 0 1 0 4379500 291106816 68988 1992294400 4194304 7136930 140736403887040 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 71071 68988 391 719 0 70350 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 284284 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5752 /proc/meminfo: memFree=1261824/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=295724 CPUtime=1061.94 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 75123 0 0 0 104748 1446 0 0 25 0 1 0 4379500 302821376 71865 1992294400 4194304 7136930 140736403887040 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 73931 71865 391 719 0 73210 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 295724 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5754 /proc/meminfo: memFree=1254508/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=302980 CPUtime=1121.92 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 76930 0 0 0 110694 1498 0 0 25 0 1 0 4379500 310251520 73672 1992294400 4194304 7136930 140736403887040 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 75745 73672 391 719 0 75024 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 302980 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5756 /proc/meminfo: memFree=1241736/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=315668 CPUtime=1181.91 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 80105 0 0 0 116638 1553 0 0 25 0 1 0 4379500 323244032 76847 1992294400 4194304 7136930 140736403887040 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 78917 76847 391 719 0 78196 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 315668 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5756 /proc/meminfo: memFree=1233924/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=323644 CPUtime=1241.89 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 82018 0 0 0 122586 1603 0 0 25 0 1 0 4379500 331411456 78760 1992294400 4194304 7136930 140736403887040 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 80911 78760 391 719 0 80190 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 323644 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5758 /proc/meminfo: memFree=1227352/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=330004 CPUtime=1301.87 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 83649 0 0 0 128541 1646 0 0 25 0 1 0 4379500 337924096 80391 1992294400 4194304 7136930 140736403887040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 82501 80391 391 719 0 81780 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 330004 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5760 /proc/meminfo: memFree=1222144/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=335220 CPUtime=1361.85 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 84935 0 0 0 134491 1694 0 0 25 0 1 0 4379500 343265280 81677 1992294400 4194304 7136930 140736403887040 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 83805 81677 391 719 0 83084 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 335220 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5762 /proc/meminfo: memFree=1217804/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=339572 CPUtime=1421.84 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 86028 0 0 0 140451 1733 0 0 25 0 1 0 4379500 347721728 82770 1992294400 4194304 7136930 140736403887040 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 84893 82770 391 719 0 84172 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 339572 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5764 /proc/meminfo: memFree=1211976/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=346460 CPUtime=1481.81 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 87705 0 0 0 146398 1783 0 0 25 0 1 0 4379500 354775040 84447 1992294400 4194304 7136930 140736403887040 18446744073709551615 5000135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 86615 84447 391 719 0 85894 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 346460 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5764 /proc/meminfo: memFree=1206396/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=350884 CPUtime=1541.8 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 88825 0 0 0 152358 1822 0 0 25 0 1 0 4379500 359305216 85567 1992294400 4194304 7136930 140736403887040 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 87721 85567 391 719 0 87000 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 350884 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5766 /proc/meminfo: memFree=1201684/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=355648 CPUtime=1601.77 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 90001 0 0 0 158310 1867 0 0 25 0 1 0 4379500 364183552 86743 1992294400 4194304 7136930 140736403887040 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 88912 86743 391 719 0 88191 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 355648 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5768 /proc/meminfo: memFree=1194492/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=363144 CPUtime=1661.76 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 91792 0 0 0 164268 1908 0 0 25 0 1 0 4379500 371859456 88534 1992294400 4194304 7136930 140736403887040 18446744073709551615 4212411 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 90786 88534 391 719 0 90065 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 363144 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5770 /proc/meminfo: memFree=1189160/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=368560 CPUtime=1721.73 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 93112 0 0 0 170223 1950 0 0 25 0 1 0 4379500 377405440 89854 1992294400 4194304 7136930 140736403887040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 92140 89854 391 719 0 91419 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 368560 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5772 /proc/meminfo: memFree=1184200/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=373628 CPUtime=1781.71 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 94444 0 0 0 176181 1990 0 0 25 0 1 0 4379500 382595072 91186 1992294400 4194304 7136930 140736403887040 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 93407 91186 391 719 0 92686 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 373628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5772 /proc/meminfo: memFree=1182464/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=374748 CPUtime=1800.02 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 94740 0 0 0 177999 2003 0 0 25 0 1 0 4379500 383741952 91482 1992294400 4194304 7136930 140736403887040 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5723/statm: 93687 91482 391 719 0 92966 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 374748 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 5772 /proc/meminfo: memFree=1182464/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=374924 CPUtime=1800.81 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 94786 0 0 0 178077 2004 0 0 25 0 1 0 4379500 383922176 91528 1992294400 4194304 7136930 140736403887040 18446744073709551615 5003457 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5723/statm: 93731 91528 396 719 0 93010 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (KiB) 374924 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5772 /proc/meminfo: memFree=1182464/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=374924 CPUtime=1801.01 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 94786 0 0 0 178097 2004 0 0 25 0 1 0 4379500 383922176 91528 1992294400 4194304 7136930 140736403887040 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5723/statm: 93731 91528 396 719 0 93010 0 Current children cumulated CPU time (s) 1801.01 Current children cumulated vsize (KiB) 374924 [startup+1801.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5773 /proc/meminfo: memFree=1202048/2059040 swapFree=4192956/4192956 [pid=5723] ppid=5721 vsize=354024 CPUtime=1801.12 /proc/5723/stat : 5723 (pbscip.linux.x8) R 5721 5723 4838 0 -1 4202496 94786 0 0 0 178108 2004 0 0 25 0 1 0 4379500 362520576 86303 1992294400 4194304 7136930 140736403887040 18446744073709551615 4997767 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5723/statm: 88506 86303 396 719 0 87785 0 Current children cumulated CPU time (s) 1801.12 Current children cumulated vsize (KiB) 354024 Child status: 0 Real time (s): 1801.8 CPU time (s): 1801.22 CPU user time (s): 1781.14 CPU system time (s): 20.0809 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 374924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.14 system time used= 20.0809 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94793 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 3437 runsolver used 2.90756 second user time and 8.58869 second system time The end
Begin job on node001 at 2010-06-11 22:22:35 IDJOB=2664390 IDBENCH=1288 IDSOLVER=1167 FILE ID=node001/2664390-1276287755 PBS_JOBID= 11173094 Free space on /tmp= 62364 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.1900576360.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-2664390-1276287755/watcher-2664390-1276287755 -o /tmp/evaluation-result-2664390-1276287755/solver-2664390-1276287755 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664390-1276287755.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 19ba22a32308a07bd9c7341c12b6a0ff RANDOM SEED=761125754 node001.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.202 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1550404 kB Buffers: 66340 kB Cached: 314516 kB SwapCached: 0 kB Active: 173716 kB Inactive: 266588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1550404 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3340 kB Writeback: 0 kB AnonPages: 59500 kB Mapped: 15392 kB Slab: 46572 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180720 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= 62360 MiB End job on node001 at 2010-06-11 22:52:37