| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.25 | 1801.82 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb |
| MD5SUM | 80da336e36371770b02ed1fca93b5c11 |
| 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 | 184.282 |
| 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 | 655 |
| 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-2664131-1276304492.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.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.96
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.79/3.82 c 3.5s| 10000 | 8313 | 0 | 0.0 |7123k| 96 | - | 231 |4181 | 0 | 0 | 0 |2488 | 0 | 0.000000e+00 | -- | Inf
9.59/9.69 c 9.1s| 20000 | 14570 | 0 | 0.0 | 12M| 96 | - | 231 |6146 | 0 | 0 | 0 |7762 | 0 | 0.000000e+00 | -- | Inf
14.58/14.66 c 13.9s| 30000 | 22405 | 0 | 0.0 | 16M| 96 | - | 231 |6188 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
20.28/20.33 c 19.4s| 40000 | 29936 | 0 | 0.0 | 21M| 96 | - | 231 |6970 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
26.58/26.68 c 25.5s| 50000 | 37167 | 0 | 0.0 | 26M| 96 | - | 231 |7915 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
33.98/34.02 c 32.6s| 60000 | 44046 | 0 | 0.0 | 30M| 96 | - | 231 |8964 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
42.28/42.31 c 40.6s| 70000 | 50685 | 0 | 0.0 | 35M| 96 | - | 231 |9909 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
52.48/52.51 c 50.6s| 80000 | 56553 | 0 | 0.0 | 40M| 96 | - | 231 | 11k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
65.47/65.56 c 63.3s| 90000 | 61376 | 0 | 0.0 | 46M| 96 | - | 231 | 12k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
81.27/81.38 c 78.8s|100000 | 65571 | 0 | 0.0 | 51M| 96 | - | 231 | 14k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
101.07/101.18 c 98.3s|110000 | 68710 | 0 | 0.0 | 56M| 96 | - | 231 | 14k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
124.05/124.14 c 121s|120000 | 70517 | 0 | 0.0 | 60M| 96 | - | 231 | 13k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
135.05/135.10 c 132s|130000 | 77644 | 0 | 0.0 | 64M| 96 | - | 231 | 12k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
145.45/145.56 c 142s|140000 | 84786 | 0 | 0.0 | 68M| 96 | - | 231 | 12k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
156.14/156.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.14/156.27 c 152s|150000 | 91743 | 0 | 0.0 | 73M| 96 | - | 231 | 12k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
167.34/167.48 c 163s|160000 | 98533 | 0 | 0.0 | 78M| 96 | - | 231 | 12k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
178.83/178.93 c 174s|170000 |105233 | 0 | 0.0 | 82M| 96 | - | 231 | 13k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
190.53/190.66 c 186s|180000 |111857 | 0 | 0.0 | 87M| 96 | - | 231 | 13k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
202.73/202.84 c 198s|190000 |118377 | 0 | 0.0 | 92M| 96 | - | 231 | 13k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
215.22/215.30 c 210s|200000 |124763 | 0 | 0.0 | 96M| 96 | - | 231 | 14k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
228.52/228.61 c 223s|210000 |131040 | 0 | 0.0 | 101M| 96 | - | 231 | 14k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
241.82/241.92 c 236s|220000 |137394 | 0 | 0.0 | 105M| 96 | - | 231 | 14k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
258.32/258.50 c 253s|230000 |142561 | 0 | 0.0 | 110M| 96 | - | 231 | 15k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
276.80/276.92 c 271s|240000 |147342 | 0 | 0.0 | 115M| 96 | - | 231 | 16k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
297.00/297.19 c 291s|250000 |151947 | 0 | 0.0 | 121M| 96 | - | 231 | 17k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
318.29/318.44 c 312s|260000 |156493 | 0 | 0.0 | 125M| 96 | - | 231 | 18k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
341.18/341.39 c 334s|270000 |160696 | 0 | 0.0 | 130M| 96 | - | 231 | 19k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
364.47/364.63 c 357s|280000 |165015 | 0 | 0.0 | 135M| 96 | - | 231 | 19k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
389.36/389.58 c 382s|290000 |168946 | 0 | 0.0 | 140M| 96 | - | 231 | 20k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
416.45/416.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.45/416.65 c 409s|300000 |172547 | 0 | 0.0 | 145M| 96 | - | 231 | 21k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
442.74/442.94 c 435s|310000 |176375 | 0 | 0.0 | 150M| 96 | - | 231 | 21k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
472.03/472.27 c 464s|320000 |179570 | 0 | 0.0 | 155M| 96 | - | 231 | 22k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
502.13/502.31 c 493s|330000 |182788 | 0 | 0.0 | 159M| 96 | - | 231 | 22k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
532.31/532.53 c 523s|340000 |185857 | 0 | 0.0 | 164M| 96 | - | 231 | 22k| 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
563.80/564.08 c 554s|350000 |188673 | 0 | 0.0 | 168M| 96 | - | 231 | 22k| 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
596.19/596.49 c 586s|360000 |191320 | 0 | 0.0 | 173M| 96 | - | 231 | 23k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
628.68/628.90 c 618s|370000 |194147 | 0 | 0.0 | 177M| 96 | - | 231 | 24k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
664.68/664.98 c 654s|380000 |196240 | 0 | 0.0 | 182M| 96 | - | 231 | 24k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
701.17/701.49 c 690s|390000 |198322 | 0 | 0.0 | 186M| 96 | - | 231 | 24k| 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
739.25/739.56 c 728s|400000 |200179 | 0 | 0.0 | 190M| 96 | - | 231 | 24k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
779.44/779.71 c 768s|410000 |201601 | 0 | 0.0 | 194M| 96 | - | 231 | 25k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
820.83/821.19 c 809s|420000 |202934 | 0 | 0.0 | 199M| 96 | - | 231 | 26k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
865.32/865.63 c 853s|430000 |203820 | 0 | 0.0 | 202M| 96 | - | 231 | 27k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
912.30/912.60 c 899s|440000 |204303 | 0 | 0.0 | 206M| 96 | - | 231 | 27k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
964.68/965.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.68/965.05 c 951s|450000 |203756 | 0 | 0.0 | 208M| 96 | - | 231 | 27k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1017.47/1017.89 c 1004s|460000 |202982 | 0 | 0.0 | 211M| 96 | - | 231 | 28k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1056.56/1056.93 c 1042s|470000 |205636 | 0 | 0.0 | 213M| 96 | - | 231 | 26k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1084.95/1085.32 c 1070s|480000 |211256 | 0 | 0.0 | 218M| 96 | - | 231 | 26k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1114.94/1115.31 c 1100s|490000 |216548 | 0 | 0.0 | 222M| 96 | - | 231 | 25k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1146.42/1146.85 c 1131s|500000 |221415 | 0 | 0.0 | 227M| 96 | - | 231 | 25k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1178.21/1178.64 c 1163s|510000 |226145 | 0 | 0.0 | 231M| 96 | - | 231 | 25k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1211.71/1212.15 c 1196s|520000 |230408 | 0 | 0.0 | 236M| 96 | - | 231 | 25k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1244.09/1244.55 c 1228s|530000 |234902 | 0 | 0.0 | 241M| 96 | - | 231 | 25k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1278.29/1278.73 c 1262s|540000 |239046 | 0 | 0.0 | 245M| 96 | - | 231 | 25k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1312.27/1312.70 c 1296s|550000 |243189 | 0 | 0.0 | 250M| 96 | - | 231 | 25k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1348.17/1348.66 c 1331s|560000 |247058 | 0 | 0.0 | 255M| 96 | - | 231 | 26k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1382.75/1383.21 c 1365s|570000 |251086 | 0 | 0.0 | 260M| 96 | - | 231 | 26k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1421.85/1422.36 c 1404s|580000 |254435 | 0 | 0.0 | 264M| 96 | - | 231 | 27k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1457.72/1458.29 c 1440s|590000 |258247 | 0 | 0.0 | 269M| 96 | - | 231 | 27k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
1496.02/1496.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.02/1496.57 c 1478s|600000 |261763 | 0 | 0.0 | 274M| 96 | - | 231 | 27k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1537.21/1537.73 c 1518s|610000 |264885 | 0 | 0.0 | 278M| 96 | - | 231 | 28k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1576.39/1576.93 c 1557s|620000 |268320 | 0 | 0.0 | 283M| 96 | - | 231 | 27k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1618.28/1618.86 c 1599s|630000 |271183 | 0 | 0.0 | 287M| 96 | - | 231 | 28k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1663.56/1664.17 c 1644s|640000 |273661 | 0 | 0.0 | 292M| 96 | - | 231 | 28k| 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | -- | Inf
1704.35/1704.96 c 1684s|650000 |276887 | 0 | 0.0 | 296M| 96 | - | 231 | 28k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
1748.13/1748.72 c 1728s|660000 |279604 | 0 | 0.0 | 301M| 96 | - | 231 | 29k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | -- | Inf
1792.02/1792.67 c 1771s|670000 |282230 | 0 | 0.0 | 306M| 96 | - | 231 | 30k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.62 c
1800.03/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.62 c Solving Time (sec) : 1779.23
1800.03/1800.62 c Solving Nodes : 671329
1800.03/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.62 c Dual Bound : +0.00000000000000e+00
1800.03/1800.62 c Gap : infinite
1800.03/1800.62 s UNKNOWN
1800.03/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.62 c Solving Time : 1779.23
1800.03/1800.62 c Original Problem :
1800.03/1800.62 c Problem name : HOME/instance-2664131-1276304492.opb
1800.03/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.03/1800.62 c Presolved Problem :
1800.03/1800.62 c Problem name : t_HOME/instance-2664131-1276304492.opb
1800.03/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62 c Constraints : 2564 initial, 30154 maximal
1800.03/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0
1800.03/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.62 c root node : - 0 - - 0 - - - -
1800.03/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.62 c knapsack : 1 0 2129809 0 531203 77203 6363967 0 0 0
1800.03/1800.62 c setppc : 22 0 2068799 0 531203 94419 2731760 0 0 0
1800.03/1800.62 c logicor : 2541+ 0 1695045 0 531201 69637 7097295 0 0 0
1800.03/1800.62 c countsols : 0 0 0 0 531190 0 0 0 0 0
1800.03/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.62 c knapsack : 53.31 0.00 50.14 0.00 3.17
1800.03/1800.62 c setppc : 39.77 0.00 32.10 0.00 7.67
1800.03/1800.62 c logicor : 932.61 0.00 873.54 0.00 59.07
1800.03/1800.62 c countsols : 0.23 0.00 0.00 0.00 0.23
1800.03/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.62 c vbounds : 1.11 1 0 0
1800.03/1800.62 c rootredcost : 1.27 0 0 0
1800.03/1800.62 c pseudoobj : 0.91 0 0 0
1800.03/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.62 c propagation : 15.55 241259 241210 1196975 18.2 5020 20.7 -
1800.03/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.62 c applied globally : - - - 543992 14.5 - - -
1800.03/1800.62 c applied locally : - - - 3940 35.2 - - -
1800.03/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.62 c redcost : 0.00 0 0 0 0 0
1800.03/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.62 c intobj : 0.00 0 0 0 0 0
1800.03/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.62 c gomory : 0.00 0 0 0 0 0
1800.03/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.62 c cmir : 0.00 0 0 0 0 0
1800.03/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.62 c clique : 0.00 0 0 0 0 0
1800.03/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.62 c mcf : 0.00 0 0 0 0 0
1800.03/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.62 c Pricers : Time Calls Vars
1800.03/1800.62 c problem variables: 0.00 0 0
1800.03/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c inference : 14.36 531190 0 0 0 0 1062380
1800.03/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c random : 0.00 0 0 0 0 0 0
1800.03/1800.62 c Primal Heuristics : Time Calls Found
1800.03/1800.62 c LP solutions : 0.00 - 0
1800.03/1800.62 c pseudo solutions : 0.00 - 0
1800.03/1800.62 c trivial : 0.00 1 0
1800.03/1800.62 c simplerounding : 0.00 0 0
1800.03/1800.62 c zirounding : 0.00 0 0
1800.03/1800.62 c rounding : 0.00 0 0
1800.03/1800.62 c shifting : 0.00 0 0
1800.03/1800.62 c intshifting : 0.00 0 0
1800.03/1800.62 c oneopt : 0.00 0 0
1800.03/1800.62 c twoopt : 0.00 0 0
1800.03/1800.62 c fixandinfer : 0.00 0 0
1800.03/1800.62 c feaspump : 0.00 0 0
1800.03/1800.62 c coefdiving : 0.00 0 0
1800.03/1800.62 c pscostdiving : 0.00 0 0
1800.03/1800.62 c fracdiving : 0.00 0 0
1800.03/1800.62 c veclendiving : 0.00 0 0
1800.03/1800.62 c intdiving : 0.00 0 0
1800.03/1800.62 c actconsdiving : 0.00 0 0
1800.03/1800.62 c objpscostdiving : 0.00 0 0
1800.03/1800.62 c rootsoldiving : 0.00 0 0
1800.03/1800.62 c linesearchdiving : 0.00 0 0
1800.03/1800.62 c guideddiving : 0.00 0 0
1800.03/1800.62 c octane : 0.00 0 0
1800.03/1800.62 c rens : 0.00 0 0
1800.03/1800.62 c rins : 0.00 0 0
1800.03/1800.62 c localbranching : 0.00 0 0
1800.03/1800.62 c mutation : 0.00 0 0
1800.03/1800.62 c crossover : 0.00 0 0
1800.03/1800.62 c dins : 0.00 0 0
1800.03/1800.62 c undercover : 0.00 0 0
1800.03/1800.62 c nlp : 0.00 0 0
1800.03/1800.62 c trysol : 0.00 0 0
1800.03/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.62 c (at root node) : - 0 0 0.00 -
1800.03/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.62 c B&B Tree :
1800.03/1800.62 c number of runs : 1
1800.03/1800.62 c nodes : 671329
1800.03/1800.62 c nodes (total) : 671329
1800.03/1800.62 c nodes left : 282336
1800.03/1800.62 c max depth : 96
1800.03/1800.62 c max depth (total): 96
1800.03/1800.62 c backtracks : 135267 (20.1%)
1800.03/1800.62 c delayed cutoffs : 108716
1800.03/1800.62 c repropagations : 385011 (5486980 domain reductions, 101120 cutoffs)
1800.03/1800.62 c avg switch length: 11.91
1800.03/1800.62 c switching time : 477.05
1800.03/1800.62 c Solution :
1800.03/1800.62 c Solutions found : 0 (0 improvements)
1800.03/1800.62 c Primal Bound : -
1800.03/1800.62 c Dual Bound : +0.00000000000000e+00
1800.03/1800.62 c Gap : infinite
1800.03/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.62 c Root Iterations : 0
1801.22/1801.82 c Time complete: 1801.23.
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-2664131-1276304492/watcher-2664131-1276304492 -o /tmp/evaluation-result-2664131-1276304492/solver-2664131-1276304492 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664131-1276304492.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 1.00 0.99 3/106 7694 /proc/meminfo: memFree=1536968/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=6584 CPUtime=0 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 981 0 0 0 0 0 0 0 17 0 1 0 6050667 6742016 903 1992294400 4194304 7136930 140734851322880 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7694/statm: 1646 912 254 719 0 925 0 [startup+0.086454 s] /proc/loadavg: 0.92 1.00 0.99 3/106 7694 /proc/meminfo: memFree=1536968/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=14468 CPUtime=0.07 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 3533 0 0 0 6 1 0 0 17 0 1 0 6050667 14815232 2844 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 3617 2844 343 719 0 2896 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14468 [startup+0.101456 s] /proc/loadavg: 0.92 1.00 0.99 3/106 7694 /proc/meminfo: memFree=1536968/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=14764 CPUtime=0.1 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 3614 0 0 0 8 2 0 0 17 0 1 0 6050667 15118336 2925 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 3691 2925 345 719 0 2970 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14764 [startup+0.301482 s] /proc/loadavg: 0.92 1.00 0.99 3/106 7694 /proc/meminfo: memFree=1536968/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=17076 CPUtime=0.29 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 6812 0 0 0 25 4 0 0 17 0 1 0 6050667 17485824 3553 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 4269 3553 391 719 0 3548 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17076 [startup+0.701535 s] /proc/loadavg: 0.92 1.00 0.99 3/106 7694 /proc/meminfo: memFree=1536968/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=17860 CPUtime=0.7 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 7005 0 0 0 63 7 0 0 17 0 1 0 6050667 18288640 3746 1992294400 4194304 7136930 140734851322880 18446744073709551615 4697015 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 4465 3746 391 719 0 3744 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 17860 [startup+1.50164 s] /proc/loadavg: 0.92 1.00 0.99 2/107 7695 /proc/meminfo: memFree=1522824/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=19140 CPUtime=1.49 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 7320 0 0 0 138 11 0 0 18 0 1 0 6050667 19599360 4061 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 4785 4061 391 719 0 4064 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19140 [startup+3.10185 s] /proc/loadavg: 0.92 1.00 0.99 2/107 7695 /proc/meminfo: memFree=1520344/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=21648 CPUtime=3.09 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 7954 0 0 0 289 20 0 0 21 0 1 0 6050667 22167552 4695 1992294400 4194304 7136930 140734851322880 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 5412 4695 391 719 0 4691 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21648 [startup+6.30127 s] /proc/loadavg: 0.93 1.00 0.99 2/107 7695 /proc/meminfo: memFree=1515756/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=26044 CPUtime=6.29 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 9095 0 0 0 590 39 0 0 25 0 1 0 6050667 26669056 5836 1992294400 4194304 7136930 140734851322880 18446744073709551615 5000322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 6511 5836 391 719 0 5790 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26044 [startup+12.7011 s] /proc/loadavg: 0.93 1.00 0.99 2/107 7695 /proc/meminfo: memFree=1508316/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=33080 CPUtime=12.68 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 10879 0 0 0 1204 64 0 0 25 0 1 0 6050667 33873920 7620 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 8270 7620 391 719 0 7549 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33080 [startup+25.5008 s] /proc/loadavg: 0.95 1.00 0.99 2/107 7695 /proc/meminfo: memFree=1494180/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=46316 CPUtime=25.48 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 14219 0 0 0 2438 110 0 0 25 0 1 0 6050667 47427584 10960 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 11579 10960 391 719 0 10858 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46316 [startup+51.1011 s] /proc/loadavg: 0.96 1.00 0.99 2/107 7697 /proc/meminfo: memFree=1476076/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=64964 CPUtime=51.08 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 18945 0 0 0 4924 184 0 0 25 0 1 0 6050667 66523136 15686 1992294400 4194304 7136930 140734851322880 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 16241 15686 391 719 0 15520 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 64964 [startup+102.309 s] /proc/loadavg: 0.98 1.00 0.99 2/107 7697 /proc/meminfo: memFree=1455864/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=86120 CPUtime=102.27 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 23725 0 0 0 9942 285 0 0 25 0 1 0 6050667 88186880 20466 1992294400 4194304 7136930 140734851322880 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 21530 20466 391 719 0 20809 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 86120 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7699 /proc/meminfo: memFree=1431808/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=110708 CPUtime=162.24 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 29964 0 0 0 15825 399 0 0 25 0 1 0 6050667 113364992 26705 1992294400 4194304 7136930 140734851322880 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 27677 26705 391 719 0 26956 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 110708 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7701 /proc/meminfo: memFree=1407504/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=133416 CPUtime=222.22 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 35759 0 0 0 21704 518 0 0 25 0 1 0 6050667 136617984 32500 1992294400 4194304 7136930 140734851322880 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 33354 32500 391 719 0 32633 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 133416 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7703 /proc/meminfo: memFree=1386176/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=154868 CPUtime=282.21 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 41118 0 0 0 27606 615 0 0 25 0 1 0 6050667 158584832 37859 1992294400 4194304 7136930 140734851322880 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 38717 37859 391 719 0 37996 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 154868 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7705 /proc/meminfo: memFree=1366708/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=173940 CPUtime=342.18 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 45925 0 0 0 33519 699 0 0 25 0 1 0 6050667 178114560 42666 1992294400 4194304 7136930 140734851322880 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 43485 42666 391 719 0 42764 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 173940 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7705 /proc/meminfo: memFree=1355672/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=184872 CPUtime=402.16 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 48650 0 0 0 39441 775 0 0 25 0 1 0 6050667 189308928 45391 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 46218 45391 391 719 0 45497 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 184872 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7707 /proc/meminfo: memFree=1342776/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=197712 CPUtime=462.14 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 51860 0 0 0 45367 847 0 0 25 0 1 0 6050667 202457088 48601 1992294400 4194304 7136930 140734851322880 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 49428 48601 391 719 0 48707 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 197712 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7709 /proc/meminfo: memFree=1332732/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=207672 CPUtime=522.13 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 54336 0 0 0 51298 915 0 0 25 0 1 0 6050667 212656128 51077 1992294400 4194304 7136930 140734851322880 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 51918 51077 391 719 0 51197 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 207672 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7711 /proc/meminfo: memFree=1320828/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=219548 CPUtime=582.1 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 57283 0 0 0 57228 982 0 0 25 0 1 0 6050667 224817152 54024 1992294400 4194304 7136930 140734851322880 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 54887 54024 391 719 0 54166 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 219548 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 7713 /proc/meminfo: memFree=1311776/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=228572 CPUtime=642.09 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 59532 0 0 0 63166 1043 0 0 25 0 1 0 6050667 234057728 56273 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 57143 56273 391 719 0 56422 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 228572 [startup+702.301 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7724 /proc/meminfo: memFree=1276808/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=267148 CPUtime=941.99 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 68126 0 0 0 92879 1320 0 0 25 0 1 0 6050667 273559552 64867 1992294400 4194304 7136930 140734851322880 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 66787 64867 391 719 0 66066 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 267148 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7724 /proc/meminfo: memFree=1273832/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=270364 CPUtime=1001.97 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 68882 0 0 0 98827 1370 0 0 25 0 1 0 6050667 276852736 65623 1992294400 4194304 7136930 140734851322880 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 67591 65623 391 719 0 66870 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 270364 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7726 /proc/meminfo: memFree=1268996/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=274940 CPUtime=1061.95 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 70083 0 0 0 104771 1424 0 0 25 0 1 0 6050667 281538560 66824 1992294400 4194304 7136930 140734851322880 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 68735 66824 391 719 0 68014 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 274940 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7728 /proc/meminfo: memFree=1259200/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=284980 CPUtime=1121.93 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 72553 0 0 0 110710 1483 0 0 25 0 1 0 6050667 291819520 69294 1992294400 4194304 7136930 140734851322880 18446744073709551615 5004421 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 71245 69294 391 719 0 70524 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 284980 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7730 /proc/meminfo: memFree=1250148/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=293476 CPUtime=1181.91 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 74782 0 0 0 116649 1542 0 0 25 0 1 0 6050667 300519424 71523 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 73369 71523 391 719 0 72648 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 293476 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7732 /proc/meminfo: memFree=1243328/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=300252 CPUtime=1241.9 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 76454 0 0 0 122589 1601 0 0 25 0 1 0 6050667 307458048 73195 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 75063 73195 391 719 0 74342 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 300252 [startup+1302.3 s] /proc/loadavg: 1.11 1.03 1.01 2/107 7732 /proc/meminfo: memFree=1236508/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=306836 CPUtime=1301.88 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 78146 0 0 0 128527 1661 0 0 25 0 1 0 6050667 314200064 74887 1992294400 4194304 7136930 140734851322880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 76709 74887 391 719 0 75988 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 306836 [startup+1362.3 s] /proc/loadavg: 1.10 1.04 1.01 2/107 7734 /proc/meminfo: memFree=1225596/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=317852 CPUtime=1361.86 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 80884 0 0 0 134466 1720 0 0 25 0 1 0 6050667 325480448 77625 1992294400 4194304 7136930 140734851322880 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 79463 77625 391 719 0 78742 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 317852 [startup+1422.31 s] /proc/loadavg: 1.09 1.04 1.01 2/107 7736 /proc/meminfo: memFree=1217412/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=325624 CPUtime=1421.85 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 82890 0 0 0 140410 1775 0 0 25 0 1 0 6050667 333438976 79631 1992294400 4194304 7136930 140734851322880 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 81406 79631 391 719 0 80685 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 325624 [startup+1482.3 s] /proc/loadavg: 1.08 1.05 1.01 2/107 7738 /proc/meminfo: memFree=1205384/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=337992 CPUtime=1481.82 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 85921 0 0 0 146355 1827 0 0 25 0 1 0 6050667 346103808 82662 1992294400 4194304 7136930 140734851322880 18446744073709551615 4644801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 84498 82662 391 719 0 83777 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 337992 [startup+1542.3 s] /proc/loadavg: 1.08 1.05 1.01 2/107 7740 /proc/meminfo: memFree=1197820/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=345500 CPUtime=1541.8 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 87780 0 0 0 152305 1875 0 0 25 0 1 0 6050667 353792000 84521 1992294400 4194304 7136930 140734851322880 18446744073709551615 4210705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 86375 84521 391 719 0 85654 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 345500 [startup+1602.3 s] /proc/loadavg: 1.07 1.06 1.01 2/107 7740 /proc/meminfo: memFree=1191868/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=351368 CPUtime=1601.78 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 89280 0 0 0 158253 1925 0 0 25 0 1 0 6050667 359800832 86021 1992294400 4194304 7136930 140734851322880 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 87842 86021 391 719 0 87121 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 351368 [startup+1662.3 s] /proc/loadavg: 1.07 1.06 1.00 2/107 7742 /proc/meminfo: memFree=1184180/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=358972 CPUtime=1661.76 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 91177 0 0 0 164207 1969 0 0 25 0 1 0 6050667 367587328 87918 1992294400 4194304 7136930 140734851322880 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 89743 87918 391 719 0 89022 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 358972 [startup+1722.3 s] /proc/loadavg: 1.06 1.06 1.00 2/107 7744 /proc/meminfo: memFree=1178352/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=364744 CPUtime=1721.74 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 92603 0 0 0 170158 2016 0 0 25 0 1 0 6050667 373497856 89344 1992294400 4194304 7136930 140734851322880 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 91186 89344 391 719 0 90465 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 364744 [startup+1782.3 s] /proc/loadavg: 1.06 1.06 1.00 2/107 7746 /proc/meminfo: memFree=1171904/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=371220 CPUtime=1781.72 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 94272 0 0 0 176110 2062 0 0 25 0 1 0 6050667 380129280 91013 1992294400 4194304 7136930 140734851322880 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 92805 91013 391 719 0 92084 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 371220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.04 1.05 1.00 2/107 7746 /proc/meminfo: memFree=1169052/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=374204 CPUtime=1800.03 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 94880 0 0 0 177927 2076 0 0 25 0 1 0 6050667 383184896 91621 1992294400 4194304 7136930 140734851322880 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7694/statm: 93551 91621 391 719 0 92830 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 374204 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.04 1.05 1.00 2/107 7746 /proc/meminfo: memFree=1169052/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=374284 CPUtime=1800.81 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 94912 0 0 0 178005 2076 0 0 25 0 1 0 6050667 383266816 91653 1992294400 4194304 7136930 140734851322880 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7694/statm: 93571 91653 396 719 0 92850 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (KiB) 374284 [startup+1801.81 s] /proc/loadavg: 1.04 1.05 1.00 2/108 7747 /proc/meminfo: memFree=1175492/2059040 swapFree=4192956/4192956 [pid=7694] ppid=7692 vsize=104852 CPUtime=1801.22 /proc/7694/stat : 7694 (pbscip.linux.x8) R 7692 7694 6786 0 -1 4202496 94912 0 0 0 178043 2079 0 0 25 0 1 0 6050667 107368448 25462 1992294400 4194304 7136930 140734851322880 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7694/statm: 26213 25206 396 719 0 25492 0 Current children cumulated CPU time (s) 1801.22 Current children cumulated vsize (KiB) 104852 Child status: 0 Real time (s): 1801.82 CPU time (s): 1801.25 CPU user time (s): 1780.44 CPU system time (s): 20.8078 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 374284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.44 system time used= 20.8078 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94919 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= 2387 runsolver used 2.88656 second user time and 8.60669 second system time The end
Begin job on node013 at 2010-06-12 03:01:32 IDJOB=2664131 IDBENCH=1338 IDSOLVER=1167 FILE ID=node013/2664131-1276304492 PBS_JOBID= 11173116 Free space on /tmp= 62424 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.1900667195.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-2664131-1276304492/watcher-2664131-1276304492 -o /tmp/evaluation-result-2664131-1276304492/solver-2664131-1276304492 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664131-1276304492.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80da336e36371770b02ed1fca93b5c11 RANDOM SEED=679553975 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1537372 kB Buffers: 81748 kB Cached: 312176 kB SwapCached: 0 kB Active: 174236 kB Inactive: 278856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1537372 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3212 kB Writeback: 0 kB AnonPages: 59180 kB Mapped: 15428 kB Slab: 46748 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180188 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= 62420 MiB End job on node013 at 2010-06-12 03:31:34