| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT | 1477.54 | 1478.08 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb |
| MD5SUM | 851f60b4bba13dc8ad4e48be942c1c37 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 2.14067 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| 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 | 695 |
| 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-2664444-1276306917.opb>
0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.06 c problem read
0.00/0.06 c No objective function, only one solution is needed.
0.00/0.06 c presolving settings loaded
0.00/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.06
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.95
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.01 c 3.7s| 10000 | 8228 | 0 | 0.0 |6916k| 104 | - | 231 |4351 | 0 | 0 | 0 |2489 | 0 | 0.000000e+00 | -- | Inf
9.59/9.66 c 9.1s| 20000 | 14907 | 0 | 0.0 | 11M| 104 | - | 231 |5391 | 0 | 0 | 0 |7286 | 0 | 0.000000e+00 | -- | Inf
14.99/15.03 c 14.2s| 30000 | 22394 | 0 | 0.0 | 15M| 104 | - | 231 |6044 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
21.38/21.47 c 20.4s| 40000 | 29355 | 0 | 0.0 | 20M| 104 | - | 231 |6953 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
29.08/29.10 c 27.8s| 50000 | 35812 | 0 | 0.0 | 25M| 104 | - | 231 |7849 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
37.98/38.00 c 36.5s| 60000 | 41720 | 0 | 0.0 | 30M| 104 | - | 231 |8864 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
48.18/48.22 c 46.4s| 70000 | 47194 | 0 | 0.0 | 35M| 104 | - | 231 |9798 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
60.18/60.28 c 58.2s| 80000 | 52106 | 0 | 0.0 | 39M| 104 | - | 231 | 10k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
74.27/74.34 c 71.9s| 90000 | 56379 | 0 | 0.0 | 44M| 104 | - | 231 | 11k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
90.47/90.54 c 87.7s|100000 | 60149 | 0 | 0.0 | 48M| 104 | - | 231 | 11k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
106.16/106.23 c 103s|110000 | 64068 | 0 | 0.0 | 52M| 104 | - | 231 | 10k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
115.66/115.72 c 112s|120000 | 71187 | 0 | 0.0 | 57M| 104 | - | 231 | 10k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
126.36/126.40 c 123s|130000 | 77814 | 0 | 0.0 | 62M| 104 | - | 231 | 11k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
137.96/138.03 c 134s|140000 | 84301 | 0 | 0.0 | 66M| 104 | - | 231 | 12k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
150.66/150.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.66/150.73 c 147s|150000 | 90488 | 0 | 0.0 | 71M| 104 | - | 231 | 13k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
163.86/163.94 c 159s|160000 | 96583 | 0 | 0.0 | 76M| 104 | - | 231 | 13k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
178.15/178.22 c 173s|170000 |102450 | 0 | 0.0 | 81M| 104 | - | 231 | 14k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
193.04/193.10 c 188s|180000 |108183 | 0 | 0.0 | 85M| 104 | - | 231 | 14k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
212.44/212.55 c 207s|190000 |112375 | 0 | 0.0 | 91M| 104 | - | 231 | 15k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
233.83/233.91 c 228s|200000 |116297 | 0 | 0.0 | 96M| 104 | - | 231 | 16k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
255.73/255.87 c 250s|210000 |120327 | 0 | 0.0 | 101M| 104 | - | 231 | 17k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
280.01/280.19 c 274s|220000 |123931 | 0 | 0.0 | 106M| 104 | - | 231 | 18k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
306.01/306.14 c 299s|230000 |127127 | 0 | 0.0 | 110M| 104 | - | 231 | 18k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
332.41/332.50 c 326s|240000 |130176 | 0 | 0.0 | 115M| 104 | - | 231 | 18k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
359.61/359.79 c 352s|250000 |133112 | 0 | 0.0 | 120M| 104 | - | 231 | 19k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
388.20/388.31 c 381s|260000 |135874 | 0 | 0.0 | 125M| 104 | - | 231 | 19k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
417.39/417.57 c 410s|270000 |138529 | 0 | 0.0 | 129M| 104 | - | 231 | 19k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
447.77/447.93 c 440s|280000 |140900 | 0 | 0.0 | 133M| 104 | - | 231 | 19k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
478.67/478.81 c 470s|290000 |143299 | 0 | 0.0 | 137M| 104 | - | 231 | 19k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
510.35/510.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.35/510.52 c 501s|300000 |145566 | 0 | 0.0 | 141M| 104 | - | 231 | 20k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
544.65/544.84 c 535s|310000 |147358 | 0 | 0.0 | 145M| 104 | - | 231 | 20k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
578.04/578.24 c 568s|320000 |149359 | 0 | 0.0 | 149M| 104 | - | 231 | 20k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
613.63/613.86 c 604s|330000 |150868 | 0 | 0.0 | 152M| 104 | - | 231 | 20k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
650.12/650.39 c 640s|340000 |152362 | 0 | 0.0 | 156M| 104 | - | 231 | 20k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
687.32/687.56 c 677s|350000 |153792 | 0 | 0.0 | 159M| 104 | - | 231 | 20k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
726.11/726.38 c 715s|360000 |154943 | 0 | 0.0 | 163M| 104 | - | 231 | 20k| 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
768.29/768.54 c 757s|370000 |154779 | 0 | 0.0 | 165M| 104 | - | 231 | 20k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
804.19/804.45 c 792s|380000 |156002 | 0 | 0.0 | 167M| 104 | - | 231 | 18k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
827.08/827.34 c 815s|390000 |161104 | 0 | 0.0 | 172M| 104 | - | 231 | 18k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
851.47/851.79 c 839s|400000 |165927 | 0 | 0.0 | 177M| 104 | - | 231 | 19k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
876.27/876.52 c 863s|410000 |170848 | 0 | 0.0 | 182M| 104 | - | 231 | 20k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
904.36/904.62 c 891s|420000 |175150 | 0 | 0.0 | 187M| 104 | - | 231 | 21k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
935.24/935.51 c 922s|430000 |179023 | 0 | 0.0 | 192M| 104 | - | 231 | 22k| 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
970.54/970.84 c 957s|440000 |182169 | 0 | 0.0 | 197M| 104 | - | 231 | 23k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1008.13/1008.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.13/1008.41 c 994s|450000 |184919 | 0 | 0.0 | 202M| 104 | - | 231 | 24k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1046.43/1046.72 c 1032s|460000 |187800 | 0 | 0.0 | 207M| 104 | - | 231 | 25k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1089.82/1090.15 c 1075s|470000 |189963 | 0 | 0.0 | 212M| 104 | - | 231 | 26k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1131.10/1131.46 c 1116s|480000 |192539 | 0 | 0.0 | 217M| 104 | - | 231 | 27k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1178.37/1178.76 c 1163s|490000 |194464 | 0 | 0.0 | 222M| 104 | - | 231 | 28k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1223.83/1224.35 c 1208s|500000 |196537 | 0 | 0.0 | 227M| 104 | - | 231 | 29k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1274.70/1275.22 c 1258s|510000 |198028 | 0 | 0.0 | 231M| 104 | - | 231 | 30k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
1321.79/1322.36 c 1305s|520000 |199963 | 0 | 0.0 | 236M| 104 | - | 231 | 31k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1377.18/1377.77 c 1360s|530000 |201197 | 0 | 0.0 | 240M| 104 | - | 231 | 32k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1427.36/1427.92 c 1410s|540000 |202983 | 0 | 0.0 | 244M| 104 | - | 231 | 33k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1477.35/1477.94 c *1460s|548035 | 0 | 0 | 0.0 | 15M| 104 | - | 231 | 33k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 0.000000e+00 | 0.00%
1477.35/1477.95 c
1477.35/1477.95 c SCIP Status : problem is solved [optimal solution found]
1477.35/1477.95 c Solving Time (sec) : 1459.58
1477.35/1477.95 c Solving Nodes : 548035
1477.35/1477.95 c Primal Bound : +0.00000000000000e+00 (1 solutions)
1477.35/1477.95 c Dual Bound : +0.00000000000000e+00
1477.35/1477.95 c Gap : 0.00 %
1477.35/1477.95 s SATISFIABLE
1477.35/1477.95 v -x221 -x211 -x201 -x191 -x181 -x171 -x161 x151 -x141 -x131 -x231 x210 -x200 -x190 -x180 -x170 -x160 -x150 -x140 -x130 -x230 -x220
1477.35/1477.95 v -x199 x189 -x179 -x169 -x159 -x149 -x139 -x129 -x229 -x219 -x209 -x188 -x178 -x168 -x158 -x148 x138 -x128 -x228 -x218 -x208
1477.35/1477.95 v -x198 x177 -x167 -x157 -x147 -x137 -x127 -x227 -x217 -x207 -x197 -x187 -x166 x156 -x146 -x136 -x126 -x226 -x216 -x206 -x196
1477.35/1477.95 v -x186 -x176 -x155 -x145 -x135 x125 -x225 -x215 -x205 -x195 -x185 -x175 x165 -x144 -x134 -x124 -x224 x214 -x204 -x194 -x184 -x174
1477.35/1477.95 v -x164 -x154 -x133 -x123 x223 -x213 -x203 -x193 -x183 -x173 -x163 -x153 -x143 -x122 -x222 -x212 -x202 x192 -x182 -x172 -x162
1477.35/1477.95 v -x152 -x142 -x132 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1477.35/1477.95 v -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1477.35/1477.95 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54
1477.35/1477.95 v -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 x30 -x29
1477.35/1477.95 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 x11 -x21 -x10 -x20 -x9 -x19 -x8 -x18 -x7 -x17 -x6 -x16 -x5 -x15 -x4 -x14 -x3 x13 -x2 -x12
1477.35/1477.95 v -x1
1477.35/1477.95 c SCIP Status : problem is solved [optimal solution found]
1477.35/1477.95 c Solving Time : 1459.58
1477.35/1477.95 c Original Problem :
1477.35/1477.95 c Problem name : HOME/instance-2664444-1276306917.opb
1477.35/1477.95 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1477.35/1477.95 c Constraints : 2707 initial, 2707 maximal
1477.35/1477.95 c Presolved Problem :
1477.35/1477.95 c Problem name : t_HOME/instance-2664444-1276306917.opb
1477.35/1477.95 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1477.35/1477.95 c Constraints : 2564 initial, 33813 maximal
1477.35/1477.95 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1477.35/1477.95 c trivial : 0.00 0 0 0 0 0 0 0 0
1477.35/1477.95 c dualfix : 0.00 0 0 0 0 0 0 0 0
1477.35/1477.95 c boundshift : 0.00 0 0 0 0 0 0 0 0
1477.35/1477.95 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1477.35/1477.95 c implics : 0.00 0 0 0 0 0 0 0 0
1477.35/1477.95 c probing : 0.00 0 0 0 0 0 0 0 0
1477.35/1477.95 c knapsack : 0.00 0 0 0 0 0 0 0 0
1477.35/1477.95 c setppc : 0.01 0 0 0 0 0 0 0 0
1477.35/1477.95 c linear : 0.03 0 0 0 0 0 143 0 0
1477.35/1477.95 c logicor : 0.02 0 0 0 0 0 0 0 0
1477.35/1477.95 c root node : - 0 - - 0 - - - -
1477.35/1477.95 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1477.35/1477.95 c integral : 0 0 0 0 0 0 0 0 0 0
1477.35/1477.95 c knapsack : 1 0 1838087 0 423552 66252 5703994 0 0 0
1477.35/1477.95 c setppc : 22 0 1784025 0 423552 81983 2402067 0 0 0
1477.35/1477.95 c logicor : 2541+ 0 1432624 0 423553 61222 6064278 0 0 0
1477.35/1477.95 c countsols : 0 0 0 0 423553 0 0 0 0 0
1477.35/1477.95 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1477.35/1477.95 c integral : 0.00 0.00 0.00 0.00 0.00
1477.35/1477.95 c knapsack : 43.62 0.00 40.88 0.00 2.74
1477.35/1477.95 c setppc : 32.46 0.00 26.36 0.00 6.10
1477.35/1477.95 c logicor : 761.24 0.00 708.78 0.00 52.46
1477.35/1477.95 c countsols : 0.20 0.00 0.00 0.00 0.20
1477.35/1477.95 c Propagators : Time Calls Cutoffs DomReds
1477.35/1477.95 c vbounds : 1.25 1 0 0
1477.35/1477.95 c rootredcost : 0.93 0 0 0
1477.35/1477.95 c pseudoobj : 0.83 0 0 0
1477.35/1477.95 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1477.35/1477.95 c propagation : 12.86 209457 209420 965556 17.1 4870 19.1 -
1477.35/1477.95 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1477.35/1477.95 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1477.35/1477.95 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1477.35/1477.95 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1477.35/1477.95 c applied globally : - - - 460107 13.7 - - -
1477.35/1477.95 c applied locally : - - - 2016 35.4 - - -
1477.35/1477.95 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1477.35/1477.95 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1477.35/1477.95 c redcost : 0.00 0 0 0 0 0
1477.35/1477.95 c impliedbounds : 0.00 0 0 0 0 0
1477.35/1477.95 c intobj : 0.00 0 0 0 0 0
1477.35/1477.95 c cgmip : 0.00 0 0 0 0 0
1477.35/1477.95 c gomory : 0.00 0 0 0 0 0
1477.35/1477.95 c strongcg : 0.00 0 0 0 0 0
1477.35/1477.95 c cmir : 0.00 0 0 0 0 0
1477.35/1477.95 c flowcover : 0.00 0 0 0 0 0
1477.35/1477.95 c clique : 0.00 0 0 0 0 0
1477.35/1477.95 c zerohalf : 0.00 0 0 0 0 0
1477.35/1477.95 c mcf : 0.00 0 0 0 0 0
1477.35/1477.95 c rapidlearning : 0.00 0 0 0 0 0
1477.35/1477.95 c Pricers : Time Calls Vars
1477.35/1477.95 c problem variables: 0.00 0 0
1477.35/1477.95 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1477.35/1477.95 c relpscost : 0.00 0 0 0 0 0 0
1477.35/1477.95 c pscost : 0.00 0 0 0 0 0 0
1477.35/1477.95 c inference : 12.01 423552 0 0 0 0 847104
1477.35/1477.95 c mostinf : 0.00 0 0 0 0 0 0
1477.35/1477.95 c leastinf : 0.00 0 0 0 0 0 0
1477.35/1477.95 c fullstrong : 0.00 0 0 0 0 0 0
1477.35/1477.95 c allfullstrong : 0.00 0 0 0 0 0 0
1477.35/1477.95 c random : 0.00 0 0 0 0 0 0
1477.35/1477.95 c Primal Heuristics : Time Calls Found
1477.35/1477.95 c LP solutions : 0.00 - 0
1477.35/1477.95 c pseudo solutions : 0.91 - 1
1477.35/1477.95 c trivial : 0.00 1 0
1477.35/1477.95 c simplerounding : 0.00 0 0
1477.35/1477.95 c zirounding : 0.00 0 0
1477.35/1477.95 c rounding : 0.00 0 0
1477.35/1477.95 c shifting : 0.00 0 0
1477.35/1477.95 c intshifting : 0.00 0 0
1477.35/1477.95 c oneopt : 0.00 0 0
1477.35/1477.95 c twoopt : 0.00 0 0
1477.35/1477.95 c fixandinfer : 0.00 0 0
1477.35/1477.95 c feaspump : 0.00 0 0
1477.35/1477.95 c coefdiving : 0.00 0 0
1477.35/1477.95 c pscostdiving : 0.00 0 0
1477.35/1477.95 c fracdiving : 0.00 0 0
1477.35/1477.95 c veclendiving : 0.00 0 0
1477.35/1477.95 c intdiving : 0.00 0 0
1477.35/1477.95 c actconsdiving : 0.00 0 0
1477.35/1477.95 c objpscostdiving : 0.00 0 0
1477.35/1477.95 c rootsoldiving : 0.00 0 0
1477.35/1477.95 c linesearchdiving : 0.00 0 0
1477.35/1477.95 c guideddiving : 0.00 0 0
1477.35/1477.95 c octane : 0.00 0 0
1477.35/1477.95 c rens : 0.00 0 0
1477.35/1477.95 c rins : 0.00 0 0
1477.35/1477.95 c localbranching : 0.00 0 0
1477.35/1477.95 c mutation : 0.00 0 0
1477.35/1477.95 c crossover : 0.00 0 0
1477.35/1477.95 c dins : 0.00 0 0
1477.35/1477.95 c undercover : 0.00 0 0
1477.35/1477.95 c nlp : 0.00 0 0
1477.35/1477.95 c trysol : 0.00 0 0
1477.35/1477.95 c LP : Time Calls Iterations Iter/call Iter/sec
1477.35/1477.95 c primal LP : 0.00 0 0 0.00 -
1477.35/1477.95 c dual LP : 0.00 0 0 0.00 -
1477.35/1477.95 c lex dual LP : 0.00 0 0 0.00 -
1477.35/1477.95 c barrier LP : 0.00 0 0 0.00 -
1477.35/1477.95 c diving/probing LP: 0.00 0 0 0.00 -
1477.35/1477.95 c strong branching : 0.00 0 0 0.00 -
1477.35/1477.95 c (at root node) : - 0 0 0.00 -
1477.35/1477.95 c conflict analysis: 0.00 0 0 0.00 -
1477.35/1477.95 c B&B Tree :
1477.35/1477.95 c number of runs : 1
1477.35/1477.95 c nodes : 548035
1477.35/1477.95 c nodes (total) : 548035
1477.35/1477.95 c nodes left : 0
1477.35/1477.95 c max depth : 104
1477.35/1477.95 c max depth (total): 104
1477.35/1477.95 c backtracks : 124591 (22.7%)
1477.35/1477.95 c delayed cutoffs : 95561
1477.35/1477.95 c repropagations : 387361 (4753359 domain reductions, 84975 cutoffs)
1477.35/1477.95 c avg switch length: 13.26
1477.35/1477.95 c switching time : 394.05
1477.35/1477.95 c Solution :
1477.35/1477.95 c Solutions found : 1 (1 improvements)
1477.35/1477.95 c First Solution : +0.00000000000000e+00 (in run 1, after 548035 nodes, 1458.65 seconds, depth 37, found by <relaxation>)
1477.35/1477.95 c Primal Bound : +0.00000000000000e+00 (in run 1, after 548035 nodes, 1458.65 seconds, depth 37, found by <relaxation>)
1477.35/1477.95 c Dual Bound : +0.00000000000000e+00
1477.35/1477.95 c Gap : 0.00 %
1477.35/1477.95 c Root Dual Bound : +0.00000000000000e+00
1477.35/1477.95 c Root Iterations : 0
1477.45/1478.07 c Time complete: 1477.52.
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664444-1276306917/watcher-2664444-1276306917 -o /tmp/evaluation-result-2664444-1276306917/solver-2664444-1276306917 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664444-1276306917.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.17 1.74 1.66 3/106 7945 /proc/meminfo: memFree=1536228/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=6584 CPUtime=0 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 1007 0 0 0 0 0 0 0 20 0 1 0 6278072 6742016 930 1992294400 4194304 7136930 140737427388464 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7945/statm: 1646 940 254 719 0 925 0 [startup+0.074689 s] /proc/loadavg: 1.17 1.74 1.66 3/106 7945 /proc/meminfo: memFree=1536228/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=14472 CPUtime=0.06 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 3263 0 0 0 6 0 0 0 20 0 1 0 6278072 14819328 2832 1992294400 4194304 7136930 140737427388464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 3618 2832 337 719 0 2897 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14472 [startup+0.10169 s] /proc/loadavg: 1.17 1.74 1.66 3/106 7945 /proc/meminfo: memFree=1536228/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=14768 CPUtime=0.09 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 3592 0 0 0 9 0 0 0 20 0 1 0 6278072 15122432 2904 1992294400 4194304 7136930 140737427388464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 3692 2904 345 719 0 2971 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14768 [startup+0.30171 s] /proc/loadavg: 1.17 1.74 1.66 3/106 7945 /proc/meminfo: memFree=1536228/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=17088 CPUtime=0.29 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 6814 0 0 0 27 2 0 0 20 0 1 0 6278072 17498112 3556 1992294400 4194304 7136930 140737427388464 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 4272 3556 391 719 0 3551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17088 [startup+0.701751 s] /proc/loadavg: 1.17 1.74 1.66 3/106 7945 /proc/meminfo: memFree=1536228/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=18020 CPUtime=0.69 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 7030 0 0 0 65 4 0 0 21 0 1 0 6278072 18452480 3772 1992294400 4194304 7136930 140737427388464 18446744073709551615 5005201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 4505 3772 391 719 0 3784 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18020 [startup+1.50183 s] /proc/loadavg: 1.17 1.74 1.66 2/107 7946 /proc/meminfo: memFree=1521712/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=19108 CPUtime=1.49 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 7329 0 0 0 140 9 0 0 23 0 1 0 6278072 19566592 4071 1992294400 4194304 7136930 140737427388464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 4777 4071 391 719 0 4056 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19108 [startup+3.102 s] /proc/loadavg: 1.17 1.74 1.66 2/107 7946 /proc/meminfo: memFree=1519480/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=21336 CPUtime=3.09 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 7900 0 0 0 290 19 0 0 25 0 1 0 6278072 21848064 4642 1992294400 4194304 7136930 140737427388464 18446744073709551615 4221013 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 5334 4642 391 719 0 4613 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21336 [startup+6.30133 s] /proc/loadavg: 1.15 1.73 1.66 2/107 7946 /proc/meminfo: memFree=1515512/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=24880 CPUtime=6.29 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 8784 0 0 0 593 36 0 0 25 0 1 0 6278072 25477120 5526 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 6220 5526 391 719 0 5499 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24880 [startup+12.701 s] /proc/loadavg: 1.14 1.72 1.66 2/107 7946 /proc/meminfo: memFree=1508940/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=31624 CPUtime=12.68 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 10494 0 0 0 1205 63 0 0 25 0 1 0 6278072 32382976 7236 1992294400 4194304 7136930 140737427388464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 7906 7236 391 719 0 7185 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31624 [startup+25.5013 s] /proc/loadavg: 1.11 1.68 1.64 2/107 7946 /proc/meminfo: memFree=1496540/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=43396 CPUtime=25.49 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 13479 0 0 0 2436 113 0 0 25 0 1 0 6278072 44437504 10221 1992294400 4194304 7136930 140737427388464 18446744073709551615 4210307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 10849 10221 391 719 0 10128 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43396 [startup+51.1009 s] /proc/loadavg: 1.07 1.63 1.63 2/107 7946 /proc/meminfo: memFree=1481412/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=59144 CPUtime=51.08 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 17450 0 0 0 4926 182 0 0 25 0 1 0 6278072 60563456 14192 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 14786 14192 391 719 0 14065 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 59144 [startup+102.308 s] /proc/loadavg: 1.03 1.53 1.59 3/107 7948 /proc/meminfo: memFree=1459216/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=80012 CPUtime=102.27 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 22686 0 0 0 9933 294 0 0 25 0 1 0 6278072 81932288 19428 1992294400 4194304 7136930 140737427388464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 20003 19428 391 719 0 19282 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 80012 [startup+162.301 s] /proc/loadavg: 1.01 1.43 1.55 2/107 7950 /proc/meminfo: memFree=1434664/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=106648 CPUtime=162.25 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 28951 0 0 0 15794 431 0 0 25 0 1 0 6278072 109207552 25693 1992294400 4194304 7136930 140737427388464 18446744073709551615 4223090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 26662 25693 391 719 0 25941 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 106648 [startup+222.301 s] /proc/loadavg: 1.00 1.35 1.51 2/107 7952 /proc/meminfo: memFree=1410236/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=130388 CPUtime=222.23 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 34881 0 0 0 21693 530 0 0 25 0 1 0 6278072 133517312 31623 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 32597 31623 391 719 0 31876 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 130388 [startup+282.302 s] /proc/loadavg: 1.00 1.28 1.48 2/107 7952 /proc/meminfo: memFree=1394860/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=146460 CPUtime=282.22 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 38898 0 0 0 27605 617 0 0 25 0 1 0 6278072 149975040 35640 1992294400 4194304 7136930 140737427388464 18446744073709551615 4210595 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 36615 35640 391 719 0 35894 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 146460 [startup+342.302 s] /proc/loadavg: 1.00 1.23 1.45 2/107 7954 /proc/meminfo: memFree=1382460/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=158084 CPUtime=342.21 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 41777 0 0 0 33527 694 0 0 25 0 1 0 6278072 161878016 38519 1992294400 4194304 7136930 140737427388464 18446744073709551615 4854173 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 39521 38519 391 719 0 38800 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 158084 [startup+402.301 s] /proc/loadavg: 1.00 1.18 1.42 2/107 7956 /proc/meminfo: memFree=1370928/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=170000 CPUtime=402.18 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 44707 0 0 0 39454 764 0 0 25 0 1 0 6278072 174080000 41449 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 42500 41449 391 719 0 41779 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 170000 [startup+462.301 s] /proc/loadavg: 1.00 1.15 1.39 2/107 7958 /proc/meminfo: memFree=1358900/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=181772 CPUtime=462.17 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 47642 0 0 0 45383 834 0 0 25 0 1 0 6278072 186134528 44384 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 45443 44384 391 719 0 44722 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 181772 [startup+522.301 s] /proc/loadavg: 1.00 1.12 1.36 2/107 7960 /proc/meminfo: memFree=1353692/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=186908 CPUtime=522.15 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 48950 0 0 0 51315 900 0 0 25 0 1 0 6278072 191393792 45692 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 46727 45692 391 719 0 46006 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 186908 [startup+582.301 s] /proc/loadavg: 1.00 1.09 1.33 2/107 7960 /proc/meminfo: memFree=1346996/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=193480 CPUtime=582.14 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 50588 0 0 0 57246 968 0 0 25 0 1 0 6278072 198123520 47330 1992294400 4194304 7136930 140737427388464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 48370 47330 391 719 0 47649 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 193480 [startup+642.301 s] /proc/loadavg: 1.00 1.07 1.31 2/107 7962 /proc/meminfo: memFree=1341044/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=199240 CPUtime=642.13 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 52083 0 0 0 63184 1029 0 0 25 0 1 0 6278072 204021760 48825 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 49810 48825 391 719 0 49089 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 199240 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1298636/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=241400 CPUtime=882.06 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 62585 0 0 0 86919 1287 0 0 25 0 1 0 6278072 247193600 59327 1992294400 4194304 7136930 140737427388464 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 60350 59327 391 719 0 59629 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 241400 [startup+942.301 s] /proc/loadavg: 1.00 1.02 1.21 2/107 7970 /proc/meminfo: memFree=1290452/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=249464 CPUtime=942.05 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 64634 0 0 0 92853 1352 0 0 25 0 1 0 6278072 255451136 61376 1992294400 4194304 7136930 140737427388464 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 62366 61376 391 719 0 61645 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 249464 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.20 2/107 7972 /proc/meminfo: memFree=1277804/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=262260 CPUtime=1002.04 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 67770 0 0 0 98792 1412 0 0 25 0 1 0 6278072 268554240 64512 1992294400 4194304 7136930 140737427388464 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 65565 64512 391 719 0 64844 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 262260 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.18 2/107 7974 /proc/meminfo: memFree=1270984/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=269052 CPUtime=1062.02 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 69503 0 0 0 104738 1464 0 0 25 0 1 0 6278072 275509248 66245 1992294400 4194304 7136930 140737427388464 18446744073709551615 6121434 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 67263 66245 391 719 0 66542 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 269052 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 7976 /proc/meminfo: memFree=1262552/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=277316 CPUtime=1122.01 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 71581 0 0 0 110686 1515 0 0 25 0 1 0 6278072 283971584 68323 1992294400 4194304 7136930 140737427388464 18446744073709551615 5004405 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 69329 68323 391 719 0 68608 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 277316 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 7985 /proc/meminfo: memFree=1256476/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=282884 CPUtime=1181.97 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 73022 0 0 0 116632 1565 0 0 25 0 1 0 6278072 289673216 69764 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 70721 69764 391 719 0 70000 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 282884 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 8479 /proc/meminfo: memFree=1248408/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=294364 CPUtime=1241.81 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 74786 0 0 0 122571 1610 0 0 25 0 1 0 6278072 301428736 71528 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 73591 71528 391 719 0 72870 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 294364 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 8481 /proc/meminfo: memFree=1242704/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=300240 CPUtime=1301.81 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 76249 0 0 0 128523 1658 0 0 25 0 1 0 6278072 307445760 72991 1992294400 4194304 7136930 140737427388464 18446744073709551615 4212419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 75060 72991 391 719 0 74339 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 300240 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 8483 /proc/meminfo: memFree=1237744/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=305108 CPUtime=1361.78 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 77511 0 0 0 134476 1702 0 0 25 0 1 0 6278072 312430592 74253 1992294400 4194304 7136930 140737427388464 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 76277 74253 391 719 0 75556 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 305108 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.11 2/107 8485 /proc/meminfo: memFree=1235016/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=307948 CPUtime=1421.77 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 78196 0 0 0 140434 1743 0 0 25 0 1 0 6278072 315338752 74938 1992294400 4194304 7136930 140737427388464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 76987 74938 391 719 0 76266 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 307948 Solver just ended. Dumping a history of the last processes samples [startup+1433.5 s] /proc/loadavg: 1.00 1.00 1.11 2/107 8485 /proc/meminfo: memFree=1234148/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=308960 CPUtime=1432.97 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 78406 0 0 0 141546 1751 0 0 25 0 1 0 6278072 316375040 75148 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 77240 75148 391 719 0 76519 0 Current children cumulated CPU time (s) 1432.97 Current children cumulated vsize (KiB) 308960 [startup+1459.1 s] /proc/loadavg: 1.00 1.00 1.10 2/107 8485 /proc/meminfo: memFree=1233032/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=309984 CPUtime=1458.55 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 78687 0 0 0 144089 1766 0 0 25 0 1 0 6278072 317423616 75429 1992294400 4194304 7136930 140737427388464 18446744073709551615 4210534 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 77496 75429 391 719 0 76775 0 Current children cumulated CPU time (s) 1458.55 Current children cumulated vsize (KiB) 309984 [startup+1465.5 s] /proc/loadavg: 1.00 1.00 1.10 2/107 8485 /proc/meminfo: memFree=1233032/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=309984 CPUtime=1464.96 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 78689 0 0 0 144726 1770 0 0 25 0 1 0 6278072 317423616 75431 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 77496 75431 391 719 0 76775 0 Current children cumulated CPU time (s) 1464.96 Current children cumulated vsize (KiB) 309984 [startup+1471.9 s] /proc/loadavg: 1.00 1.00 1.10 2/107 8485 /proc/meminfo: memFree=1231792/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=311268 CPUtime=1471.35 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 79011 0 0 0 145362 1773 0 0 25 0 1 0 6278072 318738432 75753 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 77817 75753 391 719 0 77096 0 Current children cumulated CPU time (s) 1471.35 Current children cumulated vsize (KiB) 311268 [startup+1475.11 s] /proc/loadavg: 1.00 1.00 1.10 2/107 8485 /proc/meminfo: memFree=1230676/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=312292 CPUtime=1474.55 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 79270 0 0 0 145680 1775 0 0 25 0 1 0 6278072 319787008 76012 1992294400 4194304 7136930 140737427388464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 78073 76012 391 719 0 77352 0 Current children cumulated CPU time (s) 1474.55 Current children cumulated vsize (KiB) 312292 [startup+1476.7 s] /proc/loadavg: 1.00 1.00 1.10 2/107 8485 /proc/meminfo: memFree=1230676/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=312292 CPUtime=1476.15 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 79271 0 0 0 145839 1776 0 0 25 0 1 0 6278072 319787008 76013 1992294400 4194304 7136930 140737427388464 18446744073709551615 4221373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 78073 76013 391 719 0 77352 0 Current children cumulated CPU time (s) 1476.15 Current children cumulated vsize (KiB) 312292 [startup+1477.5 s] /proc/loadavg: 1.00 1.00 1.10 2/107 8485 /proc/meminfo: memFree=1230676/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=312292 CPUtime=1476.95 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 79273 0 0 0 145919 1776 0 0 25 0 1 0 6278072 319787008 76015 1992294400 4194304 7136930 140737427388464 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 78073 76015 391 719 0 77352 0 Current children cumulated CPU time (s) 1476.95 Current children cumulated vsize (KiB) 312292 [startup+1477.9 s] /proc/loadavg: 1.00 1.00 1.10 2/107 8485 /proc/meminfo: memFree=1230676/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=309420 CPUtime=1477.35 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 79273 0 0 0 145958 1777 0 0 25 0 1 0 6278072 316846080 75297 1992294400 4194304 7136930 140737427388464 18446744073709551615 6165601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7945/statm: 77355 75297 391 719 0 76634 0 Current children cumulated CPU time (s) 1477.35 Current children cumulated vsize (KiB) 309420 [startup+1478 s] /proc/loadavg: 1.00 1.00 1.10 2/107 8485 /proc/meminfo: memFree=1230676/2059040 swapFree=4192956/4192956 [pid=7945] ppid=7943 vsize=293172 CPUtime=1477.45 /proc/7945/stat : 7945 (pbscip.linux.x8) R 7943 7945 6752 0 -1 4202496 79318 0 0 0 145968 1777 0 0 25 0 1 0 6278072 300208128 71236 1992294400 4194304 7136930 140737427388464 18446744073709551615 4997767 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7945/statm: 73293 71236 396 719 0 72572 0 Current children cumulated CPU time (s) 1477.45 Current children cumulated vsize (KiB) 293172 Child status: 0 Real time (s): 1478.08 CPU time (s): 1477.54 CPU user time (s): 1459.73 CPU system time (s): 17.8073 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 312292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1459.73 system time used= 17.8073 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79325 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= 1 involuntary context switches= 20833 runsolver used 2.51362 second user time and 6.92295 second system time The end
Begin job on node017 at 2010-06-12 03:41:57 IDJOB=2664444 IDBENCH=1347 IDSOLVER=1167 FILE ID=node017/2664444-1276306917 PBS_JOBID= 11173131 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.1900547461.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-2664444-1276306917/watcher-2664444-1276306917 -o /tmp/evaluation-result-2664444-1276306917/solver-2664444-1276306917 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664444-1276306917.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 851f60b4bba13dc8ad4e48be942c1c37 RANDOM SEED=439516973 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: 1536632 kB Buffers: 81256 kB Cached: 312044 kB SwapCached: 0 kB Active: 176568 kB Inactive: 277304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1536632 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3460 kB Writeback: 0 kB AnonPages: 60604 kB Mapped: 15364 kB Slab: 46856 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182988 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= 62364 MiB End job on node017 at 2010-06-12 04:06:35