| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.15 | 1801.69 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb |
| MD5SUM | 7f91f8d08a20ca0a8483dc7b1c14e540 |
| 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 | 208.38 |
| 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 | 671 |
| 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-2664382-1276283729.opb>
0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.06 c problem read
0.00/0.06 c No objective function, only one solution is needed.
0.00/0.06 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.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.15 c presolving (3 rounds):
0.10/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.15 c 242 implications, 22 cliques
0.10/0.15 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
4.09/4.12 c 3.9s| 10000 | 8185 | 0 | 0.0 |7253k| 86 | - | 231 |4384 | 0 | 0 | 0 |2607 | 0 | 0.000000e+00 | -- | Inf
9.79/9.86 c 9.3s| 20000 | 14815 | 0 | 0.0 | 12M| 86 | - | 231 |5501 | 0 | 0 | 0 |7011 | 0 | 0.000000e+00 | -- | Inf
15.29/15.33 c 14.5s| 30000 | 22322 | 0 | 0.0 | 16M| 86 | - | 231 |6222 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
21.68/21.70 c 20.7s| 40000 | 29342 | 0 | 0.0 | 21M| 86 | - | 231 |7141 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
28.88/28.99 c 27.7s| 50000 | 36045 | 0 | 0.0 | 26M| 86 | - | 231 |8311 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
37.58/37.67 c 36.1s| 60000 | 42289 | 0 | 0.0 | 31M| 86 | - | 231 |9504 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
47.97/48.07 c 46.2s| 70000 | 47906 | 0 | 0.0 | 36M| 86 | - | 231 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
60.27/60.38 c 58.3s| 80000 | 52925 | 0 | 0.0 | 41M| 86 | - | 231 | 11k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
74.66/74.73 c 72.3s| 90000 | 57233 | 0 | 0.0 | 46M| 86 | - | 231 | 11k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
89.06/89.16 c 86.4s|100000 | 61629 | 0 | 0.0 | 51M| 86 | - | 231 | 11k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
103.26/103.31 c 100s|110000 | 66076 | 0 | 0.0 | 56M| 86 | - | 231 | 11k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
112.65/112.72 c 109s|120000 | 73242 | 0 | 0.0 | 60M| 86 | - | 231 | 10k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
122.06/122.12 c 119s|130000 | 80378 | 0 | 0.0 | 65M| 86 | - | 231 | 11k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
132.95/133.00 c 129s|140000 | 86831 | 0 | 0.0 | 69M| 86 | - | 231 | 11k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
145.05/145.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.05/145.13 c 141s|150000 | 92869 | 0 | 0.0 | 74M| 86 | - | 231 | 12k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
158.24/158.33 c 154s|160000 | 98736 | 0 | 0.0 | 78M| 86 | - | 231 | 12k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
172.04/172.19 c 168s|170000 |104447 | 0 | 0.0 | 83M| 86 | - | 231 | 13k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
186.84/186.91 c 182s|180000 |109909 | 0 | 0.0 | 87M| 86 | - | 231 | 13k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
202.04/202.19 c 197s|190000 |115360 | 0 | 0.0 | 92M| 86 | - | 231 | 14k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
217.73/217.85 c 212s|200000 |120790 | 0 | 0.0 | 96M| 86 | - | 231 | 15k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
234.12/234.26 c 228s|210000 |126136 | 0 | 0.0 | 100M| 86 | - | 231 | 15k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
252.01/252.17 c 246s|220000 |131015 | 0 | 0.0 | 105M| 86 | - | 231 | 16k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
270.52/270.62 c 264s|230000 |135832 | 0 | 0.0 | 109M| 86 | - | 231 | 16k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
289.32/289.47 c 283s|240000 |140657 | 0 | 0.0 | 114M| 86 | - | 231 | 16k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
309.70/309.88 c 303s|250000 |145008 | 0 | 0.0 | 118M| 86 | - | 231 | 17k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
331.19/331.31 c 324s|260000 |149089 | 0 | 0.0 | 123M| 86 | - | 231 | 17k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
353.28/353.45 c 346s|270000 |153139 | 0 | 0.0 | 128M| 86 | - | 231 | 18k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
377.98/378.19 c 370s|280000 |156557 | 0 | 0.0 | 133M| 86 | - | 231 | 18k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
403.77/403.92 c 396s|290000 |159905 | 0 | 0.0 | 138M| 86 | - | 231 | 19k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
431.76/431.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.76/431.94 c 423s|300000 |162648 | 0 | 0.0 | 142M| 86 | - | 231 | 20k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
460.86/461.02 c 452s|310000 |165421 | 0 | 0.0 | 147M| 86 | - | 231 | 20k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
490.54/490.73 c 481s|320000 |168142 | 0 | 0.0 | 151M| 86 | - | 231 | 20k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
522.93/523.18 c 513s|330000 |170188 | 0 | 0.0 | 156M| 86 | - | 231 | 21k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
555.82/556.00 c 546s|340000 |172321 | 0 | 0.0 | 160M| 86 | - | 231 | 21k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
590.71/590.90 c 580s|350000 |173987 | 0 | 0.0 | 164M| 86 | - | 231 | 21k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
626.30/626.53 c 616s|360000 |175738 | 0 | 0.0 | 168M| 86 | - | 231 | 21k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
663.10/663.32 c 652s|370000 |177245 | 0 | 0.0 | 171M| 86 | - | 231 | 20k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
699.49/699.76 c 688s|380000 |178591 | 0 | 0.0 | 174M| 86 | - | 231 | 20k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
736.46/736.75 c 725s|390000 |179929 | 0 | 0.0 | 178M| 86 | - | 231 | 20k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
776.96/777.25 c 765s|400000 |180212 | 0 | 0.0 | 181M| 86 | - | 231 | 20k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
810.84/811.15 c 798s|410000 |181979 | 0 | 0.0 | 184M| 86 | - | 231 | 19k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
837.04/837.40 c 824s|420000 |186414 | 0 | 0.0 | 188M| 86 | - | 231 | 19k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
866.63/866.97 c 853s|430000 |189945 | 0 | 0.0 | 193M| 86 | - | 231 | 19k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
897.51/897.90 c 884s|440000 |193229 | 0 | 0.0 | 198M| 86 | - | 231 | 20k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
931.81/932.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.81/932.12 c 918s|450000 |195985 | 0 | 0.0 | 203M| 86 | - | 231 | 20k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
966.89/967.20 c 953s|460000 |198367 | 0 | 0.0 | 208M| 86 | - | 231 | 20k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1002.99/1003.38 c 988s|470000 |200719 | 0 | 0.0 | 212M| 86 | - | 231 | 21k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1041.58/1041.99 c 1027s|480000 |202673 | 0 | 0.0 | 217M| 86 | - | 231 | 22k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1083.77/1084.17 c 1068s|490000 |204089 | 0 | 0.0 | 221M| 86 | - | 231 | 24k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1127.75/1128.15 c 1112s|500000 |205563 | 0 | 0.0 | 226M| 86 | - | 231 | 23k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1172.04/1172.41 c 1156s|510000 |207003 | 0 | 0.0 | 230M| 86 | - | 231 | 25k| 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
1219.32/1219.77 c 1203s|520000 |207868 | 0 | 0.0 | 234M| 86 | - | 231 | 25k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1267.40/1267.85 c 1251s|530000 |208928 | 0 | 0.0 | 238M| 86 | - | 231 | 26k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
1317.99/1318.48 c 1301s|540000 |209416 | 0 | 0.0 | 242M| 86 | - | 231 | 27k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
1371.47/1371.94 c 1354s|550000 |209945 | 0 | 0.0 | 245M| 86 | - | 231 | 27k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1423.76/1424.29 c 1406s|560000 |210322 | 0 | 0.0 | 250M| 86 | - | 231 | 29k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1481.04/1481.55 c 1463s|570000 |210561 | 0 | 0.0 | 253M| 86 | - | 231 | 29k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1535.82/1536.38 c 1517s|580000 |210970 | 0 | 0.0 | 257M| 86 | - | 231 | 31k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
1597.71/1598.29 c 1579s|590000 |210780 | 0 | 0.0 | 261M| 86 | - | 231 | 32k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1657.89/1658.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1657.89/1658.42 c 1638s|600000 |210957 | 0 | 0.0 | 264M| 86 | - | 231 | 32k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
1717.57/1718.12 c 1698s|610000 |210902 | 0 | 0.0 | 268M| 86 | - | 231 | 33k| 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | -- | Inf
1784.25/1784.80 c 1764s|620000 |210476 | 0 | 0.0 | 271M| 86 | - | 231 | 33k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1779.52
1800.05/1800.61 c Solving Nodes : 622617
1800.05/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 s UNKNOWN
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1779.52
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2664382-1276283729.opb
1800.05/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 2707 initial, 2707 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2664382-1276283729.opb
1800.05/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 2564 initial, 33745 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.03 0 0 0 0 0 143 0 0
1800.05/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c knapsack : 1 0 2118577 0 472483 69761 6857677 0 0 0
1800.05/1800.61 c setppc : 22 0 2065779 0 472483 93258 2563625 0 0 0
1800.05/1800.61 c logicor : 2541+ 0 1678643 0 472479 83209 6660155 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 472458 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c knapsack : 53.76 0.00 51.11 0.00 2.65
1800.05/1800.61 c setppc : 35.93 0.00 29.09 0.00 6.84
1800.05/1800.61 c logicor : 927.56 0.00 867.32 0.00 60.24
1800.05/1800.61 c countsols : 0.23 0.00 0.00 0.00 0.23
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 1.21 1 0 0
1800.05/1800.61 c rootredcost : 1.04 0 0 0
1800.05/1800.61 c pseudoobj : 0.89 0 0 0
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 16.54 246228 246083 1236906 19.4 5357 19.2 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 552605 15.4 - - -
1800.05/1800.61 c applied locally : - - - 3711 35.2 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 12.72 472458 0 0 0 0 944916
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c trivial : 0.00 1 0
1800.05/1800.61 c simplerounding : 0.00 0 0
1800.05/1800.61 c zirounding : 0.00 0 0
1800.05/1800.61 c rounding : 0.00 0 0
1800.05/1800.61 c shifting : 0.00 0 0
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c oneopt : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.00 0 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 0.00 0 0
1800.05/1800.61 c trysol : 0.00 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.61 c (at root node) : - 0 0 0.00 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 622617
1800.05/1800.61 c nodes (total) : 622617
1800.05/1800.61 c nodes left : 210505
1800.05/1800.61 c max depth : 86
1800.05/1800.61 c max depth (total): 86
1800.05/1800.61 c backtracks : 152901 (24.6%)
1800.05/1800.61 c delayed cutoffs : 111795
1800.05/1800.61 c repropagations : 452890 (5252328 domain reductions, 96069 cutoffs)
1800.05/1800.61 c avg switch length: 14.19
1800.05/1800.61 c switching time : 486.53
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 0 (0 improvements)
1800.05/1800.61 c Primal Bound : -
1800.05/1800.61 c Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Gap : infinite
1800.05/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.61 c Root Iterations : 0
1801.05/1801.68 c Time complete: 1801.13.
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-2664382-1276283729/watcher-2664382-1276283729 -o /tmp/evaluation-result-2664382-1276283729/solver-2664382-1276283729 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664382-1276283729.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 1.07 3/107 4877 /proc/meminfo: memFree=1531396/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=7612 CPUtime=0 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 1183 0 0 0 0 0 0 0 18 0 1 0 2028657 7794688 1105 1992294400 4194304 7136930 140736246492304 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4877/statm: 1903 1116 254 719 0 1182 0 [startup+0.106299 s] /proc/loadavg: 0.92 0.98 1.07 3/107 4877 /proc/meminfo: memFree=1531396/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=15520 CPUtime=0.1 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 3797 0 0 0 8 2 0 0 20 0 1 0 2028657 15892480 3108 1992294400 4194304 7136930 140736246492304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 3880 3108 345 719 0 3159 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15520 [startup+0.200307 s] /proc/loadavg: 0.92 0.98 1.07 3/107 4877 /proc/meminfo: memFree=1531396/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=16920 CPUtime=0.19 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 6755 0 0 0 16 3 0 0 20 0 1 0 2028657 17326080 3496 1992294400 4194304 7136930 140736246492304 18446744073709551615 5005221 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 4230 3496 391 719 0 3509 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16920 [startup+0.300316 s] /proc/loadavg: 0.92 0.98 1.07 3/107 4877 /proc/meminfo: memFree=1531396/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=17088 CPUtime=0.29 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 6819 0 0 0 25 4 0 0 20 0 1 0 2028657 17498112 3560 1992294400 4194304 7136930 140736246492304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 4272 3560 391 719 0 3551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17088 [startup+0.700352 s] /proc/loadavg: 0.92 0.98 1.07 3/107 4877 /proc/meminfo: memFree=1531396/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=17620 CPUtime=0.69 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 6954 0 0 0 63 6 0 0 20 0 1 0 2028657 18042880 3695 1992294400 4194304 7136930 140736246492304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 4405 3695 391 719 0 3684 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17620 [startup+1.50042 s] /proc/loadavg: 0.92 0.98 1.07 2/108 4878 /proc/meminfo: memFree=1517004/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=19204 CPUtime=1.49 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 7330 0 0 0 139 10 0 0 23 0 1 0 2028657 19664896 4071 1992294400 4194304 7136930 140736246492304 18446744073709551615 5005117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 4801 4071 391 719 0 4080 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19204 [startup+3.10056 s] /proc/loadavg: 0.92 0.98 1.07 2/108 4878 /proc/meminfo: memFree=1514524/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=21304 CPUtime=3.09 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 7886 0 0 0 291 18 0 0 25 0 1 0 2028657 21815296 4627 1992294400 4194304 7136930 140736246492304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 5326 4627 391 719 0 4605 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21304 [startup+6.30185 s] /proc/loadavg: 0.93 0.98 1.07 2/108 4878 /proc/meminfo: memFree=1510184/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=25584 CPUtime=6.29 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 8969 0 0 0 597 32 0 0 25 0 1 0 2028657 26198016 5710 1992294400 4194304 7136930 140736246492304 18446744073709551615 4414793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 6396 5710 391 719 0 5675 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25584 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 1.07 2/108 4878 /proc/meminfo: memFree=1503488/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=31864 CPUtime=12.69 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 10576 0 0 0 1206 63 0 0 25 0 1 0 2028657 32628736 7317 1992294400 4194304 7136930 140736246492304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 7966 7317 391 719 0 7245 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31864 [startup+25.5006 s] /proc/loadavg: 0.95 0.98 1.07 2/108 4880 /proc/meminfo: memFree=1490716/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=44128 CPUtime=25.49 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 13660 0 0 0 2439 110 0 0 25 0 1 0 2028657 45187072 10401 1992294400 4194304 7136930 140736246492304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 11032 10401 391 719 0 10311 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44128 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 1.07 2/108 4880 /proc/meminfo: memFree=1472240/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=62480 CPUtime=51.07 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 18291 0 0 0 4925 182 0 0 25 0 1 0 2028657 63979520 15032 1992294400 4194304 7136930 140736246492304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 15620 15032 391 719 0 14899 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 62480 [startup+102.3 s] /proc/loadavg: 0.98 0.98 1.06 2/108 4882 /proc/meminfo: memFree=1448556/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=85800 CPUtime=102.26 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 24142 0 0 0 9932 294 0 0 25 0 1 0 2028657 87859200 20883 1992294400 4194304 7136930 140736246492304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 21450 20883 391 719 0 20729 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 85800 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.06 2/108 4882 /proc/meminfo: memFree=1419664/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=116224 CPUtime=162.24 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 31332 0 0 0 15788 436 0 0 25 0 1 0 2028657 119013376 28073 1992294400 4194304 7136930 140736246492304 18446744073709551615 5120184 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 29056 28073 391 719 0 28335 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 116224 [startup+222.308 s] /proc/loadavg: 0.99 0.98 1.05 2/108 4884 /proc/meminfo: memFree=1401064/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=134628 CPUtime=222.23 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 35968 0 0 0 21673 550 0 0 25 0 1 0 2028657 137859072 32709 1992294400 4194304 7136930 140736246492304 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 33657 32709 391 719 0 32936 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 134628 [startup+282.3 s] /proc/loadavg: 0.99 0.98 1.04 2/108 4886 /proc/meminfo: memFree=1383828/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=152660 CPUtime=282.21 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 40512 0 0 0 27576 645 0 0 25 0 1 0 2028657 156323840 37253 1992294400 4194304 7136930 140736246492304 18446744073709551615 4400153 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 38165 37253 391 719 0 37444 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 152660 [startup+342.301 s] /proc/loadavg: 1.06 1.00 1.04 2/108 4888 /proc/meminfo: memFree=1367832/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=167544 CPUtime=342.19 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 44241 0 0 0 33487 732 0 0 25 0 1 0 2028657 171565056 40982 1992294400 4194304 7136930 140736246492304 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 41886 40982 391 719 0 41165 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 167544 [startup+402.301 s] /proc/loadavg: 1.08 1.02 1.04 2/108 4890 /proc/meminfo: memFree=1353572/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=181732 CPUtime=402.18 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 47789 0 0 0 39404 814 0 0 25 0 1 0 2028657 186093568 44530 1992294400 4194304 7136930 140736246492304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 45433 44530 391 719 0 44712 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 181732 [startup+462.301 s] /proc/loadavg: 1.09 1.03 1.04 2/108 4890 /proc/meminfo: memFree=1341296/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=193980 CPUtime=462.16 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 50832 0 0 0 45332 884 0 0 25 0 1 0 2028657 198635520 47573 1992294400 4194304 7136930 140736246492304 18446744073709551615 5000130 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 48495 47573 391 719 0 47774 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 193980 [startup+522.3 s] /proc/loadavg: 1.08 1.03 1.04 2/108 4892 /proc/meminfo: memFree=1330632/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=204460 CPUtime=522.13 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 53497 0 0 0 51264 949 0 0 25 0 1 0 2028657 209367040 50238 1992294400 4194304 7136930 140736246492304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 51115 50238 391 719 0 50394 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 204460 [startup+582.301 s] /proc/loadavg: 1.08 1.04 1.04 2/108 4894 /proc/meminfo: memFree=1320960/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=214108 CPUtime=582.12 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 55927 0 0 0 57198 1014 0 0 25 0 1 0 2028657 219246592 52668 1992294400 4194304 7136930 140736246492304 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 53527 52668 391 719 0 52806 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 214108 [startup+642.3 s] /proc/loadavg: 1.11 1.06 1.05 2/108 4896 /proc/meminfo: memFree=1312280/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=222628 CPUtime=642.09 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 58028 0 0 0 63135 1074 0 0 25 0 1 0 2028657 227971072 54769 1992294400 4194304 7136930 140736246492304 18446744073709551615 4659966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 55657 54769 391 719 0 54936 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 222628 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.01 2/108 4906 /proc/meminfo: memFree=1261812/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=277504 CPUtime=1061.97 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 70726 0 0 0 104684 1513 0 0 25 0 1 0 2028657 284164096 67467 1992294400 4194304 7136930 140736246492304 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 69376 67467 391 719 0 68655 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 277504 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4908 /proc/meminfo: memFree=1252760/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=285884 CPUtime=1121.95 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 72760 0 0 0 110629 1566 0 0 25 0 1 0 2028657 292745216 69501 1992294400 4194304 7136930 140736246492304 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 71471 69501 391 719 0 70750 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 285884 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4910 /proc/meminfo: memFree=1246808/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=291960 CPUtime=1181.94 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 74263 0 0 0 116577 1617 0 0 25 0 1 0 2028657 298967040 71004 1992294400 4194304 7136930 140736246492304 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 72990 71004 391 719 0 72269 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 291960 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4912 /proc/meminfo: memFree=1239492/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=299048 CPUtime=1241.91 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 76006 0 0 0 122526 1665 0 0 25 0 1 0 2028657 306225152 72747 1992294400 4194304 7136930 140736246492304 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 74762 72747 391 719 0 74041 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 299048 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4914 /proc/meminfo: memFree=1233912/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=304852 CPUtime=1301.89 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 77380 0 0 0 128479 1710 0 0 25 0 1 0 2028657 312168448 74121 1992294400 4194304 7136930 140736246492304 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 76213 74121 391 719 0 75492 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 304852 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4914 /proc/meminfo: memFree=1227960/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=310676 CPUtime=1361.88 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 78848 0 0 0 134436 1752 0 0 25 0 1 0 2028657 318132224 75589 1992294400 4194304 7136930 140736246492304 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 77669 75589 391 719 0 76948 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 310676 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4919 /proc/meminfo: memFree=1216924/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=321412 CPUtime=1421.86 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 81488 0 0 0 140390 1796 0 0 25 0 1 0 2028657 329125888 78229 1992294400 4194304 7136930 140736246492304 18446744073709551615 4999855 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 80353 78229 391 719 0 79632 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 321412 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4921 /proc/meminfo: memFree=1210476/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=327940 CPUtime=1481.83 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 83097 0 0 0 146343 1840 0 0 25 0 1 0 2028657 335810560 79838 1992294400 4194304 7136930 140736246492304 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 81985 79838 391 719 0 81264 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 327940 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4923 /proc/meminfo: memFree=1205640/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=332532 CPUtime=1541.82 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 84301 0 0 0 152301 1881 0 0 25 0 1 0 2028657 340512768 81042 1992294400 4194304 7136930 140736246492304 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 83133 81042 391 719 0 82412 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 332532 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4925 /proc/meminfo: memFree=1202912/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=335548 CPUtime=1601.81 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 84966 0 0 0 158261 1920 0 0 25 0 1 0 2028657 343601152 81707 1992294400 4194304 7136930 140736246492304 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 83887 81707 391 719 0 83166 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 335548 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4925 /proc/meminfo: memFree=1197332/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=341224 CPUtime=1661.79 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 86347 0 0 0 164218 1961 0 0 25 0 1 0 2028657 349413376 83088 1992294400 4194304 7136930 140736246492304 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 85306 83088 391 719 0 84585 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 341224 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4927 /proc/meminfo: memFree=1195844/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=342640 CPUtime=1721.77 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 86709 0 0 0 170178 1999 0 0 25 0 1 0 2028657 350863360 83450 1992294400 4194304 7136930 140736246492304 18446744073709551615 4221348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 85660 83450 391 719 0 84939 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 342640 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4929 /proc/meminfo: memFree=1195472/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=343024 CPUtime=1781.75 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 86814 0 0 0 176137 2038 0 0 25 0 1 0 2028657 351256576 83555 1992294400 4194304 7136930 140736246492304 18446744073709551615 4408910 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 85756 83555 391 719 0 85035 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 343024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4929 /proc/meminfo: memFree=1195348/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=343024 CPUtime=1800.05 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 86820 0 0 0 177955 2050 0 0 25 0 1 0 2028657 351256576 83561 1992294400 4194304 7136930 140736246492304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4877/statm: 85756 83561 391 719 0 85035 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 343024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/109 4930 /proc/meminfo: memFree=1195216/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=343200 CPUtime=1800.16 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 86854 0 0 0 177966 2050 0 0 25 0 1 0 2028657 351436800 83595 1992294400 4194304 7136930 140736246492304 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4877/statm: 85800 83595 396 719 0 85079 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 343200 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/109 4930 /proc/meminfo: memFree=1195216/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=343200 CPUtime=1800.55 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 86854 0 0 0 178005 2050 0 0 25 0 1 0 2028657 351436800 83595 1992294400 4194304 7136930 140736246492304 18446744073709551615 6166339 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4877/statm: 85800 83595 396 719 0 85079 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (KiB) 343200 [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/109 4930 /proc/meminfo: memFree=1195216/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=343200 CPUtime=1800.95 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 86854 0 0 0 178045 2050 0 0 25 0 1 0 2028657 351436800 83595 1992294400 4194304 7136930 140736246492304 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4877/statm: 85800 83595 396 719 0 85079 0 Current children cumulated CPU time (s) 1800.95 Current children cumulated vsize (KiB) 343200 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/109 4930 /proc/meminfo: memFree=1195216/2059040 swapFree=4192956/4192956 [pid=4877] ppid=4875 vsize=332852 CPUtime=1801.05 /proc/4877/stat : 4877 (pbscip.linux.x8) R 4875 4877 4594 0 -1 4202496 86854 0 0 0 178054 2051 0 0 25 0 1 0 2028657 340840448 81008 1992294400 4194304 7136930 140736246492304 18446744073709551615 4997767 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4877/statm: 83213 81008 396 719 0 82492 0 Current children cumulated CPU time (s) 1801.05 Current children cumulated vsize (KiB) 332852 Child status: 0 Real time (s): 1801.69 CPU time (s): 1801.15 CPU user time (s): 1780.6 CPU system time (s): 20.5479 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 343200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.6 system time used= 20.5479 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86861 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= 3498 runsolver used 2.78858 second user time and 8.70368 second system time The end
Begin job on node025 at 2010-06-11 21:15:29 IDJOB=2664382 IDBENCH=1277 IDSOLVER=1167 FILE ID=node025/2664382-1276283729 PBS_JOBID= 11173108 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.1900576927.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-2664382-1276283729/watcher-2664382-1276283729 -o /tmp/evaluation-result-2664382-1276283729/solver-2664382-1276283729 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664382-1276283729.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f91f8d08a20ca0a8483dc7b1c14e540 RANDOM SEED=803862870 node025.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.242 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1531800 kB Buffers: 56648 kB Cached: 331568 kB SwapCached: 0 kB Active: 172320 kB Inactive: 275284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1531800 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3264 kB Writeback: 0 kB AnonPages: 59392 kB Mapped: 15396 kB Slab: 57748 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182496 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 node025 at 2010-06-11 21:45:32