| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.12 | 1801.69 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557574.opb |
| MD5SUM | 5107a201bfa7ecd84a67ffb212d048dd |
| 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 | 7.50286 |
| 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 | 689 |
| 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-2664447-1276308351.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.00/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07 c presolving:
0.10/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.10/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.10/0.15 c presolving (3 rounds):
0.10/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.15 c 242 implications, 22 cliques
0.10/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.10/0.15 c 1 constraints of type <knapsack>
0.10/0.15 c 22 constraints of type <setppc>
0.10/0.15 c 2541 constraints of type <logicor>
0.10/0.15 c transformed objective value is always integral (scale: 1)
0.10/0.15 c Presolving Time: 0.06
0.10/0.15 c - non default parameters ----------------------------------------------------------------------
0.10/0.15 c # SCIP version 1.2.1.2
0.10/0.15 c
0.10/0.15 c # frequency for displaying node information lines
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.15 c display/freq = 10000
0.10/0.15 c
0.10/0.15 c # maximal time in seconds to run
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15 c limits/time = 1799.95
0.10/0.15 c
0.10/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.15 c limits/memory = 1620
0.10/0.15 c
0.10/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c limits/solutions = 1
0.10/0.15 c
0.10/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c lp/solvefreq = -1
0.10/0.15 c
0.10/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.10/0.15 c separating/maxrounds = 1
0.10/0.15 c
0.10/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c separating/maxroundsroot = 5
0.10/0.15 c
0.10/0.15 c # should presolving try to simplify inequalities
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15 c constraints/linear/simplifyinequalities = TRUE
0.10/0.15 c
0.10/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.10/0.15 c constraints/knapsack/disaggregation = FALSE
0.10/0.15 c
0.10/0.15 c # should presolving try to simplify knapsacks
0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.15 c
0.10/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c presolving/probing/maxrounds = 0
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/coefdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.10/0.15 c heuristics/crossover/freq = -1
0.10/0.15 c
0.10/0.15 c # number of nodes added to the contingent of the total nodes
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.10/0.15 c heuristics/crossover/nodesofs = 750
0.10/0.15 c
0.10/0.15 c # number of nodes without incumbent change that heuristic should wait
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.10/0.15 c heuristics/crossover/nwaitingnodes = 100
0.10/0.15 c
0.10/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.10/0.15 c # [type: real, range: [0,1], default: 0.1]
0.10/0.15 c heuristics/crossover/nodesquot = 0.15
0.10/0.15 c
0.10/0.15 c # minimum percentage of integer variables that have to be fixed
0.10/0.15 c # [type: real, range: [0,1], default: 0.666]
0.10/0.15 c heuristics/crossover/minfixingrate = 0.5
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/feaspump/freq = -1
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/fracdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/guideddiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/intshifting/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/linesearchdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/nlp/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/objpscostdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.10/0.15 c # [type: real, range: [0,1], default: 0.01]
0.10/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/oneopt/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/pscostdiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c heuristics/rens/freq = -1
0.10/0.15 c
0.10/0.15 c # minimum percentage of integer variables that have to be fixable
0.10/0.15 c # [type: real, range: [0,1], default: 0.5]
0.10/0.15 c heuristics/rens/minfixingrate = 0.3
0.10/0.15 c
0.10/0.15 c # number of nodes added to the contingent of the total nodes
0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.10/0.15 c heuristics/rens/nodesofs = 2000
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.10/0.15 c heuristics/rootsoldiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.10/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/rounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/shifting/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/simplerounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c heuristics/trivial/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/trysol/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.10/0.15 c heuristics/veclendiving/freq = -1
0.10/0.15 c
0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.10/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.10/0.15 c
0.10/0.15 c # additional number of allowed LP iterations
0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.10/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.10/0.15 c
0.10/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.15 c heuristics/zirounding/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c separating/cmir/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.10/0.15 c separating/flowcover/freq = -1
0.10/0.15 c
0.10/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.15 c separating/rapidlearning/freq = 0
0.10/0.15 c
0.10/0.15 c -----------------------------------------------------------------------------------------------
0.10/0.15 c start solving
0.10/0.15 c
0.10/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.05 c 3.8s| 10000 | 8213 | 0 | 0.0 |7315k| 87 | - | 231 |4459 | 0 | 0 | 0 |2747 | 0 | 0.000000e+00 | -- | Inf
9.90/9.91 c 9.4s| 20000 | 14812 | 0 | 0.0 | 12M| 90 | - | 231 |5334 | 0 | 0 | 0 |7328 | 0 | 0.000000e+00 | -- | Inf
15.09/15.16 c 14.4s| 30000 | 22528 | 0 | 0.0 | 16M| 90 | - | 231 |5777 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
20.78/20.87 c 19.9s| 40000 | 29911 | 0 | 0.0 | 21M| 90 | - | 231 |6664 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
27.49/27.58 c 26.4s| 50000 | 36822 | 0 | 0.0 | 26M| 90 | - | 231 |7774 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
35.58/35.70 c 34.2s| 60000 | 43232 | 0 | 0.0 | 30M| 90 | - | 231 |9294 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
46.38/46.47 c 44.8s| 70000 | 48788 | 0 | 0.0 | 36M| 90 | - | 231 | 10k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
59.67/59.71 c 57.7s| 80000 | 53713 | 0 | 0.0 | 41M| 90 | - | 231 | 12k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
75.76/75.85 c 73.5s| 90000 | 57836 | 0 | 0.0 | 46M| 90 | - | 231 | 13k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
95.45/95.58 c 92.9s|100000 | 61076 | 0 | 0.0 | 50M| 90 | - | 231 | 13k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
109.36/109.42 c 106s|110000 | 66790 | 0 | 0.0 | 54M| 90 | - | 231 | 11k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
120.15/120.29 c 117s|120000 | 73372 | 0 | 0.0 | 59M| 90 | - | 231 | 10k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
131.14/131.27 c 128s|130000 | 79795 | 0 | 0.0 | 64M| 90 | - | 231 | 10k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
143.44/143.53 c 140s|140000 | 85864 | 0 | 0.0 | 69M| 90 | - | 231 | 11k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
155.93/156.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.93/156.09 c 152s|150000 | 91892 | 0 | 0.0 | 74M| 90 | - | 231 | 11k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
168.63/168.75 c 164s|160000 | 97868 | 0 | 0.0 | 79M| 90 | - | 231 | 12k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
182.23/182.37 c 178s|170000 |103527 | 0 | 0.0 | 84M| 90 | - | 231 | 12k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
196.52/196.62 c 192s|180000 |109071 | 0 | 0.0 | 89M| 90 | - | 231 | 13k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
212.11/212.22 c 207s|190000 |114277 | 0 | 0.0 | 94M| 90 | - | 231 | 13k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
227.11/227.29 c 222s|200000 |119728 | 0 | 0.0 | 99M| 90 | - | 231 | 13k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
243.71/243.85 c 238s|210000 |124768 | 0 | 0.0 | 104M| 90 | - | 231 | 14k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
261.50/261.61 c 256s|220000 |129528 | 0 | 0.0 | 109M| 90 | - | 231 | 15k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
279.40/279.53 c 273s|230000 |134315 | 0 | 0.0 | 114M| 90 | - | 231 | 16k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
298.79/298.95 c 292s|240000 |138906 | 0 | 0.0 | 119M| 90 | - | 231 | 16k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
319.78/319.94 c 313s|250000 |143094 | 0 | 0.0 | 124M| 90 | - | 231 | 16k| 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
341.48/341.67 c 334s|260000 |147145 | 0 | 0.0 | 129M| 90 | - | 231 | 17k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
364.47/364.63 c 357s|270000 |151042 | 0 | 0.0 | 134M| 90 | - | 231 | 18k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
389.06/389.28 c 381s|280000 |154596 | 0 | 0.0 | 139M| 90 | - | 231 | 18k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
414.35/414.54 c 406s|290000 |158085 | 0 | 0.0 | 143M| 90 | - | 231 | 18k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
440.84/441.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.84/441.04 c 432s|300000 |161311 | 0 | 0.0 | 148M| 90 | - | 231 | 19k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
467.54/467.78 c 459s|310000 |164553 | 0 | 0.0 | 152M| 90 | - | 231 | 19k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
497.82/498.07 c 489s|320000 |166990 | 0 | 0.0 | 156M| 90 | - | 231 | 20k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
529.11/529.39 c 519s|330000 |169472 | 0 | 0.0 | 160M| 90 | - | 231 | 20k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
564.21/564.46 c 554s|340000 |171138 | 0 | 0.0 | 165M| 90 | - | 231 | 21k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
601.30/601.55 c 591s|350000 |172494 | 0 | 0.0 | 168M| 90 | - | 231 | 22k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
643.18/643.45 c 632s|360000 |173251 | 0 | 0.0 | 172M| 90 | - | 231 | 23k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
687.47/687.79 c 676s|370000 |173851 | 0 | 0.0 | 174M| 90 | - | 231 | 23k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
731.75/732.01 c 720s|380000 |174695 | 0 | 0.0 | 177M| 90 | - | 231 | 23k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
777.34/777.62 c 765s|390000 |175146 | 0 | 0.0 | 179M| 90 | - | 231 | 21k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
810.43/810.74 c 798s|400000 |178893 | 0 | 0.0 | 184M| 90 | - | 231 | 20k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
843.73/844.02 c 831s|410000 |182422 | 0 | 0.0 | 189M| 90 | - | 231 | 20k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
875.42/875.74 c 862s|420000 |186130 | 0 | 0.0 | 193M| 90 | - | 231 | 20k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
907.90/908.24 c 895s|430000 |189464 | 0 | 0.0 | 199M| 90 | - | 231 | 20k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
941.79/942.18 c 928s|440000 |192471 | 0 | 0.0 | 203M| 90 | - | 231 | 20k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
977.18/977.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.18/977.58 c 963s|450000 |195158 | 0 | 0.0 | 208M| 90 | - | 231 | 20k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1011.78/1012.15 c 997s|460000 |198040 | 0 | 0.0 | 213M| 90 | - | 231 | 20k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1049.66/1050.02 c 1035s|470000 |200234 | 0 | 0.0 | 218M| 90 | - | 231 | 20k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1088.05/1088.47 c 1073s|480000 |202270 | 0 | 0.0 | 222M| 90 | - | 231 | 21k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1125.13/1125.51 c 1110s|490000 |204851 | 0 | 0.0 | 227M| 90 | - | 231 | 22k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1167.43/1167.87 c 1152s|500000 |206409 | 0 | 0.0 | 232M| 90 | - | 231 | 22k| 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1209.41/1209.81 c 1193s|510000 |208060 | 0 | 0.0 | 236M| 90 | - | 231 | 23k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
1253.10/1253.51 c 1236s|520000 |209690 | 0 | 0.0 | 240M| 90 | - | 231 | 23k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1299.99/1300.41 c 1283s|530000 |210592 | 0 | 0.0 | 244M| 90 | - | 231 | 25k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1345.67/1346.12 c 1328s|540000 |212126 | 0 | 0.0 | 249M| 90 | - | 231 | 25k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1396.56/1397.10 c 1379s|550000 |212614 | 0 | 0.0 | 252M| 90 | - | 231 | 26k| 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1445.73/1446.20 c 1428s|560000 |213722 | 0 | 0.0 | 257M| 90 | - | 231 | 27k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1497.33/1497.84 c 1479s|570000 |214410 | 0 | 0.0 | 261M| 90 | - | 231 | 29k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1552.90/1553.49 c 1534s|580000 |214860 | 0 | 0.0 | 265M| 90 | - | 231 | 29k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1604.39/1604.98 c 1585s|590000 |215938 | 0 | 0.0 | 269M| 90 | - | 231 | 30k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | -- | Inf
1665.46/1666.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.46/1666.05 c 1646s|600000 |215510 | 0 | 0.0 | 272M| 90 | - | 231 | 30k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
1720.05/1720.64 c 1700s|610000 |216382 | 0 | 0.0 | 276M| 90 | - | 231 | 31k| 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | -- | Inf
1781.93/1782.55 c 1762s|620000 |216155 | 0 | 0.0 | 279M| 90 | - | 231 | 31k| 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.61 c
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time (sec) : 1779.48
1800.02/1800.61 c Solving Nodes : 622813
1800.02/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.61 c Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 s UNKNOWN
1800.02/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.61 c Solving Time : 1779.48
1800.02/1800.61 c Original Problem :
1800.02/1800.61 c Problem name : HOME/instance-2664447-1276308351.opb
1800.02/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 2707 initial, 2707 maximal
1800.02/1800.61 c Presolved Problem :
1800.02/1800.61 c Problem name : t_HOME/instance-2664447-1276308351.opb
1800.02/1800.61 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.61 c Constraints : 2564 initial, 32216 maximal
1800.02/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.61 c linear : 0.03 0 0 0 0 0 143 0 0
1800.02/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.61 c root node : - 0 - - 0 - - - -
1800.02/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.61 c knapsack : 1 0 2166213 0 478824 57070 7851151 0 0 0
1800.02/1800.61 c setppc : 22 0 2124341 0 478824 99993 2268151 0 0 0
1800.02/1800.61 c logicor : 2541+ 0 1754953 0 478822 82648 6637663 0 0 0
1800.02/1800.61 c countsols : 0 0 0 0 478807 0 0 0 0 0
1800.02/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.61 c knapsack : 49.52 0.00 46.95 0.00 2.57
1800.02/1800.61 c setppc : 32.97 0.00 26.38 0.00 6.59
1800.02/1800.61 c logicor : 934.34 0.00 874.10 0.00 60.24
1800.02/1800.61 c countsols : 0.28 0.00 0.00 0.00 0.28
1800.02/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.61 c vbounds : 1.31 1 0 0
1800.02/1800.61 c rootredcost : 1.25 0 0 0
1800.02/1800.61 c pseudoobj : 0.98 0 0 0
1800.02/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.61 c propagation : 14.42 239711 239580 1177336 18.1 5025 19.2 -
1800.02/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.61 c applied globally : - - - 535818 14.5 - - -
1800.02/1800.61 c applied locally : - - - 1937 35.1 - - -
1800.02/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.61 c redcost : 0.00 0 0 0 0 0
1800.02/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.61 c intobj : 0.00 0 0 0 0 0
1800.02/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.61 c gomory : 0.00 0 0 0 0 0
1800.02/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.61 c cmir : 0.00 0 0 0 0 0
1800.02/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.61 c clique : 0.00 0 0 0 0 0
1800.02/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.61 c mcf : 0.00 0 0 0 0 0
1800.02/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.61 c Pricers : Time Calls Vars
1800.02/1800.61 c problem variables: 0.00 0 0
1800.02/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.61 c inference : 13.00 478807 0 0 0 0 957614
1800.02/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.61 c random : 0.00 0 0 0 0 0 0
1800.02/1800.61 c Primal Heuristics : Time Calls Found
1800.02/1800.61 c LP solutions : 0.00 - 0
1800.02/1800.61 c pseudo solutions : 0.00 - 0
1800.02/1800.61 c trivial : 0.00 1 0
1800.02/1800.61 c simplerounding : 0.00 0 0
1800.02/1800.61 c zirounding : 0.00 0 0
1800.02/1800.61 c rounding : 0.00 0 0
1800.02/1800.61 c shifting : 0.00 0 0
1800.02/1800.61 c intshifting : 0.00 0 0
1800.02/1800.61 c oneopt : 0.00 0 0
1800.02/1800.61 c twoopt : 0.00 0 0
1800.02/1800.61 c fixandinfer : 0.00 0 0
1800.02/1800.61 c feaspump : 0.00 0 0
1800.02/1800.61 c coefdiving : 0.00 0 0
1800.02/1800.61 c pscostdiving : 0.00 0 0
1800.02/1800.61 c fracdiving : 0.00 0 0
1800.02/1800.61 c veclendiving : 0.00 0 0
1800.02/1800.61 c intdiving : 0.00 0 0
1800.02/1800.61 c actconsdiving : 0.00 0 0
1800.02/1800.61 c objpscostdiving : 0.00 0 0
1800.02/1800.61 c rootsoldiving : 0.00 0 0
1800.02/1800.61 c linesearchdiving : 0.00 0 0
1800.02/1800.61 c guideddiving : 0.00 0 0
1800.02/1800.61 c octane : 0.00 0 0
1800.02/1800.61 c rens : 0.00 0 0
1800.02/1800.61 c rins : 0.00 0 0
1800.02/1800.61 c localbranching : 0.00 0 0
1800.02/1800.61 c mutation : 0.00 0 0
1800.02/1800.61 c crossover : 0.00 0 0
1800.02/1800.61 c dins : 0.00 0 0
1800.02/1800.61 c undercover : 0.00 0 0
1800.02/1800.61 c nlp : 0.00 0 0
1800.02/1800.61 c trysol : 0.00 0 0
1800.02/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.61 c (at root node) : - 0 0 0.00 -
1800.02/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.61 c B&B Tree :
1800.02/1800.61 c number of runs : 1
1800.02/1800.61 c nodes : 622813
1800.02/1800.61 c nodes (total) : 622813
1800.02/1800.61 c nodes left : 216041
1800.02/1800.61 c max depth : 90
1800.02/1800.61 c max depth (total): 90
1800.02/1800.61 c backtracks : 157937 (25.4%)
1800.02/1800.61 c delayed cutoffs : 118761
1800.02/1800.61 c repropagations : 468333 (5648430 domain reductions, 95705 cutoffs)
1800.02/1800.61 c avg switch length: 14.41
1800.02/1800.61 c switching time : 490.50
1800.02/1800.61 c Solution :
1800.02/1800.61 c Solutions found : 0 (0 improvements)
1800.02/1800.61 c Primal Bound : -
1800.02/1800.61 c Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Gap : infinite
1800.02/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.61 c Root Iterations : 0
1801.01/1801.69 c Time complete: 1801.11.
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-2664447-1276308351/watcher-2664447-1276308351 -o /tmp/evaluation-result-2664447-1276308351/solver-2664447-1276308351 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664447-1276308351.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.01 1.00 3/106 7850 /proc/meminfo: memFree=1533720/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=6584 CPUtime=0 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 997 0 0 0 0 0 0 0 20 0 1 0 6438753 6742016 919 1992294400 4194304 7136930 140736573012784 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7850/statm: 1646 929 254 719 0 925 0 [startup+0.107999 s] /proc/loadavg: 1.00 1.01 1.00 3/106 7850 /proc/meminfo: memFree=1533720/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=15524 CPUtime=0.1 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 3814 0 0 0 9 1 0 0 20 0 1 0 6438753 15896576 3125 1992294400 4194304 7136930 140736573012784 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 3881 3125 348 719 0 3160 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15524 [startup+0.201009 s] /proc/loadavg: 1.00 1.01 1.00 3/106 7850 /proc/meminfo: memFree=1533720/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=16916 CPUtime=0.19 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 6754 0 0 0 17 2 0 0 18 0 1 0 6438753 17321984 3495 1992294400 4194304 7136930 140736573012784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 4229 3495 391 719 0 3508 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16916 [startup+0.301021 s] /proc/loadavg: 1.00 1.01 1.00 3/106 7850 /proc/meminfo: memFree=1533720/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=17060 CPUtime=0.29 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 6810 0 0 0 26 3 0 0 18 0 1 0 6438753 17469440 3551 1992294400 4194304 7136930 140736573012784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 4265 3551 391 719 0 3544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17060 [startup+0.701066 s] /proc/loadavg: 1.00 1.01 1.00 3/106 7850 /proc/meminfo: memFree=1533720/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=17732 CPUtime=0.69 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 6971 0 0 0 64 5 0 0 18 0 1 0 6438753 18157568 3712 1992294400 4194304 7136930 140736573012784 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 4433 3712 391 719 0 3712 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17732 [startup+1.50116 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7851 /proc/meminfo: memFree=1519328/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=19116 CPUtime=1.49 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 7327 0 0 0 140 9 0 0 19 0 1 0 6438753 19574784 4068 1992294400 4194304 7136930 140736573012784 18446744073709551615 5001215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 4779 4068 391 719 0 4058 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19116 [startup+3.10134 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7851 /proc/meminfo: memFree=1516972/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=21644 CPUtime=3.09 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 7959 0 0 0 292 17 0 0 23 0 1 0 6438753 22163456 4700 1992294400 4194304 7136930 140736573012784 18446744073709551615 5950366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 5411 4700 391 719 0 4690 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21644 [startup+6.30072 s] /proc/loadavg: 1.08 1.03 1.01 2/107 7851 /proc/meminfo: memFree=1512384/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=25896 CPUtime=6.28 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 9026 0 0 0 597 31 0 0 25 0 1 0 6438753 26517504 5767 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 6474 5767 391 719 0 5753 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25896 [startup+12.7015 s] /proc/loadavg: 1.07 1.02 1.00 2/107 7851 /proc/meminfo: memFree=1505812/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=32544 CPUtime=12.69 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 10735 0 0 0 1207 62 0 0 25 0 1 0 6438753 33325056 7476 1992294400 4194304 7136930 140736573012784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 8136 7476 391 719 0 7415 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32544 [startup+25.5009 s] /proc/loadavg: 1.06 1.02 1.00 2/107 7851 /proc/meminfo: memFree=1491924/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=45188 CPUtime=25.48 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 13913 0 0 0 2441 107 0 0 25 0 1 0 6438753 46272512 10654 1992294400 4194304 7136930 140736573012784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 11297 10654 391 719 0 10576 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45188 [startup+51.1009 s] /proc/loadavg: 1.04 1.02 1.00 2/107 7853 /proc/meminfo: memFree=1476672/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=60848 CPUtime=51.07 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 17898 0 0 0 4931 176 0 0 25 0 1 0 6438753 62308352 14639 1992294400 4194304 7136930 140736573012784 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 15212 14639 391 719 0 14491 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60848 [startup+102.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 7853 /proc/meminfo: memFree=1456088/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=80636 CPUtime=102.27 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 22847 0 0 0 9953 274 0 0 25 0 1 0 6438753 82571264 19588 1992294400 4194304 7136930 140736573012784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 20159 19588 391 719 0 19438 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 80636 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7855 /proc/meminfo: memFree=1425708/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=112708 CPUtime=162.23 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 30373 0 0 0 15817 406 0 0 25 0 1 0 6438753 115412992 27114 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 28177 27114 391 719 0 27456 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 112708 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7857 /proc/meminfo: memFree=1401280/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=137028 CPUtime=222.22 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 36473 0 0 0 21696 526 0 0 25 0 1 0 6438753 140316672 33214 1992294400 4194304 7136930 140736573012784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 34257 33214 391 719 0 33536 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 137028 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7859 /proc/meminfo: memFree=1381688/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=156432 CPUtime=282.19 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 41323 0 0 0 27591 628 0 0 25 0 1 0 6438753 160186368 38064 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 39108 38064 391 719 0 38387 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 156432 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7861 /proc/meminfo: memFree=1364956/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=173180 CPUtime=342.17 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 45530 0 0 0 33496 721 0 0 25 0 1 0 6438753 177336320 42271 1992294400 4194304 7136930 140736573012784 18446744073709551615 4210307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 43295 42271 391 719 0 42574 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 173180 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7861 /proc/meminfo: memFree=1350820/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=187136 CPUtime=402.16 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 49045 0 0 0 39406 810 0 0 25 0 1 0 6438753 191627264 45786 1992294400 4194304 7136930 140736573012784 18446744073709551615 5000112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 46784 45786 391 719 0 46063 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 187136 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7863 /proc/meminfo: memFree=1338668/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=199136 CPUtime=462.14 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 52057 0 0 0 45325 889 0 0 25 0 1 0 6438753 203915264 48798 1992294400 4194304 7136930 140736573012784 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 49784 48798 391 719 0 49063 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 199136 [startup+522.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 7868 /proc/meminfo: memFree=1327384/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=209660 CPUtime=522.12 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 54714 0 0 0 51248 964 0 0 25 0 1 0 6438753 214691840 51455 1992294400 4194304 7136930 140736573012784 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 52415 51455 391 719 0 51694 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 209660 [startup+582.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 7870 /proc/meminfo: memFree=1319572/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=217780 CPUtime=582.09 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 56683 0 0 0 57183 1026 0 0 25 0 1 0 6438753 223006720 53424 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 54445 53424 391 719 0 53724 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 217780 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7870 /proc/meminfo: memFree=1312628/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=224592 CPUtime=642.08 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 58399 0 0 0 63124 1084 0 0 25 0 1 0 6438753 229982208 55140 1992294400 4194304 7136930 140736573012784 18446744073709551615 4660862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 56148 55140 391 719 0 55427 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 224592 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7882 /proc/meminfo: memFree=1255588/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=286092 CPUtime=1061.95 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 72672 0 0 0 104707 1488 0 0 25 0 1 0 6438753 292958208 69413 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 71523 69413 391 719 0 70802 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 286092 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7884 /proc/meminfo: memFree=1245172/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=296716 CPUtime=1121.94 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 75269 0 0 0 110652 1542 0 0 25 0 1 0 6438753 303837184 72010 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 74179 72010 391 719 0 73458 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 296716 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7886 /proc/meminfo: memFree=1240708/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=301876 CPUtime=1181.92 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 76638 0 0 0 116594 1598 0 0 25 0 1 0 6438753 309121024 73379 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 75469 73379 391 719 0 74748 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 301876 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7886 /proc/meminfo: memFree=1227440/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=313972 CPUtime=1241.9 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 79631 0 0 0 122539 1651 0 0 25 0 1 0 6438753 321507328 76372 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 78493 76372 391 719 0 77772 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 313972 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7888 /proc/meminfo: memFree=1220744/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=321000 CPUtime=1301.89 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 81311 0 0 0 128490 1699 0 0 25 0 1 0 6438753 328704000 78052 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 80250 78052 391 719 0 79529 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 321000 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7890 /proc/meminfo: memFree=1217148/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=324520 CPUtime=1361.86 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 82200 0 0 0 134445 1741 0 0 25 0 1 0 6438753 332308480 78941 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 81130 78941 391 719 0 80409 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 324520 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7892 /proc/meminfo: memFree=1213428/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=328272 CPUtime=1421.85 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 83125 0 0 0 140398 1787 0 0 25 0 1 0 6438753 336150528 79866 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 82068 79866 391 719 0 81347 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 328272 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7894 /proc/meminfo: memFree=1208840/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=332688 CPUtime=1481.82 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 84275 0 0 0 146352 1830 0 0 25 0 1 0 6438753 340672512 81016 1992294400 4194304 7136930 140736573012784 18446744073709551615 4219844 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 83172 81016 391 719 0 82451 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 332688 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7896 /proc/meminfo: memFree=1202888/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=338812 CPUtime=1541.82 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 85738 0 0 0 152313 1869 0 0 25 0 1 0 6438753 346943488 82479 1992294400 4194304 7136930 140736573012784 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 84703 82479 391 719 0 83982 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 338812 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7896 /proc/meminfo: memFree=1200036/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=341688 CPUtime=1601.78 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 86426 0 0 0 158263 1915 0 0 25 0 1 0 6438753 349888512 83167 1992294400 4194304 7136930 140736573012784 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 85422 83167 391 719 0 84701 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 341688 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7898 /proc/meminfo: memFree=1194208/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=347456 CPUtime=1661.76 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 87908 0 0 0 164219 1957 0 0 25 0 1 0 6438753 355794944 84649 1992294400 4194304 7136930 140736573012784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 86864 84649 391 719 0 86143 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 347456 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7900 /proc/meminfo: memFree=1190364/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=351240 CPUtime=1721.75 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 88823 0 0 0 170176 1999 0 0 25 0 1 0 6438753 359669760 85564 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 87810 85564 391 719 0 87089 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 351240 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7902 /proc/meminfo: memFree=1183048/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=358344 CPUtime=1781.73 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 90597 0 0 0 176134 2039 0 0 25 0 1 0 6438753 366944256 87338 1992294400 4194304 7136930 140736573012784 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 89586 87338 391 719 0 88865 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 358344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7902 /proc/meminfo: memFree=1180940/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=360464 CPUtime=1800.02 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 91130 0 0 0 177952 2050 0 0 25 0 1 0 6438753 369115136 87871 1992294400 4194304 7136930 140736573012784 18446744073709551615 5004490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7850/statm: 90116 87871 391 719 0 89395 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 360464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7903 /proc/meminfo: memFree=1180808/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=360592 CPUtime=1800.13 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 91166 0 0 0 177963 2050 0 0 25 0 1 0 6438753 369246208 87907 1992294400 4194304 7136930 140736573012784 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7850/statm: 90148 87907 396 719 0 89427 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 360592 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7903 /proc/meminfo: memFree=1180808/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=360592 CPUtime=1800.51 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 91166 0 0 0 178001 2050 0 0 25 0 1 0 6438753 369246208 87907 1992294400 4194304 7136930 140736573012784 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7850/statm: 90148 87907 396 719 0 89427 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (KiB) 360592 [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7903 /proc/meminfo: memFree=1180808/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=359568 CPUtime=1800.91 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 91166 0 0 0 178041 2050 0 0 25 0 1 0 6438753 368197632 87651 1992294400 4194304 7136930 140736573012784 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7850/statm: 89892 87651 396 719 0 89171 0 Current children cumulated CPU time (s) 1800.91 Current children cumulated vsize (KiB) 359568 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7903 /proc/meminfo: memFree=1180808/2059040 swapFree=4192956/4192956 [pid=7850] ppid=7848 vsize=354740 CPUtime=1801.01 /proc/7850/stat : 7850 (pbscip.linux.x8) R 7848 7850 7248 0 -1 4202496 91166 0 0 0 178051 2050 0 0 25 0 1 0 6438753 363253760 86444 1992294400 4194304 7136930 140736573012784 18446744073709551615 4332920 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7850/statm: 88685 86444 396 719 0 87964 0 Current children cumulated CPU time (s) 1801.01 Current children cumulated vsize (KiB) 354740 Child status: 0 Real time (s): 1801.69 CPU time (s): 1801.12 CPU user time (s): 1780.57 CPU system time (s): 20.5439 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (KiB): 360592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.57 system time used= 20.5439 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91173 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= 8 involuntary context switches= 2309 runsolver used 2.85956 second user time and 8.63169 second system time The end
Begin job on node006 at 2010-06-12 04:05:51 IDJOB=2664447 IDBENCH=1350 IDSOLVER=1167 FILE ID=node006/2664447-1276308351 PBS_JOBID= 11173140 Free space on /tmp= 62472 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.1900557574.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-2664447-1276308351/watcher-2664447-1276308351 -o /tmp/evaluation-result-2664447-1276308351/solver-2664447-1276308351 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664447-1276308351.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5107a201bfa7ecd84a67ffb212d048dd RANDOM SEED=580494437 node006.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.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1534124 kB Buffers: 85376 kB Cached: 311352 kB SwapCached: 0 kB Active: 177300 kB Inactive: 279160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1534124 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3276 kB Writeback: 0 kB AnonPages: 59624 kB Mapped: 15432 kB Slab: 46656 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180840 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= 62472 MiB End job on node006 at 2010-06-12 04:35:54