| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.28 | 1801.74 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb |
| MD5SUM | f6db72fa29ffa9d071020a030f71e7d0 |
| 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 | 192.229 |
| 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 | 651 |
| 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-2664401-1276291109.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.00/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 242 implications, 22 cliques
0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 22 constraints of type <setppc>
0.09/0.14 c 2541 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.06
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.95
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c limits/solutions = 1
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.05 c 3.8s| 10000 | 8225 | 0 | 0.0 |7271k| 91 | - | 231 |4632 | 0 | 0 | 0 |2752 | 0 | 0.000000e+00 | -- | Inf
10.09/10.11 c 9.6s| 20000 | 14714 | 0 | 0.0 | 12M| 91 | - | 231 |6000 | 0 | 0 | 0 |7660 | 0 | 0.000000e+00 | -- | Inf
15.19/15.21 c 14.4s| 30000 | 22637 | 0 | 0.0 | 16M| 91 | - | 231 |6452 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
20.79/20.81 c 19.8s| 40000 | 30280 | 0 | 0.0 | 20M| 91 | - | 231 |7062 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
26.78/26.86 c 25.6s| 50000 | 37744 | 0 | 0.0 | 25M| 91 | - | 231 |7589 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
33.28/33.33 c 31.9s| 60000 | 45025 | 0 | 0.0 | 29M| 91 | - | 231 |8291 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
42.38/42.42 c 40.7s| 70000 | 50855 | 0 | 0.0 | 34M| 91 | - | 231 |9733 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
53.37/53.42 c 51.4s| 80000 | 56126 | 0 | 0.0 | 40M| 91 | - | 231 | 11k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
66.67/66.79 c 64.5s| 90000 | 60798 | 0 | 0.0 | 45M| 91 | - | 231 | 12k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
82.57/82.60 c 80.0s|100000 | 64797 | 0 | 0.0 | 50M| 91 | - | 231 | 13k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
99.77/99.87 c 97.0s|110000 | 68648 | 0 | 0.0 | 54M| 91 | - | 231 | 12k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
116.06/116.13 c 113s|120000 | 73167 | 0 | 0.0 | 59M| 91 | - | 231 | 12k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
126.56/126.66 c 123s|130000 | 80239 | 0 | 0.0 | 64M| 91 | - | 231 | 13k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
137.96/138.04 c 134s|140000 | 87055 | 0 | 0.0 | 68M| 91 | - | 231 | 13k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
150.16/150.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.16/150.26 c 146s|150000 | 93627 | 0 | 0.0 | 73M| 91 | - | 231 | 13k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
163.55/163.64 c 159s|160000 | 99767 | 0 | 0.0 | 78M| 91 | - | 231 | 14k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
177.44/177.59 c 173s|170000 |105771 | 0 | 0.0 | 83M| 91 | - | 231 | 14k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
192.15/192.21 c 187s|180000 |111548 | 0 | 0.0 | 87M| 91 | - | 231 | 14k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
207.04/207.19 c 202s|190000 |117208 | 0 | 0.0 | 92M| 91 | - | 231 | 14k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
222.14/222.23 c 217s|200000 |122904 | 0 | 0.0 | 97M| 91 | - | 231 | 14k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
238.03/238.12 c 232s|210000 |128395 | 0 | 0.0 | 101M| 91 | - | 231 | 15k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
254.42/254.54 c 249s|220000 |133740 | 0 | 0.0 | 106M| 91 | - | 231 | 15k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
271.12/271.22 c 265s|230000 |139009 | 0 | 0.0 | 111M| 91 | - | 231 | 15k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
288.82/288.95 c 282s|240000 |144019 | 0 | 0.0 | 115M| 91 | - | 231 | 16k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
306.92/307.01 c 300s|250000 |149097 | 0 | 0.0 | 120M| 91 | - | 231 | 16k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
326.00/326.14 c 319s|260000 |153790 | 0 | 0.0 | 125M| 91 | - | 231 | 16k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
344.51/344.69 c 337s|270000 |158756 | 0 | 0.0 | 129M| 91 | - | 231 | 17k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
364.70/364.81 c 357s|280000 |163408 | 0 | 0.0 | 134M| 91 | - | 231 | 18k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
385.19/385.35 c 377s|290000 |168034 | 0 | 0.0 | 138M| 91 | - | 231 | 18k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
406.69/406.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.69/406.85 c 398s|300000 |172581 | 0 | 0.0 | 143M| 91 | - | 231 | 18k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
428.48/428.60 c 420s|310000 |177042 | 0 | 0.0 | 147M| 91 | - | 231 | 18k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
452.78/452.93 c 444s|320000 |180885 | 0 | 0.0 | 152M| 91 | - | 231 | 19k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
476.47/476.62 c 467s|330000 |184774 | 0 | 0.0 | 157M| 91 | - | 231 | 20k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
503.67/503.87 c 494s|340000 |188239 | 0 | 0.0 | 161M| 91 | - | 231 | 20k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
532.86/533.08 c 523s|350000 |191018 | 0 | 0.0 | 166M| 91 | - | 231 | 21k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
562.75/562.96 c 553s|360000 |193777 | 0 | 0.0 | 171M| 91 | - | 231 | 21k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
596.05/596.23 c 586s|370000 |195987 | 0 | 0.0 | 175M| 91 | - | 231 | 22k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
630.63/630.82 c 620s|380000 |198013 | 0 | 0.0 | 179M| 91 | - | 231 | 22k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
665.92/666.19 c 655s|390000 |199795 | 0 | 0.0 | 184M| 91 | - | 231 | 23k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
703.11/703.31 c 692s|400000 |201384 | 0 | 0.0 | 188M| 91 | - | 231 | 23k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
741.70/741.92 c 730s|410000 |202866 | 0 | 0.0 | 192M| 91 | - | 231 | 24k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
782.90/783.16 c 771s|420000 |203935 | 0 | 0.0 | 196M| 91 | - | 231 | 24k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
824.38/824.65 c 812s|430000 |205112 | 0 | 0.0 | 199M| 91 | - | 231 | 24k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
864.17/864.46 c 851s|440000 |206733 | 0 | 0.0 | 203M| 91 | - | 231 | 24k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
907.76/908.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.76/908.04 c 894s|450000 |207659 | 0 | 0.0 | 207M| 91 | - | 231 | 24k| 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
952.36/952.65 c 939s|460000 |208505 | 0 | 0.0 | 210M| 91 | - | 231 | 24k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
993.44/993.79 c 979s|470000 |209952 | 0 | 0.0 | 213M| 91 | - | 231 | 25k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1021.13/1021.43 c 1007s|480000 |215368 | 0 | 0.0 | 218M| 91 | - | 231 | 25k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1049.43/1049.72 c 1035s|490000 |220711 | 0 | 0.0 | 222M| 91 | - | 231 | 25k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1079.21/1079.54 c 1064s|500000 |225808 | 0 | 0.0 | 227M| 91 | - | 231 | 26k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1110.11/1110.42 c 1095s|510000 |230805 | 0 | 0.0 | 232M| 91 | - | 231 | 26k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1141.10/1141.45 c 1125s|520000 |235831 | 0 | 0.0 | 237M| 91 | - | 231 | 27k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1173.89/1174.29 c 1158s|530000 |240665 | 0 | 0.0 | 242M| 91 | - | 231 | 28k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1209.09/1209.40 c 1193s|540000 |245106 | 0 | 0.0 | 247M| 91 | - | 231 | 28k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1240.97/1241.30 c 1224s|550000 |250122 | 0 | 0.0 | 251M| 91 | - | 231 | 28k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1278.76/1279.16 c 1262s|560000 |254115 | 0 | 0.0 | 256M| 91 | - | 231 | 29k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1312.96/1313.39 c 1296s|570000 |258799 | 0 | 0.0 | 261M| 91 | - | 231 | 30k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1352.35/1352.76 c 1335s|580000 |262820 | 0 | 0.0 | 266M| 91 | - | 231 | 30k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1398.74/1399.13 c 1381s|590000 |265588 | 0 | 0.0 | 271M| 91 | - | 231 | 31k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1447.62/1448.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.62/1448.06 c 1429s|600000 |268366 | 0 | 0.0 | 276M| 91 | - | 231 | 33k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1499.71/1500.17 c 1481s|610000 |270875 | 0 | 0.0 | 281M| 91 | - | 231 | 35k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1551.89/1552.32 c 1533s|620000 |273533 | 0 | 0.0 | 286M| 91 | - | 231 | 35k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
1610.58/1611.08 c 1591s|630000 |275161 | 0 | 0.0 | 291M| 91 | - | 231 | 36k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
1665.37/1665.83 c 1646s|640000 |277590 | 0 | 0.0 | 296M| 91 | - | 231 | 35k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
1728.35/1728.82 c 1708s|650000 |279010 | 0 | 0.0 | 300M| 91 | - | 231 | 37k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
1787.04/1787.54 c 1767s|660000 |280996 | 0 | 0.0 | 305M| 91 | - | 231 | 37k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.51 c
1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.51 c Solving Time (sec) : 1779.41
1800.04/1800.51 c Solving Nodes : 662119
1800.04/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.51 c Dual Bound : +0.00000000000000e+00
1800.04/1800.51 c Gap : infinite
1800.04/1800.51 s UNKNOWN
1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.51 c Solving Time : 1779.41
1800.04/1800.51 c Original Problem :
1800.04/1800.51 c Problem name : HOME/instance-2664401-1276291109.opb
1800.04/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 2707 initial, 2707 maximal
1800.04/1800.51 c Presolved Problem :
1800.04/1800.51 c Problem name : t_HOME/instance-2664401-1276291109.opb
1800.04/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 2564 initial, 38246 maximal
1800.04/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c linear : 0.03 0 0 0 0 0 143 0 0
1800.04/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.51 c root node : - 0 - - 0 - - - -
1800.04/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.51 c knapsack : 1 0 2133651 0 525057 73050 6202237 0 0 0
1800.04/1800.51 c setppc : 22 0 2075072 0 525057 85414 2683570 0 0 0
1800.04/1800.51 c logicor : 2541+ 0 1741410 0 525054 75621 6861341 0 0 0
1800.04/1800.51 c countsols : 0 0 0 0 525035 0 0 0 0 0
1800.04/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.51 c knapsack : 50.03 0.00 47.04 0.00 2.99
1800.04/1800.51 c setppc : 39.47 0.00 32.11 0.00 7.36
1800.04/1800.51 c logicor : 926.59 0.00 865.19 0.00 61.40
1800.04/1800.51 c countsols : 0.29 0.00 0.00 0.00 0.29
1800.04/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.51 c vbounds : 1.08 1 0 0
1800.04/1800.51 c rootredcost : 1.10 0 0 0
1800.04/1800.51 c pseudoobj : 0.97 0 0 0
1800.04/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.51 c propagation : 14.91 234085 234043 1166830 18.3 4981 20.3 -
1800.04/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.51 c applied globally : - - - 521838 14.5 - - -
1800.04/1800.51 c applied locally : - - - 3384 35.6 - - -
1800.04/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.51 c redcost : 0.00 0 0 0 0 0
1800.04/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.51 c intobj : 0.00 0 0 0 0 0
1800.04/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.51 c gomory : 0.00 0 0 0 0 0
1800.04/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.51 c cmir : 0.00 0 0 0 0 0
1800.04/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.51 c clique : 0.00 0 0 0 0 0
1800.04/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.51 c mcf : 0.00 0 0 0 0 0
1800.04/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.51 c Pricers : Time Calls Vars
1800.04/1800.51 c problem variables: 0.00 0 0
1800.04/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.51 c inference : 14.64 525035 0 0 0 0 1050070
1800.04/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c random : 0.00 0 0 0 0 0 0
1800.04/1800.51 c Primal Heuristics : Time Calls Found
1800.04/1800.51 c LP solutions : 0.00 - 0
1800.04/1800.51 c pseudo solutions : 0.00 - 0
1800.04/1800.51 c trivial : 0.00 1 0
1800.04/1800.51 c simplerounding : 0.00 0 0
1800.04/1800.51 c zirounding : 0.00 0 0
1800.04/1800.51 c rounding : 0.00 0 0
1800.04/1800.51 c shifting : 0.00 0 0
1800.04/1800.51 c intshifting : 0.00 0 0
1800.04/1800.51 c oneopt : 0.00 0 0
1800.04/1800.51 c twoopt : 0.00 0 0
1800.04/1800.51 c fixandinfer : 0.00 0 0
1800.04/1800.51 c feaspump : 0.00 0 0
1800.04/1800.51 c coefdiving : 0.00 0 0
1800.04/1800.51 c pscostdiving : 0.00 0 0
1800.04/1800.51 c fracdiving : 0.00 0 0
1800.04/1800.51 c veclendiving : 0.00 0 0
1800.04/1800.51 c intdiving : 0.00 0 0
1800.04/1800.51 c actconsdiving : 0.00 0 0
1800.04/1800.51 c objpscostdiving : 0.00 0 0
1800.04/1800.51 c rootsoldiving : 0.00 0 0
1800.04/1800.51 c linesearchdiving : 0.00 0 0
1800.04/1800.51 c guideddiving : 0.00 0 0
1800.04/1800.51 c octane : 0.00 0 0
1800.04/1800.51 c rens : 0.00 0 0
1800.04/1800.51 c rins : 0.00 0 0
1800.04/1800.51 c localbranching : 0.00 0 0
1800.04/1800.51 c mutation : 0.00 0 0
1800.04/1800.51 c crossover : 0.00 0 0
1800.04/1800.51 c dins : 0.00 0 0
1800.04/1800.51 c undercover : 0.00 0 0
1800.04/1800.51 c nlp : 0.00 0 0
1800.04/1800.51 c trysol : 0.00 0 0
1800.04/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.51 c (at root node) : - 0 0 0.00 -
1800.04/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.51 c B&B Tree :
1800.04/1800.51 c number of runs : 1
1800.04/1800.51 c nodes : 662119
1800.04/1800.51 c nodes (total) : 662119
1800.04/1800.51 c nodes left : 281317
1800.04/1800.51 c max depth : 91
1800.04/1800.51 c max depth (total): 91
1800.04/1800.51 c backtracks : 134056 (20.2%)
1800.04/1800.51 c delayed cutoffs : 106635
1800.04/1800.51 c repropagations : 393821 (5299464 domain reductions, 97001 cutoffs)
1800.04/1800.51 c avg switch length: 12.23
1800.04/1800.51 c switching time : 484.75
1800.04/1800.51 c Solution :
1800.04/1800.51 c Solutions found : 0 (0 improvements)
1800.04/1800.51 c Primal Bound : -
1800.04/1800.51 c Dual Bound : +0.00000000000000e+00
1800.04/1800.51 c Gap : infinite
1800.04/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.51 c Root Iterations : 0
1801.23/1801.73 c Time complete: 1801.27.
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-2664401-1276291109/watcher-2664401-1276291109 -o /tmp/evaluation-result-2664401-1276291109/solver-2664401-1276291109 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664401-1276291109.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.02 1.00 3/106 6553 /proc/meminfo: memFree=1553636/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=6584 CPUtime=0 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 994 0 0 0 0 0 0 0 24 0 1 0 4697282 6742016 916 1992294400 4194304 7136930 140734624660928 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6553/statm: 1646 926 254 719 0 925 0 [startup+0.075997 s] /proc/loadavg: 1.07 1.02 1.00 3/106 6553 /proc/meminfo: memFree=1553636/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=14464 CPUtime=0.06 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 3262 0 0 0 5 1 0 0 24 0 1 0 4697282 14811136 2830 1992294400 4194304 7136930 140734624660928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 3616 2830 337 719 0 2895 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14464 [startup+0.101002 s] /proc/loadavg: 1.07 1.02 1.00 3/106 6553 /proc/meminfo: memFree=1553636/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=14760 CPUtime=0.09 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 3612 0 0 0 7 2 0 0 24 0 1 0 4697282 15114240 2923 1992294400 4194304 7136930 140734624660928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 3690 2923 345 719 0 2969 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14760 [startup+0.301018 s] /proc/loadavg: 1.07 1.02 1.00 3/106 6553 /proc/meminfo: memFree=1553636/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=17052 CPUtime=0.29 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 6813 0 0 0 26 3 0 0 24 0 1 0 4697282 17461248 3554 1992294400 4194304 7136930 140734624660928 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 4263 3554 391 719 0 3542 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17052 [startup+0.701058 s] /proc/loadavg: 1.07 1.02 1.00 3/106 6553 /proc/meminfo: memFree=1553636/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=17980 CPUtime=0.69 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 7038 0 0 0 64 5 0 0 25 0 1 0 4697282 18411520 3779 1992294400 4194304 7136930 140734624660928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 4495 3779 391 719 0 3774 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17980 [startup+1.50114 s] /proc/loadavg: 1.07 1.02 1.00 2/107 6554 /proc/meminfo: memFree=1539368/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=19120 CPUtime=1.49 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 7337 0 0 0 140 9 0 0 25 0 1 0 4697282 19578880 4078 1992294400 4194304 7136930 140734624660928 18446744073709551615 4414501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 4780 4078 391 719 0 4059 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19120 [startup+3.1013 s] /proc/loadavg: 1.06 1.02 1.00 2/107 6554 /proc/meminfo: memFree=1537260/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=21600 CPUtime=3.09 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 7965 0 0 0 290 19 0 0 25 0 1 0 4697282 22118400 4706 1992294400 4194304 7136930 140734624660928 18446744073709551615 4653015 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 5400 4706 391 719 0 4679 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21600 [startup+6.30161 s] /proc/loadavg: 1.06 1.02 1.00 2/107 6554 /proc/meminfo: memFree=1532672/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=25592 CPUtime=6.29 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 8956 0 0 0 597 32 0 0 25 0 1 0 4697282 26206208 5697 1992294400 4194304 7136930 140734624660928 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 6398 5697 391 719 0 5677 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25592 [startup+12.7012 s] /proc/loadavg: 1.05 1.02 1.00 2/107 6554 /proc/meminfo: memFree=1525976/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=32124 CPUtime=12.69 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 10626 0 0 0 1209 60 0 0 25 0 1 0 4697282 32894976 7367 1992294400 4194304 7136930 140734624660928 18446744073709551615 5001215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 8031 7367 391 719 0 7310 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32124 [startup+25.5005 s] /proc/loadavg: 1.04 1.02 1.00 2/107 6554 /proc/meminfo: memFree=1513204/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=44088 CPUtime=25.48 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 13656 0 0 0 2437 111 0 0 25 0 1 0 4697282 45146112 10397 1992294400 4194304 7136930 140734624660928 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 11022 10397 391 719 0 10301 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44088 [startup+51.1011 s] /proc/loadavg: 1.03 1.02 1.00 2/107 6556 /proc/meminfo: memFree=1495100/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=61900 CPUtime=51.08 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 18159 0 0 0 4918 190 0 0 25 0 1 0 4697282 63385600 14900 1992294400 4194304 7136930 140734624660928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 15475 14900 391 719 0 14754 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 61900 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 6556 /proc/meminfo: memFree=1472532/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=86028 CPUtime=102.27 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 23711 0 0 0 9940 287 0 0 25 0 1 0 4697282 88092672 20452 1992294400 4194304 7136930 140734624660928 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 21507 20452 391 719 0 20786 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 86028 [startup+162.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6558 /proc/meminfo: memFree=1445624/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=112984 CPUtime=162.25 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 30522 0 0 0 15807 418 0 0 25 0 1 0 4697282 115695616 27263 1992294400 4194304 7136930 140734624660928 18446744073709551615 4210584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 28246 27263 391 719 0 27525 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 112984 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6560 /proc/meminfo: memFree=1422808/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=135012 CPUtime=222.24 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 36101 0 0 0 21697 527 0 0 25 0 1 0 4697282 138252288 32842 1992294400 4194304 7136930 140734624660928 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 33753 32842 391 719 0 33032 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 135012 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6562 /proc/meminfo: memFree=1405820/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=151756 CPUtime=282.22 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 40352 0 0 0 27592 630 0 0 25 0 1 0 4697282 155398144 37093 1992294400 4194304 7136930 140734624660928 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 37939 37093 391 719 0 37218 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 151756 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6562 /proc/meminfo: memFree=1387840/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=169296 CPUtime=342.21 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 44785 0 0 0 33491 730 0 0 25 0 1 0 4697282 173359104 41526 1992294400 4194304 7136930 140734624660928 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 42324 41526 391 719 0 41603 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 169296 [startup+402.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 6564 /proc/meminfo: memFree=1374076/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=183904 CPUtime=402.18 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 48416 0 0 0 39403 815 0 0 25 0 1 0 4697282 188317696 45157 1992294400 4194304 7136930 140734624660928 18446744073709551615 4431915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 45976 45157 391 719 0 45255 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 183904 [startup+462.301 s] /proc/loadavg: 1.05 1.02 1.00 2/107 6566 /proc/meminfo: memFree=1358948/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=199072 CPUtime=462.17 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 52254 0 0 0 45323 894 0 0 25 0 1 0 4697282 203849728 48995 1992294400 4194304 7136930 140734624660928 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 49768 48995 391 719 0 49047 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 199072 [startup+522.301 s] /proc/loadavg: 1.05 1.03 1.00 2/107 6568 /proc/meminfo: memFree=1344316/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=212612 CPUtime=522.15 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 55615 0 0 0 51251 964 0 0 25 0 1 0 4697282 217714688 52356 1992294400 4194304 7136930 140734624660928 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 53153 52356 391 719 0 52432 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 212612 [startup+582.301 s] /proc/loadavg: 1.12 1.05 1.00 2/107 6570 /proc/meminfo: memFree=1334520/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=222280 CPUtime=582.14 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 58046 0 0 0 57187 1027 0 0 25 0 1 0 4697282 227614720 54787 1992294400 4194304 7136930 140734624660928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 55570 54787 391 719 0 54849 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 222280 [startup+642.301 s] /proc/loadavg: 1.11 1.06 1.00 2/107 6570 /proc/meminfo: memFree=1326088/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=234808 CPUtime=642.14 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 60130 0 0 0 63123 1091 0 0 25 0 1 0 4697282 240443392 56871 1992294400 4194304 7136930 140734624660928 18446744073709551615 4679120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 58702 56871 391 719 0 57981 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 234808 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6582 /proc/meminfo: memFree=1278968/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=281824 CPUtime=1062.02 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 71802 0 0 0 104717 1485 0 0 25 0 1 0 4697282 288587776 68543 1992294400 4194304 7136930 140734624660928 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 70456 68543 391 719 0 69735 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 281824 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6584 /proc/meminfo: memFree=1264212/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=296428 CPUtime=1122 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 75446 0 0 0 110656 1544 0 0 25 0 1 0 4697282 303542272 72187 1992294400 4194304 7136930 140734624660928 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 74107 72187 391 719 0 73386 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 296428 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6586 /proc/meminfo: memFree=1252060/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=308420 CPUtime=1181.99 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 78461 0 0 0 116593 1606 0 0 25 0 1 0 4697282 315822080 75202 1992294400 4194304 7136930 140734624660928 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 77105 75202 391 719 0 76384 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 308420 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6586 /proc/meminfo: memFree=1243504/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=316980 CPUtime=1241.98 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 80574 0 0 0 122537 1661 0 0 25 0 1 0 4697282 324587520 77315 1992294400 4194304 7136930 140734624660928 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 79245 77315 391 719 0 78524 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 316980 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6588 /proc/meminfo: memFree=1234700/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=325672 CPUtime=1301.96 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 82733 0 0 0 128479 1717 0 0 25 0 1 0 4697282 333488128 79474 1992294400 4194304 7136930 140734624660928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 81418 79474 391 719 0 80697 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 325672 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6590 /proc/meminfo: memFree=1227632/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=332740 CPUtime=1361.94 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 84518 0 0 0 134425 1769 0 0 25 0 1 0 4697282 340725760 81259 1992294400 4194304 7136930 140734624660928 18446744073709551615 5004421 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 83185 81259 391 719 0 82464 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 332740 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6592 /proc/meminfo: memFree=1219820/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=340980 CPUtime=1421.93 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 86473 0 0 0 140379 1814 0 0 25 0 1 0 4697282 349163520 83214 1992294400 4194304 7136930 140734624660928 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 85245 83214 391 719 0 84524 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 340980 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6594 /proc/meminfo: memFree=1210644/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=350588 CPUtime=1481.91 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 88746 0 0 0 146339 1852 0 0 25 0 1 0 4697282 359002112 85487 1992294400 4194304 7136930 140734624660928 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 87647 85487 391 719 0 86926 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 350588 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6594 /proc/meminfo: memFree=1204568/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=356452 CPUtime=1541.9 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 90226 0 0 0 152296 1894 0 0 25 0 1 0 4697282 365006848 86967 1992294400 4194304 7136930 140734624660928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 89113 86967 391 719 0 88392 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 356452 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6596 /proc/meminfo: memFree=1196880/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=364140 CPUtime=1601.88 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 92179 0 0 0 158256 1932 0 0 25 0 1 0 4697282 372879360 88920 1992294400 4194304 7136930 140734624660928 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 91035 88920 391 719 0 90314 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 364140 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6598 /proc/meminfo: memFree=1194276/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=366568 CPUtime=1661.86 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 92797 0 0 0 164214 1972 0 0 25 0 1 0 4697282 375365632 89538 1992294400 4194304 7136930 140734624660928 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 91642 89538 391 719 0 90921 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 366568 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6600 /proc/meminfo: memFree=1189316/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=371564 CPUtime=1721.85 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 94029 0 0 0 170178 2007 0 0 25 0 1 0 4697282 380481536 90770 1992294400 4194304 7136930 140734624660928 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 92891 90770 391 719 0 92170 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 371564 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6602 /proc/meminfo: memFree=1181876/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=378556 CPUtime=1781.83 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 95805 0 0 0 176136 2047 0 0 25 0 1 0 4697282 387641344 92546 1992294400 4194304 7136930 140734624660928 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 94639 92546 391 719 0 93918 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 378556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6602 /proc/meminfo: memFree=1180016/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=380472 CPUtime=1800.04 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 96289 0 0 0 177945 2059 0 0 25 0 1 0 4697282 389603328 93030 1992294400 4194304 7136930 140734624660928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 95118 93030 391 719 0 94397 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 380472 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6603 /proc/meminfo: memFree=1179884/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=380568 CPUtime=1800.15 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 96323 0 0 0 177956 2059 0 0 25 0 1 0 4697282 389701632 93064 1992294400 4194304 7136930 140734624660928 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6553/statm: 95142 93064 396 719 0 94421 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 380568 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6603 /proc/meminfo: memFree=1179884/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=380568 CPUtime=1800.93 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 96323 0 0 0 178034 2059 0 0 25 0 1 0 4697282 389701632 93064 1992294400 4194304 7136930 140734624660928 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6553/statm: 95142 93064 396 719 0 94421 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 380568 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6603 /proc/meminfo: memFree=1179884/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=364316 CPUtime=1801.13 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 96323 0 0 0 178054 2059 0 0 25 0 1 0 4697282 373059584 88745 1992294400 4194304 7136930 140734624660928 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6553/statm: 90823 88489 396 719 0 90102 0 Current children cumulated CPU time (s) 1801.13 Current children cumulated vsize (KiB) 364316 [startup+1801.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6603 /proc/meminfo: memFree=1278344/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=233868 CPUtime=1801.23 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5527 0 -1 4202496 96323 0 0 0 178063 2060 0 0 25 0 1 0 4697282 239480832 56893 1992294400 4194304 7136930 140734624660928 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6553/statm: 58211 56893 396 719 0 57490 0 Current children cumulated CPU time (s) 1801.23 Current children cumulated vsize (KiB) 233868 Child status: 0 Real time (s): 1801.74 CPU time (s): 1801.28 CPU user time (s): 1780.64 CPU system time (s): 20.6349 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 380568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.64 system time used= 20.6349 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96330 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= 2 involuntary context switches= 5313 runsolver used 2.94355 second user time and 8.5517 second system time The end
Begin job on node017 at 2010-06-11 23:18:29 IDJOB=2664401 IDBENCH=1300 IDSOLVER=1167 FILE ID=node017/2664401-1276291109 PBS_JOBID= 11173110 Free space on /tmp= 62348 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.1900583053.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-2664401-1276291109/watcher-2664401-1276291109 -o /tmp/evaluation-result-2664401-1276291109/solver-2664401-1276291109 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664401-1276291109.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f6db72fa29ffa9d071020a030f71e7d0 RANDOM SEED=340346731 node017.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.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1554288 kB Buffers: 65360 kB Cached: 311312 kB SwapCached: 0 kB Active: 175272 kB Inactive: 261948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1554288 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3240 kB Writeback: 0 kB AnonPages: 60564 kB Mapped: 15392 kB Slab: 45956 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184232 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= 62344 MiB End job on node017 at 2010-06-11 23:48:31