| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.3 | 1801.89 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb |
| MD5SUM | fb1b2fb5676286fc8681e7e6d0d2728f |
| 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 | 588.702 |
| 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 | 669 |
| 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-2664030-1276282535.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.00/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 242 implications, 22 cliques
0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 22 constraints of type <setppc>
0.09/0.14 c 2541 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.06
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.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.06 c 3.8s| 10000 | 8242 | 0 | 0.0 |7204k| 104 | - | 231 |4345 | 0 | 0 | 0 |2561 | 0 | 0.000000e+00 | -- | Inf
9.80/9.90 c 9.3s| 20000 | 14891 | 0 | 0.0 | 11M| 104 | - | 231 |5397 | 0 | 0 | 0 |7364 | 0 | 0.000000e+00 | -- | Inf
14.69/14.76 c 14.0s| 30000 | 22887 | 0 | 0.0 | 16M| 104 | - | 231 |5812 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
20.18/20.23 c 19.2s| 40000 | 30515 | 0 | 0.0 | 21M| 104 | - | 231 |6705 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
26.48/26.53 c 25.3s| 50000 | 37745 | 0 | 0.0 | 26M| 104 | - | 231 |7751 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
34.09/34.11 c 32.6s| 60000 | 44529 | 0 | 0.0 | 31M| 104 | - | 231 |8994 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
43.18/43.27 c 41.5s| 70000 | 50800 | 0 | 0.0 | 36M| 104 | - | 231 | 10k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
54.88/54.98 c 52.8s| 80000 | 56153 | 0 | 0.0 | 42M| 104 | - | 231 | 11k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
69.47/69.54 c 67.0s| 90000 | 60654 | 0 | 0.0 | 47M| 104 | - | 231 | 13k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
87.97/88.09 c 85.2s|100000 | 64215 | 0 | 0.0 | 53M| 104 | - | 231 | 15k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
110.97/111.05 c 108s|110000 | 66728 | 0 | 0.0 | 57M| 104 | - | 231 | 14k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
121.75/121.87 c 118s|120000 | 73896 | 0 | 0.0 | 61M| 104 | - | 231 | 13k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
132.55/132.62 c 129s|130000 | 80982 | 0 | 0.0 | 65M| 104 | - | 231 | 12k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
143.15/143.28 c 139s|140000 | 87912 | 0 | 0.0 | 70M| 104 | - | 231 | 12k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
154.55/154.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.55/154.63 c 150s|150000 | 94631 | 0 | 0.0 | 75M| 104 | - | 231 | 12k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
166.05/166.13 c 162s|160000 |101311 | 0 | 0.0 | 80M| 104 | - | 231 | 12k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
178.23/178.37 c 174s|170000 |107748 | 0 | 0.0 | 85M| 104 | - | 231 | 13k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
191.43/191.52 c 186s|180000 |113970 | 0 | 0.0 | 90M| 104 | - | 231 | 13k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
204.63/204.77 c 199s|190000 |120271 | 0 | 0.0 | 95M| 104 | - | 231 | 14k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
219.03/219.16 c 214s|200000 |126221 | 0 | 0.0 | 100M| 104 | - | 231 | 14k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
234.62/234.72 c 229s|210000 |131878 | 0 | 0.0 | 105M| 104 | - | 231 | 15k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
250.31/250.48 c 244s|220000 |137627 | 0 | 0.0 | 110M| 104 | - | 231 | 15k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
267.12/267.20 c 261s|230000 |143135 | 0 | 0.0 | 115M| 104 | - | 231 | 15k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
284.01/284.18 c 277s|240000 |148586 | 0 | 0.0 | 120M| 104 | - | 231 | 16k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
302.00/302.17 c 295s|250000 |153766 | 0 | 0.0 | 125M| 104 | - | 231 | 16k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
321.00/321.20 c 314s|260000 |158726 | 0 | 0.0 | 130M| 104 | - | 231 | 17k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
339.68/339.86 c 332s|270000 |163957 | 0 | 0.0 | 135M| 104 | - | 231 | 17k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
360.36/360.55 c 352s|280000 |168592 | 0 | 0.0 | 140M| 104 | - | 231 | 18k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
380.16/380.31 c 372s|290000 |173578 | 0 | 0.0 | 145M| 104 | - | 231 | 18k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
401.75/401.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.75/401.91 c 393s|300000 |178101 | 0 | 0.0 | 150M| 104 | - | 231 | 18k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
423.05/423.23 c 414s|310000 |182709 | 0 | 0.0 | 155M| 104 | - | 231 | 19k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
446.14/446.37 c 437s|320000 |186969 | 0 | 0.0 | 160M| 104 | - | 231 | 20k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
470.53/470.73 c 461s|330000 |191021 | 0 | 0.0 | 164M| 104 | - | 231 | 21k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
495.42/495.61 c 486s|340000 |195113 | 0 | 0.0 | 169M| 104 | - | 231 | 21k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
523.32/523.51 c 513s|350000 |198494 | 0 | 0.0 | 174M| 104 | - | 231 | 21k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
551.80/552.06 c 541s|360000 |201879 | 0 | 0.0 | 179M| 104 | - | 231 | 22k| 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
581.99/582.29 c 571s|370000 |204955 | 0 | 0.0 | 183M| 104 | - | 231 | 23k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
615.18/615.47 c 604s|380000 |207634 | 0 | 0.0 | 188M| 104 | - | 231 | 24k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
651.07/651.30 c 639s|390000 |209801 | 0 | 0.0 | 192M| 104 | - | 231 | 25k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
688.05/688.35 c 676s|400000 |211924 | 0 | 0.0 | 196M| 104 | - | 231 | 26k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
731.25/731.56 c 719s|410000 |212934 | 0 | 0.0 | 200M| 104 | - | 231 | 27k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
776.62/776.94 c 764s|420000 |213977 | 0 | 0.0 | 204M| 104 | - | 231 | 29k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
824.62/824.94 c 811s|430000 |214640 | 0 | 0.0 | 207M| 104 | - | 231 | 29k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
876.89/877.29 c 863s|440000 |214687 | 0 | 0.0 | 210M| 104 | - | 231 | 29k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
936.78/937.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.78/937.12 c 923s|450000 |213489 | 0 | 0.0 | 211M| 104 | - | 231 | 28k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
972.16/972.58 c 958s|460000 |217558 | 0 | 0.0 | 214M| 104 | - | 231 | 26k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1006.35/1006.73 c 992s|470000 |222036 | 0 | 0.0 | 219M| 104 | - | 231 | 24k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1036.44/1036.82 c 1021s|480000 |226911 | 0 | 0.0 | 223M| 104 | - | 231 | 23k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1066.13/1066.53 c 1051s|490000 |231654 | 0 | 0.0 | 228M| 104 | - | 231 | 22k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1096.11/1096.55 c 1080s|500000 |236221 | 0 | 0.0 | 232M| 104 | - | 231 | 22k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1126.30/1126.71 c 1110s|510000 |240570 | 0 | 0.0 | 237M| 104 | - | 231 | 21k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1156.00/1156.46 c 1140s|520000 |245078 | 0 | 0.0 | 242M| 104 | - | 231 | 21k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1188.48/1188.97 c 1172s|530000 |248808 | 0 | 0.0 | 247M| 104 | - | 231 | 22k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1222.68/1223.19 c 1206s|540000 |252453 | 0 | 0.0 | 251M| 104 | - | 231 | 22k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1256.77/1257.23 c 1239s|550000 |256136 | 0 | 0.0 | 256M| 104 | - | 231 | 23k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1293.86/1294.31 c 1276s|560000 |259289 | 0 | 0.0 | 261M| 104 | - | 231 | 23k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1328.14/1328.61 c 1310s|570000 |263123 | 0 | 0.0 | 265M| 104 | - | 231 | 24k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
1366.83/1367.33 c 1348s|580000 |266124 | 0 | 0.0 | 270M| 104 | - | 231 | 24k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1404.72/1405.22 c 1386s|590000 |269386 | 0 | 0.0 | 275M| 104 | - | 231 | 25k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1442.61/1443.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.61/1443.16 c 1423s|600000 |272668 | 0 | 0.0 | 279M| 104 | - | 231 | 25k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1484.79/1485.33 c 1465s|610000 |275122 | 0 | 0.0 | 284M| 104 | - | 231 | 26k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1525.09/1525.69 c 1505s|620000 |278103 | 0 | 0.0 | 288M| 104 | - | 231 | 27k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1569.27/1569.86 c 1549s|630000 |280625 | 0 | 0.0 | 293M| 104 | - | 231 | 27k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1616.46/1617.08 c 1596s|640000 |282575 | 0 | 0.0 | 297M| 104 | - | 231 | 28k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | -- | Inf
1660.54/1661.16 c 1640s|650000 |285359 | 0 | 0.0 | 302M| 104 | - | 231 | 28k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | -- | Inf
1706.93/1707.58 c 1686s|660000 |287745 | 0 | 0.0 | 306M| 104 | - | 231 | 28k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1758.22/1758.88 c 1736s|670000 |289234 | 0 | 0.0 | 311M| 104 | - | 231 | 30k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.62 c
1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.62 c Solving Time (sec) : 1777.92
1800.02/1800.62 c Solving Nodes : 678641
1800.02/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.62 c Dual Bound : +0.00000000000000e+00
1800.02/1800.62 c Gap : infinite
1800.02/1800.62 s UNKNOWN
1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.62 c Solving Time : 1777.92
1800.02/1800.62 c Original Problem :
1800.02/1800.62 c Problem name : HOME/instance-2664030-1276282535.opb
1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.02/1800.62 c Presolved Problem :
1800.02/1800.62 c Problem name : t_HOME/instance-2664030-1276282535.opb
1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.62 c Constraints : 2564 initial, 31161 maximal
1800.02/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0
1800.02/1800.62 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.62 c root node : - 0 - - 0 - - - -
1800.02/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.62 c knapsack : 1 0 2207946 0 541244 63713 6251306 0 0 0
1800.02/1800.62 c setppc : 22 0 2155323 0 541239 77058 2322522 0 0 0
1800.02/1800.62 c logicor : 2541+ 0 1795564 0 541237 89788 6635067 0 0 0
1800.02/1800.62 c countsols : 0 0 0 0 541231 0 0 0 0 0
1800.02/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.62 c knapsack : 51.65 0.00 48.57 0.00 3.08
1800.02/1800.62 c setppc : 34.83 0.00 27.20 0.00 7.63
1800.02/1800.62 c logicor : 938.32 0.00 875.20 0.00 63.12
1800.02/1800.62 c countsols : 0.36 0.00 0.00 0.00 0.36
1800.02/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.62 c vbounds : 1.42 1 0 0
1800.02/1800.62 c rootredcost : 1.24 0 0 0
1800.02/1800.62 c pseudoobj : 0.91 0 0 0
1800.02/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.62 c propagation : 15.35 230559 230289 1233391 20.3 4749 20.8 -
1800.02/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.62 c applied globally : - - - 530469 15.3 - - -
1800.02/1800.62 c applied locally : - - - 3119 34.5 - - -
1800.02/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.62 c redcost : 0.00 0 0 0 0 0
1800.02/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.62 c intobj : 0.00 0 0 0 0 0
1800.02/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.62 c gomory : 0.00 0 0 0 0 0
1800.02/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.62 c cmir : 0.00 0 0 0 0 0
1800.02/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.62 c clique : 0.00 0 0 0 0 0
1800.02/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.62 c mcf : 0.00 0 0 0 0 0
1800.02/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.62 c Pricers : Time Calls Vars
1800.02/1800.62 c problem variables: 0.00 0 0
1800.02/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.62 c inference : 14.06 541231 0 0 0 0 1082462
1800.02/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.62 c random : 0.00 0 0 0 0 0 0
1800.02/1800.62 c Primal Heuristics : Time Calls Found
1800.02/1800.62 c LP solutions : 0.00 - 0
1800.02/1800.62 c pseudo solutions : 0.00 - 0
1800.02/1800.62 c trivial : 0.00 1 0
1800.02/1800.62 c simplerounding : 0.00 0 0
1800.02/1800.62 c zirounding : 0.00 0 0
1800.02/1800.62 c rounding : 0.00 0 0
1800.02/1800.62 c shifting : 0.00 0 0
1800.02/1800.62 c intshifting : 0.00 0 0
1800.02/1800.62 c oneopt : 0.00 0 0
1800.02/1800.62 c twoopt : 0.00 0 0
1800.02/1800.62 c fixandinfer : 0.00 0 0
1800.02/1800.62 c feaspump : 0.00 0 0
1800.02/1800.62 c coefdiving : 0.00 0 0
1800.02/1800.62 c pscostdiving : 0.00 0 0
1800.02/1800.62 c fracdiving : 0.00 0 0
1800.02/1800.62 c veclendiving : 0.00 0 0
1800.02/1800.62 c intdiving : 0.00 0 0
1800.02/1800.62 c actconsdiving : 0.00 0 0
1800.02/1800.62 c objpscostdiving : 0.00 0 0
1800.02/1800.62 c rootsoldiving : 0.00 0 0
1800.02/1800.62 c linesearchdiving : 0.00 0 0
1800.02/1800.62 c guideddiving : 0.00 0 0
1800.02/1800.62 c octane : 0.00 0 0
1800.02/1800.62 c rens : 0.00 0 0
1800.02/1800.62 c rins : 0.00 0 0
1800.02/1800.62 c localbranching : 0.00 0 0
1800.02/1800.62 c mutation : 0.00 0 0
1800.02/1800.62 c crossover : 0.00 0 0
1800.02/1800.62 c dins : 0.00 0 0
1800.02/1800.62 c undercover : 0.00 0 0
1800.02/1800.62 c nlp : 0.00 0 0
1800.02/1800.62 c trysol : 0.00 0 0
1800.02/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.62 c (at root node) : - 0 0 0.00 -
1800.02/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.62 c B&B Tree :
1800.02/1800.62 c number of runs : 1
1800.02/1800.62 c nodes : 678641
1800.02/1800.62 c nodes (total) : 678641
1800.02/1800.62 c nodes left : 291284
1800.02/1800.62 c max depth : 104
1800.02/1800.62 c max depth (total): 104
1800.02/1800.62 c backtracks : 145015 (21.4%)
1800.02/1800.62 c delayed cutoffs : 112538
1800.02/1800.62 c repropagations : 429308 (4951943 domain reductions, 93149 cutoffs)
1800.02/1800.62 c avg switch length: 12.20
1800.02/1800.62 c switching time : 477.11
1800.02/1800.62 c Solution :
1800.02/1800.62 c Solutions found : 0 (0 improvements)
1800.02/1800.62 c Primal Bound : -
1800.02/1800.62 c Dual Bound : +0.00000000000000e+00
1800.02/1800.62 c Gap : infinite
1800.02/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.62 c Root Iterations : 0
1801.21/1801.89 c Time complete: 1801.29.
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-2664030-1276282535/watcher-2664030-1276282535 -o /tmp/evaluation-result-2664030-1276282535/solver-2664030-1276282535 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664030-1276282535.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.03 1.02 1.00 3/106 5991 /proc/meminfo: memFree=1560068/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=6584 CPUtime=0 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 1006 0 0 0 0 0 0 0 20 0 1 0 3857205 6742016 929 1992294400 4194304 7136930 140735341729856 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5991/statm: 1646 939 254 719 0 925 0 [startup+0.0746281 s] /proc/loadavg: 1.03 1.02 1.00 3/106 5991 /proc/meminfo: memFree=1560068/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=14472 CPUtime=0.07 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 3264 0 0 0 6 1 0 0 20 0 1 0 3857205 14819328 2832 1992294400 4194304 7136930 140735341729856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 3618 2832 337 719 0 2897 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14472 [startup+0.100631 s] /proc/loadavg: 1.03 1.02 1.00 3/106 5991 /proc/meminfo: memFree=1560068/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=14768 CPUtime=0.09 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 3614 0 0 0 8 1 0 0 20 0 1 0 3857205 15122432 2925 1992294400 4194304 7136930 140735341729856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 3692 2925 345 719 0 2971 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14768 [startup+0.300657 s] /proc/loadavg: 1.03 1.02 1.00 3/106 5991 /proc/meminfo: memFree=1560068/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=17072 CPUtime=0.29 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 6817 0 0 0 25 4 0 0 20 0 1 0 3857205 17481728 3558 1992294400 4194304 7136930 140735341729856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 4268 3558 391 719 0 3547 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17072 [startup+0.700705 s] /proc/loadavg: 1.03 1.02 1.00 3/106 5991 /proc/meminfo: memFree=1560068/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=17604 CPUtime=0.69 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 6949 0 0 0 63 6 0 0 20 0 1 0 3857205 18026496 3690 1992294400 4194304 7136930 140735341729856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 4401 3690 391 719 0 3680 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17604 [startup+1.5008 s] /proc/loadavg: 1.03 1.02 1.00 2/107 5992 /proc/meminfo: memFree=1545924/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=19092 CPUtime=1.49 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 7312 0 0 0 138 11 0 0 22 0 1 0 3857205 19550208 4053 1992294400 4194304 7136930 140735341729856 18446744073709551615 4414774 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 4773 4053 391 719 0 4052 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19092 [startup+3.101 s] /proc/loadavg: 1.03 1.02 1.00 2/107 5992 /proc/meminfo: memFree=1543444/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=21532 CPUtime=3.09 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 7957 0 0 0 289 20 0 0 25 0 1 0 3857205 22048768 4698 1992294400 4194304 7136930 140735341729856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 5383 4698 391 719 0 4662 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21532 [startup+6.3014 s] /proc/loadavg: 1.03 1.02 1.00 2/107 5992 /proc/meminfo: memFree=1539104/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=25716 CPUtime=6.29 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 8985 0 0 0 594 35 0 0 25 0 1 0 3857205 26333184 5726 1992294400 4194304 7136930 140735341729856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 6429 5726 391 719 0 5708 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25716 [startup+12.7012 s] /proc/loadavg: 1.03 1.02 1.00 2/107 5992 /proc/meminfo: memFree=1532160/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=32676 CPUtime=12.69 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 10761 0 0 0 1207 62 0 0 25 0 1 0 3857205 33460224 7502 1992294400 4194304 7136930 140735341729856 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 8169 7502 391 719 0 7448 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32676 [startup+25.5008 s] /proc/loadavg: 1.02 1.02 1.00 2/107 5992 /proc/meminfo: memFree=1518768/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=44740 CPUtime=25.49 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 13824 0 0 0 2432 117 0 0 25 0 1 0 3857205 45813760 10565 1992294400 4194304 7136930 140735341729856 18446744073709551615 4414520 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 11185 10565 391 719 0 10464 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44740 [startup+51.1009 s] /proc/loadavg: 1.01 1.02 1.00 2/107 5994 /proc/meminfo: memFree=1500416/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=62792 CPUtime=51.07 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 18406 0 0 0 4911 196 0 0 25 0 1 0 3857205 64299008 15147 1992294400 4194304 7136930 140735341729856 18446744073709551615 4409194 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 15698 15147 391 719 0 14977 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 62792 [startup+102.308 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5994 /proc/meminfo: memFree=1477476/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=87532 CPUtime=102.27 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 24053 0 0 0 9928 299 0 0 25 0 1 0 3857205 89632768 20794 1992294400 4194304 7136930 140735341729856 18446744073709551615 4678324 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 21883 20794 391 719 0 21162 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 87532 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5996 /proc/meminfo: memFree=1451312/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=113140 CPUtime=162.24 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 30565 0 0 0 15796 428 0 0 25 0 1 0 3857205 115855360 27306 1992294400 4194304 7136930 140735341729856 18446744073709551615 4210454 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 28285 27306 391 719 0 27564 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 113140 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5998 /proc/meminfo: memFree=1425024/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=139144 CPUtime=222.22 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 37122 0 0 0 21666 556 0 0 25 0 1 0 3857205 142483456 33863 1992294400 4194304 7136930 140735341729856 18446744073709551615 4660052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 34786 33863 391 719 0 34065 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 139144 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6000 /proc/meminfo: memFree=1401340/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=162500 CPUtime=282.2 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 42992 0 0 0 27553 667 0 0 25 0 1 0 3857205 166400000 39733 1992294400 4194304 7136930 140735341729856 18446744073709551615 4209682 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 40625 39733 391 719 0 39904 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 162500 [startup+342.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 6009 /proc/meminfo: memFree=1385344/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=177824 CPUtime=342.17 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 46886 0 0 0 33451 766 0 0 25 0 1 0 3857205 182091776 43627 1992294400 4194304 7136930 140735341729856 18446744073709551615 4209071 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 44456 43627 391 719 0 43735 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 177824 [startup+402.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 6011 /proc/meminfo: memFree=1366868/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=196660 CPUtime=402.15 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 51598 0 0 0 39356 859 0 0 25 0 1 0 3857205 201379840 48339 1992294400 4194304 7136930 140735341729856 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 49165 48339 391 719 0 48444 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 196660 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6013 /proc/meminfo: memFree=1350128/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=212768 CPUtime=462.13 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 55672 0 0 0 45271 942 0 0 25 0 1 0 3857205 217874432 52413 1992294400 4194304 7136930 140735341729856 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 53192 52413 391 719 0 52471 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 212768 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6015 /proc/meminfo: memFree=1339712/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=228192 CPUtime=522.11 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 58477 0 0 0 51194 1017 0 0 25 0 1 0 3857205 233668608 55218 1992294400 4194304 7136930 140735341729856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 57048 55218 391 719 0 56327 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 228192 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6017 /proc/meminfo: memFree=1327560/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=239452 CPUtime=582.09 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 61324 0 0 0 57119 1090 0 0 25 0 1 0 3857205 245198848 58065 1992294400 4194304 7136930 140735341729856 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 59863 58065 391 719 0 59142 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 239452 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6017 /proc/meminfo: memFree=1317268/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=249904 CPUtime=642.08 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 63896 0 0 0 63049 1159 0 0 25 0 1 0 3857205 255901696 60637 1992294400 4194304 7136930 140735341729856 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 62476 60637 391 719 0 61755 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 249904 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 6025 /proc/meminfo: memFree=1295320/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=271864 CPUtime=941.97 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 69284 0 0 0 92780 1417 0 0 25 0 1 0 3857205 278388736 66025 1992294400 4194304 7136930 140735341729856 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 67966 66025 391 719 0 67245 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 271864 [startup+1002.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 6027 /proc/meminfo: memFree=1285648/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=281572 CPUtime=1001.95 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 71668 0 0 0 98720 1475 0 0 25 0 1 0 3857205 288329728 68409 1992294400 4194304 7136930 140735341729856 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 70393 68409 391 719 0 69672 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 281572 [startup+1062.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 6029 /proc/meminfo: memFree=1273992/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=293064 CPUtime=1061.94 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 74576 0 0 0 104650 1544 0 0 25 0 1 0 3857205 300097536 71317 1992294400 4194304 7136930 140735341729856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 73266 71317 391 719 0 72545 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 293064 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 6034 /proc/meminfo: memFree=1263576/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=302556 CPUtime=1121.9 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 76987 0 0 0 110579 1611 0 0 25 0 1 0 3857205 309817344 73728 1992294400 4194304 7136930 140735341729856 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 75639 73728 391 719 0 74918 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 302556 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6036 /proc/meminfo: memFree=1254400/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=311636 CPUtime=1181.88 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 79284 0 0 0 116516 1672 0 0 25 0 1 0 3857205 319115264 76025 1992294400 4194304 7136930 140735341729856 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 77909 76025 391 719 0 77188 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 311636 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6036 /proc/meminfo: memFree=1243488/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=322416 CPUtime=1241.87 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 82007 0 0 0 122453 1734 0 0 25 0 1 0 3857205 330153984 78748 1992294400 4194304 7136930 140735341729856 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 80604 78748 391 719 0 79883 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 322416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6038 /proc/meminfo: memFree=1238156/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=327640 CPUtime=1301.86 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 83346 0 0 0 128396 1790 0 0 25 0 1 0 3857205 335503360 80087 1992294400 4194304 7136930 140735341729856 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 81910 80087 391 719 0 81189 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 327640 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6040 /proc/meminfo: memFree=1227368/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=338320 CPUtime=1361.82 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 86044 0 0 0 134335 1847 0 0 25 0 1 0 3857205 346439680 82785 1992294400 4194304 7136930 140735341729856 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 84580 82785 391 719 0 83859 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 338320 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6042 /proc/meminfo: memFree=1221292/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=344292 CPUtime=1421.82 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 87542 0 0 0 140282 1900 0 0 25 0 1 0 3857205 352555008 84283 1992294400 4194304 7136930 140735341729856 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 86073 84283 391 719 0 85352 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 344292 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6044 /proc/meminfo: memFree=1211620/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=353836 CPUtime=1481.79 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 89968 0 0 0 146227 1952 0 0 25 0 1 0 3857205 362328064 86709 1992294400 4194304 7136930 140735341729856 18446744073709551615 4998116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 88459 86709 391 719 0 87738 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 353836 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6044 /proc/meminfo: memFree=1203932/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=361616 CPUtime=1541.77 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 91906 0 0 0 152172 2005 0 0 25 0 1 0 3857205 370294784 88647 1992294400 4194304 7136930 140735341729856 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 90404 88647 391 719 0 89683 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 361616 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6046 /proc/meminfo: memFree=1199716/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=365672 CPUtime=1601.75 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 92938 0 0 0 158125 2050 0 0 25 0 1 0 3857205 374448128 89679 1992294400 4194304 7136930 140735341729856 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 91418 89679 391 719 0 90697 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 365672 [startup+1662.3 s] /proc/loadavg: 1.11 1.03 1.01 2/107 6048 /proc/meminfo: memFree=1193888/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=372444 CPUtime=1661.74 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 94653 0 0 0 164076 2098 0 0 25 0 1 0 3857205 381382656 91394 1992294400 4194304 7136930 140735341729856 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 93111 91394 391 719 0 92390 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 372444 [startup+1722.3 s] /proc/loadavg: 1.11 1.04 1.00 2/107 6050 /proc/meminfo: memFree=1187688/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=377532 CPUtime=1721.72 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 95949 0 0 0 170025 2147 0 0 25 0 1 0 3857205 386592768 92690 1992294400 4194304 7136930 140735341729856 18446744073709551615 4677846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 94383 92690 391 719 0 93662 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 377532 [startup+1782.3 s] /proc/loadavg: 1.11 1.04 1.00 2/107 6052 /proc/meminfo: memFree=1181736/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=383148 CPUtime=1781.7 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 97369 0 0 0 175980 2190 0 0 25 0 1 0 3857205 392343552 94110 1992294400 4194304 7136930 140735341729856 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 95787 94110 391 719 0 95066 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 383148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.08 1.04 1.00 2/107 6052 /proc/meminfo: memFree=1178264/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=387044 CPUtime=1800.02 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 98244 0 0 0 177797 2205 0 0 25 0 1 0 3857205 396333056 94985 1992294400 4194304 7136930 140735341729856 18446744073709551615 6123187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 96761 94985 391 719 0 96040 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 387044 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.08 1.04 1.00 2/107 6052 /proc/meminfo: memFree=1178264/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=387124 CPUtime=1800.8 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 98276 0 0 0 177875 2205 0 0 25 0 1 0 3857205 396414976 95017 1992294400 4194304 7136930 140735341729856 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5991/statm: 96781 95017 396 719 0 96060 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (KiB) 387124 [startup+1801.81 s] /proc/loadavg: 1.08 1.04 1.00 2/108 6053 /proc/meminfo: memFree=1178008/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=375232 CPUtime=1801.21 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5028 0 -1 4202496 98276 0 0 0 177916 2205 0 0 25 0 1 0 3857205 384237568 92044 1992294400 4194304 7136930 140735341729856 18446744073709551615 6166190 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5991/statm: 93808 92044 396 719 0 93087 0 Current children cumulated CPU time (s) 1801.21 Current children cumulated vsize (KiB) 375232 Child status: 0 Real time (s): 1801.89 CPU time (s): 1801.3 CPU user time (s): 1779.2 CPU system time (s): 22.0976 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (KiB): 387124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.2 system time used= 22.0976 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98283 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4753 runsolver used 2.90056 second user time and 8.59669 second system time The end
Begin job on node005 at 2010-06-11 20:55:35 IDJOB=2664030 IDBENCH=1275 IDSOLVER=1167 FILE ID=node005/2664030-1276282535 PBS_JOBID= 11173092 Free space on /tmp= 62532 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.1900567985.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-2664030-1276282535/watcher-2664030-1276282535 -o /tmp/evaluation-result-2664030-1276282535/solver-2664030-1276282535 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664030-1276282535.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb1b2fb5676286fc8681e7e6d0d2728f RANDOM SEED=1889709194 node005.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.246 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.49 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.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1560472 kB Buffers: 61072 kB Cached: 310856 kB SwapCached: 0 kB Active: 173304 kB Inactive: 257836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1560472 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3240 kB Writeback: 0 kB AnonPages: 59208 kB Mapped: 15460 kB Slab: 45596 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182564 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= 62528 MiB End job on node005 at 2010-06-11 21:25:37