| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.3 | 1801.97 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb |
| MD5SUM | 23d2095f3ee13b7452c309e9137df723 |
| 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 | 188.928 |
| 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 | 649 |
| 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-2664443-1276306524.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.10/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.10/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.10/0.15 c presolving (3 rounds):
0.10/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.15 c 242 implications, 22 cliques
0.10/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.10/0.15 c 1 constraints of type <knapsack>
0.10/0.15 c 22 constraints of type <setppc>
0.10/0.15 c 2541 constraints of type <logicor>
0.10/0.15 c transformed objective value is always integral (scale: 1)
0.10/0.15 c Presolving Time: 0.07
0.10/0.15 c - non default parameters ----------------------------------------------------------------------
0.10/0.15 c # SCIP version 1.2.1.2
0.10/0.15 c
0.10/0.15 c # frequency for displaying node information lines
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.15 c display/freq = 10000
0.10/0.15 c
0.10/0.15 c # maximal time in seconds to run
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15 c limits/time = 1799.95
0.10/0.15 c
0.10/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15 c limits/memory = 1620
0.10/0.15 c
0.10/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c limits/solutions = 1
0.10/0.15 c
0.10/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c lp/solvefreq = -1
0.10/0.15 c
0.10/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.10/0.15 c separating/maxrounds = 1
0.10/0.15 c
0.10/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c separating/maxroundsroot = 5
0.10/0.15 c
0.10/0.15 c # should presolving try to simplify inequalities
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15 c constraints/linear/simplifyinequalities = TRUE
0.10/0.15 c
0.10/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.10/0.15 c constraints/knapsack/disaggregation = FALSE
0.10/0.15 c
0.10/0.15 c # should presolving try to simplify knapsacks
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.15 c
0.10/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c presolving/probing/maxrounds = 0
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/coefdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.10/0.15 c heuristics/crossover/freq = -1
0.10/0.15 c
0.10/0.15 c # number of nodes added to the contingent of the total nodes
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.10/0.15 c heuristics/crossover/nodesofs = 750
0.10/0.15 c
0.10/0.15 c # number of nodes without incumbent change that heuristic should wait
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.10/0.15 c heuristics/crossover/nwaitingnodes = 100
0.10/0.15 c
0.10/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.10/0.15 c # [type: real, range: [0,1], default: 0.1]
0.10/0.15 c heuristics/crossover/nodesquot = 0.15
0.10/0.15 c
0.10/0.15 c # minimum percentage of integer variables that have to be fixed
0.10/0.15 c # [type: real, range: [0,1], default: 0.666]
0.10/0.15 c heuristics/crossover/minfixingrate = 0.5
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/feaspump/freq = -1
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/fracdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/guideddiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/intshifting/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/linesearchdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/nlp/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/objpscostdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.10/0.15 c # [type: real, range: [0,1], default: 0.01]
0.10/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/oneopt/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/pscostdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c heuristics/rens/freq = -1
0.10/0.15 c
0.10/0.15 c # minimum percentage of integer variables that have to be fixable
0.10/0.15 c # [type: real, range: [0,1], default: 0.5]
0.10/0.15 c heuristics/rens/minfixingrate = 0.3
0.10/0.15 c
0.10/0.15 c # number of nodes added to the contingent of the total nodes
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.10/0.15 c heuristics/rens/nodesofs = 2000
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/rootsoldiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.10/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/rounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/shifting/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/simplerounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c heuristics/trivial/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/trysol/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/veclendiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/zirounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c separating/cmir/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c separating/flowcover/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c separating/rapidlearning/freq = 0
0.10/0.15 c
0.10/0.15 c -----------------------------------------------------------------------------------------------
0.10/0.15 c start solving
0.10/0.15 c
0.10/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.10/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.08 c 3.8s| 10000 | 8129 | 0 | 0.0 |7196k| 90 | - | 231 |4424 | 0 | 0 | 0 |2699 | 0 | 0.000000e+00 | -- | Inf
9.49/9.54 c 9.0s| 20000 | 15012 | 0 | 0.0 | 11M| 97 | - | 231 |5374 | 0 | 0 | 0 |6997 | 0 | 0.000000e+00 | -- | Inf
14.49/14.54 c 13.8s| 30000 | 22769 | 0 | 0.0 | 16M| 97 | - | 231 |6106 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
20.18/20.21 c 19.3s| 40000 | 30229 | 0 | 0.0 | 21M| 97 | - | 231 |7041 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
26.49/26.57 c 25.4s| 50000 | 37516 | 0 | 0.0 | 25M| 97 | - | 231 |7819 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
33.48/33.54 c 32.1s| 60000 | 44629 | 0 | 0.0 | 30M| 97 | - | 231 |8643 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
41.28/41.33 c 39.7s| 70000 | 51414 | 0 | 0.0 | 35M| 97 | - | 231 |9413 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
50.97/51.04 c 49.1s| 80000 | 57339 | 0 | 0.0 | 40M| 97 | - | 231 | 10k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
62.88/62.95 c 60.8s| 90000 | 62399 | 0 | 0.0 | 45M| 97 | - | 231 | 11k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
77.17/77.30 c 74.8s|100000 | 66638 | 0 | 0.0 | 50M| 97 | - | 231 | 11k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
93.47/93.54 c 90.7s|110000 | 70339 | 0 | 0.0 | 54M| 97 | - | 231 | 11k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
108.97/109.09 c 106s|120000 | 74199 | 0 | 0.0 | 59M| 97 | - | 231 | 10k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
119.06/119.15 c 116s|130000 | 81066 | 0 | 0.0 | 63M| 97 | - | 231 | 11k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
130.26/130.30 c 127s|140000 | 87612 | 0 | 0.0 | 68M| 97 | - | 231 | 11k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
142.46/142.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.46/142.52 c 139s|150000 | 93844 | 0 | 0.0 | 73M| 97 | - | 231 | 12k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
155.16/155.29 c 151s|160000 | 99971 | 0 | 0.0 | 78M| 97 | - | 231 | 13k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
168.75/168.86 c 164s|170000 |105924 | 0 | 0.0 | 84M| 97 | - | 231 | 14k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
183.45/183.53 c 179s|180000 |111595 | 0 | 0.0 | 89M| 97 | - | 231 | 15k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
199.25/199.39 c 194s|190000 |117032 | 0 | 0.0 | 94M| 97 | - | 231 | 15k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
216.24/216.33 c 211s|200000 |122442 | 0 | 0.0 | 99M| 97 | - | 231 | 16k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
233.33/233.47 c 228s|210000 |127783 | 0 | 0.0 | 104M| 97 | - | 231 | 16k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
251.84/251.96 c 246s|220000 |132817 | 0 | 0.0 | 109M| 97 | - | 231 | 17k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
270.92/271.03 c 265s|230000 |137756 | 0 | 0.0 | 114M| 97 | - | 231 | 17k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
290.12/290.20 c 284s|240000 |142679 | 0 | 0.0 | 119M| 97 | - | 231 | 18k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
311.32/311.46 c 305s|250000 |147194 | 0 | 0.0 | 124M| 97 | - | 231 | 19k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
331.90/332.03 c 325s|260000 |151985 | 0 | 0.0 | 129M| 97 | - | 231 | 19k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
354.30/354.45 c 347s|270000 |156335 | 0 | 0.0 | 134M| 97 | - | 231 | 20k| 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
377.10/377.25 c 369s|280000 |160690 | 0 | 0.0 | 139M| 97 | - | 231 | 20k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
400.99/401.15 c 393s|290000 |164832 | 0 | 0.0 | 144M| 97 | - | 231 | 20k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
425.70/425.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.70/425.89 c 417s|300000 |168748 | 0 | 0.0 | 149M| 97 | - | 231 | 21k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
451.47/451.60 c 443s|310000 |172544 | 0 | 0.0 | 153M| 97 | - | 231 | 21k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
478.77/478.94 c 470s|320000 |176004 | 0 | 0.0 | 158M| 97 | - | 231 | 22k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
505.67/505.83 c 496s|330000 |179675 | 0 | 0.0 | 163M| 97 | - | 231 | 22k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
535.06/535.21 c 525s|340000 |182806 | 0 | 0.0 | 168M| 97 | - | 231 | 23k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
563.66/563.84 c 554s|350000 |186313 | 0 | 0.0 | 173M| 97 | - | 231 | 23k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
595.44/595.64 c 585s|360000 |189009 | 0 | 0.0 | 177M| 97 | - | 231 | 23k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
628.83/629.07 c 618s|370000 |191518 | 0 | 0.0 | 182M| 97 | - | 231 | 24k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
661.83/662.08 c 651s|380000 |194084 | 0 | 0.0 | 186M| 97 | - | 231 | 24k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
696.22/696.47 c 685s|390000 |196530 | 0 | 0.0 | 191M| 97 | - | 231 | 24k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
733.31/733.50 c 722s|400000 |198394 | 0 | 0.0 | 195M| 97 | - | 231 | 25k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
771.60/771.81 c 759s|410000 |200192 | 0 | 0.0 | 199M| 97 | - | 231 | 24k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
811.20/811.41 c 799s|420000 |201737 | 0 | 0.0 | 203M| 97 | - | 231 | 25k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
854.09/854.37 c 841s|430000 |202723 | 0 | 0.0 | 207M| 97 | - | 231 | 25k| 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
896.07/896.37 c 883s|440000 |203869 | 0 | 0.0 | 210M| 97 | - | 231 | 24k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
939.16/939.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.16/939.50 c 926s|450000 |204830 | 0 | 0.0 | 213M| 97 | - | 231 | 24k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
989.25/989.58 c 975s|460000 |204392 | 0 | 0.0 | 216M| 97 | - | 231 | 23k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1027.94/1028.27 c 1014s|470000 |206466 | 0 | 0.0 | 218M| 97 | - | 231 | 23k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1059.04/1059.34 c 1044s|480000 |211057 | 0 | 0.0 | 223M| 97 | - | 231 | 24k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1090.42/1090.77 c 1076s|490000 |215502 | 0 | 0.0 | 228M| 97 | - | 231 | 25k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1123.42/1123.70 c 1108s|500000 |219810 | 0 | 0.0 | 233M| 97 | - | 231 | 25k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1157.81/1158.13 c 1142s|510000 |223874 | 0 | 0.0 | 239M| 97 | - | 231 | 26k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1194.10/1194.49 c 1178s|520000 |227543 | 0 | 0.0 | 244M| 97 | - | 231 | 27k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1231.89/1232.20 c 1216s|530000 |231084 | 0 | 0.0 | 249M| 97 | - | 231 | 29k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1271.18/1271.57 c 1255s|540000 |234652 | 0 | 0.0 | 254M| 97 | - | 231 | 30k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1310.27/1310.65 c 1293s|550000 |238340 | 0 | 0.0 | 259M| 97 | - | 231 | 30k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1355.56/1355.96 c 1338s|560000 |241187 | 0 | 0.0 | 265M| 97 | - | 231 | 32k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1394.85/1395.23 c 1377s|570000 |245217 | 0 | 0.0 | 270M| 97 | - | 231 | 32k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1440.14/1440.50 c 1422s|580000 |248270 | 0 | 0.0 | 274M| 97 | - | 231 | 33k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1480.93/1481.37 c 1463s|590000 |251990 | 0 | 0.0 | 279M| 97 | - | 231 | 33k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1521.81/1522.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.81/1522.24 c 1503s|600000 |255897 | 0 | 0.0 | 284M| 97 | - | 231 | 33k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
1572.49/1572.92 c 1554s|610000 |258345 | 0 | 0.0 | 288M| 97 | - | 231 | 35k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1616.07/1616.79 c 1597s|620000 |262015 | 0 | 0.0 | 293M| 97 | - | 231 | 34k| 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1666.56/1667.28 c 1647s|630000 |264547 | 0 | 0.0 | 297M| 97 | - | 231 | 36k| 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
1715.85/1716.55 c 1696s|640000 |267346 | 0 | 0.0 | 302M| 97 | - | 231 | 37k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | -- | Inf
1767.14/1767.85 c 1747s|650000 |270005 | 0 | 0.0 | 308M| 97 | - | 231 | 38k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.72 c
1800.04/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.72 c Solving Time (sec) : 1779.47
1800.04/1800.72 c Solving Nodes : 655632
1800.04/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.72 c Dual Bound : +0.00000000000000e+00
1800.04/1800.72 c Gap : infinite
1800.04/1800.72 s UNKNOWN
1800.04/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.72 c Solving Time : 1779.47
1800.04/1800.72 c Original Problem :
1800.04/1800.72 c Problem name : HOME/instance-2664443-1276306524.opb
1800.04/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.72 c Constraints : 2707 initial, 2707 maximal
1800.04/1800.72 c Presolved Problem :
1800.04/1800.72 c Problem name : t_HOME/instance-2664443-1276306524.opb
1800.04/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.72 c Constraints : 2564 initial, 39510 maximal
1800.04/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.72 c linear : 0.02 0 0 0 0 0 143 0 0
1800.04/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.72 c root node : - 0 - - 0 - - - -
1800.04/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.72 c knapsack : 1 0 2106631 0 517341 67961 5922114 0 0 0
1800.04/1800.72 c setppc : 22 0 2050644 0 517341 76230 2729378 0 0 0
1800.04/1800.72 c logicor : 2541+ 0 1701528 0 517341 90617 6973039 0 0 0
1800.04/1800.72 c countsols : 0 0 0 0 517341 0 0 0 0 0
1800.04/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.72 c knapsack : 50.88 0.00 47.82 0.00 3.06
1800.04/1800.72 c setppc : 37.18 0.00 30.03 0.00 7.15
1800.04/1800.72 c logicor : 935.16 0.00 875.14 0.00 60.02
1800.04/1800.72 c countsols : 0.17 0.00 0.00 0.00 0.17
1800.04/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.72 c vbounds : 1.05 1 0 0
1800.04/1800.72 c rootredcost : 1.25 0 0 0
1800.04/1800.72 c pseudoobj : 0.86 0 0 0
1800.04/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.72 c propagation : 15.95 234808 234699 1181545 19.5 5429 20.6 -
1800.04/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.72 c applied globally : - - - 515760 15.1 - - -
1800.04/1800.72 c applied locally : - - - 4537 34.9 - - -
1800.04/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.72 c redcost : 0.00 0 0 0 0 0
1800.04/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.72 c intobj : 0.00 0 0 0 0 0
1800.04/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.72 c gomory : 0.00 0 0 0 0 0
1800.04/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.72 c cmir : 0.00 0 0 0 0 0
1800.04/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.72 c clique : 0.00 0 0 0 0 0
1800.04/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.72 c mcf : 0.00 0 0 0 0 0
1800.04/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.72 c Pricers : Time Calls Vars
1800.04/1800.72 c problem variables: 0.00 0 0
1800.04/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.72 c inference : 14.33 517341 0 0 0 0 1034682
1800.04/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.72 c random : 0.00 0 0 0 0 0 0
1800.04/1800.72 c Primal Heuristics : Time Calls Found
1800.04/1800.72 c LP solutions : 0.00 - 0
1800.04/1800.72 c pseudo solutions : 0.00 - 0
1800.04/1800.72 c trivial : 0.01 1 0
1800.04/1800.72 c simplerounding : 0.00 0 0
1800.04/1800.72 c zirounding : 0.00 0 0
1800.04/1800.72 c rounding : 0.00 0 0
1800.04/1800.72 c shifting : 0.00 0 0
1800.04/1800.72 c intshifting : 0.00 0 0
1800.04/1800.72 c oneopt : 0.00 0 0
1800.04/1800.72 c twoopt : 0.00 0 0
1800.04/1800.72 c fixandinfer : 0.00 0 0
1800.04/1800.72 c feaspump : 0.00 0 0
1800.04/1800.72 c coefdiving : 0.00 0 0
1800.04/1800.72 c pscostdiving : 0.00 0 0
1800.04/1800.72 c fracdiving : 0.00 0 0
1800.04/1800.72 c veclendiving : 0.00 0 0
1800.04/1800.72 c intdiving : 0.00 0 0
1800.04/1800.72 c actconsdiving : 0.00 0 0
1800.04/1800.72 c objpscostdiving : 0.00 0 0
1800.04/1800.72 c rootsoldiving : 0.00 0 0
1800.04/1800.72 c linesearchdiving : 0.00 0 0
1800.04/1800.72 c guideddiving : 0.00 0 0
1800.04/1800.72 c octane : 0.00 0 0
1800.04/1800.72 c rens : 0.00 0 0
1800.04/1800.72 c rins : 0.00 0 0
1800.04/1800.72 c localbranching : 0.00 0 0
1800.04/1800.72 c mutation : 0.00 0 0
1800.04/1800.72 c crossover : 0.00 0 0
1800.04/1800.72 c dins : 0.00 0 0
1800.04/1800.72 c undercover : 0.00 0 0
1800.04/1800.72 c nlp : 0.00 0 0
1800.04/1800.72 c trysol : 0.00 0 0
1800.04/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.72 c (at root node) : - 0 0 0.00 -
1800.04/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.72 c B&B Tree :
1800.04/1800.72 c number of runs : 1
1800.04/1800.72 c nodes : 655632
1800.04/1800.72 c nodes (total) : 655632
1800.04/1800.72 c nodes left : 271119
1800.04/1800.72 c max depth : 97
1800.04/1800.72 c max depth (total): 97
1800.04/1800.72 c backtracks : 135065 (20.6%)
1800.04/1800.72 c delayed cutoffs : 107932
1800.04/1800.72 c repropagations : 396250 (5218312 domain reductions, 96517 cutoffs)
1800.04/1800.72 c avg switch length: 12.24
1800.04/1800.72 c switching time : 474.86
1800.04/1800.72 c Solution :
1800.04/1800.72 c Solutions found : 0 (0 improvements)
1800.04/1800.73 c Primal Bound : -
1800.04/1800.73 c Dual Bound : +0.00000000000000e+00
1800.04/1800.73 c Gap : infinite
1800.04/1800.73 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.73 c Root Iterations : 0
1801.24/1801.96 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-2664443-1276306524/watcher-2664443-1276306524 -o /tmp/evaluation-result-2664443-1276306524/solver-2664443-1276306524 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664443-1276306524.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.11 1.04 1.01 3/107 6282 /proc/meminfo: memFree=1504432/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=6584 CPUtime=0 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 1026 0 0 0 0 0 0 0 17 0 1 0 4308157 6742016 950 1992294400 4194304 7136930 140735329061456 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6282/statm: 1646 960 254 719 0 925 0 [startup+0.109446 s] /proc/loadavg: 1.11 1.04 1.01 3/107 6282 /proc/meminfo: memFree=1504432/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=15520 CPUtime=0.1 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 3814 0 0 0 9 1 0 0 17 0 1 0 4308157 15892480 3126 1992294400 4194304 7136930 140735329061456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 3880 3126 349 719 0 3159 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15520 [startup+0.201454 s] /proc/loadavg: 1.11 1.04 1.01 3/107 6282 /proc/meminfo: memFree=1504432/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=16912 CPUtime=0.19 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 6753 0 0 0 16 3 0 0 17 0 1 0 4308157 17317888 3495 1992294400 4194304 7136930 140735329061456 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 4228 3495 391 719 0 3507 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16912 [startup+0.301463 s] /proc/loadavg: 1.11 1.04 1.01 3/107 6282 /proc/meminfo: memFree=1504432/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=17060 CPUtime=0.29 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 6811 0 0 0 26 3 0 0 17 0 1 0 4308157 17469440 3553 1992294400 4194304 7136930 140735329061456 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 4265 3553 391 719 0 3544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17060 [startup+0.700498 s] /proc/loadavg: 1.11 1.04 1.01 3/107 6282 /proc/meminfo: memFree=1504432/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=17728 CPUtime=0.69 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 6961 0 0 0 64 5 0 0 17 0 1 0 4308157 18153472 3703 1992294400 4194304 7136930 140735329061456 18446744073709551615 4697133 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 4432 3703 391 719 0 3711 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17728 [startup+1.50157 s] /proc/loadavg: 1.11 1.04 1.01 2/108 6283 /proc/meminfo: memFree=1489916/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=19196 CPUtime=1.49 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 7332 0 0 0 140 9 0 0 18 0 1 0 4308157 19656704 4074 1992294400 4194304 7136930 140735329061456 18446744073709551615 4414752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 4799 4074 391 719 0 4078 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19196 [startup+3.10171 s] /proc/loadavg: 1.18 1.06 1.01 2/108 6283 /proc/meminfo: memFree=1487560/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=21588 CPUtime=3.09 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 7940 0 0 0 293 16 0 0 21 0 1 0 4308157 22106112 4682 1992294400 4194304 7136930 140735329061456 18446744073709551615 4414514 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 5397 4682 391 719 0 4676 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21588 [startup+6.301 s] /proc/loadavg: 1.18 1.06 1.01 2/108 6283 /proc/meminfo: memFree=1483096/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=25432 CPUtime=6.28 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 8932 0 0 0 597 31 0 0 25 0 1 0 4308157 26042368 5674 1992294400 4194304 7136930 140735329061456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 6358 5674 391 719 0 5637 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25432 [startup+12.7016 s] /proc/loadavg: 1.17 1.05 1.01 2/108 6283 /proc/meminfo: memFree=1475160/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=33108 CPUtime=12.69 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 10876 0 0 0 1207 62 0 0 25 0 1 0 4308157 33902592 7618 1992294400 4194304 7136930 140735329061456 18446744073709551615 5955663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 8277 7618 391 719 0 7556 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33108 [startup+25.5007 s] /proc/loadavg: 1.13 1.05 1.01 2/108 6285 /proc/meminfo: memFree=1461892/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=45952 CPUtime=25.48 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 14139 0 0 0 2440 108 0 0 25 0 1 0 4308157 47054848 10881 1992294400 4194304 7136930 140735329061456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 11488 10881 391 719 0 10767 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45952 [startup+51.101 s] /proc/loadavg: 1.08 1.05 1.01 3/108 6285 /proc/meminfo: memFree=1444036/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=64048 CPUtime=51.08 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 18712 0 0 0 4921 187 0 0 25 0 1 0 4308157 65585152 15454 1992294400 4194304 7136930 140735329061456 18446744073709551615 4210637 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 16012 15454 391 719 0 15291 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 64048 [startup+102.301 s] /proc/loadavg: 1.03 1.04 1.00 2/108 6287 /proc/meminfo: memFree=1422212/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=87100 CPUtime=102.28 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 23990 0 0 0 9936 292 0 0 25 0 1 0 4308157 89190400 20732 1992294400 4194304 7136930 140735329061456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 21775 20732 391 719 0 21054 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 87100 [startup+162.301 s] /proc/loadavg: 1.01 1.03 1.00 2/108 6287 /proc/meminfo: memFree=1391956/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=116876 CPUtime=162.25 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 31492 0 0 0 15802 423 0 0 25 0 1 0 4308157 119681024 28234 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 29219 28234 391 719 0 28498 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 116876 [startup+222.308 s] /proc/loadavg: 1.00 1.02 1.00 2/108 6292 /proc/meminfo: memFree=1365792/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=142372 CPUtime=222.25 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 37942 0 0 0 21688 537 0 0 25 0 1 0 4308157 145788928 34684 1992294400 4194304 7136930 140735329061456 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 35593 34684 391 719 0 34872 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 142372 [startup+282.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 6294 /proc/meminfo: memFree=1352400/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=155908 CPUtime=282.22 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 41297 0 0 0 27587 635 0 0 25 0 1 0 4308157 159649792 38039 1992294400 4194304 7136930 140735329061456 18446744073709551615 5004400 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 38977 38039 391 719 0 38256 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 155908 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 6296 /proc/meminfo: memFree=1335412/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=172604 CPUtime=342.21 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 45517 0 0 0 33501 720 0 0 25 0 1 0 4308157 176746496 42259 1992294400 4194304 7136930 140735329061456 18446744073709551615 4697611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 43151 42259 391 719 0 42430 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 172604 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6298 /proc/meminfo: memFree=1318300/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=189944 CPUtime=402.19 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 49858 0 0 0 39419 800 0 0 25 0 1 0 4308157 194502656 46600 1992294400 4194304 7136930 140735329061456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 47486 46600 391 719 0 46765 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 189944 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6298 /proc/meminfo: memFree=1305032/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=202892 CPUtime=462.18 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 53101 0 0 0 45347 871 0 0 25 0 1 0 4308157 207761408 49843 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 50723 49843 391 719 0 50002 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 202892 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6300 /proc/meminfo: memFree=1290400/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=217660 CPUtime=522.16 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 56772 0 0 0 51275 941 0 0 25 0 1 0 4308157 222883840 53514 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 54415 53514 391 719 0 53694 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 217660 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6302 /proc/meminfo: memFree=1279612/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=228208 CPUtime=582.15 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 59451 0 0 0 57203 1012 0 0 25 0 1 0 4308157 233684992 56193 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 57052 56193 391 719 0 56331 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 228208 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6304 /proc/meminfo: memFree=1270808/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=237380 CPUtime=642.14 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 61749 0 0 0 63140 1074 0 0 25 0 1 0 4308157 243077120 58491 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 59345 58491 391 719 0 58624 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 237380 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6312 /proc/meminfo: memFree=1240552/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=270924 CPUtime=942.06 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 69102 0 0 0 92846 1360 0 0 25 0 1 0 4308157 277426176 65844 1992294400 4194304 7136930 140735329061456 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 67731 65844 391 719 0 67010 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 270924 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6314 /proc/meminfo: memFree=1237824/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=273736 CPUtime=1002.04 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 69775 0 0 0 98800 1404 0 0 25 0 1 0 4308157 280305664 66517 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 68434 66517 391 719 0 67713 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 273736 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6314 /proc/meminfo: memFree=1230012/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=281816 CPUtime=1062.03 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 71726 0 0 0 104738 1465 0 0 25 0 1 0 4308157 288579584 68468 1992294400 4194304 7136930 140735329061456 18446744073709551615 4998400 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 70454 68468 391 719 0 69733 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 281816 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6316 /proc/meminfo: memFree=1214140/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=297668 CPUtime=1122.01 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 75720 0 0 0 110682 1519 0 0 25 0 1 0 4308157 304812032 72462 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 74417 72462 391 719 0 73696 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 297668 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6318 /proc/meminfo: memFree=1204468/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=306892 CPUtime=1182 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 78054 0 0 0 116626 1574 0 0 25 0 1 0 4308157 314257408 74796 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 76723 74796 391 719 0 76002 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 306892 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6320 /proc/meminfo: memFree=1196408/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=314748 CPUtime=1241.99 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 80030 0 0 0 122572 1627 0 0 25 0 1 0 4308157 322301952 76772 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 78687 76772 391 719 0 77966 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 314748 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6322 /proc/meminfo: memFree=1189092/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=322060 CPUtime=1301.97 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 81825 0 0 0 128518 1679 0 0 25 0 1 0 4308157 329789440 78567 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 80515 78567 391 719 0 79794 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 322060 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6322 /proc/meminfo: memFree=1183140/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=328160 CPUtime=1361.96 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 83294 0 0 0 134471 1725 0 0 25 0 1 0 4308157 336035840 80036 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 82040 80036 391 719 0 81319 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 328160 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6324 /proc/meminfo: memFree=1171236/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=339952 CPUtime=1421.95 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 86293 0 0 0 140419 1776 0 0 25 0 1 0 4308157 348110848 83035 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 84988 83035 391 719 0 84267 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 339952 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6326 /proc/meminfo: memFree=1161068/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=349896 CPUtime=1481.93 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 88806 0 0 0 146369 1824 0 0 25 0 1 0 4308157 358293504 85548 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 87474 85548 391 719 0 86753 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 349896 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6337 /proc/meminfo: memFree=1154736/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=356308 CPUtime=1541.9 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 90359 0 0 0 152323 1867 0 0 25 0 1 0 4308157 364859392 87101 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 89077 87101 391 719 0 88356 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 356308 [startup+1602.3 s] /proc/loadavg: 1.08 1.02 1.01 2/108 6831 /proc/meminfo: memFree=1147404/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=361644 CPUtime=1601.68 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 91741 0 0 0 158251 1917 0 0 25 0 1 0 4308157 370323456 88483 1992294400 4194304 7136930 140735329061456 18446744073709551615 4210359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 90411 88483 391 719 0 89690 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 361644 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 1.00 2/108 6831 /proc/meminfo: memFree=1142956/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=367072 CPUtime=1661.66 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 93071 0 0 0 164209 1957 0 0 25 0 1 0 4308157 375881728 89813 1992294400 4194304 7136930 140735329061456 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 91768 89813 391 719 0 91047 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 367072 [startup+1722.3 s] /proc/loadavg: 1.01 1.00 1.00 2/108 6833 /proc/meminfo: memFree=1134772/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=375376 CPUtime=1721.64 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 95128 0 0 0 170163 2001 0 0 25 0 1 0 4308157 384385024 91870 1992294400 4194304 7136930 140735329061456 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 93844 91870 391 719 0 93123 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 375376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6835 /proc/meminfo: memFree=1128324/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=381720 CPUtime=1781.63 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 96736 0 0 0 176120 2043 0 0 25 0 1 0 4308157 390881280 93478 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 95430 93478 391 719 0 94709 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 381720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6835 /proc/meminfo: memFree=1125844/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=384216 CPUtime=1800.04 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 97358 0 0 0 177951 2053 0 0 25 0 1 0 4308157 393437184 94100 1992294400 4194304 7136930 140735329061456 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6282/statm: 96054 94100 391 719 0 95333 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 384216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6835 /proc/meminfo: memFree=1125844/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=384432 CPUtime=1800.82 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 97406 0 0 0 178029 2053 0 0 25 0 1 0 4308157 393658368 94148 1992294400 4194304 7136930 140735329061456 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6282/statm: 96108 94148 396 719 0 95387 0 Current children cumulated CPU time (s) 1800.82 Current children cumulated vsize (KiB) 384432 [startup+1801.91 s] /proc/loadavg: 1.00 1.00 1.00 2/109 6836 /proc/meminfo: memFree=1125712/2059040 swapFree=4192956/4192956 [pid=6282] ppid=6280 vsize=358832 CPUtime=1801.24 /proc/6282/stat : 6282 (pbscip.linux.x8) R 6280 6282 5414 0 -1 4202496 97406 0 0 0 178070 2054 0 0 25 0 1 0 4308157 367443968 87748 1992294400 4194304 7136930 140735329061456 18446744073709551615 6166269 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6282/statm: 89708 87748 396 719 0 88987 0 Current children cumulated CPU time (s) 1801.24 Current children cumulated vsize (KiB) 358832 Child status: 0 Real time (s): 1801.97 CPU time (s): 1801.3 CPU user time (s): 1780.72 CPU system time (s): 20.5789 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 384432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.72 system time used= 20.5789 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97413 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= 15932 runsolver used 2.81057 second user time and 8.70468 second system time The end
Begin job on node025 at 2010-06-12 03:35:24 IDJOB=2664443 IDBENCH=1346 IDSOLVER=1167 FILE ID=node025/2664443-1276306524 PBS_JOBID= 11173126 Free space on /tmp= 62540 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.1900558739.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-2664443-1276306524/watcher-2664443-1276306524 -o /tmp/evaluation-result-2664443-1276306524/solver-2664443-1276306524 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664443-1276306524.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 23d2095f3ee13b7452c309e9137df723 RANDOM SEED=1853662064 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1504836 kB Buffers: 81984 kB Cached: 332264 kB SwapCached: 0 kB Active: 175776 kB Inactive: 297720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1504836 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3268 kB Writeback: 0 kB AnonPages: 59300 kB Mapped: 15464 kB Slab: 58812 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182884 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= 62536 MiB End job on node025 at 2010-06-12 04:05:27