| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.97 | 1801.58 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb |
| MD5SUM | d9d7c99a4b01b1207d32721f3efdc2ab |
| 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 | 50.6633 |
| 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 | 761 |
| 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-2664410-1276295052.opb>
0.03/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.03/0.05 c problem read
0.03/0.06 c No objective function, only one solution is needed.
0.03/0.06 c presolving settings loaded
0.03/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.03/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.06
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.95
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.89/3.90 c 3.6s| 10000 | 8339 | 0 | 0.0 |7049k| 106 | - | 231 |4041 | 0 | 0 | 0 |2348 | 0 | 0.000000e+00 | -- | Inf
9.39/9.49 c 8.9s| 20000 | 14882 | 0 | 0.0 | 11M| 106 | - | 231 |4977 | 0 | 0 | 0 |7138 | 0 | 0.000000e+00 | -- | Inf
14.59/14.63 c 13.8s| 30000 | 22530 | 0 | 0.0 | 16M| 106 | - | 231 |5666 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
20.28/20.36 c 19.3s| 40000 | 29913 | 0 | 0.0 | 20M| 106 | - | 231 |6354 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
26.79/26.87 c 25.6s| 50000 | 36866 | 0 | 0.0 | 25M| 106 | - | 231 |7003 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
34.38/34.42 c 32.9s| 60000 | 43363 | 0 | 0.0 | 30M| 106 | - | 231 |7777 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
43.37/43.41 c 41.6s| 70000 | 49301 | 0 | 0.0 | 35M| 106 | - | 231 |9071 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
54.47/54.57 c 52.5s| 80000 | 54457 | 0 | 0.0 | 40M| 106 | - | 231 | 10k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
68.56/68.61 c 66.2s| 90000 | 58770 | 0 | 0.0 | 45M| 106 | - | 231 | 11k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
85.56/85.62 c 82.8s|100000 | 62258 | 0 | 0.0 | 50M| 106 | - | 231 | 12k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
104.25/104.39 c 101s|110000 | 64734 | 0 | 0.0 | 54M| 106 | - | 231 | 11k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
113.65/113.78 c 110s|120000 | 71932 | 0 | 0.0 | 58M| 106 | - | 231 |9778 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
124.45/124.59 c 121s|130000 | 78352 | 0 | 0.0 | 63M| 106 | - | 231 |9474 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
135.64/135.73 c 132s|140000 | 84576 | 0 | 0.0 | 68M| 106 | - | 231 |9931 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
148.24/148.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.24/148.39 c 144s|150000 | 90065 | 0 | 0.0 | 73M| 106 | - | 231 | 10k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
161.34/161.45 c 157s|160000 | 95651 | 0 | 0.0 | 78M| 106 | - | 231 | 11k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
175.84/175.97 c 171s|170000 |100858 | 0 | 0.0 | 83M| 106 | - | 231 | 12k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
191.92/192.09 c 187s|180000 |105655 | 0 | 0.0 | 88M| 106 | - | 231 | 12k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
209.02/209.17 c 204s|190000 |110268 | 0 | 0.0 | 93M| 106 | - | 231 | 13k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
227.81/228.00 c 222s|200000 |114413 | 0 | 0.0 | 98M| 106 | - | 231 | 13k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
247.01/247.17 c 241s|210000 |118548 | 0 | 0.0 | 103M| 106 | - | 231 | 13k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
266.40/266.51 c 260s|220000 |122726 | 0 | 0.0 | 108M| 106 | - | 231 | 14k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
286.79/286.93 c 280s|230000 |126515 | 0 | 0.0 | 113M| 106 | - | 231 | 14k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
309.39/309.52 c 303s|240000 |129879 | 0 | 0.0 | 118M| 106 | - | 231 | 14k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
332.98/333.14 c 326s|250000 |132863 | 0 | 0.0 | 123M| 106 | - | 231 | 15k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
357.38/357.56 c 350s|260000 |135724 | 0 | 0.0 | 128M| 106 | - | 231 | 15k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
383.36/383.52 c 376s|270000 |138319 | 0 | 0.0 | 132M| 106 | - | 231 | 16k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
409.15/409.35 c 401s|280000 |141061 | 0 | 0.0 | 137M| 106 | - | 231 | 16k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
436.74/436.93 c 428s|290000 |143394 | 0 | 0.0 | 141M| 106 | - | 231 | 17k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
466.33/466.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.33/466.54 c 457s|300000 |145248 | 0 | 0.0 | 146M| 106 | - | 231 | 18k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
497.32/497.57 c 488s|310000 |147020 | 0 | 0.0 | 150M| 106 | - | 231 | 18k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
531.21/531.43 c 522s|320000 |148125 | 0 | 0.0 | 153M| 106 | - | 231 | 19k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
565.30/565.58 c 555s|330000 |149651 | 0 | 0.0 | 158M| 106 | - | 231 | 20k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
603.59/603.86 c 593s|340000 |150450 | 0 | 0.0 | 161M| 106 | - | 231 | 21k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
643.88/644.19 c 633s|350000 |150762 | 0 | 0.0 | 165M| 106 | - | 231 | 22k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
686.36/686.62 c 675s|360000 |150926 | 0 | 0.0 | 168M| 106 | - | 231 | 23k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
730.25/730.53 c 719s|370000 |150586 | 0 | 0.0 | 170M| 106 | - | 231 | 23k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
769.33/769.63 c 757s|380000 |152311 | 0 | 0.0 | 172M| 106 | - | 231 | 18k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
800.13/800.49 c 788s|390000 |155807 | 0 | 0.0 | 176M| 106 | - | 231 | 17k| 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
831.72/832.06 c 819s|400000 |158807 | 0 | 0.0 | 181M| 106 | - | 231 | 17k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
863.31/863.65 c 850s|410000 |161677 | 0 | 0.0 | 186M| 106 | - | 231 | 17k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
895.59/895.99 c 882s|420000 |164319 | 0 | 0.0 | 191M| 106 | - | 231 | 17k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
929.88/930.29 c 916s|430000 |166561 | 0 | 0.0 | 195M| 106 | - | 231 | 18k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
965.68/966.04 c 952s|440000 |168454 | 0 | 0.0 | 199M| 106 | - | 231 | 18k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1004.36/1004.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.36/1004.76 c 990s|450000 |169752 | 0 | 0.0 | 204M| 106 | - | 231 | 20k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1040.45/1040.82 c 1026s|460000 |172034 | 0 | 0.0 | 209M| 106 | - | 231 | 19k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1081.24/1081.60 c 1066s|470000 |173106 | 0 | 0.0 | 213M| 106 | - | 231 | 20k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1125.33/1125.72 c 1110s|480000 |173541 | 0 | 0.0 | 217M| 106 | - | 231 | 22k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1169.60/1170.04 c 1154s|490000 |174367 | 0 | 0.0 | 221M| 106 | - | 231 | 23k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1219.40/1219.84 c 1203s|500000 |174383 | 0 | 0.0 | 225M| 106 | - | 231 | 23k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1270.57/1271.02 c 1254s|510000 |174092 | 0 | 0.0 | 228M| 106 | - | 231 | 24k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
1320.16/1320.61 c 1303s|520000 |174394 | 0 | 0.0 | 232M| 106 | - | 231 | 24k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
1375.54/1376.05 c 1358s|530000 |173481 | 0 | 0.0 | 234M| 106 | - | 231 | 25k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
1429.82/1430.39 c 1412s|540000 |173114 | 0 | 0.0 | 237M| 106 | - | 231 | 26k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1486.30/1486.88 c 1468s|550000 |172396 | 0 | 0.0 | 240M| 106 | - | 231 | 26k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1547.78/1548.38 c 1529s|560000 |170761 | 0 | 0.0 | 241M| 106 | - | 231 | 27k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1605.16/1605.71 c 1586s|570000 |170283 | 0 | 0.0 | 245M| 106 | - | 231 | 27k| 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
1668.33/1668.95 c 1649s|580000 |168350 | 0 | 0.0 | 245M| 106 | - | 231 | 27k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | -- | Inf
1728.41/1729.02 c 1708s|590000 |167176 | 0 | 0.0 | 247M| 106 | - | 231 | 27k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | -- | Inf
1790.20/1790.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1790.20/1790.87 c 1770s|600000 |165789 | 0 | 0.0 | 250M| 106 | - | 231 | 28k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | -- | Inf
1800.00/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.62 c
1800.00/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.62 c Solving Time (sec) : 1779.30
1800.00/1800.62 c Solving Nodes : 601528
1800.00/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.62 c Dual Bound : +0.00000000000000e+00
1800.00/1800.62 c Gap : infinite
1800.00/1800.62 s UNKNOWN
1800.00/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.62 c Solving Time : 1779.30
1800.00/1800.62 c Original Problem :
1800.00/1800.62 c Problem name : HOME/instance-2664410-1276295052.opb
1800.00/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.00/1800.62 c Presolved Problem :
1800.00/1800.62 c Problem name : t_HOME/instance-2664410-1276295052.opb
1800.00/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.62 c Constraints : 2564 initial, 28415 maximal
1800.00/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0
1800.00/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.62 c root node : - 0 - - 0 - - - -
1800.00/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.62 c knapsack : 1 0 2187944 0 440001 82838 7575264 0 0 0
1800.00/1800.62 c setppc : 22 0 2117612 0 440001 103350 2695016 0 0 0
1800.00/1800.62 c logicor : 2541+ 0 1704386 0 439999 70474 7254758 0 0 0
1800.00/1800.62 c countsols : 0 0 0 0 439983 0 0 0 0 0
1800.00/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.62 c knapsack : 52.35 0.00 50.06 0.00 2.29
1800.00/1800.62 c setppc : 35.38 0.00 29.80 0.00 5.58
1800.00/1800.62 c logicor : 926.01 0.00 873.70 0.00 52.31
1800.00/1800.62 c countsols : 0.25 0.00 0.00 0.00 0.25
1800.00/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.62 c vbounds : 1.12 1 0 0
1800.00/1800.62 c rootredcost : 1.19 0 0 0
1800.00/1800.62 c pseudoobj : 0.86 0 0 0
1800.00/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.62 c propagation : 14.49 256662 256560 1126863 16.2 5864 19.4 -
1800.00/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.62 c applied globally : - - - 536971 13.3 - - -
1800.00/1800.62 c applied locally : - - - 2559 35.4 - - -
1800.00/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.62 c redcost : 0.00 0 0 0 0 0
1800.00/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.62 c intobj : 0.00 0 0 0 0 0
1800.00/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.62 c gomory : 0.00 0 0 0 0 0
1800.00/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.62 c cmir : 0.00 0 0 0 0 0
1800.00/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.62 c clique : 0.00 0 0 0 0 0
1800.00/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.62 c mcf : 0.00 0 0 0 0 0
1800.00/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.62 c Pricers : Time Calls Vars
1800.00/1800.62 c problem variables: 0.00 0 0
1800.00/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.62 c inference : 11.88 439983 0 0 0 0 879966
1800.00/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.62 c random : 0.00 0 0 0 0 0 0
1800.00/1800.62 c Primal Heuristics : Time Calls Found
1800.00/1800.62 c LP solutions : 0.00 - 0
1800.00/1800.62 c pseudo solutions : 0.00 - 0
1800.00/1800.62 c trivial : 0.00 1 0
1800.00/1800.62 c simplerounding : 0.00 0 0
1800.00/1800.62 c zirounding : 0.00 0 0
1800.00/1800.62 c rounding : 0.00 0 0
1800.00/1800.62 c shifting : 0.00 0 0
1800.00/1800.62 c intshifting : 0.00 0 0
1800.00/1800.62 c oneopt : 0.00 0 0
1800.00/1800.62 c twoopt : 0.00 0 0
1800.00/1800.62 c fixandinfer : 0.00 0 0
1800.00/1800.62 c feaspump : 0.00 0 0
1800.00/1800.62 c coefdiving : 0.00 0 0
1800.00/1800.62 c pscostdiving : 0.00 0 0
1800.00/1800.62 c fracdiving : 0.00 0 0
1800.00/1800.62 c veclendiving : 0.00 0 0
1800.00/1800.62 c intdiving : 0.00 0 0
1800.00/1800.62 c actconsdiving : 0.00 0 0
1800.00/1800.62 c objpscostdiving : 0.00 0 0
1800.00/1800.62 c rootsoldiving : 0.00 0 0
1800.00/1800.62 c linesearchdiving : 0.00 0 0
1800.00/1800.62 c guideddiving : 0.00 0 0
1800.00/1800.62 c octane : 0.00 0 0
1800.00/1800.62 c rens : 0.00 0 0
1800.00/1800.62 c rins : 0.00 0 0
1800.00/1800.62 c localbranching : 0.00 0 0
1800.00/1800.62 c mutation : 0.00 0 0
1800.00/1800.62 c crossover : 0.00 0 0
1800.00/1800.62 c dins : 0.00 0 0
1800.00/1800.62 c undercover : 0.00 0 0
1800.00/1800.62 c nlp : 0.00 0 0
1800.00/1800.62 c trysol : 0.00 0 0
1800.00/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.62 c (at root node) : - 0 0 0.00 -
1800.00/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.62 c B&B Tree :
1800.00/1800.62 c number of runs : 1
1800.00/1800.62 c nodes : 601528
1800.00/1800.62 c nodes (total) : 601528
1800.00/1800.62 c nodes left : 165537
1800.00/1800.62 c max depth : 106
1800.00/1800.62 c max depth (total): 106
1800.00/1800.62 c backtracks : 170182 (28.3%)
1800.00/1800.62 c delayed cutoffs : 112902
1800.00/1800.62 c repropagations : 541761 (5402205 domain reductions, 95117 cutoffs)
1800.00/1800.62 c avg switch length: 15.87
1800.00/1800.62 c switching time : 495.86
1800.00/1800.62 c Solution :
1800.00/1800.62 c Solutions found : 0 (0 improvements)
1800.00/1800.62 c Primal Bound : -
1800.00/1800.62 c Dual Bound : +0.00000000000000e+00
1800.00/1800.62 c Gap : infinite
1800.00/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.62 c Root Iterations : 0
1800.89/1801.57 c Time complete: 1800.96.
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-2664410-1276295052/watcher-2664410-1276295052 -o /tmp/evaluation-result-2664410-1276295052/solver-2664410-1276295052 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664410-1276295052.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.03 1.04 3/106 7055 /proc/meminfo: memFree=1546572/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=6584 CPUtime=0 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 1000 0 0 0 0 0 0 0 23 0 1 0 5106672 6742016 923 1992294400 4194304 7136930 140737153549024 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7055/statm: 1646 930 254 719 0 925 0 [startup+0.039198 s] /proc/loadavg: 1.00 1.03 1.04 3/106 7055 /proc/meminfo: memFree=1546572/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=8928 CPUtime=0.03 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 1721 0 0 0 3 0 0 0 23 0 1 0 5106672 9142272 1643 1992294400 4194304 7136930 140737153549024 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7055/statm: 2232 1643 268 719 0 1511 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8928 [startup+0.101206 s] /proc/loadavg: 1.00 1.03 1.04 3/106 7055 /proc/meminfo: memFree=1546572/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=14764 CPUtime=0.09 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 3608 0 0 0 8 1 0 0 23 0 1 0 5106672 15118336 2919 1992294400 4194304 7136930 140737153549024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 3691 2919 345 719 0 2970 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14764 [startup+0.301232 s] /proc/loadavg: 1.00 1.03 1.04 3/106 7055 /proc/meminfo: memFree=1546572/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=17080 CPUtime=0.29 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 6818 0 0 0 26 3 0 0 24 0 1 0 5106672 17489920 3559 1992294400 4194304 7136930 140737153549024 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 4270 3559 391 719 0 3549 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17080 [startup+0.701283 s] /proc/loadavg: 1.00 1.03 1.04 3/106 7055 /proc/meminfo: memFree=1546572/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=17864 CPUtime=0.69 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 7007 0 0 0 64 5 0 0 25 0 1 0 5106672 18292736 3748 1992294400 4194304 7136930 140737153549024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 4466 3748 391 719 0 3745 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17864 [startup+1.50139 s] /proc/loadavg: 1.00 1.03 1.04 2/107 7056 /proc/meminfo: memFree=1532428/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=19052 CPUtime=1.49 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 7308 0 0 0 139 10 0 0 25 0 1 0 5106672 19509248 4049 1992294400 4194304 7136930 140737153549024 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 4763 4049 391 719 0 4042 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19052 [startup+3.10159 s] /proc/loadavg: 1.00 1.03 1.04 2/107 7056 /proc/meminfo: memFree=1530196/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=21396 CPUtime=3.09 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 7912 0 0 0 289 20 0 0 25 0 1 0 5106672 21909504 4653 1992294400 4194304 7136930 140737153549024 18446744073709551615 5004480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 5349 4653 391 719 0 4628 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21396 [startup+6.30101 s] /proc/loadavg: 1.00 1.03 1.04 2/107 7056 /proc/meminfo: memFree=1525732/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=26040 CPUtime=6.29 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 9070 0 0 0 592 37 0 0 25 0 1 0 5106672 26664960 5811 1992294400 4194304 7136930 140737153549024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 6510 5811 391 719 0 5789 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26040 [startup+12.7018 s] /proc/loadavg: 1.00 1.03 1.04 2/107 7056 /proc/meminfo: memFree=1519284/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=33248 CPUtime=12.69 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 10921 0 0 0 1202 67 0 0 25 0 1 0 5106672 34045952 7662 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 8312 7662 391 719 0 7591 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33248 [startup+25.5005 s] /proc/loadavg: 1.00 1.03 1.04 2/107 7058 /proc/meminfo: memFree=1504776/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=45236 CPUtime=25.48 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 13969 0 0 0 2432 116 0 0 25 0 1 0 5106672 46321664 10710 1992294400 4194304 7136930 140737153549024 18446744073709551615 5001222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 11309 10710 391 719 0 10588 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45236 [startup+51.1009 s] /proc/loadavg: 1.00 1.03 1.03 2/107 7058 /proc/meminfo: memFree=1488408/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=61444 CPUtime=51.07 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 18047 0 0 0 4912 195 0 0 25 0 1 0 5106672 62918656 14788 1992294400 4194304 7136930 140737153549024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 15361 14788 391 719 0 14640 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61444 [startup+102.309 s] /proc/loadavg: 1.00 1.02 1.03 2/107 7060 /proc/meminfo: memFree=1465964/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=83636 CPUtime=102.26 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 23582 0 0 0 9926 300 0 0 25 0 1 0 5106672 85643264 20323 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 20909 20323 391 719 0 20188 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 83636 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.02 2/107 7060 /proc/meminfo: memFree=1438808/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=112732 CPUtime=162.23 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 30424 0 0 0 15783 440 0 0 25 0 1 0 5106672 115437568 27165 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 28183 27165 391 719 0 27462 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 112732 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.02 2/107 7062 /proc/meminfo: memFree=1416116/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=135124 CPUtime=222.21 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 36009 0 0 0 21670 551 0 0 25 0 1 0 5106672 138366976 32750 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 33781 32750 391 719 0 33060 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 135124 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 7064 /proc/meminfo: memFree=1397516/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=153484 CPUtime=282.19 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 40646 0 0 0 27574 645 0 0 25 0 1 0 5106672 157167616 37387 1992294400 4194304 7136930 140737153549024 18446744073709551615 4221348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 38371 37387 391 719 0 37650 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 153484 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 7066 /proc/meminfo: memFree=1383628/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=167292 CPUtime=342.18 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 44093 0 0 0 33487 731 0 0 25 0 1 0 5106672 171307008 40834 1992294400 4194304 7136930 140737153549024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 41823 40834 391 719 0 41102 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 167292 [startup+402.301 s] /proc/loadavg: 1.08 1.02 1.01 2/107 7068 /proc/meminfo: memFree=1369616/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=181376 CPUtime=402.16 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 47597 0 0 0 39407 809 0 0 25 0 1 0 5106672 185729024 44338 1992294400 4194304 7136930 140737153549024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 45344 44338 391 719 0 44623 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 181376 [startup+462.301 s] /proc/loadavg: 1.08 1.03 1.01 2/107 7068 /proc/meminfo: memFree=1357960/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=193376 CPUtime=462.13 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 50578 0 0 0 45328 885 0 0 25 0 1 0 5106672 198017024 47319 1992294400 4194304 7136930 140737153549024 18446744073709551615 4209704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 48344 47319 391 719 0 47623 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 193376 [startup+522.301 s] /proc/loadavg: 1.07 1.03 1.00 2/107 7070 /proc/meminfo: memFree=1350024/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=200704 CPUtime=522.12 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 52431 0 0 0 51256 956 0 0 25 0 1 0 5106672 205520896 49172 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 50176 49172 391 719 0 49455 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 200704 [startup+582.301 s] /proc/loadavg: 1.10 1.05 1.01 2/107 7072 /proc/meminfo: memFree=1344692/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=205864 CPUtime=582.1 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 53743 0 0 0 57190 1020 0 0 25 0 1 0 5106672 210804736 50484 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 51466 50484 391 719 0 50745 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 205864 [startup+642.301 s] /proc/loadavg: 1.07 1.06 1.01 2/107 7074 /proc/meminfo: memFree=1339236/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=211492 CPUtime=642.08 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 55082 0 0 0 63129 1079 0 0 25 0 1 0 5106672 216567808 51823 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 52873 51823 391 719 0 52152 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 211492 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.08 1.06 1.01 2/107 7084 /proc/meminfo: memFree=1286412/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=264552 CPUtime=1001.96 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 68190 0 0 0 98753 1443 0 0 25 0 1 0 5106672 270901248 64931 1992294400 4194304 7136930 140737153549024 18446744073709551615 4998137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 66138 64931 391 719 0 65417 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 264552 [startup+1062.3 s] /proc/loadavg: 1.03 1.05 1.00 2/107 7084 /proc/meminfo: memFree=1275376/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=275452 CPUtime=1061.94 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 70940 0 0 0 104696 1498 0 0 25 0 1 0 5106672 282062848 67681 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 68863 67681 391 719 0 68142 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 275452 [startup+1122.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 7086 /proc/meminfo: memFree=1266944/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=283928 CPUtime=1121.92 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 73014 0 0 0 110638 1554 0 0 25 0 1 0 5106672 290742272 69755 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 70982 69755 391 719 0 70261 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 283928 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 7088 /proc/meminfo: memFree=1263348/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=287656 CPUtime=1181.9 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 73911 0 0 0 116587 1603 0 0 25 0 1 0 5106672 294559744 70652 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 71914 70652 391 719 0 71193 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 287656 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7090 /proc/meminfo: memFree=1258636/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=292296 CPUtime=1241.88 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 75071 0 0 0 122533 1655 0 0 25 0 1 0 5106672 299311104 71812 1992294400 4194304 7136930 140737153549024 18446744073709551615 6166606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 73074 71812 391 719 0 72353 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 292296 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7092 /proc/meminfo: memFree=1253180/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=297504 CPUtime=1301.87 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 76378 0 0 0 128483 1704 0 0 25 0 1 0 5106672 304644096 73119 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 74376 73119 391 719 0 73655 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 297504 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7092 /proc/meminfo: memFree=1251196/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=299664 CPUtime=1361.84 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 76903 0 0 0 134432 1752 0 0 25 0 1 0 5106672 306855936 73644 1992294400 4194304 7136930 140737153549024 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 74916 73644 391 719 0 74195 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 299664 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7094 /proc/meminfo: memFree=1243260/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=307700 CPUtime=1421.83 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 78865 0 0 0 140383 1800 0 0 25 0 1 0 5106672 315084800 75606 1992294400 4194304 7136930 140737153549024 18446744073709551615 4221373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 76925 75606 391 719 0 76204 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 307700 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7096 /proc/meminfo: memFree=1241772/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=309372 CPUtime=1481.8 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 79216 0 0 0 146334 1846 0 0 25 0 1 0 5106672 316796928 75957 1992294400 4194304 7136930 140737153549024 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 77343 75957 391 719 0 76622 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 309372 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7098 /proc/meminfo: memFree=1240036/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=311128 CPUtime=1541.78 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 79648 0 0 0 152293 1885 0 0 25 0 1 0 5106672 318595072 76389 1992294400 4194304 7136930 140737153549024 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 77782 76389 391 719 0 77061 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 311128 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7100 /proc/meminfo: memFree=1235944/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=315144 CPUtime=1601.75 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 80668 0 0 0 158249 1926 0 0 25 0 1 0 5106672 322707456 77409 1992294400 4194304 7136930 140737153549024 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 78786 77409 391 719 0 78065 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 315144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7100 /proc/meminfo: memFree=1235696/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=315776 CPUtime=1661.74 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 80754 0 0 0 164205 1969 0 0 25 0 1 0 5106672 323354624 77495 1992294400 4194304 7136930 140737153549024 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 78944 77495 391 719 0 78223 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 315776 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7102 /proc/meminfo: memFree=1231728/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=319528 CPUtime=1721.72 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 81708 0 0 0 170161 2011 0 0 25 0 1 0 5106672 327196672 78449 1992294400 4194304 7136930 140737153549024 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 79882 78449 391 719 0 79161 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 319528 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7104 /proc/meminfo: memFree=1230736/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=320316 CPUtime=1781.69 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 81911 0 0 0 176114 2055 0 0 25 0 1 0 5106672 328003584 78652 1992294400 4194304 7136930 140737153549024 18446744073709551615 4219844 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 80079 78652 391 719 0 79358 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 320316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7104 /proc/meminfo: memFree=1230612/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=320316 CPUtime=1800 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 81920 0 0 0 177934 2066 0 0 25 0 1 0 5106672 328003584 78661 1992294400 4194304 7136930 140737153549024 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7055/statm: 80079 78661 391 719 0 79358 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 320316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7104 /proc/meminfo: memFree=1230612/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=320468 CPUtime=1800.39 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 81961 0 0 0 177973 2066 0 0 25 0 1 0 5106672 328159232 78702 1992294400 4194304 7136930 140737153549024 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7055/statm: 80117 78702 396 719 0 79396 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 320468 [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7104 /proc/meminfo: memFree=1230612/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=319444 CPUtime=1800.79 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 81961 0 0 0 178013 2066 0 0 25 0 1 0 5106672 327110656 78446 1992294400 4194304 7136930 140737153549024 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7055/statm: 79861 78446 396 719 0 79140 0 Current children cumulated CPU time (s) 1800.79 Current children cumulated vsize (KiB) 319444 [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7104 /proc/meminfo: memFree=1230612/2059040 swapFree=4192956/4192956 [pid=7055] ppid=7053 vsize=313088 CPUtime=1800.89 /proc/7055/stat : 7055 (pbscip.linux.x8) R 7053 7055 6786 0 -1 4202496 81961 0 0 0 178023 2066 0 0 25 0 1 0 5106672 320602112 76857 1992294400 4194304 7136930 140737153549024 18446744073709551615 5950417 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7055/statm: 78272 76857 396 719 0 77551 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (KiB) 313088 Child status: 0 Real time (s): 1801.58 CPU time (s): 1800.97 CPU user time (s): 1780.27 CPU system time (s): 20.6999 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 320468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.27 system time used= 20.6999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81968 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= 5 involuntary context switches= 10285 runsolver used 2.80757 second user time and 8.68368 second system time The end
Begin job on node013 at 2010-06-12 00:24:12 IDJOB=2664410 IDBENCH=1310 IDSOLVER=1167 FILE ID=node013/2664410-1276295052 PBS_JOBID= 11173116 Free space on /tmp= 62424 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.1900571132.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-2664410-1276295052/watcher-2664410-1276295052 -o /tmp/evaluation-result-2664410-1276295052/solver-2664410-1276295052 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664410-1276295052.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d9d7c99a4b01b1207d32721f3efdc2ab RANDOM SEED=575491681 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1547100 kB Buffers: 72768 kB Cached: 311812 kB SwapCached: 0 kB Active: 173896 kB Inactive: 269988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1547100 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3296 kB Writeback: 12 kB AnonPages: 59208 kB Mapped: 15416 kB Slab: 46296 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179824 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= 62420 MiB End job on node013 at 2010-06-12 00:54:14