| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.32 | 1801.9 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb |
| MD5SUM | df3a88f9ce76cdc5f93bc528741f3e95 |
| 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 | 52.311 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 671 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664435-1276304069.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.89/3.93 c 3.6s| 10000 | 8254 | 0 | 0.0 |7071k| 103 | - | 231 |4224 | 0 | 0 | 0 |2511 | 0 | 0.000000e+00 | -- | Inf
9.09/9.14 c 8.6s| 20000 | 15166 | 0 | 0.0 | 11M| 103 | - | 231 |5239 | 0 | 0 | 0 |6646 | 0 | 0.000000e+00 | -- | Inf
13.98/14.01 c 13.2s| 30000 | 23002 | 0 | 0.0 | 16M| 103 | - | 231 |5823 | 0 | 0 | 0 |9492 | 0 | 0.000000e+00 | -- | Inf
19.58/19.64 c 18.6s| 40000 | 30493 | 0 | 0.0 | 20M| 103 | - | 231 |6793 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
26.18/26.22 c 25.0s| 50000 | 37564 | 0 | 0.0 | 25M| 103 | - | 231 |7829 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
33.68/33.75 c 32.2s| 60000 | 44340 | 0 | 0.0 | 30M| 103 | - | 231 |8727 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
42.98/43.07 c 41.3s| 70000 | 50394 | 0 | 0.0 | 35M| 103 | - | 231 | 10k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
53.97/54.03 c 52.0s| 80000 | 56039 | 0 | 0.0 | 40M| 103 | - | 231 | 11k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
66.87/66.98 c 64.6s| 90000 | 61133 | 0 | 0.0 | 46M| 103 | - | 231 | 12k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
81.38/81.42 c 78.8s|100000 | 65883 | 0 | 0.0 | 51M| 103 | - | 231 | 13k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
98.36/98.41 c 95.4s|110000 | 69843 | 0 | 0.0 | 56M| 103 | - | 231 | 13k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
117.75/117.82 c 114s|120000 | 73100 | 0 | 0.0 | 60M| 103 | - | 231 | 13k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
128.85/128.99 c 125s|130000 | 79959 | 0 | 0.0 | 64M| 103 | - | 231 | 12k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
140.05/140.17 c 136s|140000 | 86808 | 0 | 0.0 | 69M| 103 | - | 231 | 12k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
152.25/152.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.25/152.39 c 148s|150000 | 93268 | 0 | 0.0 | 74M| 103 | - | 231 | 13k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
165.64/165.74 c 161s|160000 | 99511 | 0 | 0.0 | 78M| 103 | - | 231 | 13k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
179.74/179.83 c 175s|170000 |105649 | 0 | 0.0 | 84M| 103 | - | 231 | 14k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
194.64/194.78 c 190s|180000 |111532 | 0 | 0.0 | 89M| 103 | - | 231 | 14k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
210.33/210.40 c 205s|190000 |117327 | 0 | 0.0 | 94M| 103 | - | 231 | 15k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
226.93/227.08 c 222s|200000 |122755 | 0 | 0.0 | 99M| 103 | - | 231 | 15k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
244.02/244.18 c 238s|210000 |128162 | 0 | 0.0 | 104M| 103 | - | 231 | 16k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
262.12/262.20 c 256s|220000 |133496 | 0 | 0.0 | 109M| 103 | - | 231 | 16k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
280.21/280.30 c 274s|230000 |138837 | 0 | 0.0 | 114M| 103 | - | 231 | 17k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
299.11/299.27 c 292s|240000 |143901 | 0 | 0.0 | 120M| 103 | - | 231 | 18k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
319.30/319.45 c 312s|250000 |148819 | 0 | 0.0 | 125M| 103 | - | 231 | 18k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
340.29/340.43 c 333s|260000 |153659 | 0 | 0.0 | 130M| 103 | - | 231 | 18k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
361.99/362.19 c 354s|270000 |158277 | 0 | 0.0 | 135M| 103 | - | 231 | 19k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
383.47/383.68 c 376s|280000 |162933 | 0 | 0.0 | 140M| 103 | - | 231 | 19k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
407.36/407.51 c 399s|290000 |167204 | 0 | 0.0 | 145M| 103 | - | 231 | 20k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
432.25/432.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.25/432.40 c 424s|300000 |171308 | 0 | 0.0 | 151M| 103 | - | 231 | 21k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
458.14/458.34 c 449s|310000 |175208 | 0 | 0.0 | 156M| 103 | - | 231 | 21k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
486.43/486.64 c 477s|320000 |178773 | 0 | 0.0 | 161M| 103 | - | 231 | 22k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
515.63/515.80 c 506s|330000 |182261 | 0 | 0.0 | 166M| 103 | - | 231 | 23k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
545.22/545.47 c 535s|340000 |185868 | 0 | 0.0 | 171M| 103 | - | 231 | 24k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
576.91/577.20 c 567s|350000 |188997 | 0 | 0.0 | 175M| 103 | - | 231 | 24k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
610.21/610.42 c 600s|360000 |191958 | 0 | 0.0 | 180M| 103 | - | 231 | 25k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
644.58/644.81 c 634s|370000 |194720 | 0 | 0.0 | 184M| 103 | - | 231 | 25k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
680.87/681.14 c 670s|380000 |197190 | 0 | 0.0 | 189M| 103 | - | 231 | 26k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
718.17/718.44 c 707s|390000 |199617 | 0 | 0.0 | 193M| 103 | - | 231 | 26k| 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
757.16/757.48 c 745s|400000 |201733 | 0 | 0.0 | 198M| 103 | - | 231 | 27k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
796.04/796.31 c 784s|410000 |204048 | 0 | 0.0 | 202M| 103 | - | 231 | 27k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
839.32/839.67 c 827s|420000 |205593 | 0 | 0.0 | 206M| 103 | - | 231 | 28k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
882.21/882.52 c 869s|430000 |207477 | 0 | 0.0 | 210M| 103 | - | 231 | 27k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
928.00/928.31 c 915s|440000 |208659 | 0 | 0.0 | 213M| 103 | - | 231 | 27k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
974.37/974.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.37/974.70 c 961s|450000 |209628 | 0 | 0.0 | 216M| 103 | - | 231 | 26k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1022.36/1022.73 c 1008s|460000 |210015 | 0 | 0.0 | 218M| 103 | - | 231 | 26k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1068.95/1069.39 c 1054s|470000 |210365 | 0 | 0.0 | 220M| 103 | - | 231 | 25k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1097.14/1097.59 c 1082s|480000 |215550 | 0 | 0.0 | 224M| 103 | - | 231 | 24k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1125.73/1126.18 c 1110s|490000 |220554 | 0 | 0.0 | 229M| 103 | - | 231 | 24k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1155.73/1156.15 c 1140s|500000 |225239 | 0 | 0.0 | 234M| 103 | - | 231 | 24k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1186.81/1187.21 c 1171s|510000 |229803 | 0 | 0.0 | 239M| 103 | - | 231 | 25k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1217.80/1218.22 c 1202s|520000 |234367 | 0 | 0.0 | 244M| 103 | - | 231 | 25k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1249.20/1249.68 c 1233s|530000 |238912 | 0 | 0.0 | 248M| 103 | - | 231 | 26k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1279.38/1279.89 c 1263s|540000 |243688 | 0 | 0.0 | 254M| 103 | - | 231 | 27k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | -- | Inf
1314.66/1315.16 c 1297s|550000 |247653 | 0 | 0.0 | 258M| 103 | - | 231 | 28k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
1346.45/1346.97 c 1329s|560000 |252394 | 0 | 0.0 | 263M| 103 | - | 231 | 28k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | -- | Inf
1384.34/1384.83 c 1366s|570000 |256012 | 0 | 0.0 | 268M| 103 | - | 231 | 29k| 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1418.44/1418.92 c 1400s|580000 |260469 | 0 | 0.0 | 273M| 103 | - | 231 | 29k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1460.32/1460.84 c 1442s|590000 |263596 | 0 | 0.0 | 277M| 103 | - | 231 | 30k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1495.01/1495.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.01/1495.52 c 1476s|600000 |267999 | 0 | 0.0 | 282M| 103 | - | 231 | 30k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1536.69/1537.25 c 1517s|610000 |271157 | 0 | 0.0 | 286M| 103 | - | 231 | 31k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
1573.29/1573.84 c 1554s|620000 |275216 | 0 | 0.0 | 291M| 103 | - | 231 | 31k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1610.17/1610.75 c 1590s|630000 |279326 | 0 | 0.0 | 296M| 103 | - | 231 | 32k| 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1656.16/1656.78 c 1636s|640000 |281843 | 0 | 0.0 | 300M| 103 | - | 231 | 33k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1695.05/1695.69 c 1675s|650000 |285892 | 0 | 0.0 | 305M| 103 | - | 231 | 33k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
1735.24/1735.86 c 1714s|660000 |289752 | 0 | 0.0 | 310M| 103 | - | 231 | 34k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | -- | Inf
1784.22/1784.85 c 1763s|670000 |292344 | 0 | 0.0 | 314M| 103 | - | 231 | 35k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1778.64
1800.03/1800.61 c Solving Nodes : 673583
1800.03/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 s UNKNOWN
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time : 1778.64
1800.03/1800.61 c Original Problem :
1800.03/1800.61 c Problem name : HOME/instance-2664435-1276304069.opb
1800.03/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 2707 initial, 2707 maximal
1800.03/1800.61 c Presolved Problem :
1800.03/1800.61 c Problem name : t_HOME/instance-2664435-1276304069.opb
1800.03/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 2564 initial, 36020 maximal
1800.03/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c linear : 0.03 0 0 0 0 0 143 0 0
1800.03/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.61 c root node : - 0 - - 0 - - - -
1800.03/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.61 c knapsack : 1 0 2195661 0 537356 62841 6222691 0 0 0
1800.03/1800.61 c setppc : 22 0 2143072 0 537356 80118 2565577 0 0 0
1800.03/1800.61 c logicor : 2541+ 0 1789770 0 537354 87753 6929018 0 0 0
1800.03/1800.62 c countsols : 0 0 0 0 537347 0 0 0 0 0
1800.03/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.62 c knapsack : 48.68 0.00 45.53 0.00 3.15
1800.03/1800.62 c setppc : 36.76 0.00 29.72 0.00 7.04
1800.03/1800.62 c logicor : 931.65 0.00 871.23 0.00 60.42
1800.03/1800.62 c countsols : 0.25 0.00 0.00 0.00 0.25
1800.03/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.62 c vbounds : 1.18 1 0 0
1800.03/1800.62 c rootredcost : 1.20 0 0 0
1800.03/1800.62 c pseudoobj : 0.90 0 0 0
1800.03/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.62 c propagation : 14.70 230712 230617 1148486 18.4 5733 20.4 -
1800.03/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.62 c applied globally : - - - 534399 14.7 - - -
1800.03/1800.62 c applied locally : - - - 3297 34.9 - - -
1800.03/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.62 c redcost : 0.00 0 0 0 0 0
1800.03/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.62 c intobj : 0.00 0 0 0 0 0
1800.03/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.62 c gomory : 0.00 0 0 0 0 0
1800.03/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.62 c cmir : 0.00 0 0 0 0 0
1800.03/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.62 c clique : 0.00 0 0 0 0 0
1800.03/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.62 c mcf : 0.00 0 0 0 0 0
1800.03/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.62 c Pricers : Time Calls Vars
1800.03/1800.62 c problem variables: 0.00 0 0
1800.03/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c inference : 14.04 537347 0 0 0 0 1074694
1800.03/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c random : 0.00 0 0 0 0 0 0
1800.03/1800.62 c Primal Heuristics : Time Calls Found
1800.03/1800.62 c LP solutions : 0.00 - 0
1800.03/1800.62 c pseudo solutions : 0.00 - 0
1800.03/1800.62 c trivial : 0.00 1 0
1800.03/1800.62 c simplerounding : 0.00 0 0
1800.03/1800.62 c zirounding : 0.00 0 0
1800.03/1800.62 c rounding : 0.00 0 0
1800.03/1800.62 c shifting : 0.00 0 0
1800.03/1800.62 c intshifting : 0.00 0 0
1800.03/1800.62 c oneopt : 0.00 0 0
1800.03/1800.62 c twoopt : 0.00 0 0
1800.03/1800.62 c fixandinfer : 0.00 0 0
1800.03/1800.62 c feaspump : 0.00 0 0
1800.03/1800.62 c coefdiving : 0.00 0 0
1800.03/1800.62 c pscostdiving : 0.00 0 0
1800.03/1800.62 c fracdiving : 0.00 0 0
1800.03/1800.62 c veclendiving : 0.00 0 0
1800.03/1800.62 c intdiving : 0.00 0 0
1800.03/1800.62 c actconsdiving : 0.00 0 0
1800.03/1800.62 c objpscostdiving : 0.00 0 0
1800.03/1800.62 c rootsoldiving : 0.00 0 0
1800.03/1800.62 c linesearchdiving : 0.00 0 0
1800.03/1800.62 c guideddiving : 0.00 0 0
1800.03/1800.62 c octane : 0.00 0 0
1800.03/1800.62 c rens : 0.00 0 0
1800.03/1800.62 c rins : 0.00 0 0
1800.03/1800.62 c localbranching : 0.00 0 0
1800.03/1800.62 c mutation : 0.00 0 0
1800.03/1800.62 c crossover : 0.00 0 0
1800.03/1800.62 c dins : 0.00 0 0
1800.03/1800.62 c undercover : 0.00 0 0
1800.03/1800.62 c nlp : 0.00 0 0
1800.03/1800.62 c trysol : 0.00 0 0
1800.03/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.62 c (at root node) : - 0 0 0.00 -
1800.03/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.62 c B&B Tree :
1800.03/1800.62 c number of runs : 1
1800.03/1800.62 c nodes : 673583
1800.03/1800.62 c nodes (total) : 673583
1800.03/1800.62 c nodes left : 293498
1800.03/1800.62 c max depth : 103
1800.03/1800.62 c max depth (total): 103
1800.03/1800.62 c backtracks : 138484 (20.6%)
1800.03/1800.62 c delayed cutoffs : 107614
1800.03/1800.62 c repropagations : 427692 (5238810 domain reductions, 94476 cutoffs)
1800.03/1800.62 c avg switch length: 12.41
1800.03/1800.62 c switching time : 480.45
1800.03/1800.62 c Solution :
1800.03/1800.62 c Solutions found : 0 (0 improvements)
1800.03/1800.62 c Primal Bound : -
1800.03/1800.62 c Dual Bound : +0.00000000000000e+00
1800.03/1800.62 c Gap : infinite
1800.03/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.62 c Root Iterations : 0
1801.22/1801.89 c Time complete: 1801.31.
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-2664435-1276304069/watcher-2664435-1276304069 -o /tmp/evaluation-result-2664435-1276304069/solver-2664435-1276304069 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664435-1276304069.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7662 /proc/meminfo: memFree=1539820/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=6584 CPUtime=0 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 956 0 0 0 0 0 0 0 18 0 1 0 5993323 6742016 879 1992294400 4194304 7136930 140734291307344 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7662/statm: 1646 889 254 719 0 925 0 [startup+0.090276 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7662 /proc/meminfo: memFree=1539820/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=14472 CPUtime=0.08 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 3532 0 0 0 7 1 0 0 20 0 1 0 5993323 14819328 2844 1992294400 4194304 7136930 140734291307344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 3618 2844 343 719 0 2897 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14472 [startup+0.101277 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7662 /proc/meminfo: memFree=1539820/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=14768 CPUtime=0.09 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 3592 0 0 0 8 1 0 0 20 0 1 0 5993323 15122432 2904 1992294400 4194304 7136930 140734291307344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 3692 2911 345 719 0 2971 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14768 [startup+0.301297 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7662 /proc/meminfo: memFree=1539820/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=17064 CPUtime=0.29 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 6811 0 0 0 26 3 0 0 20 0 1 0 5993323 17473536 3553 1992294400 4194304 7136930 140734291307344 18446744073709551615 4696958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 4266 3553 391 719 0 3545 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17064 [startup+0.701337 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7662 /proc/meminfo: memFree=1539820/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=17592 CPUtime=0.7 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 6951 0 0 0 64 6 0 0 21 0 1 0 5993323 18014208 3693 1992294400 4194304 7136930 140734291307344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 4398 3693 391 719 0 3677 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 17592 [startup+1.50142 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7663 /proc/meminfo: memFree=1525552/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=19088 CPUtime=1.49 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 7312 0 0 0 139 10 0 0 23 0 1 0 5993323 19546112 4054 1992294400 4194304 7136930 140734291307344 18446744073709551615 4854260 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 4772 4054 391 719 0 4051 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19088 [startup+3.10058 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7663 /proc/meminfo: memFree=1523072/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=21516 CPUtime=3.09 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 7950 0 0 0 290 19 0 0 25 0 1 0 5993323 22032384 4692 1992294400 4194304 7136930 140734291307344 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 5379 4692 391 719 0 4658 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21516 [startup+6.3009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7663 /proc/meminfo: memFree=1518856/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=26072 CPUtime=6.29 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 9078 0 0 0 594 35 0 0 25 0 1 0 5993323 26697728 5820 1992294400 4194304 7136930 140734291307344 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 6518 5820 391 719 0 5797 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26072 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7663 /proc/meminfo: memFree=1511044/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=32728 CPUtime=12.69 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 10788 0 0 0 1203 66 0 0 25 0 1 0 5993323 33513472 7530 1992294400 4194304 7136930 140734291307344 18446744073709551615 4696944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 8182 7530 391 719 0 7461 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32728 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7663 /proc/meminfo: memFree=1498644/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=45116 CPUtime=25.48 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 13920 0 0 0 2433 115 0 0 25 0 1 0 5993323 46198784 10662 1992294400 4194304 7136930 140734291307344 18446744073709551615 4999680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 11279 10662 391 719 0 10558 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45116 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7663 /proc/meminfo: memFree=1481160/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=61964 CPUtime=51.07 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 18188 0 0 0 4915 192 0 0 25 0 1 0 5993323 63451136 14930 1992294400 4194304 7136930 140734291307344 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 15491 14930 391 719 0 14770 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61964 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7665 /proc/meminfo: memFree=1455120/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=89620 CPUtime=102.27 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 24610 0 0 0 9931 296 0 0 25 0 1 0 5993323 91770880 21352 1992294400 4194304 7136930 140734291307344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 22405 21352 391 719 0 21684 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 89620 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 3/107 7667 /proc/meminfo: memFree=1432180/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=112076 CPUtime=162.25 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 30290 0 0 0 15803 422 0 0 25 0 1 0 5993323 114765824 27032 1992294400 4194304 7136930 140734291307344 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 28019 27032 391 719 0 27298 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 112076 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7669 /proc/meminfo: memFree=1409116/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=134968 CPUtime=222.23 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 36040 0 0 0 21686 537 0 0 25 0 1 0 5993323 138207232 32782 1992294400 4194304 7136930 140734291307344 18446744073709551615 4227480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 33742 32782 391 719 0 33021 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 134968 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7669 /proc/meminfo: memFree=1386796/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=157252 CPUtime=282.21 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 41645 0 0 0 27584 637 0 0 25 0 1 0 5993323 161026048 38387 1992294400 4194304 7136930 140734291307344 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 39313 38387 391 719 0 38592 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 157252 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7671 /proc/meminfo: memFree=1369188/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=174452 CPUtime=342.19 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 46006 0 0 0 33490 729 0 0 25 0 1 0 5993323 178638848 42748 1992294400 4194304 7136930 140734291307344 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 43613 42748 391 719 0 42892 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 174452 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7682 /proc/meminfo: memFree=1352696/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=190804 CPUtime=402.16 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 50086 0 0 0 39400 816 0 0 25 0 1 0 5993323 195383296 46828 1992294400 4194304 7136930 140734291307344 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 47701 46828 391 719 0 46980 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 190804 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7684 /proc/meminfo: memFree=1338188/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=205816 CPUtime=462.14 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 53830 0 0 0 45321 893 0 0 25 0 1 0 5993323 210755584 50572 1992294400 4194304 7136930 140734291307344 18446744073709551615 4220987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 51454 50572 391 719 0 50733 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 205816 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7686 /proc/meminfo: memFree=1329136/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=214496 CPUtime=522.12 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 55970 0 0 0 51250 962 0 0 25 0 1 0 5993323 219643904 52712 1992294400 4194304 7136930 140734291307344 18446744073709551615 4221250 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 53624 52712 391 719 0 52903 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 214496 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7686 /proc/meminfo: memFree=1317356/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=226260 CPUtime=582.11 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 58907 0 0 0 57185 1026 0 0 25 0 1 0 5993323 231690240 55649 1992294400 4194304 7136930 140734291307344 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 56565 55649 391 719 0 55844 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 226260 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7688 /proc/meminfo: memFree=1304460/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=239016 CPUtime=642.1 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 62100 0 0 0 63120 1090 0 0 25 0 1 0 5993323 244752384 58842 1992294400 4194304 7136930 140734291307344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 59754 58842 391 719 0 59033 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 239016 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7696 /proc/meminfo: memFree=1272096/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=275380 CPUtime=941.99 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 70122 0 0 0 92842 1357 0 0 25 0 1 0 5993323 281989120 66864 1992294400 4194304 7136930 140734291307344 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 68845 66864 391 719 0 68124 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 275380 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7698 /proc/meminfo: memFree=1268500/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=278824 CPUtime=1001.97 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 71034 0 0 0 98789 1408 0 0 25 0 1 0 5993323 285515776 67776 1992294400 4194304 7136930 140734291307344 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 69706 67776 391 719 0 68985 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 278824 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7700 /proc/meminfo: memFree=1266268/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=280880 CPUtime=1061.95 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 71542 0 0 0 104733 1462 0 0 25 0 1 0 5993323 287621120 68284 1992294400 4194304 7136930 140734291307344 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 70220 68284 391 719 0 69499 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 280880 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7702 /proc/meminfo: memFree=1254736/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=292240 CPUtime=1121.93 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 74420 0 0 0 110666 1527 0 0 25 0 1 0 5993323 299253760 71162 1992294400 4194304 7136930 140734291307344 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 73060 71162 391 719 0 72339 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 292240 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7702 /proc/meminfo: memFree=1244072/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=302676 CPUtime=1181.9 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 77073 0 0 0 116603 1587 0 0 25 0 1 0 5993323 309940224 73815 1992294400 4194304 7136930 140734291307344 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 75669 73815 391 719 0 74948 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 302676 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7704 /proc/meminfo: memFree=1235888/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=310636 CPUtime=1241.89 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 79081 0 0 0 122541 1648 0 0 25 0 1 0 5993323 318091264 75823 1992294400 4194304 7136930 140734291307344 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 77659 75823 391 719 0 76938 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 310636 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 7706 /proc/meminfo: memFree=1229440/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=316924 CPUtime=1301.87 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 80679 0 0 0 128474 1713 0 0 25 0 1 0 5993323 324530176 77421 1992294400 4194304 7136930 140734291307344 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 79231 77421 391 719 0 78510 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 316924 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7711 /proc/meminfo: memFree=1216544/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=329276 CPUtime=1361.85 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 83719 0 0 0 134418 1767 0 0 25 0 1 0 5993323 337178624 80461 1992294400 4194304 7136930 140734291307344 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 82319 80461 391 719 0 81598 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 329276 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7713 /proc/meminfo: memFree=1207988/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=338228 CPUtime=1421.83 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 85882 0 0 0 140359 1824 0 0 25 0 1 0 5993323 346345472 82624 1992294400 4194304 7136930 140734291307344 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 84557 82624 391 719 0 83836 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 338228 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7713 /proc/meminfo: memFree=1198564/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=347504 CPUtime=1481.81 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 88232 0 0 0 146301 1880 0 0 25 0 1 0 5993323 355844096 84974 1992294400 4194304 7136930 140734291307344 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 86876 84974 391 719 0 86155 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 347504 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7715 /proc/meminfo: memFree=1188768/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=357640 CPUtime=1541.8 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 90732 0 0 0 152252 1928 0 0 25 0 1 0 5993323 366223360 87474 1992294400 4194304 7136930 140734291307344 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 89410 87474 391 719 0 88689 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 357640 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7717 /proc/meminfo: memFree=1178724/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=367596 CPUtime=1601.78 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 93264 0 0 0 158199 1979 0 0 25 0 1 0 5993323 376418304 90006 1992294400 4194304 7136930 140734291307344 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 91899 90006 391 719 0 91178 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 367596 [startup+1662.3 s] /proc/loadavg: 1.10 1.03 1.01 2/107 7719 /proc/meminfo: memFree=1174508/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=371628 CPUtime=1661.75 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 94295 0 0 0 164148 2027 0 0 25 0 1 0 5993323 380547072 91037 1992294400 4194304 7136930 140734291307344 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 92907 91037 391 719 0 92186 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 371628 [startup+1722.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 7721 /proc/meminfo: memFree=1167440/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=379036 CPUtime=1721.74 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 96078 0 0 0 170096 2078 0 0 25 0 1 0 5993323 388132864 92820 1992294400 4194304 7136930 140734291307344 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 94759 92820 391 719 0 94038 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 379036 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 7721 /proc/meminfo: memFree=1160248/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=385824 CPUtime=1781.72 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 97847 0 0 0 176051 2121 0 0 25 0 1 0 5993323 395083776 94589 1992294400 4194304 7136930 140734291307344 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 96456 94589 391 719 0 95735 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 385824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.02 1.00 2/107 7723 /proc/meminfo: memFree=1157396/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=388572 CPUtime=1800.03 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 98568 0 0 0 177868 2135 0 0 25 0 1 0 5993323 397897728 95310 1992294400 4194304 7136930 140734291307344 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7662/statm: 97143 95310 391 719 0 96422 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 388572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.01 1.02 1.00 2/107 7723 /proc/meminfo: memFree=1157396/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=388748 CPUtime=1800.82 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 98619 0 0 0 177947 2135 0 0 25 0 1 0 5993323 398077952 95361 1992294400 4194304 7136930 140734291307344 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7662/statm: 97187 95361 396 719 0 96466 0 Current children cumulated CPU time (s) 1800.82 Current children cumulated vsize (KiB) 388748 [startup+1801.81 s] /proc/loadavg: 1.01 1.02 1.00 2/108 7724 /proc/meminfo: memFree=1157140/2059040 swapFree=4192956/4192956 [pid=7662] ppid=7660 vsize=374544 CPUtime=1801.22 /proc/7662/stat : 7662 (pbscip.linux.x8) R 7660 7662 6752 0 -1 4202496 98619 0 0 0 177987 2135 0 0 25 0 1 0 5993323 383533056 91810 1992294400 4194304 7136930 140734291307344 18446744073709551615 4332856 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7662/statm: 93636 91810 396 719 0 92915 0 Current children cumulated CPU time (s) 1801.22 Current children cumulated vsize (KiB) 374544 Child status: 0 Real time (s): 1801.9 CPU time (s): 1801.32 CPU user time (s): 1779.93 CPU system time (s): 21.3957 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 388748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.93 system time used= 21.3957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98626 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= 8992 runsolver used 2.94955 second user time and 8.5487 second system time The end
Begin job on node017 at 2010-06-12 02:54:29 IDJOB=2664435 IDBENCH=1337 IDSOLVER=1167 FILE ID=node017/2664435-1276304069 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.1900545610.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-2664435-1276304069/watcher-2664435-1276304069 -o /tmp/evaluation-result-2664435-1276304069/solver-2664435-1276304069 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664435-1276304069.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= df3a88f9ce76cdc5f93bc528741f3e95 RANDOM SEED=1181776393 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: 1540224 kB Buffers: 78020 kB Cached: 311848 kB SwapCached: 0 kB Active: 176308 kB Inactive: 274192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1540224 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3260 kB Writeback: 0 kB AnonPages: 60496 kB Mapped: 15424 kB Slab: 46588 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184304 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-12 03:24:32