| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.24 | 1801.8 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb |
| MD5SUM | d3b8f3f407b82b0f272ff2eb3fe91ca6 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 8.11477 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| 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 | 657 |
| 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-2664379-1276280770.opb>
0.02/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.02/0.05 c problem read
0.02/0.05 c No objective function, only one solution is needed.
0.02/0.05 c presolving settings loaded
0.02/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/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.99/4.03 c 3.8s| 10000 | 8138 | 0 | 0.0 |7178k| 101 | - | 231 |4419 | 0 | 0 | 0 |2590 | 0 | 0.000000e+00 | -- | Inf
9.59/9.61 c 9.1s| 20000 | 14803 | 0 | 0.0 | 12M| 101 | - | 231 |5405 | 0 | 0 | 0 |6803 | 0 | 0.000000e+00 | -- | Inf
14.78/14.89 c 14.1s| 30000 | 22349 | 0 | 0.0 | 16M| 101 | - | 231 |6402 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
20.89/20.99 c 20.0s| 40000 | 29588 | 0 | 0.0 | 21M| 101 | - | 231 |7252 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
28.19/28.29 c 27.1s| 50000 | 36218 | 0 | 0.0 | 26M| 101 | - | 231 |8277 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
37.29/37.32 c 35.8s| 60000 | 42083 | 0 | 0.0 | 31M| 101 | - | 231 |9492 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
48.18/48.24 c 46.4s| 70000 | 47393 | 0 | 0.0 | 37M| 101 | - | 231 | 10k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
60.87/60.94 c 58.9s| 80000 | 52257 | 0 | 0.0 | 42M| 101 | - | 231 | 12k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
75.78/75.89 c 73.5s| 90000 | 56373 | 0 | 0.0 | 47M| 101 | - | 231 | 12k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
93.26/93.36 c 90.7s|100000 | 59727 | 0 | 0.0 | 52M| 101 | - | 231 | 12k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
109.16/109.27 c 106s|110000 | 64172 | 0 | 0.0 | 56M| 101 | - | 231 | 11k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
119.46/119.51 c 116s|120000 | 71036 | 0 | 0.0 | 60M| 101 | - | 231 | 11k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
130.15/130.23 c 127s|130000 | 77723 | 0 | 0.0 | 65M| 101 | - | 231 | 11k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
141.45/141.54 c 138s|140000 | 84233 | 0 | 0.0 | 70M| 101 | - | 231 | 12k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
153.34/153.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.34/153.46 c 149s|150000 | 90657 | 0 | 0.0 | 75M| 101 | - | 231 | 13k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
165.83/165.92 c 162s|160000 | 97021 | 0 | 0.0 | 79M| 101 | - | 231 | 13k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
178.84/178.91 c 174s|170000 |103259 | 0 | 0.0 | 84M| 101 | - | 231 | 14k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
192.73/192.88 c 188s|180000 |109308 | 0 | 0.0 | 89M| 101 | - | 231 | 15k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
207.12/207.25 c 202s|190000 |115331 | 0 | 0.0 | 93M| 101 | - | 231 | 15k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
222.32/222.47 c 217s|200000 |121046 | 0 | 0.0 | 98M| 101 | - | 231 | 16k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
239.82/239.95 c 234s|210000 |126137 | 0 | 0.0 | 103M| 101 | - | 231 | 16k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
259.41/259.56 c 254s|220000 |130612 | 0 | 0.0 | 108M| 101 | - | 231 | 17k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
276.10/276.25 c 270s|230000 |136281 | 0 | 0.0 | 112M| 101 | - | 231 | 17k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
297.00/297.16 c 291s|240000 |140590 | 0 | 0.0 | 117M| 101 | - | 231 | 18k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
319.49/319.63 c 313s|250000 |144528 | 0 | 0.0 | 123M| 101 | - | 231 | 19k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
343.38/343.52 c 336s|260000 |148296 | 0 | 0.0 | 128M| 101 | - | 231 | 20k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
368.67/368.88 c 361s|270000 |151801 | 0 | 0.0 | 133M| 101 | - | 231 | 20k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
395.67/395.83 c 388s|280000 |154981 | 0 | 0.0 | 138M| 101 | - | 231 | 21k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
425.25/425.45 c 417s|290000 |157796 | 0 | 0.0 | 143M| 101 | - | 231 | 21k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
454.35/454.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.35/454.56 c 446s|300000 |160707 | 0 | 0.0 | 148M| 101 | - | 231 | 22k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
485.03/485.27 c 476s|310000 |163375 | 0 | 0.0 | 153M| 101 | - | 231 | 22k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
516.73/516.93 c 508s|320000 |165950 | 0 | 0.0 | 158M| 101 | - | 231 | 23k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
549.41/549.61 c 540s|330000 |168223 | 0 | 0.0 | 162M| 101 | - | 231 | 23k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
583.21/583.43 c 573s|340000 |170226 | 0 | 0.0 | 167M| 101 | - | 231 | 24k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
621.00/621.26 c 611s|350000 |171536 | 0 | 0.0 | 170M| 101 | - | 231 | 23k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
659.38/659.61 c 649s|360000 |172733 | 0 | 0.0 | 174M| 101 | - | 231 | 24k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
699.67/699.94 c 689s|370000 |173411 | 0 | 0.0 | 178M| 101 | - | 231 | 24k| 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
742.76/743.09 c 732s|380000 |173497 | 0 | 0.0 | 181M| 101 | - | 231 | 24k| 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
793.35/793.62 c 782s|390000 |172100 | 0 | 0.0 | 183M| 101 | - | 231 | 23k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
824.44/824.70 c 812s|400000 |176162 | 0 | 0.0 | 185M| 101 | - | 231 | 20k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
848.13/848.40 c 836s|410000 |181576 | 0 | 0.0 | 190M| 101 | - | 231 | 19k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
876.72/877.03 c 864s|420000 |185630 | 0 | 0.0 | 195M| 101 | - | 231 | 20k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
904.92/905.29 c 892s|430000 |189824 | 0 | 0.0 | 200M| 101 | - | 231 | 22k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
932.90/933.28 c 920s|440000 |194228 | 0 | 0.0 | 205M| 101 | - | 231 | 22k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
963.00/963.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.00/963.37 c 949s|450000 |198317 | 0 | 0.0 | 210M| 101 | - | 231 | 23k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
992.19/992.59 c 978s|460000 |202448 | 0 | 0.0 | 215M| 101 | - | 231 | 24k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1025.28/1025.67 c 1011s|470000 |206061 | 0 | 0.0 | 220M| 101 | - | 231 | 25k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1059.87/1060.24 c 1045s|480000 |209482 | 0 | 0.0 | 226M| 101 | - | 231 | 25k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1094.46/1094.86 c 1080s|490000 |213018 | 0 | 0.0 | 230M| 101 | - | 231 | 26k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1127.34/1127.72 c 1112s|500000 |216894 | 0 | 0.0 | 235M| 101 | - | 231 | 26k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1169.63/1170.05 c 1154s|510000 |219426 | 0 | 0.0 | 240M| 101 | - | 231 | 27k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1209.63/1210.08 c 1194s|520000 |222375 | 0 | 0.0 | 245M| 101 | - | 231 | 28k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1257.80/1258.22 c 1241s|530000 |224241 | 0 | 0.0 | 250M| 101 | - | 231 | 30k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1301.78/1302.24 c 1285s|540000 |226963 | 0 | 0.0 | 255M| 101 | - | 231 | 30k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1348.18/1348.66 c 1331s|550000 |229303 | 0 | 0.0 | 260M| 101 | - | 231 | 31k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1398.26/1398.75 c 1381s|560000 |231373 | 0 | 0.0 | 265M| 101 | - | 231 | 32k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | -- | Inf
1444.45/1444.93 c 1427s|570000 |233878 | 0 | 0.0 | 270M| 101 | - | 231 | 32k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1502.62/1503.18 c 1485s|580000 |234796 | 0 | 0.0 | 274M| 101 | - | 231 | 33k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1546.71/1547.21 c 1528s|590000 |237804 | 0 | 0.0 | 279M| 101 | - | 231 | 34k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1595.89/1596.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1595.89/1596.49 c 1577s|600000 |239971 | 0 | 0.0 | 284M| 101 | - | 231 | 34k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1652.08/1652.64 c 1633s|610000 |241310 | 0 | 0.0 | 288M| 101 | - | 231 | 35k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
1703.96/1704.51 c 1684s|620000 |243486 | 0 | 0.0 | 292M| 101 | - | 231 | 35k| 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | -- | Inf
1752.45/1753.09 c 1733s|630000 |245951 | 0 | 0.0 | 297M| 101 | - | 231 | 35k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.62 c
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time (sec) : 1779.76
1800.05/1800.62 c Solving Nodes : 639827
1800.05/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.62 c Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 s UNKNOWN
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1779.76
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-2664379-1276280770.opb
1800.05/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 2707 initial, 2707 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-2664379-1276280770.opb
1800.05/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 2564 initial, 36211 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0
1800.05/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.62 c root node : - 0 - - 0 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.62 c knapsack : 1 0 2097524 0 498653 69582 6078058 0 0 0
1800.05/1800.62 c setppc : 22 0 2041188 0 498653 82054 2722663 0 0 0
1800.05/1800.62 c logicor : 2541+ 0 1643791 0 498651 86228 6858974 0 0 0
1800.05/1800.62 c countsols : 0 0 0 0 498639 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c knapsack : 51.32 0.00 48.79 0.00 2.53
1800.05/1800.62 c setppc : 36.96 0.00 30.04 0.00 6.92
1800.05/1800.62 c logicor : 936.21 0.00 878.46 0.00 57.75
1800.05/1800.62 c countsols : 0.23 0.00 0.00 0.00 0.23
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c vbounds : 1.20 1 0 0
1800.05/1800.62 c rootredcost : 1.30 0 0 0
1800.05/1800.62 c pseudoobj : 0.92 0 0 0
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 15.77 237864 237842 1178349 18.8 5004 20.6 -
1800.05/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.62 c applied globally : - - - 519937 14.6 - - -
1800.05/1800.62 c applied locally : - - - 3456 35.1 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.62 c redcost : 0.00 0 0 0 0 0
1800.05/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 0.00 0 0 0 0 0
1800.05/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.62 c cmir : 0.00 0 0 0 0 0
1800.05/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.62 c clique : 0.00 0 0 0 0 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.00 0 0 0 0 0
1800.05/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 13.84 498639 0 0 0 0 997278
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.00 - 0
1800.05/1800.62 c trivial : 0.00 1 0
1800.05/1800.62 c simplerounding : 0.00 0 0
1800.05/1800.62 c zirounding : 0.00 0 0
1800.05/1800.62 c rounding : 0.00 0 0
1800.05/1800.62 c shifting : 0.00 0 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c oneopt : 0.00 0 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c feaspump : 0.00 0 0
1800.05/1800.62 c coefdiving : 0.00 0 0
1800.05/1800.62 c pscostdiving : 0.00 0 0
1800.05/1800.62 c fracdiving : 0.00 0 0
1800.05/1800.62 c veclendiving : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c objpscostdiving : 0.00 0 0
1800.05/1800.62 c rootsoldiving : 0.00 0 0
1800.05/1800.62 c linesearchdiving : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 0.00 0 0
1800.05/1800.62 c trysol : 0.00 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.62 c (at root node) : - 0 0 0.00 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 639827
1800.05/1800.62 c nodes (total) : 639827
1800.05/1800.62 c nodes left : 248393
1800.05/1800.62 c max depth : 101
1800.05/1800.62 c max depth (total): 101
1800.05/1800.62 c backtracks : 140734 (22.0%)
1800.05/1800.62 c delayed cutoffs : 109059
1800.05/1800.62 c repropagations : 432153 (5185950 domain reductions, 96676 cutoffs)
1800.05/1800.62 c avg switch length: 12.62
1800.05/1800.62 c switching time : 478.06
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 0 (0 improvements)
1800.05/1800.62 c Primal Bound : -
1800.05/1800.62 c Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Root Iterations : 0
1801.13/1801.80 c Time complete: 1801.23.
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-2664379-1276280770/watcher-2664379-1276280770 -o /tmp/evaluation-result-2664379-1276280770/solver-2664379-1276280770 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664379-1276280770.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6553 /proc/meminfo: memFree=1562536/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=7612 CPUtime=0 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 1191 0 0 0 0 0 0 0 18 0 1 0 3681000 7794688 1113 1992294400 4194304 7136930 140735704773760 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6553/statm: 1903 1121 254 719 0 1182 0 [startup+0.0308599 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6553 /proc/meminfo: memFree=1562536/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=8688 CPUtime=0.02 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 1644 0 0 0 2 0 0 0 20 0 1 0 3681000 8896512 1566 1992294400 4194304 7136930 140735704773760 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6553/statm: 2172 1566 268 719 0 1451 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8688 [startup+0.100868 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6553 /proc/meminfo: memFree=1562536/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=14768 CPUtime=0.09 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 3614 0 0 0 8 1 0 0 20 0 1 0 3681000 15122432 2925 1992294400 4194304 7136930 140735704773760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 3692 2925 345 719 0 2971 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14768 [startup+0.300888 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6553 /proc/meminfo: memFree=1562536/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=17208 CPUtime=0.29 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 6827 0 0 0 25 4 0 0 20 0 1 0 3681000 17620992 3568 1992294400 4194304 7136930 140735704773760 18446744073709551615 5005183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 4302 3568 391 719 0 3581 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17208 [startup+0.700928 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6553 /proc/meminfo: memFree=1562536/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=17736 CPUtime=0.69 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 6956 0 0 0 64 5 0 0 20 0 1 0 3681000 18161664 3697 1992294400 4194304 7136930 140735704773760 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 4434 3697 391 719 0 3713 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17736 [startup+1.50101 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6554 /proc/meminfo: memFree=1548392/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=19124 CPUtime=1.49 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 7318 0 0 0 140 9 0 0 23 0 1 0 3681000 19582976 4059 1992294400 4194304 7136930 140735704773760 18446744073709551615 5005201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 4781 4059 391 719 0 4060 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19124 [startup+3.10117 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6554 /proc/meminfo: memFree=1545912/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=21520 CPUtime=3.09 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 7928 0 0 0 291 18 0 0 25 0 1 0 3681000 22036480 4669 1992294400 4194304 7136930 140735704773760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 5380 4669 391 719 0 4659 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21520 [startup+6.30151 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6554 /proc/meminfo: memFree=1541448/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=25888 CPUtime=6.29 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 9044 0 0 0 596 33 0 0 25 0 1 0 3681000 26509312 5785 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 6472 5785 391 719 0 5751 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25888 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6556 /proc/meminfo: memFree=1534504/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=32644 CPUtime=12.69 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 10769 0 0 0 1207 62 0 0 25 0 1 0 3681000 33427456 7510 1992294400 4194304 7136930 140735704773760 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 8161 7510 391 719 0 7440 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32644 [startup+25.5005 s] /proc/loadavg: 0.95 0.98 0.99 2/107 6556 /proc/meminfo: memFree=1520740/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=45260 CPUtime=25.48 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 13938 0 0 0 2441 107 0 0 25 0 1 0 3681000 46346240 10679 1992294400 4194304 7136930 140735704773760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 11315 10679 391 719 0 10594 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45260 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/107 6556 /proc/meminfo: memFree=1504372/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=61540 CPUtime=51.07 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 18042 0 0 0 4928 179 0 0 25 0 1 0 3681000 63016960 14783 1992294400 4194304 7136930 140735704773760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 15385 14783 391 719 0 14664 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61540 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 6558 /proc/meminfo: memFree=1482920/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=82792 CPUtime=102.27 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 23351 0 0 0 9952 275 0 0 25 0 1 0 3681000 84779008 20092 1992294400 4194304 7136930 140735704773760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 20698 20092 391 719 0 19977 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 82792 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6560 /proc/meminfo: memFree=1456508/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=111396 CPUtime=162.24 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 30098 0 0 0 15818 406 0 0 25 0 1 0 3681000 114069504 26839 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/6553/statm: 27849 26839 391 719 0 27128 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 111396 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6560 /proc/meminfo: memFree=1431088/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=135752 CPUtime=222.22 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 36242 0 0 0 21702 520 0 0 25 0 1 0 3681000 139010048 32983 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 33938 32983 391 719 0 33217 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 135752 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6562 /proc/meminfo: memFree=1414100/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=152928 CPUtime=282.21 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 40553 0 0 0 27605 616 0 0 25 0 1 0 3681000 156598272 37294 1992294400 4194304 7136930 140735704773760 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/6553/statm: 38232 37294 391 719 0 37511 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 152928 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6564 /proc/meminfo: memFree=1395128/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=171528 CPUtime=342.18 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 45213 0 0 0 33521 697 0 0 25 0 1 0 3681000 175644672 41954 1992294400 4194304 7136930 140735704773760 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 42882 41954 391 719 0 42161 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 171528 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6566 /proc/meminfo: memFree=1378388/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=188304 CPUtime=402.16 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 49370 0 0 0 39440 776 0 0 25 0 1 0 3681000 192823296 46111 1992294400 4194304 7136930 140735704773760 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/6553/statm: 47076 46111 391 719 0 46355 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 188304 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6568 /proc/meminfo: memFree=1370700/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=195844 CPUtime=462.14 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 51279 0 0 0 45367 847 0 0 25 0 1 0 3681000 200544256 48020 1992294400 4194304 7136930 140735704773760 18446744073709551615 4696970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 48961 48020 391 719 0 48240 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 195844 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6568 /proc/meminfo: memFree=1360904/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=205492 CPUtime=522.12 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 53717 0 0 0 51303 909 0 0 25 0 1 0 3681000 210423808 50458 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/6553/statm: 51373 50458 391 719 0 50652 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 205492 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6570 /proc/meminfo: memFree=1352596/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=213572 CPUtime=582.1 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 55767 0 0 0 57241 969 0 0 25 0 1 0 3681000 218697728 52508 1992294400 4194304 7136930 140735704773760 18446744073709551615 5004473 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 53393 52508 391 719 0 52672 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 213572 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6572 /proc/meminfo: memFree=1344288/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=221820 CPUtime=642.09 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 57829 0 0 0 63177 1032 0 0 25 0 1 0 3681000 227143680 54570 1992294400 4194304 7136930 140735704773760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 55455 54570 391 719 0 54734 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 221820 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6582 /proc/meminfo: memFree=1290224/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=279760 CPUtime=1001.99 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 71254 0 0 0 98801 1398 0 0 25 0 1 0 3681000 286474240 67995 1992294400 4194304 7136930 140735704773760 18446744073709551615 5001222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 69940 67995 391 719 0 69219 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 279760 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6584 /proc/meminfo: memFree=1276956/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=293080 CPUtime=1061.97 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 74556 0 0 0 104739 1458 0 0 25 0 1 0 3681000 300113920 71297 1992294400 4194304 7136930 140735704773760 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 73270 71297 391 719 0 72549 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 293080 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6584 /proc/meminfo: memFree=1267532/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=302556 CPUtime=1121.95 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 76897 0 0 0 110678 1517 0 0 25 0 1 0 3681000 309817344 73638 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 75639 73638 391 719 0 74918 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 302556 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6586 /proc/meminfo: memFree=1259596/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=310428 CPUtime=1181.93 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 78875 0 0 0 116623 1570 0 0 25 0 1 0 3681000 317878272 75616 1992294400 4194304 7136930 140735704773760 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 77607 75616 391 719 0 76886 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 310428 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6588 /proc/meminfo: memFree=1253644/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=316408 CPUtime=1241.91 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 80331 0 0 0 122570 1621 0 0 25 0 1 0 3681000 324001792 77072 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 79102 77072 391 719 0 78381 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 316408 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6590 /proc/meminfo: memFree=1247196/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=322912 CPUtime=1301.89 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 81929 0 0 0 128523 1666 0 0 25 0 1 0 3681000 330661888 78670 1992294400 4194304 7136930 140735704773760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 80728 78670 391 719 0 80007 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 322912 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6592 /proc/meminfo: memFree=1242856/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=327056 CPUtime=1361.87 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 83012 0 0 0 134474 1713 0 0 25 0 1 0 3681000 334905344 79753 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 81764 79753 391 719 0 81043 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 327056 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6592 /proc/meminfo: memFree=1235168/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=334872 CPUtime=1421.86 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 84934 0 0 0 140427 1759 0 0 25 0 1 0 3681000 342908928 81675 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 83718 81675 391 719 0 82997 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 334872 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6594 /proc/meminfo: memFree=1228100/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=341796 CPUtime=1481.83 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 86670 0 0 0 146382 1801 0 0 25 0 1 0 3681000 349999104 83411 1992294400 4194304 7136930 140735704773760 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 85449 83411 391 719 0 84728 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 341796 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6596 /proc/meminfo: memFree=1220784/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=348944 CPUtime=1541.81 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 88509 0 0 0 152336 1845 0 0 25 0 1 0 3681000 357318656 85250 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 87236 85250 391 719 0 86515 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 348944 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6598 /proc/meminfo: memFree=1216320/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=353592 CPUtime=1601.79 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 89640 0 0 0 158291 1888 0 0 25 0 1 0 3681000 362078208 86381 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 88398 86381 391 719 0 87677 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 353592 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6600 /proc/meminfo: memFree=1211484/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=359652 CPUtime=1661.77 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 91086 0 0 0 164252 1925 0 0 25 0 1 0 3681000 368283648 87827 1992294400 4194304 7136930 140735704773760 18446744073709551615 4998262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 89913 87827 391 719 0 89192 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 359652 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6600 /proc/meminfo: memFree=1204044/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=366092 CPUtime=1721.76 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 92731 0 0 0 170206 1970 0 0 25 0 1 0 3681000 374878208 89472 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 91523 89472 391 719 0 90802 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 366092 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6602 /proc/meminfo: memFree=1200572/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=368884 CPUtime=1781.73 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 93449 0 0 0 176160 2013 0 0 25 0 1 0 3681000 377737216 90190 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 92221 90190 391 719 0 91500 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 368884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6602 /proc/meminfo: memFree=1198588/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=370908 CPUtime=1800.05 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 93953 0 0 0 177981 2024 0 0 25 0 1 0 3681000 379809792 90694 1992294400 4194304 7136930 140735704773760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6553/statm: 92727 90694 391 719 0 92006 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 370908 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6602 /proc/meminfo: memFree=1198588/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=371004 CPUtime=1800.83 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 93994 0 0 0 178059 2024 0 0 25 0 1 0 3681000 379908096 90735 1992294400 4194304 7136930 140735704773760 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6553/statm: 92751 90735 396 719 0 92030 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 371004 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6602 /proc/meminfo: memFree=1198588/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=371004 CPUtime=1801.03 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 93994 0 0 0 178079 2024 0 0 25 0 1 0 3681000 379908096 90735 1992294400 4194304 7136930 140735704773760 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6553/statm: 92751 90735 396 719 0 92030 0 Current children cumulated CPU time (s) 1801.03 Current children cumulated vsize (KiB) 371004 [startup+1801.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 6603 /proc/meminfo: memFree=1211476/2059040 swapFree=4192956/4192956 [pid=6553] ppid=6551 vsize=357356 CPUtime=1801.13 /proc/6553/stat : 6553 (pbscip.linux.x8) R 6551 6553 5381 0 -1 4202496 93994 0 0 0 178089 2024 0 0 25 0 1 0 3681000 365932544 87323 1992294400 4194304 7136930 140735704773760 18446744073709551615 4997767 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6553/statm: 89339 87323 396 719 0 88618 0 Current children cumulated CPU time (s) 1801.13 Current children cumulated vsize (KiB) 357356 Child status: 0 Real time (s): 1801.8 CPU time (s): 1801.24 CPU user time (s): 1780.96 CPU system time (s): 20.2859 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 371004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.96 system time used= 20.2859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94001 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= 4056 runsolver used 2.96855 second user time and 8.5267 second system time The end
Begin job on node002 at 2010-06-11 20:26:10 IDJOB=2664379 IDBENCH=1271 IDSOLVER=1167 FILE ID=node002/2664379-1276280770 PBS_JOBID= 11173101 Free space on /tmp= 62392 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.1900568952.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-2664379-1276280770/watcher-2664379-1276280770 -o /tmp/evaluation-result-2664379-1276280770/solver-2664379-1276280770 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664379-1276280770.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d3b8f3f407b82b0f272ff2eb3fe91ca6 RANDOM SEED=1249310692 node002.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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1563064 kB Buffers: 57720 kB Cached: 311356 kB SwapCached: 0 kB Active: 171732 kB Inactive: 256632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1563064 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3348 kB Writeback: 0 kB AnonPages: 59228 kB Mapped: 15484 kB Slab: 45924 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180316 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= 62392 MiB End job on node002 at 2010-06-11 20:56:13