| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.44 | 1801.92 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb |
| MD5SUM | 9a7dcf907234f84f0d33881f56632ec3 |
| 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 | 830.59 |
| 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 | 625 |
| 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-2664037-1276310555.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.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.07
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.79/3.84 c 3.6s| 10000 | 8399 | 0 | 0.0 |7179k| 105 | - | 231 |4115 | 0 | 0 | 0 |2490 | 0 | 0.000000e+00 | -- | Inf
9.59/9.63 c 9.1s| 20000 | 14670 | 0 | 0.0 | 12M| 105 | - | 231 |5812 | 0 | 0 | 0 |8031 | 0 | 0.000000e+00 | -- | Inf
14.19/14.26 c 13.5s| 30000 | 22687 | 0 | 0.0 | 16M| 105 | - | 231 |5531 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
19.08/19.15 c 18.2s| 40000 | 30611 | 0 | 0.0 | 21M| 105 | - | 231 |6471 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
24.58/24.61 c 23.4s| 50000 | 38306 | 0 | 0.0 | 26M| 105 | - | 231 |7398 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
30.58/30.65 c 29.2s| 60000 | 45702 | 0 | 0.0 | 30M| 105 | - | 231 |8543 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
37.68/37.73 c 36.0s| 70000 | 52761 | 0 | 0.0 | 35M| 105 | - | 231 |9696 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
45.78/45.81 c 43.9s| 80000 | 59532 | 0 | 0.0 | 41M| 105 | - | 231 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
55.27/55.34 c 53.1s| 90000 | 65771 | 0 | 0.0 | 46M| 105 | - | 231 | 12k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
65.97/66.06 c 63.6s|100000 | 71744 | 0 | 0.0 | 52M| 105 | - | 231 | 13k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
78.96/79.08 c 76.3s|110000 | 77045 | 0 | 0.0 | 57M| 105 | - | 231 | 15k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
95.45/95.51 c 92.5s|120000 | 81416 | 0 | 0.0 | 63M| 105 | - | 231 | 16k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
115.96/116.06 c 113s|130000 | 84889 | 0 | 0.0 | 68M| 105 | - | 231 | 17k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
139.65/139.76 c 136s|140000 | 87499 | 0 | 0.0 | 72M| 105 | - | 231 | 16k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
151.76/151.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.76/151.83 c 148s|150000 | 94290 | 0 | 0.0 | 76M| 105 | - | 231 | 13k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
161.44/161.53 c 157s|160000 |101692 | 0 | 0.0 | 80M| 105 | - | 231 | 13k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
171.14/171.22 c 167s|170000 |108944 | 0 | 0.0 | 84M| 105 | - | 231 | 13k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
180.74/180.83 c 176s|180000 |116169 | 0 | 0.0 | 88M| 105 | - | 231 | 13k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
190.63/190.74 c 186s|190000 |123310 | 0 | 0.0 | 92M| 105 | - | 231 | 13k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
200.64/200.72 c 196s|200000 |130368 | 0 | 0.0 | 96M| 105 | - | 231 | 13k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
211.04/211.17 c 206s|210000 |137232 | 0 | 0.0 | 101M| 105 | - | 231 | 14k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
221.72/221.84 c 216s|220000 |144146 | 0 | 0.0 | 105M| 105 | - | 231 | 14k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
232.72/232.83 c 227s|230000 |150907 | 0 | 0.0 | 110M| 105 | - | 231 | 15k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
243.92/244.03 c 238s|240000 |157697 | 0 | 0.0 | 114M| 105 | - | 231 | 15k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
255.92/256.09 c 250s|250000 |164202 | 0 | 0.0 | 118M| 105 | - | 231 | 16k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
267.62/267.78 c 261s|260000 |170837 | 0 | 0.0 | 123M| 105 | - | 231 | 16k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
280.21/280.31 c 273s|270000 |177376 | 0 | 0.0 | 127M| 105 | - | 231 | 17k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
292.81/292.98 c 286s|280000 |183908 | 0 | 0.0 | 131M| 105 | - | 231 | 17k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
305.62/305.78 c 298s|290000 |190298 | 0 | 0.0 | 136M| 105 | - | 231 | 17k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
318.70/318.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.70/318.89 c 311s|300000 |196722 | 0 | 0.0 | 140M| 105 | - | 231 | 18k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
332.20/332.33 c 324s|310000 |203056 | 0 | 0.0 | 144M| 105 | - | 231 | 18k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
345.80/345.99 c 338s|320000 |209346 | 0 | 0.0 | 149M| 105 | - | 231 | 19k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
360.09/360.27 c 352s|330000 |215550 | 0 | 0.0 | 153M| 105 | - | 231 | 19k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
374.59/374.75 c 366s|340000 |221697 | 0 | 0.0 | 157M| 105 | - | 231 | 19k| 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
389.58/389.75 c 381s|350000 |227763 | 0 | 0.0 | 162M| 105 | - | 231 | 20k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
404.99/405.12 c 396s|360000 |233870 | 0 | 0.0 | 166M| 105 | - | 231 | 20k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
419.99/420.20 c 411s|370000 |239936 | 0 | 0.0 | 171M| 105 | - | 231 | 21k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
436.67/436.82 c 427s|380000 |245778 | 0 | 0.0 | 175M| 105 | - | 231 | 21k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
452.47/452.63 c 443s|390000 |251798 | 0 | 0.0 | 179M| 105 | - | 231 | 21k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
469.06/469.28 c 459s|400000 |257611 | 0 | 0.0 | 184M| 105 | - | 231 | 22k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
488.96/489.14 c 478s|410000 |262913 | 0 | 0.0 | 189M| 105 | - | 231 | 22k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
510.06/510.22 c 499s|420000 |267872 | 0 | 0.0 | 194M| 105 | - | 231 | 24k| 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
535.24/535.50 c 524s|430000 |272288 | 0 | 0.0 | 199M| 105 | - | 231 | 25k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
559.75/559.92 c 548s|440000 |276946 | 0 | 0.0 | 205M| 105 | - | 231 | 27k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
589.03/589.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.03/589.24 c 577s|450000 |280949 | 0 | 0.0 | 210M| 105 | - | 231 | 28k| 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
617.33/617.52 c 605s|460000 |285292 | 0 | 0.0 | 215M| 105 | - | 231 | 29k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
649.82/650.06 c 638s|470000 |289076 | 0 | 0.0 | 221M| 105 | - | 231 | 31k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
681.31/681.56 c 669s|480000 |293038 | 0 | 0.0 | 226M| 105 | - | 231 | 32k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
715.00/715.29 c 702s|490000 |296908 | 0 | 0.0 | 231M| 105 | - | 231 | 32k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
750.09/750.30 c 737s|500000 |300479 | 0 | 0.0 | 236M| 105 | - | 231 | 34k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
786.08/786.32 c 772s|510000 |304044 | 0 | 0.0 | 241M| 105 | - | 231 | 35k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
823.88/824.19 c 810s|520000 |307346 | 0 | 0.0 | 247M| 105 | - | 231 | 36k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
863.66/863.94 c 849s|530000 |310512 | 0 | 0.0 | 252M| 105 | - | 231 | 37k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
903.86/904.20 c 889s|540000 |313645 | 0 | 0.0 | 256M| 105 | - | 231 | 38k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
948.44/948.76 c 934s|550000 |316264 | 0 | 0.0 | 261M| 105 | - | 231 | 39k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
991.64/991.95 c 976s|560000 |319223 | 0 | 0.0 | 266M| 105 | - | 231 | 40k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1041.12/1041.47 c 1026s|570000 |321276 | 0 | 0.0 | 270M| 105 | - | 231 | 40k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1091.80/1092.19 c 1076s|580000 |323210 | 0 | 0.0 | 275M| 105 | - | 231 | 41k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1144.38/1144.77 c 1128s|590000 |324920 | 0 | 0.0 | 279M| 105 | - | 231 | 42k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1199.77/1200.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.77/1200.14 c 1183s|600000 |326434 | 0 | 0.0 | 283M| 105 | - | 231 | 43k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1262.75/1263.14 c 1246s|610000 |326914 | 0 | 0.0 | 286M| 105 | - | 231 | 44k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1325.43/1325.81 c 1308s|620000 |327600 | 0 | 0.0 | 289M| 105 | - | 231 | 44k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1391.12/1391.53 c 1373s|630000 |327794 | 0 | 0.0 | 292M| 105 | - | 231 | 43k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
1457.80/1458.26 c 1439s|640000 |327781 | 0 | 0.0 | 294M| 105 | - | 231 | 42k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1515.48/1515.93 c 1497s|650000 |330287 | 0 | 0.0 | 294M| 105 | - | 231 | 34k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1548.88/1549.38 c 1530s|660000 |336102 | 0 | 0.0 | 297M| 105 | - | 231 | 30k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1582.17/1582.63 c 1563s|670000 |341434 | 0 | 0.0 | 301M| 105 | - | 231 | 27k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1614.86/1615.35 c 1595s|680000 |346477 | 0 | 0.0 | 306M| 105 | - | 231 | 26k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1646.75/1647.27 c 1627s|690000 |351527 | 0 | 0.0 | 311M| 105 | - | 231 | 26k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1677.65/1678.16 c 1657s|700000 |356690 | 0 | 0.0 | 315M| 105 | - | 231 | 26k| 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1709.43/1709.98 c 1689s|710000 |361593 | 0 | 0.0 | 320M| 105 | - | 231 | 27k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
1743.12/1743.66 c 1722s|720000 |366286 | 0 | 0.0 | 325M| 105 | - | 231 | 27k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
1775.72/1776.24 c 1754s|730000 |371024 | 0 | 0.0 | 330M| 105 | - | 231 | 27k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51 c
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time (sec) : 1778.48
1800.02/1800.51 c Solving Nodes : 737339
1800.02/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 s UNKNOWN
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1778.48
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2664037-1276310555.opb
1800.02/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 2707 initial, 2707 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2664037-1276310555.opb
1800.02/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 2564 initial, 44418 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.03 0 0 0 0 0 143 0 0
1800.02/1800.51 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c knapsack : 1 0 2180557 0 605801 58260 5257623 0 0 0
1800.02/1800.51 c setppc : 22 0 2131416 0 605801 79750 2581844 0 0 0
1800.02/1800.51 c logicor : 2541+ 0 1793717 0 605798 83018 6753200 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 605777 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c knapsack : 46.11 0.00 42.66 0.00 3.45
1800.02/1800.51 c setppc : 38.83 0.00 30.51 0.00 8.32
1800.02/1800.51 c logicor : 937.34 0.00 870.05 0.00 67.29
1800.02/1800.51 c countsols : 0.18 0.00 0.00 0.00 0.18
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 1.12 1 0 0
1800.02/1800.51 c rootredcost : 1.11 0 0 0
1800.02/1800.51 c pseudoobj : 0.81 0 0 0
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 15.85 221028 220900 1174112 22.4 9487 21.3 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 502555 16.8 - - -
1800.02/1800.51 c applied locally : - - - 7347 34.6 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 15.84 605777 0 0 0 0 1211554
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c trivial : 0.00 1 0
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c oneopt : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.00 0 0
1800.02/1800.51 c trysol : 0.00 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 737339
1800.02/1800.51 c nodes (total) : 737339
1800.02/1800.51 c nodes left : 374531
1800.02/1800.51 c max depth : 105
1800.02/1800.51 c max depth (total): 105
1800.02/1800.51 c backtracks : 121736 (16.5%)
1800.02/1800.51 c delayed cutoffs : 99685
1800.02/1800.51 c repropagations : 363415 (4944626 domain reductions, 89466 cutoffs)
1800.02/1800.51 c avg switch length: 10.91
1800.02/1800.51 c switching time : 472.46
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 0 (0 improvements)
1800.02/1800.51 c Primal Bound : -
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 0
1801.41/1801.92 c Time complete: 1801.43.
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-2664037-1276310555/watcher-2664037-1276310555 -o /tmp/evaluation-result-2664037-1276310555/solver-2664037-1276310555 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664037-1276310555.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8648 /proc/meminfo: memFree=1532260/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=6584 CPUtime=0 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 1025 0 0 0 0 0 0 0 18 0 1 0 6641924 6742016 949 1992294400 4194304 7136930 140735468683712 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8648/statm: 1646 958 254 719 0 925 0 [startup+0.0968 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8648 /proc/meminfo: memFree=1532260/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=14468 CPUtime=0.09 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 3532 0 0 0 8 1 0 0 20 0 1 0 6641924 14815232 2844 1992294400 4194304 7136930 140735468683712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 3617 2844 343 719 0 2896 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14468 [startup+0.1018 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8648 /proc/meminfo: memFree=1532260/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=14908 CPUtime=0.09 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 3628 0 0 0 8 1 0 0 20 0 1 0 6641924 15265792 2940 1992294400 4194304 7136930 140735468683712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 3727 2940 345 719 0 3006 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14908 [startup+0.30182 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8648 /proc/meminfo: memFree=1532260/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=17088 CPUtime=0.29 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 6803 0 0 0 25 4 0 0 20 0 1 0 6641924 17498112 3545 1992294400 4194304 7136930 140735468683712 18446744073709551615 4697020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 4272 3545 391 719 0 3551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17088 [startup+0.70186 s] /proc/loadavg: 0.92 0.98 0.99 3/106 8648 /proc/meminfo: memFree=1532260/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=17872 CPUtime=0.69 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 7017 0 0 0 63 6 0 0 21 0 1 0 6641924 18300928 3759 1992294400 4194304 7136930 140735468683712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 4468 3759 391 719 0 3747 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17872 [startup+1.50094 s] /proc/loadavg: 0.92 0.98 0.99 2/107 8649 /proc/meminfo: memFree=1518116/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=19048 CPUtime=1.49 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 7310 0 0 0 139 10 0 0 23 0 1 0 6641924 19505152 4052 1992294400 4194304 7136930 140735468683712 18446744073709551615 5005172 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 4762 4052 391 719 0 4041 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19048 [startup+3.1011 s] /proc/loadavg: 0.92 0.98 0.99 2/107 8649 /proc/meminfo: memFree=1515760/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=21572 CPUtime=3.09 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 7955 0 0 0 290 19 0 0 25 0 1 0 6641924 22089728 4697 1992294400 4194304 7136930 140735468683712 18446744073709551615 4697651 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 5393 4697 391 719 0 4672 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21572 [startup+6.30142 s] /proc/loadavg: 0.93 0.98 0.99 2/107 8649 /proc/meminfo: memFree=1511048/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=26436 CPUtime=6.29 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 9201 0 0 0 595 34 0 0 25 0 1 0 6641924 27070464 5943 1992294400 4194304 7136930 140735468683712 18446744073709551615 5003822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 6609 5943 391 719 0 5888 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26436 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 8649 /proc/meminfo: memFree=1503608/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=33960 CPUtime=12.69 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 11069 0 0 0 1207 62 0 0 25 0 1 0 6641924 34775040 7811 1992294400 4194304 7136930 140735468683712 18446744073709551615 4999948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 8490 7811 391 719 0 7769 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33960 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/107 8649 /proc/meminfo: memFree=1487736/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=48700 CPUtime=25.49 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 14823 0 0 0 2429 120 0 0 25 0 1 0 6641924 49868800 11565 1992294400 4194304 7136930 140735468683712 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 12175 11565 391 719 0 11454 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48700 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/107 8651 /proc/meminfo: memFree=1467028/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=69468 CPUtime=51.08 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 20079 0 0 0 4909 199 0 0 25 0 1 0 6641924 71135232 16821 1992294400 4194304 7136930 140735468683712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 17367 16821 391 719 0 16646 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 69468 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 8651 /proc/meminfo: memFree=1437268/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=99744 CPUtime=102.26 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 27193 0 0 0 9917 309 0 0 25 0 1 0 6641924 102137856 23935 1992294400 4194304 7136930 140735468683712 18446744073709551615 4221013 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 24936 23935 391 719 0 24215 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 99744 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8653 /proc/meminfo: memFree=1423256/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=113384 CPUtime=162.24 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 30657 0 0 0 15811 413 0 0 25 0 1 0 6641924 116105216 27399 1992294400 4194304 7136930 140735468683712 18446744073709551615 4220995 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 28346 27399 391 719 0 27625 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 113384 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8655 /proc/meminfo: memFree=1391016/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=145052 CPUtime=222.23 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 38673 0 0 0 21670 553 0 0 25 0 1 0 6641924 148533248 35415 1992294400 4194304 7136930 140735468683712 18446744073709551615 5922596 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 36263 35415 391 719 0 35542 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 145052 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8657 /proc/meminfo: memFree=1366216/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=169420 CPUtime=282.21 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 44849 0 0 0 27542 679 0 0 25 0 1 0 6641924 173486080 41591 1992294400 4194304 7136930 140735468683712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 42355 41591 391 719 0 41634 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 169420 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8659 /proc/meminfo: memFree=1343152/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=196388 CPUtime=342.2 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 50621 0 0 0 33424 796 0 0 25 0 1 0 6641924 201101312 47363 1992294400 4194304 7136930 140735468683712 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 49097 47363 391 719 0 48376 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 196388 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8659 /proc/meminfo: memFree=1323684/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=215408 CPUtime=402.18 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 55487 0 0 0 39312 906 0 0 25 0 1 0 6641924 220577792 52229 1992294400 4194304 7136930 140735468683712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 53852 52229 391 719 0 53131 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 215408 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8661 /proc/meminfo: memFree=1305580/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=233000 CPUtime=462.17 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 59938 0 0 0 45208 1009 0 0 25 0 1 0 6641924 238592000 56680 1992294400 4194304 7136930 140735468683712 18446744073709551615 4697398 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 58250 56680 391 719 0 57529 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 233000 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8663 /proc/meminfo: memFree=1287228/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=250892 CPUtime=522.15 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 64480 0 0 0 51122 1093 0 0 25 0 1 0 6641924 256913408 61222 1992294400 4194304 7136930 140735468683712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 62723 61222 391 719 0 62002 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 250892 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8665 /proc/meminfo: memFree=1275076/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=264756 CPUtime=582.14 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 67847 0 0 0 57052 1162 0 0 25 0 1 0 6641924 271110144 64589 1992294400 4194304 7136930 140735468683712 18446744073709551615 5001222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 66189 64589 391 719 0 65468 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 264756 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8667 /proc/meminfo: memFree=1260692/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=277668 CPUtime=642.13 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 71109 0 0 0 62988 1225 0 0 25 0 1 0 6641924 284332032 67851 1992294400 4194304 7136930 140735468683712 18446744073709551615 4221578 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 69417 67851 391 719 0 68696 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 277668 [startup+702.302 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8677 /proc/meminfo: memFree=1201792/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=336524 CPUtime=1062.01 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 85828 0 0 0 104623 1578 0 0 25 0 1 0 6641924 344600576 82570 1992294400 4194304 7136930 140735468683712 18446744073709551615 4221578 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 84131 82570 391 719 0 83410 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 336524 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8688 /proc/meminfo: memFree=1193608/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=343268 CPUtime=1121.98 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 87544 0 0 0 110577 1621 0 0 25 0 1 0 6641924 351506432 84286 1992294400 4194304 7136930 140735468683712 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 85817 84286 391 719 0 85096 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 343268 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8690 /proc/meminfo: memFree=1189392/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=348160 CPUtime=1181.97 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 88627 0 0 0 116533 1664 0 0 25 0 1 0 6641924 356515840 85369 1992294400 4194304 7136930 140735468683712 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 87040 85369 391 719 0 86319 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 348160 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8692 /proc/meminfo: memFree=1182076/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=355548 CPUtime=1241.95 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 90456 0 0 0 122487 1708 0 0 25 0 1 0 6641924 364081152 87198 1992294400 4194304 7136930 140735468683712 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 88887 87198 391 719 0 88166 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 355548 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8692 /proc/meminfo: memFree=1181332/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=356192 CPUtime=1301.94 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 90638 0 0 0 128450 1744 0 0 25 0 1 0 6641924 364740608 87380 1992294400 4194304 7136930 140735468683712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 89048 87380 391 719 0 88327 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 356192 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8694 /proc/meminfo: memFree=1177240/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=360360 CPUtime=1361.92 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 91662 0 0 0 134405 1787 0 0 25 0 1 0 6641924 369008640 88404 1992294400 4194304 7136930 140735468683712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 90090 88404 391 719 0 89369 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 360360 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8696 /proc/meminfo: memFree=1174884/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=362668 CPUtime=1421.91 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 92257 0 0 0 140367 1824 0 0 25 0 1 0 6641924 371372032 88999 1992294400 4194304 7136930 140735468683712 18446744073709551615 4210441 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 90667 88999 391 719 0 89946 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 362668 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8698 /proc/meminfo: memFree=1173396/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=364192 CPUtime=1481.9 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 92649 0 0 0 146331 1859 0 0 25 0 1 0 6641924 372932608 89391 1992294400 4194304 7136930 140735468683712 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 91048 89391 391 719 0 90327 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 364192 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8700 /proc/meminfo: memFree=1167196/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=370240 CPUtime=1541.88 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 94196 0 0 0 152282 1906 0 0 25 0 1 0 6641924 379125760 90938 1992294400 4194304 7136930 140735468683712 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 92560 90938 391 719 0 91839 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 370240 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8700 /proc/meminfo: memFree=1161864/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=375384 CPUtime=1601.86 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 95525 0 0 0 158227 1959 0 0 25 0 1 0 6641924 384393216 92267 1992294400 4194304 7136930 140735468683712 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 93846 92267 391 719 0 93125 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 375384 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8702 /proc/meminfo: memFree=1153804/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=383260 CPUtime=1661.84 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 97513 0 0 0 164166 2018 0 0 25 0 1 0 6641924 392458240 94255 1992294400 4194304 7136930 140735468683712 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 95815 94255 391 719 0 95094 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 383260 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8704 /proc/meminfo: memFree=1143388/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=393516 CPUtime=1721.83 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 100099 0 0 0 170108 2075 0 0 25 0 1 0 6641924 402960384 96841 1992294400 4194304 7136930 140735468683712 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 98379 96841 391 719 0 97658 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 393516 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8706 /proc/meminfo: memFree=1132848/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=403968 CPUtime=1781.82 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 102678 0 0 0 176050 2132 0 0 25 0 1 0 6641924 413663232 99420 1992294400 4194304 7136930 140735468683712 18446744073709551615 4221190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 100992 99420 391 719 0 100271 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 403968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 8706 /proc/meminfo: memFree=1128260/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=408512 CPUtime=1800.02 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 103826 0 0 0 177852 2150 0 0 25 0 1 0 6641924 418316288 100568 1992294400 4194304 7136930 140735468683712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8648/statm: 102128 100568 391 719 0 101407 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 408512 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.99 2/108 8707 /proc/meminfo: memFree=1128252/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=408512 CPUtime=1800.13 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 103831 0 0 0 177863 2150 0 0 25 0 1 0 6641924 418316288 100573 1992294400 4194304 7136930 140735468683712 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8648/statm: 102128 100573 396 719 0 101407 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 408512 [startup+1801.4 s] /proc/loadavg: 0.99 0.98 0.99 2/108 8707 /proc/meminfo: memFree=1128252/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=408512 CPUtime=1800.91 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 103831 0 0 0 177941 2150 0 0 25 0 1 0 6641924 418316288 100573 1992294400 4194304 7136930 140735468683712 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8648/statm: 102128 100573 396 719 0 101407 0 Current children cumulated CPU time (s) 1800.91 Current children cumulated vsize (KiB) 408512 [startup+1801.81 s] /proc/loadavg: 0.99 0.98 0.99 3/108 8707 /proc/meminfo: memFree=1128252/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=391684 CPUtime=1801.32 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 103831 0 0 0 177982 2150 0 0 25 0 1 0 6641924 401084416 96239 1992294400 4194304 7136930 140735468683712 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8648/statm: 97794 96239 396 719 0 97073 0 Current children cumulated CPU time (s) 1801.32 Current children cumulated vsize (KiB) 391684 [startup+1801.9 s] /proc/loadavg: 0.99 0.98 0.99 3/108 8707 /proc/meminfo: memFree=1128252/2059040 swapFree=4192956/4192956 [pid=8648] ppid=8646 vsize=174220 CPUtime=1801.41 /proc/8648/stat : 8648 (pbscip.linux.x8) R 8646 8648 8507 0 -1 4202496 103831 0 0 0 177989 2152 0 0 25 0 1 0 6641924 178401280 42443 1992294400 4194304 7136930 140735468683712 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8648/statm: 43299 42443 396 719 0 42578 0 Current children cumulated CPU time (s) 1801.41 Current children cumulated vsize (KiB) 174220 Child status: 0 Real time (s): 1801.92 CPU time (s): 1801.44 CPU user time (s): 1779.9 CPU system time (s): 21.5457 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 408512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.9 system time used= 21.5457 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 103838 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= 4 involuntary context switches= 24568 runsolver used 3.00354 second user time and 8.50271 second system time The end
Begin job on node017 at 2010-06-12 04:42:35 IDJOB=2664037 IDBENCH=1356 IDSOLVER=1167 FILE ID=node017/2664037-1276310555 PBS_JOBID= 11173148 Free space on /tmp= 62368 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.1900548667.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-2664037-1276310555/watcher-2664037-1276310555 -o /tmp/evaluation-result-2664037-1276310555/solver-2664037-1276310555 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664037-1276310555.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9a7dcf907234f84f0d33881f56632ec3 RANDOM SEED=1542261348 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: 1532788 kB Buffers: 84932 kB Cached: 312184 kB SwapCached: 0 kB Active: 179212 kB Inactive: 278428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1532788 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3264 kB Writeback: 0 kB AnonPages: 60548 kB Mapped: 15392 kB Slab: 46988 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182496 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62364 MiB End job on node017 at 2010-06-12 05:12:38