| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.17 | 1801.87 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb |
| MD5SUM | 4b18508c034d5953901bfe08c3658c68 |
| 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 | 186.695 |
| 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 | 693 |
| 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-2664453-1276311983.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.00/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.06/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 242 implications, 22 cliques
0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 22 constraints of type <setppc>
0.09/0.14 c 2541 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.06
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.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.99 c 3.7s| 10000 | 8265 | 0 | 0.0 |7147k| 98 | - | 231 |4399 | 0 | 0 | 0 |2553 | 0 | 0.000000e+00 | -- | Inf
9.80/9.83 c 9.2s| 20000 | 14794 | 0 | 0.0 | 12M| 98 | - | 231 |5605 | 0 | 0 | 0 |7418 | 0 | 0.000000e+00 | -- | Inf
14.89/14.94 c 14.1s| 30000 | 22638 | 0 | 0.0 | 16M| 98 | - | 231 |5932 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
20.89/20.92 c 19.9s| 40000 | 29970 | 0 | 0.0 | 21M| 98 | - | 231 |6751 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
27.88/27.99 c 26.7s| 50000 | 36829 | 0 | 0.0 | 26M| 98 | - | 231 |8262 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
36.57/36.64 c 35.1s| 60000 | 43193 | 0 | 0.0 | 32M| 98 | - | 231 |9398 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
46.97/47.05 c 45.2s| 70000 | 48919 | 0 | 0.0 | 37M| 98 | - | 231 | 10k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
58.67/58.75 c 56.6s| 80000 | 54233 | 0 | 0.0 | 42M| 98 | - | 231 | 11k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
73.06/73.19 c 70.8s| 90000 | 58662 | 0 | 0.0 | 47M| 98 | - | 231 | 12k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
90.65/90.78 c 88.0s|100000 | 62280 | 0 | 0.0 | 51M| 98 | - | 231 | 13k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
111.94/112.05 c 109s|110000 | 64691 | 0 | 0.0 | 56M| 98 | - | 231 | 13k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
123.64/123.71 c 120s|120000 | 71416 | 0 | 0.0 | 60M| 98 | - | 231 | 11k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
136.14/136.22 c 133s|130000 | 77564 | 0 | 0.0 | 65M| 98 | - | 231 | 11k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
148.53/148.60 c 145s|140000 | 83752 | 0 | 0.0 | 70M| 98 | - | 231 | 12k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
161.42/161.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.42/161.56 c 157s|150000 | 89756 | 0 | 0.0 | 75M| 98 | - | 231 | 12k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
175.32/175.42 c 171s|160000 | 95399 | 0 | 0.0 | 80M| 98 | - | 231 | 12k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
189.72/189.84 c 185s|170000 |100859 | 0 | 0.0 | 85M| 98 | - | 231 | 12k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
203.51/203.69 c 199s|180000 |106555 | 0 | 0.0 | 90M| 98 | - | 231 | 13k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
217.41/217.58 c 212s|190000 |112270 | 0 | 0.0 | 95M| 98 | - | 231 | 13k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
231.50/231.68 c 226s|200000 |117931 | 0 | 0.0 | 100M| 98 | - | 231 | 12k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
246.70/246.87 c 241s|210000 |123169 | 0 | 0.0 | 105M| 98 | - | 231 | 13k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
262.49/262.60 c 256s|220000 |128335 | 0 | 0.0 | 110M| 98 | - | 231 | 14k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
278.39/278.51 c 272s|230000 |133445 | 0 | 0.0 | 115M| 98 | - | 231 | 14k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
295.97/296.14 c 289s|240000 |138376 | 0 | 0.0 | 120M| 98 | - | 231 | 15k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
313.76/313.97 c 307s|250000 |143159 | 0 | 0.0 | 125M| 98 | - | 231 | 15k| 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
332.15/332.32 c 325s|260000 |147894 | 0 | 0.0 | 130M| 98 | - | 231 | 16k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
352.25/352.46 c 345s|270000 |152181 | 0 | 0.0 | 134M| 98 | - | 231 | 17k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
373.34/373.58 c 365s|280000 |156443 | 0 | 0.0 | 139M| 98 | - | 231 | 17k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
395.74/395.99 c 387s|290000 |160330 | 0 | 0.0 | 144M| 98 | - | 231 | 17k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
420.42/420.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.42/420.63 c 412s|300000 |163768 | 0 | 0.0 | 149M| 98 | - | 231 | 18k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
449.11/449.38 c 440s|310000 |166486 | 0 | 0.0 | 154M| 98 | - | 231 | 20k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
480.00/480.24 c 471s|320000 |168941 | 0 | 0.0 | 159M| 98 | - | 231 | 21k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
512.59/512.89 c 503s|330000 |171222 | 0 | 0.0 | 163M| 98 | - | 231 | 21k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
546.68/546.94 c 537s|340000 |173325 | 0 | 0.0 | 167M| 98 | - | 231 | 23k| 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
585.46/585.74 c 575s|350000 |174614 | 0 | 0.0 | 171M| 98 | - | 231 | 24k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
622.95/623.21 c 612s|360000 |176446 | 0 | 0.0 | 176M| 98 | - | 231 | 24k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
664.63/664.93 c 653s|370000 |177443 | 0 | 0.0 | 179M| 98 | - | 231 | 24k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
708.41/708.74 c 697s|380000 |177969 | 0 | 0.0 | 182M| 98 | - | 231 | 25k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
753.89/754.26 c 742s|390000 |178412 | 0 | 0.0 | 185M| 98 | - | 231 | 25k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
802.27/802.61 c 790s|400000 |177870 | 0 | 0.0 | 187M| 98 | - | 231 | 25k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
841.96/842.37 c 829s|410000 |180191 | 0 | 0.0 | 189M| 98 | - | 231 | 22k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
870.25/870.65 c 857s|420000 |185012 | 0 | 0.0 | 194M| 98 | - | 231 | 20k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
898.04/898.49 c 885s|430000 |189490 | 0 | 0.0 | 198M| 98 | - | 231 | 19k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
928.04/928.47 c 914s|440000 |193358 | 0 | 0.0 | 203M| 98 | - | 231 | 19k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
959.31/959.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.31/959.73 c 945s|450000 |196976 | 0 | 0.0 | 208M| 98 | - | 231 | 20k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
992.91/993.35 c 978s|460000 |200220 | 0 | 0.0 | 213M| 98 | - | 231 | 21k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1028.28/1028.76 c 1014s|470000 |203089 | 0 | 0.0 | 218M| 98 | - | 231 | 22k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1066.07/1066.56 c 1051s|480000 |205737 | 0 | 0.0 | 223M| 98 | - | 231 | 23k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1102.46/1102.99 c 1087s|490000 |208885 | 0 | 0.0 | 228M| 98 | - | 231 | 24k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1142.14/1142.69 c 1126s|500000 |211474 | 0 | 0.0 | 232M| 98 | - | 231 | 25k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1182.23/1182.74 c 1166s|510000 |214075 | 0 | 0.0 | 236M| 98 | - | 231 | 25k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1220.71/1221.20 c 1204s|520000 |217072 | 0 | 0.0 | 241M| 98 | - | 231 | 25k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | -- | Inf
1263.90/1264.44 c 1247s|530000 |219011 | 0 | 0.0 | 245M| 98 | - | 231 | 26k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1302.99/1303.58 c 1286s|540000 |221998 | 0 | 0.0 | 250M| 98 | - | 231 | 26k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1347.26/1347.89 c 1330s|550000 |223771 | 0 | 0.0 | 254M| 98 | - | 231 | 27k| 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
1388.94/1389.53 c 1371s|560000 |226267 | 0 | 0.0 | 258M| 98 | - | 231 | 27k| 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1435.94/1436.53 c 1417s|570000 |227782 | 0 | 0.0 | 262M| 98 | - | 231 | 28k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1478.41/1479.09 c 1460s|580000 |230157 | 0 | 0.0 | 266M| 98 | - | 231 | 28k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
1522.70/1523.30 c 1504s|590000 |232271 | 0 | 0.0 | 271M| 98 | - | 231 | 28k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
1571.67/1572.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.67/1572.31 c 1552s|600000 |233715 | 0 | 0.0 | 274M| 98 | - | 231 | 29k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | -- | Inf
1617.56/1618.21 c 1598s|610000 |235671 | 0 | 0.0 | 278M| 98 | - | 231 | 29k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
1667.83/1668.59 c 1648s|620000 |236885 | 0 | 0.0 | 282M| 98 | - | 231 | 30k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | -- | Inf
1717.52/1718.24 c 1697s|630000 |238321 | 0 | 0.0 | 286M| 98 | - | 231 | 30k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | -- | Inf
1765.99/1766.74 c 1745s|640000 |239952 | 0 | 0.0 | 290M| 98 | - | 231 | 31k| 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | -- | Inf
1800.00/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.72 c
1800.00/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.72 c Solving Time (sec) : 1778.77
1800.00/1800.72 c Solving Nodes : 646169
1800.00/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.72 c Dual Bound : +0.00000000000000e+00
1800.00/1800.72 c Gap : infinite
1800.00/1800.72 s UNKNOWN
1800.00/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.72 c Solving Time : 1778.77
1800.00/1800.72 c Original Problem :
1800.00/1800.72 c Problem name : HOME/instance-2664453-1276311983.opb
1800.00/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.72 c Constraints : 2707 initial, 2707 maximal
1800.00/1800.72 c Presolved Problem :
1800.00/1800.72 c Problem name : t_HOME/instance-2664453-1276311983.opb
1800.00/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.72 c Constraints : 2564 initial, 32594 maximal
1800.00/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.72 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.72 c linear : 0.03 0 0 0 0 0 143 0 0
1800.00/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.72 c root node : - 0 - - 0 - - - -
1800.00/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.72 c knapsack : 1 0 2219120 0 498316 66559 7093599 0 0 0
1800.00/1800.72 c setppc : 22 0 2166575 0 498316 91443 2449973 0 0 0
1800.00/1800.72 c logicor : 2541+ 0 1787729 0 498314 83700 6715424 0 0 0
1800.00/1800.72 c countsols : 0 0 0 0 498306 0 0 0 0 0
1800.00/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.72 c knapsack : 51.58 0.00 48.76 0.00 2.82
1800.00/1800.72 c setppc : 34.05 0.00 27.67 0.00 6.38
1800.00/1800.72 c logicor : 935.05 0.00 874.40 0.00 60.65
1800.00/1800.72 c countsols : 0.22 0.00 0.00 0.00 0.22
1800.00/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.72 c vbounds : 1.25 1 0 0
1800.00/1800.72 c rootredcost : 1.18 0 0 0
1800.00/1800.72 c pseudoobj : 1.02 0 0 0
1800.00/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.72 c propagation : 16.03 241702 241562 1254480 20.1 4704 20.8 -
1800.00/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.72 c applied globally : - - - 551934 15.4 - - -
1800.00/1800.72 c applied locally : - - - 2943 34.8 - - -
1800.00/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.72 c redcost : 0.00 0 0 0 0 0
1800.00/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.72 c intobj : 0.00 0 0 0 0 0
1800.00/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.72 c gomory : 0.00 0 0 0 0 0
1800.00/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.72 c cmir : 0.00 0 0 0 0 0
1800.00/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.72 c clique : 0.00 0 0 0 0 0
1800.00/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.72 c mcf : 0.00 0 0 0 0 0
1800.00/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.72 c Pricers : Time Calls Vars
1800.00/1800.72 c problem variables: 0.00 0 0
1800.00/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.72 c inference : 13.28 498306 0 0 0 0 996612
1800.00/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.72 c random : 0.00 0 0 0 0 0 0
1800.00/1800.72 c Primal Heuristics : Time Calls Found
1800.00/1800.72 c LP solutions : 0.00 - 0
1800.00/1800.72 c pseudo solutions : 0.00 - 0
1800.00/1800.72 c trivial : 0.00 1 0
1800.00/1800.72 c simplerounding : 0.00 0 0
1800.00/1800.72 c zirounding : 0.00 0 0
1800.00/1800.72 c rounding : 0.00 0 0
1800.00/1800.72 c shifting : 0.00 0 0
1800.00/1800.72 c intshifting : 0.00 0 0
1800.00/1800.72 c oneopt : 0.00 0 0
1800.00/1800.72 c twoopt : 0.00 0 0
1800.00/1800.72 c fixandinfer : 0.00 0 0
1800.00/1800.72 c feaspump : 0.00 0 0
1800.00/1800.72 c coefdiving : 0.00 0 0
1800.00/1800.72 c pscostdiving : 0.00 0 0
1800.00/1800.72 c fracdiving : 0.00 0 0
1800.00/1800.72 c veclendiving : 0.00 0 0
1800.00/1800.72 c intdiving : 0.00 0 0
1800.00/1800.72 c actconsdiving : 0.00 0 0
1800.00/1800.72 c objpscostdiving : 0.00 0 0
1800.00/1800.72 c rootsoldiving : 0.00 0 0
1800.00/1800.72 c linesearchdiving : 0.00 0 0
1800.00/1800.72 c guideddiving : 0.00 0 0
1800.00/1800.72 c octane : 0.00 0 0
1800.00/1800.72 c rens : 0.00 0 0
1800.00/1800.72 c rins : 0.00 0 0
1800.00/1800.72 c localbranching : 0.00 0 0
1800.00/1800.72 c mutation : 0.00 0 0
1800.00/1800.72 c crossover : 0.00 0 0
1800.00/1800.72 c dins : 0.00 0 0
1800.00/1800.72 c undercover : 0.00 0 0
1800.00/1800.72 c nlp : 0.00 0 0
1800.00/1800.72 c trysol : 0.00 0 0
1800.00/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.72 c (at root node) : - 0 0 0.00 -
1800.00/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.72 c B&B Tree :
1800.00/1800.72 c number of runs : 1
1800.00/1800.72 c nodes : 646169
1800.00/1800.72 c nodes (total) : 646169
1800.00/1800.72 c nodes left : 240385
1800.00/1800.72 c max depth : 98
1800.00/1800.72 c max depth (total): 98
1800.00/1800.72 c backtracks : 154604 (23.9%)
1800.00/1800.72 c delayed cutoffs : 110059
1800.00/1800.72 c repropagations : 469279 (5185113 domain reductions, 93839 cutoffs)
1800.00/1800.72 c avg switch length: 13.80
1800.00/1800.72 c switching time : 484.45
1800.00/1800.72 c Solution :
1800.00/1800.72 c Solutions found : 0 (0 improvements)
1800.00/1800.72 c Primal Bound : -
1800.00/1800.72 c Dual Bound : +0.00000000000000e+00
1800.00/1800.72 c Gap : infinite
1800.00/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.72 c Root Iterations : 0
1801.09/1801.87 c Time complete: 1801.16.
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-2664453-1276311983/watcher-2664453-1276311983 -o /tmp/evaluation-result-2664453-1276311983/solver-2664453-1276311983 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664453-1276311983.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.00 1.00 2/106 8580 /proc/meminfo: memFree=1681596/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=6584 CPUtime=0 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 997 0 0 0 0 0 0 0 20 0 1 0 4854632 6742016 919 1992294400 4194304 7136930 140736110747712 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8580/statm: 1646 929 254 719 0 925 0 [startup+0.0654499 s] /proc/loadavg: 1.00 1.00 1.00 2/106 8580 /proc/meminfo: memFree=1681596/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=11680 CPUtime=0.06 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 2777 0 0 0 5 1 0 0 20 0 1 0 4854632 11960320 2345 1992294400 4194304 7136930 140736110747712 18446744073709551615 4520365 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 2920 2345 282 719 0 2199 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11680 [startup+0.101456 s] /proc/loadavg: 1.00 1.00 1.00 2/106 8580 /proc/meminfo: memFree=1681596/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=14908 CPUtime=0.09 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 3661 0 0 0 8 1 0 0 20 0 1 0 4854632 15265792 2972 1992294400 4194304 7136930 140736110747712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 3762 2975 345 719 0 3041 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14908 [startup+0.301493 s] /proc/loadavg: 1.00 1.00 1.00 2/106 8580 /proc/meminfo: memFree=1681596/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=17204 CPUtime=0.29 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 6822 0 0 0 25 4 0 0 20 0 1 0 4854632 17616896 3563 1992294400 4194304 7136930 140736110747712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 4301 3563 391 719 0 3580 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17204 [startup+0.700569 s] /proc/loadavg: 1.00 1.00 1.00 2/106 8580 /proc/meminfo: memFree=1681596/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=17856 CPUtime=0.69 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 6999 0 0 0 63 6 0 0 21 0 1 0 4854632 18284544 3740 1992294400 4194304 7136930 140736110747712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 4464 3740 391 719 0 3743 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17856 [startup+1.50072 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8583 /proc/meminfo: memFree=1667328/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=19060 CPUtime=1.49 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 7300 0 0 0 137 12 0 0 23 0 1 0 4854632 19517440 4041 1992294400 4194304 7136930 140736110747712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 4765 4041 391 719 0 4044 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19060 [startup+3.10102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8583 /proc/meminfo: memFree=1664972/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=21488 CPUtime=3.09 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 7922 0 0 0 287 22 0 0 25 0 1 0 4854632 22003712 4663 1992294400 4194304 7136930 140736110747712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 5372 4663 391 719 0 4651 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21488 [startup+6.30061 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8583 /proc/meminfo: memFree=1660508/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=25560 CPUtime=6.28 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 8955 0 0 0 592 36 0 0 25 0 1 0 4854632 26173440 5696 1992294400 4194304 7136930 140736110747712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 6390 5696 391 719 0 5669 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25560 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8583 /proc/meminfo: memFree=1654184/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=32444 CPUtime=12.68 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 10698 0 0 0 1203 65 0 0 25 0 1 0 4854632 33222656 7439 1992294400 4194304 7136930 140736110747712 18446744073709551615 4697613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 8111 7439 391 719 0 7390 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32444 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8583 /proc/meminfo: memFree=1640420/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=46048 CPUtime=25.49 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 14146 0 0 0 2435 114 0 0 25 0 1 0 4854632 47153152 10887 1992294400 4194304 7136930 140736110747712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 11512 10887 391 719 0 10791 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46048 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8583 /proc/meminfo: memFree=1622812/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=61824 CPUtime=51.07 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 18149 0 0 0 4921 186 0 0 25 0 1 0 4854632 63307776 14890 1992294400 4194304 7136930 140736110747712 18446744073709551615 5955558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 15456 14890 391 719 0 14735 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61824 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8585 /proc/meminfo: memFree=1601980/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=82416 CPUtime=102.25 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 23301 0 0 0 9942 283 0 0 25 0 1 0 4854632 84393984 20042 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 20604 20042 391 719 0 19883 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 82416 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8587 /proc/meminfo: memFree=1575444/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=111016 CPUtime=162.23 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 30004 0 0 0 15812 411 0 0 25 0 1 0 4854632 113680384 26745 1992294400 4194304 7136930 140736110747712 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 27754 26745 391 719 0 27033 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 111016 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8587 /proc/meminfo: memFree=1549776/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=136320 CPUtime=222.21 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 36292 0 0 0 21679 542 0 0 25 0 1 0 4854632 139591680 33033 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 34080 33033 391 719 0 33359 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 136320 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8589 /proc/meminfo: memFree=1528324/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=157448 CPUtime=282.18 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 41625 0 0 0 27561 657 0 0 25 0 1 0 4854632 161226752 38366 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 39362 38366 391 719 0 38641 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 157448 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8591 /proc/meminfo: memFree=1509724/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=175908 CPUtime=342.16 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 46273 0 0 0 33459 757 0 0 25 0 1 0 4854632 180129792 43014 1992294400 4194304 7136930 140736110747712 18446744073709551615 4221231 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 43977 43014 391 719 0 43256 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 175908 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8593 /proc/meminfo: memFree=1494348/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=192184 CPUtime=402.13 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 50376 0 0 0 39367 846 0 0 25 0 1 0 4854632 196796416 47117 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 48046 47117 391 719 0 47325 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 192184 [startup+462.302 s] /proc/loadavg: 1.07 1.02 1.00 2/107 8595 /proc/meminfo: memFree=1479096/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=206224 CPUtime=462.11 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 53884 0 0 0 45292 919 0 0 25 0 1 0 4854632 211173376 50625 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 51556 50625 391 719 0 50835 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 206224 [startup+522.301 s] /proc/loadavg: 1.09 1.03 1.00 2/107 8595 /proc/meminfo: memFree=1469672/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=215436 CPUtime=522.09 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 56206 0 0 0 51223 986 0 0 25 0 1 0 4854632 220606464 52947 1992294400 4194304 7136930 140736110747712 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 53859 52947 391 719 0 53138 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 215436 [startup+582.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 8597 /proc/meminfo: memFree=1458760/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=226748 CPUtime=582.06 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 58934 0 0 0 57159 1047 0 0 25 0 1 0 4854632 232189952 55675 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 56687 55675 391 719 0 55966 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 226748 [startup+642.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 8599 /proc/meminfo: memFree=1453552/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=231716 CPUtime=642.05 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 60199 0 0 0 63101 1104 0 0 25 0 1 0 4854632 237277184 56940 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 57929 56940 391 719 0 57208 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 231716 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.06 1.06 1.00 2/107 8607 /proc/meminfo: memFree=1416104/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=268528 CPUtime=941.92 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 69458 0 0 0 92799 1393 0 0 25 0 1 0 4854632 274972672 66199 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 67132 66199 391 719 0 66411 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 268528 [startup+1002.3 s] /proc/loadavg: 1.06 1.06 1.00 2/107 8609 /proc/meminfo: memFree=1408168/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=280516 CPUtime=1001.9 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 71435 0 0 0 98736 1454 0 0 25 0 1 0 4854632 287248384 68176 1992294400 4194304 7136930 140736110747712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 70129 68176 391 719 0 69408 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 280516 [startup+1062.3 s] /proc/loadavg: 1.13 1.07 1.01 2/107 8611 /proc/meminfo: memFree=1401348/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=287168 CPUtime=1061.87 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 73116 0 0 0 104675 1512 0 0 25 0 1 0 4854632 294060032 69857 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 71792 69857 391 719 0 71071 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 287168 [startup+1122.3 s] /proc/loadavg: 1.12 1.07 1.00 2/107 8611 /proc/meminfo: memFree=1391924/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=296652 CPUtime=1121.85 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 75450 0 0 0 110619 1566 0 0 25 0 1 0 4854632 303771648 72191 1992294400 4194304 7136930 140736110747712 18446744073709551615 4223034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 74163 72191 391 719 0 73442 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 296652 [startup+1182.3 s] /proc/loadavg: 1.04 1.06 1.00 2/107 8613 /proc/meminfo: memFree=1388576/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=299984 CPUtime=1181.82 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 76279 0 0 0 116562 1620 0 0 25 0 1 0 4854632 307183616 73020 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 74996 73020 391 719 0 74275 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 299984 [startup+1242.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 8615 /proc/meminfo: memFree=1379524/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=308808 CPUtime=1241.81 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 78491 0 0 0 122504 1677 0 0 25 0 1 0 4854632 316219392 75232 1992294400 4194304 7136930 140736110747712 18446744073709551615 4221551 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 77202 75232 391 719 0 76481 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 308808 [startup+1302.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 8617 /proc/meminfo: memFree=1373944/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=314192 CPUtime=1301.78 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 79845 0 0 0 128450 1728 0 0 25 0 1 0 4854632 321732608 76586 1992294400 4194304 7136930 140736110747712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 78548 76586 391 719 0 77827 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 314192 [startup+1362.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 8619 /proc/meminfo: memFree=1362040/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=326352 CPUtime=1361.76 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 82822 0 0 0 134395 1781 0 0 25 0 1 0 4854632 334184448 79563 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 81588 79563 391 719 0 80867 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 326352 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/107 8619 /proc/meminfo: memFree=1357080/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=331292 CPUtime=1421.74 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 84033 0 0 0 140343 1831 0 0 25 0 1 0 4854632 339243008 80774 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 82823 80774 391 719 0 82102 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 331292 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8621 /proc/meminfo: memFree=1350632/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=337656 CPUtime=1481.71 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 85634 0 0 0 146293 1878 0 0 25 0 1 0 4854632 345759744 82375 1992294400 4194304 7136930 140736110747712 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 84414 82375 391 719 0 83693 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 337656 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8623 /proc/meminfo: memFree=1343316/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=344744 CPUtime=1541.7 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 87442 0 0 0 152245 1925 0 0 25 0 1 0 4854632 353017856 84183 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 86186 84183 391 719 0 85465 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 344744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8625 /proc/meminfo: memFree=1340836/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=347136 CPUtime=1601.66 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 88077 0 0 0 158195 1971 0 0 25 0 1 0 4854632 355467264 84818 1992294400 4194304 7136930 140736110747712 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 86784 84818 391 719 0 86063 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 347136 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8627 /proc/meminfo: memFree=1333520/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=354684 CPUtime=1661.64 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 89893 0 0 0 164152 2012 0 0 25 0 1 0 4854632 363196416 86634 1992294400 4194304 7136930 140736110747712 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 88671 86634 391 719 0 87950 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 354684 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8627 /proc/meminfo: memFree=1327444/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=360648 CPUtime=1721.61 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 91397 0 0 0 170102 2059 0 0 25 0 1 0 4854632 369303552 88138 1992294400 4194304 7136930 140736110747712 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 90162 88138 391 719 0 89441 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 360648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8629 /proc/meminfo: memFree=1323476/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=364576 CPUtime=1781.59 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 92322 0 0 0 176054 2105 0 0 25 0 1 0 4854632 373325824 89063 1992294400 4194304 7136930 140736110747712 18446744073709551615 4221036 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 91144 89063 391 719 0 90423 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 364576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8631 /proc/meminfo: memFree=1321864/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=366116 CPUtime=1800 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 92725 0 0 0 177881 2119 0 0 25 0 1 0 4854632 374902784 89466 1992294400 4194304 7136930 140736110747712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8580/statm: 91529 89466 391 719 0 90808 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 366116 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 8631 /proc/meminfo: memFree=1321864/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=366292 CPUtime=1800.69 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 92770 0 0 0 177950 2119 0 0 25 0 1 0 4854632 375083008 89511 1992294400 4194304 7136930 140736110747712 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8580/statm: 91573 89511 396 719 0 90852 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (KiB) 366292 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 1.00 2/108 8632 /proc/meminfo: memFree=1322104/2059040 swapFree=4192956/4192956 [pid=8580] ppid=8578 vsize=354880 CPUtime=1801.09 /proc/8580/stat : 8580 (pbscip.linux.x8) R 8578 8580 8407 0 -1 4202496 92770 0 0 0 177990 2119 0 0 25 0 1 0 4854632 363397120 86658 1992294400 4194304 7136930 140736110747712 18446744073709551615 4212048 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8580/statm: 88720 86658 396 719 0 87999 0 Current children cumulated CPU time (s) 1801.09 Current children cumulated vsize (KiB) 354880 Child status: 0 Real time (s): 1801.87 CPU time (s): 1801.17 CPU user time (s): 1779.93 CPU system time (s): 21.2338 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (KiB): 366292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.93 system time used= 21.2338 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92777 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 6909 runsolver used 2.72959 second user time and 8.76567 second system time The end
Begin job on node019 at 2010-06-12 05:06:23 IDJOB=2664453 IDBENCH=1358 IDSOLVER=1167 FILE ID=node019/2664453-1276311983 PBS_JOBID= 11173149 Free space on /tmp= 62356 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.1900573137.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-2664453-1276311983/watcher-2664453-1276311983 -o /tmp/evaluation-result-2664453-1276311983/solver-2664453-1276311983 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664453-1276311983.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4b18508c034d5953901bfe08c3658c68 RANDOM SEED=1926842831 node019.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.264 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.52 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.264 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: 1682000 kB Buffers: 79660 kB Cached: 170380 kB SwapCached: 0 kB Active: 136756 kB Inactive: 172424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1682000 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3240 kB Writeback: 0 kB AnonPages: 59068 kB Mapped: 15480 kB Slab: 46116 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180932 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= 62352 MiB End job on node019 at 2010-06-12 05:36:26