| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.93 | 1801.42 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb |
| MD5SUM | 6f786d0e248f798e90612aee65004e7e |
| 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 | 28.3357 |
| 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 | 741 |
| 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-2664419-1276299340.opb>
0.04/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.04/0.05 c problem read
0.04/0.05 c No objective function, only one solution is needed.
0.04/0.05 c presolving settings loaded
0.04/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.04/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.07
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.96
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
4.09/4.10 c 3.8s| 10000 | 8142 | 0 | 0.0 |7218k| 95 | - | 231 |4455 | 0 | 0 | 0 |2690 | 0 | 0.000000e+00 | -- | Inf
9.99/10.06 c 9.6s| 20000 | 14586 | 0 | 0.0 | 12M| 95 | - | 231 |5536 | 0 | 0 | 0 |7149 | 0 | 0.000000e+00 | -- | Inf
15.69/15.77 c 15.0s| 30000 | 21964 | 0 | 0.0 | 16M| 95 | - | 231 |5835 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
21.89/21.96 c 21.0s| 40000 | 29072 | 0 | 0.0 | 21M| 95 | - | 231 |6672 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
28.98/29.01 c 27.8s| 50000 | 35777 | 0 | 0.0 | 25M| 95 | - | 231 |7425 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
37.68/37.75 c 36.3s| 60000 | 41670 | 0 | 0.0 | 31M| 95 | - | 231 |8872 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
48.77/48.88 c 47.2s| 70000 | 46830 | 0 | 0.0 | 36M| 95 | - | 231 | 10k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
61.88/61.95 c 59.9s| 80000 | 51499 | 0 | 0.0 | 42M| 95 | - | 231 | 11k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
78.67/78.73 c 76.4s| 90000 | 54869 | 0 | 0.0 | 46M| 95 | - | 231 | 12k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
97.16/97.29 c 94.6s|100000 | 57684 | 0 | 0.0 | 50M| 95 | - | 231 | 11k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
109.46/109.54 c 107s|110000 | 63837 | 0 | 0.0 | 54M| 95 | - | 231 | 10k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
120.75/120.83 c 118s|120000 | 70002 | 0 | 0.0 | 59M| 95 | - | 231 |9842 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
132.25/132.31 c 129s|130000 | 75910 | 0 | 0.0 | 64M| 95 | - | 231 |9850 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
143.75/143.86 c 140s|140000 | 81696 | 0 | 0.0 | 68M| 95 | - | 231 |9710 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
155.25/155.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.25/155.32 c 151s|150000 | 87562 | 0 | 0.0 | 72M| 95 | - | 231 |9900 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
167.35/167.47 c 163s|160000 | 93169 | 0 | 0.0 | 77M| 95 | - | 231 | 10k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
179.74/179.86 c 175s|170000 | 98706 | 0 | 0.0 | 81M| 95 | - | 231 | 10k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
193.24/193.39 c 188s|180000 |103831 | 0 | 0.0 | 86M| 95 | - | 231 | 10k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
206.43/206.54 c 201s|190000 |109034 | 0 | 0.0 | 90M| 95 | - | 231 | 11k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
219.94/220.02 c 214s|200000 |114272 | 0 | 0.0 | 94M| 95 | - | 231 | 11k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
234.13/234.30 c 228s|210000 |119251 | 0 | 0.0 | 99M| 95 | - | 231 | 11k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
249.02/249.19 c 243s|220000 |124067 | 0 | 0.0 | 103M| 95 | - | 231 | 12k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
263.92/264.08 c 258s|230000 |129017 | 0 | 0.0 | 107M| 95 | - | 231 | 12k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
280.21/280.39 c 274s|240000 |133561 | 0 | 0.0 | 112M| 95 | - | 231 | 12k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
297.61/297.70 c 291s|250000 |137806 | 0 | 0.0 | 116M| 95 | - | 231 | 13k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
314.00/314.12 c 307s|260000 |142409 | 0 | 0.0 | 120M| 95 | - | 231 | 13k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
332.10/332.23 c 324s|270000 |146593 | 0 | 0.0 | 124M| 95 | - | 231 | 13k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
352.59/352.76 c 345s|280000 |150009 | 0 | 0.0 | 128M| 95 | - | 231 | 15k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
374.89/375.05 c 367s|290000 |153314 | 0 | 0.0 | 132M| 95 | - | 231 | 15k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
398.47/398.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.47/398.67 c 390s|300000 |156194 | 0 | 0.0 | 136M| 95 | - | 231 | 16k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
426.37/426.50 c 417s|310000 |157932 | 0 | 0.0 | 140M| 95 | - | 231 | 17k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
456.37/456.53 c 447s|320000 |159381 | 0 | 0.0 | 143M| 95 | - | 231 | 18k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
490.95/491.15 c 481s|330000 |159928 | 0 | 0.0 | 147M| 95 | - | 231 | 19k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
531.54/531.72 c 521s|340000 |158916 | 0 | 0.0 | 149M| 95 | - | 231 | 19k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
574.32/574.54 c 564s|350000 |156729 | 0 | 0.0 | 149M| 95 | - | 231 | 18k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
605.12/605.39 c 594s|360000 |159863 | 0 | 0.0 | 152M| 95 | - | 231 | 15k| 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
632.61/632.86 c 621s|370000 |163067 | 0 | 0.0 | 156M| 95 | - | 231 | 14k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
657.80/658.07 c 646s|380000 |166637 | 0 | 0.0 | 160M| 95 | - | 231 | 14k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
681.90/682.14 c 670s|390000 |170031 | 0 | 0.0 | 164M| 95 | - | 231 | 14k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
706.69/706.93 c 694s|400000 |173058 | 0 | 0.0 | 168M| 95 | - | 231 | 14k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
735.69/735.98 c 723s|410000 |174780 | 0 | 0.0 | 172M| 95 | - | 231 | 14k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
768.27/768.58 c 755s|420000 |175622 | 0 | 0.0 | 176M| 95 | - | 231 | 14k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
800.96/801.27 c 788s|430000 |176235 | 0 | 0.0 | 180M| 95 | - | 231 | 14k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
831.36/831.63 c 818s|440000 |177469 | 0 | 0.0 | 184M| 95 | - | 231 | 14k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
864.25/864.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
864.25/864.55 c 850s|450000 |178161 | 0 | 0.0 | 187M| 95 | - | 231 | 15k| 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
897.93/898.22 c 883s|460000 |178663 | 0 | 0.0 | 191M| 95 | - | 231 | 15k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
929.62/929.92 c 915s|470000 |179984 | 0 | 0.0 | 194M| 95 | - | 231 | 15k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
965.81/966.12 c 951s|480000 |180231 | 0 | 0.0 | 196M| 95 | - | 231 | 15k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1001.20/1001.59 c 986s|490000 |180412 | 0 | 0.0 | 199M| 95 | - | 231 | 16k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1039.69/1040.00 c 1024s|500000 |180290 | 0 | 0.0 | 201M| 95 | - | 231 | 16k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1078.79/1079.17 c 1062s|510000 |179622 | 0 | 0.0 | 203M| 95 | - | 231 | 17k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1116.87/1117.21 c 1100s|520000 |179920 | 0 | 0.0 | 204M| 95 | - | 231 | 17k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
1156.77/1157.10 c 1140s|530000 |179300 | 0 | 0.0 | 207M| 95 | - | 231 | 18k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1197.46/1197.81 c 1180s|540000 |179336 | 0 | 0.0 | 209M| 95 | - | 231 | 18k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1239.05/1239.44 c 1221s|550000 |178579 | 0 | 0.0 | 211M| 95 | - | 231 | 19k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1279.34/1279.75 c 1261s|560000 |178800 | 0 | 0.0 | 213M| 95 | - | 231 | 19k| 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | -- | Inf
1321.02/1321.44 c 1302s|570000 |178160 | 0 | 0.0 | 215M| 95 | - | 231 | 20k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
1366.01/1366.50 c 1347s|580000 |177517 | 0 | 0.0 | 217M| 95 | - | 231 | 21k| 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1413.80/1414.24 c 1394s|590000 |176020 | 0 | 0.0 | 219M| 95 | - | 231 | 22k| 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | -- | Inf
1462.09/1462.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.09/1462.54 c 1442s|600000 |175191 | 0 | 0.0 | 221M| 95 | - | 231 | 22k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | -- | Inf
1514.38/1514.87 c 1494s|610000 |173506 | 0 | 0.0 | 222M| 95 | - | 231 | 23k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | -- | Inf
1563.86/1564.30 c 1543s|620000 |172235 | 0 | 0.0 | 224M| 95 | - | 231 | 24k| 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | -- | Inf
1618.04/1618.55 c 1597s|630000 |170354 | 0 | 0.0 | 224M| 95 | - | 231 | 25k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | -- | Inf
1676.63/1677.10 c 1655s|640000 |167747 | 0 | 0.0 | 224M| 95 | - | 231 | 26k| 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | -- | Inf
1738.02/1738.58 c 1716s|650000 |164671 | 0 | 0.0 | 223M| 95 | - | 231 | 27k| 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.51 c
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time (sec) : 1777.43
1800.01/1800.51 c Solving Nodes : 659751
1800.01/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 s UNKNOWN
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time : 1777.43
1800.01/1800.51 c Original Problem :
1800.01/1800.51 c Problem name : HOME/instance-2664419-1276299340.opb
1800.01/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 2707 initial, 2707 maximal
1800.01/1800.51 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2664419-1276299340.opb
1800.01/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 2564 initial, 28205 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c linear : 0.03 0 0 0 0 0 143 0 0
1800.01/1800.51 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c knapsack : 1 0 2344645 0 477852 63358 9415899 0 0 0
1800.01/1800.51 c setppc : 22 0 2296237 0 477852 97142 2335011 0 0 0
1800.01/1800.51 c logicor : 2541+ 0 1806382 0 477850 119104 6754763 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 477835 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c knapsack : 59.11 0.00 56.57 0.00 2.54
1800.01/1800.51 c setppc : 31.94 0.00 25.18 0.00 6.76
1800.01/1800.51 c logicor : 921.63 0.00 861.93 0.00 59.70
1800.01/1800.51 c countsols : 0.20 0.00 0.00 0.00 0.20
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 1.15 1 0 0
1800.01/1800.51 c rootredcost : 1.51 0 0 0
1800.01/1800.51 c pseudoobj : 0.96 0 0 0
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 16.93 279604 279287 1299197 18.5 5959 20.0 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 626239 15.2 - - -
1800.01/1800.51 c applied locally : - - - 2423 35.2 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.51 c redcost : 0.00 0 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.00 0 0 0 0 0
1800.01/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.51 c cmir : 0.00 0 0 0 0 0
1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.51 c clique : 0.00 0 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 0 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 12.86 477835 0 0 0 0 955670
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c trivial : 0.00 1 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 0 0
1800.01/1800.51 c rounding : 0.00 0 0
1800.01/1800.51 c shifting : 0.00 0 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c oneopt : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 0.00 0 0
1800.01/1800.51 c trysol : 0.00 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.51 c (at root node) : - 0 0 0.00 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 659751
1800.01/1800.51 c nodes (total) : 659751
1800.01/1800.51 c nodes left : 161174
1800.01/1800.51 c max depth : 95
1800.01/1800.51 c max depth (total): 95
1800.01/1800.51 c backtracks : 205480 (31.1%)
1800.01/1800.51 c delayed cutoffs : 134746
1800.01/1800.51 c repropagations : 643231 (5636159 domain reductions, 97688 cutoffs)
1800.01/1800.51 c avg switch length: 17.90
1800.01/1800.51 c switching time : 497.84
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 0
1800.90/1801.42 c Time complete: 1800.92.
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-2664419-1276299340/watcher-2664419-1276299340 -o /tmp/evaluation-result-2664419-1276299340/solver-2664419-1276299340 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664419-1276299340.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 3/107 5734 /proc/meminfo: memFree=1513540/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=6584 CPUtime=0 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 1009 0 0 0 0 0 0 0 20 0 1 0 3589782 6742016 932 1992294400 4194304 7136930 140735090340432 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5734/statm: 1646 942 254 719 0 925 0 [startup+0.0546919 s] /proc/loadavg: 1.00 1.00 1.00 3/107 5734 /proc/meminfo: memFree=1513540/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=9644 CPUtime=0.04 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 1898 0 0 0 4 0 0 0 20 0 1 0 3589782 9875456 1821 1992294400 4194304 7136930 140735090340432 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5734/statm: 2411 1835 268 719 0 1690 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9644 [startup+0.101695 s] /proc/loadavg: 1.00 1.00 1.00 3/107 5734 /proc/meminfo: memFree=1513540/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=14904 CPUtime=0.09 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 3627 0 0 0 8 1 0 0 20 0 1 0 3589782 15261696 2939 1992294400 4194304 7136930 140735090340432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 3726 2953 345 719 0 3005 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14904 [startup+0.301712 s] /proc/loadavg: 1.00 1.00 1.00 3/107 5734 /proc/meminfo: memFree=1513540/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=17060 CPUtime=0.29 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 6812 0 0 0 26 3 0 0 20 0 1 0 3589782 17469440 3554 1992294400 4194304 7136930 140735090340432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 4265 3554 391 719 0 3544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17060 [startup+0.701748 s] /proc/loadavg: 1.00 1.00 1.00 3/107 5734 /proc/meminfo: memFree=1513540/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=17844 CPUtime=0.69 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 7003 0 0 0 64 5 0 0 21 0 1 0 3589782 18272256 3745 1992294400 4194304 7136930 140735090340432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 4461 3745 391 719 0 3740 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17844 [startup+1.50182 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5735 /proc/meminfo: memFree=1499396/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=19104 CPUtime=1.49 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 7311 0 0 0 140 9 0 0 23 0 1 0 3589782 19562496 4053 1992294400 4194304 7136930 140735090340432 18446744073709551615 4697383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 4776 4053 391 719 0 4055 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19104 [startup+3.10096 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5735 /proc/meminfo: memFree=1497040/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=21464 CPUtime=3.09 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 7927 0 0 0 292 17 0 0 25 0 1 0 3589782 21979136 4669 1992294400 4194304 7136930 140735090340432 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 5366 4669 391 719 0 4645 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21464 [startup+6.30124 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5735 /proc/meminfo: memFree=1492576/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=25636 CPUtime=6.29 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 8969 0 0 0 598 31 0 0 25 0 1 0 3589782 26251264 5711 1992294400 4194304 7136930 140735090340432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 6409 5711 391 719 0 5688 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25636 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5737 /proc/meminfo: memFree=1486376/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=32244 CPUtime=12.68 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 10637 0 0 0 1213 55 0 0 25 0 1 0 3589782 33017856 7379 1992294400 4194304 7136930 140735090340432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 8061 7379 391 719 0 7340 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32244 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5737 /proc/meminfo: memFree=1472488/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=44484 CPUtime=25.48 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 13768 0 0 0 2448 100 0 0 25 0 1 0 3589782 45551616 10510 1992294400 4194304 7136930 140735090340432 18446744073709551615 4210355 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 11121 10510 391 719 0 10400 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44484 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5737 /proc/meminfo: memFree=1456616/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=60772 CPUtime=51.08 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 17842 0 0 0 4936 172 0 0 25 0 1 0 3589782 62230528 14584 1992294400 4194304 7136930 140735090340432 18446744073709551615 4223178 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 15193 14584 391 719 0 14472 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 60772 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5739 /proc/meminfo: memFree=1436280/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=81348 CPUtime=102.27 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 23006 0 0 0 9953 274 0 0 25 0 1 0 3589782 83300352 19748 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 20337 19748 391 719 0 19616 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 81348 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5744 /proc/meminfo: memFree=1407140/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=110808 CPUtime=162.24 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 29881 0 0 0 15805 419 0 0 25 0 1 0 3589782 113467392 26623 1992294400 4194304 7136930 140735090340432 18446744073709551615 5958167 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 27702 26623 391 719 0 26981 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 110808 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5744 /proc/meminfo: memFree=1383828/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=133992 CPUtime=222.22 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 35747 0 0 0 21666 556 0 0 25 0 1 0 3589782 137207808 32489 1992294400 4194304 7136930 140735090340432 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 33498 32489 391 719 0 32777 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 133992 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5746 /proc/meminfo: memFree=1360392/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=157072 CPUtime=282.21 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 41533 0 0 0 27547 674 0 0 25 0 1 0 3589782 160841728 38275 1992294400 4194304 7136930 140735090340432 18446744073709551615 5956350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 39268 38275 391 719 0 38547 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 157072 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5748 /proc/meminfo: memFree=1346628/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=170708 CPUtime=342.2 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 44947 0 0 0 33441 779 0 0 25 0 1 0 3589782 174804992 41689 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 42677 41689 391 719 0 41956 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 170708 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5750 /proc/meminfo: memFree=1338816/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=178880 CPUtime=402.17 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 47026 0 0 0 39350 867 0 0 25 0 1 0 3589782 183173120 43768 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 44720 43768 391 719 0 43999 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 178880 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5752 /proc/meminfo: memFree=1326788/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=190612 CPUtime=462.16 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 49921 0 0 0 45272 944 0 0 25 0 1 0 3589782 195186688 46663 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 47653 46663 391 719 0 46932 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 190612 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5752 /proc/meminfo: memFree=1322324/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=195264 CPUtime=522.14 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 51023 0 0 0 51206 1008 0 0 25 0 1 0 3589782 199950336 47765 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 48816 47765 391 719 0 48095 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 195264 [startup+582.302 s] /proc/loadavg: 1.06 1.01 1.00 2/108 5754 /proc/meminfo: memFree=1317736/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=199644 CPUtime=582.12 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 52121 0 0 0 57143 1069 0 0 25 0 1 0 3589782 204435456 48863 1992294400 4194304 7136930 140735090340432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 49911 48863 391 719 0 49190 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 199644 [startup+642.301 s] /proc/loadavg: 1.02 1.01 1.00 2/108 5756 /proc/meminfo: memFree=1308684/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=208628 CPUtime=642.11 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 54389 0 0 0 63072 1139 0 0 25 0 1 0 3589782 213635072 51131 1992294400 4194304 7136930 140735090340432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 52157 51131 391 719 0 51436 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 208628 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5766 /proc/meminfo: memFree=1258836/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=258520 CPUtime=1002 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 66790 0 0 0 98634 1566 0 0 25 0 1 0 3589782 264724480 63532 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 64630 63532 391 719 0 63909 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 258520 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5768 /proc/meminfo: memFree=1253008/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=264184 CPUtime=1061.99 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 68239 0 0 0 104571 1628 0 0 25 0 1 0 3589782 270524416 64981 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 66046 64981 391 719 0 65325 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 264184 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5768 /proc/meminfo: memFree=1250280/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=266872 CPUtime=1121.97 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 68909 0 0 0 110511 1686 0 0 25 0 1 0 3589782 273276928 65651 1992294400 4194304 7136930 140735090340432 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 66718 65651 391 719 0 65997 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 266872 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5770 /proc/meminfo: memFree=1244700/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=272380 CPUtime=1181.95 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 70275 0 0 0 116449 1746 0 0 25 0 1 0 3589782 278917120 67017 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 68095 67017 391 719 0 67374 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 272380 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5772 /proc/meminfo: memFree=1240980/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=276260 CPUtime=1241.94 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 71152 0 0 0 122393 1801 0 0 25 0 1 0 3589782 282890240 67894 1992294400 4194304 7136930 140735090340432 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 69065 67894 391 719 0 68344 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 276260 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5774 /proc/meminfo: memFree=1238872/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=278204 CPUtime=1301.94 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 71650 0 0 0 128335 1859 0 0 25 0 1 0 3589782 284880896 68392 1992294400 4194304 7136930 140735090340432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 69551 68392 391 719 0 68830 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 278204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5776 /proc/meminfo: memFree=1236764/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=280240 CPUtime=1361.91 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 72176 0 0 0 134283 1908 0 0 25 0 1 0 3589782 286965760 68918 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 70060 68918 391 719 0 69339 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 280240 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5776 /proc/meminfo: memFree=1233292/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=283612 CPUtime=1421.91 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 73036 0 0 0 140231 1960 0 0 25 0 1 0 3589782 290418688 69778 1992294400 4194304 7136930 140735090340432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 70903 69778 391 719 0 70182 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 283612 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5778 /proc/meminfo: memFree=1229448/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=287564 CPUtime=1481.89 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 74000 0 0 0 146180 2009 0 0 25 0 1 0 3589782 294465536 70742 1992294400 4194304 7136930 140735090340432 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 71891 70742 391 719 0 71170 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 287564 [startup+1542.3 s] /proc/loadavg: 1.10 1.03 1.01 2/108 5789 /proc/meminfo: memFree=1224240/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=292472 CPUtime=1541.86 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 75163 0 0 0 152126 2060 0 0 25 0 1 0 3589782 299491328 71905 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 73118 71905 391 719 0 72397 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 292472 [startup+1602.3 s] /proc/loadavg: 1.10 1.04 1.01 2/108 5791 /proc/meminfo: memFree=1223620/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=292932 CPUtime=1601.85 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 75300 0 0 0 158079 2106 0 0 25 0 1 0 3589782 299962368 72042 1992294400 4194304 7136930 140735090340432 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 73233 72042 391 719 0 72512 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 292932 [startup+1662.3 s] /proc/loadavg: 1.09 1.04 1.00 2/108 5793 /proc/meminfo: memFree=1221388/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=295124 CPUtime=1661.83 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 75858 0 0 0 164030 2153 0 0 25 0 1 0 3589782 302206976 72600 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 73781 72600 391 719 0 73060 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 295124 [startup+1722.3 s] /proc/loadavg: 1.14 1.06 1.01 2/108 5793 /proc/meminfo: memFree=1218412/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=298148 CPUtime=1721.82 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 76598 0 0 0 169984 2198 0 0 25 0 1 0 3589782 305303552 73340 1992294400 4194304 7136930 140735090340432 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 74537 73340 391 719 0 73816 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 298148 [startup+1782.3 s] /proc/loadavg: 1.10 1.06 1.01 2/108 5795 /proc/meminfo: memFree=1218040/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=298596 CPUtime=1781.81 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 76712 0 0 0 175940 2241 0 0 25 0 1 0 3589782 305762304 73454 1992294400 4194304 7136930 140735090340432 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 74649 73454 391 719 0 73928 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 298596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.08 1.06 1.01 2/108 5795 /proc/meminfo: memFree=1217916/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=298596 CPUtime=1800.01 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 76713 0 0 0 177747 2254 0 0 25 0 1 0 3589782 305762304 73455 1992294400 4194304 7136930 140735090340432 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5734/statm: 74649 73455 391 719 0 73928 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 298596 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.08 1.06 1.01 2/109 5796 /proc/meminfo: memFree=1217784/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=298748 CPUtime=1800.12 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 76749 0 0 0 177758 2254 0 0 25 0 1 0 3589782 305917952 73491 1992294400 4194304 7136930 140735090340432 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5734/statm: 74687 73491 396 719 0 73966 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 298748 [startup+1801 s] /proc/loadavg: 1.08 1.06 1.01 2/109 5796 /proc/meminfo: memFree=1217784/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=298748 CPUtime=1800.5 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 76749 0 0 0 177796 2254 0 0 25 0 1 0 3589782 305917952 73491 1992294400 4194304 7136930 140735090340432 18446744073709551615 4212479 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5734/statm: 74687 73491 396 719 0 73966 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (KiB) 298748 [startup+1801.4 s] /proc/loadavg: 1.08 1.06 1.01 2/109 5796 /proc/meminfo: memFree=1217784/2059040 swapFree=4192956/4192956 [pid=5734] ppid=5732 vsize=184088 CPUtime=1800.9 /proc/5734/stat : 5734 (pbscip.linux.x8) R 5732 5734 5414 0 -1 4202496 76749 0 0 0 177835 2255 0 0 25 0 1 0 3589782 188506112 44837 1992294400 4194304 7136930 140735090340432 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5734/statm: 45877 44837 396 719 0 45156 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (KiB) 184088 Child status: 0 Real time (s): 1801.42 CPU time (s): 1800.93 CPU user time (s): 1778.36 CPU system time (s): 22.5746 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 298748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.36 system time used= 22.5746 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76756 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= 3 involuntary context switches= 8504 runsolver used 2.85857 second user time and 8.63769 second system time The end
Begin job on node025 at 2010-06-12 01:35:41 IDJOB=2664419 IDBENCH=1321 IDSOLVER=1167 FILE ID=node025/2664419-1276299340 PBS_JOBID= 11173126 Free space on /tmp= 62540 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544484.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-2664419-1276299340/watcher-2664419-1276299340 -o /tmp/evaluation-result-2664419-1276299340/solver-2664419-1276299340 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664419-1276299340.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6f786d0e248f798e90612aee65004e7e RANDOM SEED=2436931 node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1514068 kB Buffers: 73404 kB Cached: 331948 kB SwapCached: 0 kB Active: 172852 kB Inactive: 291912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1514068 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3392 kB Writeback: 0 kB AnonPages: 59336 kB Mapped: 15344 kB Slab: 58404 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181528 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node025 at 2010-06-12 02:05:43