| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.26 | 1801.75 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb |
| MD5SUM | a94882f61e84be0ce1718fd53c8fd7c8 |
| 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 | 61.6686 |
| 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-2664395-1276289136.opb>
0.02/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.02/0.05 c problem read
0.02/0.05 c No objective function, only one solution is needed.
0.02/0.05 c presolving settings loaded
0.02/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.02/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 242 implications, 22 cliques
0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.15 c 1 constraints of type <knapsack>
0.09/0.15 c 22 constraints of type <setppc>
0.09/0.15 c 2541 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.06
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.95
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.15 c separating/maxrounds = 1
0.09/0.15 c
0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/maxroundsroot = 5
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.15 c constraints/knapsack/disaggregation = FALSE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c presolving/probing/maxrounds = 0
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/coefdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.15 c heuristics/crossover/freq = -1
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/crossover/nodesofs = 750
0.09/0.15 c
0.09/0.15 c # number of nodes without incumbent change that heuristic should wait
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.15 c heuristics/crossover/nwaitingnodes = 100
0.09/0.15 c
0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.15 c # [type: real, range: [0,1], default: 0.1]
0.09/0.15 c heuristics/crossover/nodesquot = 0.15
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixed
0.09/0.15 c # [type: real, range: [0,1], default: 0.666]
0.09/0.15 c heuristics/crossover/minfixingrate = 0.5
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/feaspump/freq = -1
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/fracdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/guideddiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/intshifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/linesearchdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/nlp/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/objpscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.15 c # [type: real, range: [0,1], default: 0.01]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/oneopt/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/pscostdiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/rens/freq = -1
0.09/0.15 c
0.09/0.15 c # minimum percentage of integer variables that have to be fixable
0.09/0.15 c # [type: real, range: [0,1], default: 0.5]
0.09/0.15 c heuristics/rens/minfixingrate = 0.3
0.09/0.15 c
0.09/0.15 c # number of nodes added to the contingent of the total nodes
0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.15 c heuristics/rens/nodesofs = 2000
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.15 c heuristics/rootsoldiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/rounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/shifting/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/simplerounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c heuristics/trivial/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/trysol/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.15 c heuristics/veclendiving/freq = -1
0.09/0.15 c
0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.15 c
0.09/0.15 c # additional number of allowed LP iterations
0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.15 c
0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c heuristics/zirounding/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/cmir/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.15 c separating/flowcover/freq = -1
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.07 c 3.7s| 10000 | 8143 | 0 | 0.0 |7221k| 93 | - | 231 |4374 | 0 | 0 | 0 |2612 | 0 | 0.000000e+00 | -- | Inf
9.69/9.70 c 9.1s| 20000 | 14858 | 0 | 0.0 | 12M| 93 | - | 231 |5431 | 0 | 0 | 0 |6743 | 0 | 0.000000e+00 | -- | Inf
14.79/14.85 c 14.1s| 30000 | 22576 | 0 | 0.0 | 16M| 93 | - | 231 |6070 | 0 | 0 | 0 |9733 | 0 | 0.000000e+00 | -- | Inf
20.79/20.83 c 19.8s| 40000 | 29852 | 0 | 0.0 | 21M| 93 | - | 231 |7072 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
27.68/27.71 c 26.4s| 50000 | 36718 | 0 | 0.0 | 26M| 93 | - | 231 |7937 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
35.58/35.65 c 34.1s| 60000 | 43296 | 0 | 0.0 | 31M| 93 | - | 231 |8763 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
44.67/44.72 c 42.9s| 70000 | 49386 | 0 | 0.0 | 36M| 93 | - | 231 |9678 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
55.87/55.96 c 53.9s| 80000 | 54581 | 0 | 0.0 | 41M| 93 | - | 231 | 10k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
70.38/70.47 c 68.1s| 90000 | 58534 | 0 | 0.0 | 47M| 93 | - | 231 | 12k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
88.47/88.50 c 85.8s|100000 | 61584 | 0 | 0.0 | 51M| 93 | - | 231 | 12k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
102.36/102.46 c 99.4s|110000 | 67078 | 0 | 0.0 | 56M| 93 | - | 231 | 11k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
113.56/113.64 c 110s|120000 | 73787 | 0 | 0.0 | 60M| 93 | - | 231 | 11k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
124.66/124.72 c 121s|130000 | 80464 | 0 | 0.0 | 65M| 93 | - | 231 | 11k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
136.15/136.24 c 132s|140000 | 86975 | 0 | 0.0 | 70M| 93 | - | 231 | 12k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
147.65/147.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.65/147.73 c 144s|150000 | 93534 | 0 | 0.0 | 74M| 93 | - | 231 | 12k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
161.66/161.78 c 157s|160000 | 99141 | 0 | 0.0 | 80M| 93 | - | 231 | 13k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
176.95/177.02 c 172s|170000 |104585 | 0 | 0.0 | 85M| 93 | - | 231 | 14k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
193.24/193.32 c 188s|180000 |109824 | 0 | 0.0 | 90M| 93 | - | 231 | 15k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
211.33/211.49 c 206s|190000 |114646 | 0 | 0.0 | 95M| 93 | - | 231 | 16k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
230.23/230.38 c 225s|200000 |119451 | 0 | 0.0 | 101M| 93 | - | 231 | 17k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
250.23/250.36 c 244s|210000 |124040 | 0 | 0.0 | 106M| 93 | - | 231 | 17k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
270.32/270.46 c 264s|220000 |128750 | 0 | 0.0 | 111M| 93 | - | 231 | 18k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
292.92/293.01 c 286s|230000 |132846 | 0 | 0.0 | 116M| 93 | - | 231 | 19k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
316.21/316.35 c 310s|240000 |136796 | 0 | 0.0 | 122M| 93 | - | 231 | 19k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
339.90/340.05 c 333s|250000 |140803 | 0 | 0.0 | 127M| 93 | - | 231 | 19k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
364.70/364.85 c 357s|260000 |144557 | 0 | 0.0 | 132M| 93 | - | 231 | 20k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
391.69/391.86 c 384s|270000 |147792 | 0 | 0.0 | 137M| 93 | - | 231 | 21k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
419.28/419.40 c 411s|280000 |151093 | 0 | 0.0 | 142M| 93 | - | 231 | 21k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
447.67/447.80 c 439s|290000 |154133 | 0 | 0.0 | 147M| 93 | - | 231 | 21k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
477.67/477.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.67/477.88 c 469s|300000 |156896 | 0 | 0.0 | 152M| 93 | - | 231 | 21k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
508.96/509.13 c 500s|310000 |159449 | 0 | 0.0 | 157M| 93 | - | 231 | 22k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
541.65/541.87 c 532s|320000 |161807 | 0 | 0.0 | 161M| 93 | - | 231 | 22k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
574.64/574.81 c 565s|330000 |164030 | 0 | 0.0 | 166M| 93 | - | 231 | 23k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
609.14/609.34 c 599s|340000 |166059 | 0 | 0.0 | 170M| 93 | - | 231 | 23k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
643.72/643.94 c 633s|350000 |168083 | 0 | 0.0 | 174M| 93 | - | 231 | 23k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
680.72/680.91 c 670s|360000 |169524 | 0 | 0.0 | 178M| 93 | - | 231 | 23k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
719.00/719.26 c 708s|370000 |170724 | 0 | 0.0 | 182M| 93 | - | 231 | 24k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
761.10/761.30 c 749s|380000 |171433 | 0 | 0.0 | 185M| 93 | - | 231 | 24k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
808.28/808.52 c 796s|390000 |170942 | 0 | 0.0 | 188M| 93 | - | 231 | 24k| 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
843.17/843.46 c 831s|400000 |174757 | 0 | 0.0 | 191M| 93 | - | 231 | 22k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
874.66/874.98 c 862s|410000 |179118 | 0 | 0.0 | 195M| 93 | - | 231 | 21k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
904.25/904.58 c 891s|420000 |183557 | 0 | 0.0 | 199M| 93 | - | 231 | 21k| 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
933.63/934.00 c 920s|430000 |187942 | 0 | 0.0 | 204M| 93 | - | 231 | 21k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
962.02/962.37 c 948s|440000 |192433 | 0 | 0.0 | 208M| 93 | - | 231 | 21k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
989.62/989.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.62/989.90 c 975s|450000 |197128 | 0 | 0.0 | 212M| 93 | - | 231 | 21k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1018.91/1019.22 c 1004s|460000 |201386 | 0 | 0.0 | 216M| 93 | - | 231 | 21k| 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1045.40/1045.74 c 1031s|470000 |206229 | 0 | 0.0 | 221M| 93 | - | 231 | 21k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1075.99/1076.33 c 1061s|480000 |210258 | 0 | 0.0 | 225M| 93 | - | 231 | 22k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1103.18/1103.51 c 1088s|490000 |215018 | 0 | 0.0 | 229M| 93 | - | 231 | 22k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1132.98/1133.31 c 1117s|500000 |219202 | 0 | 0.0 | 233M| 93 | - | 231 | 22k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1163.97/1164.34 c 1148s|510000 |223299 | 0 | 0.0 | 237M| 93 | - | 231 | 23k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1192.36/1192.76 c 1176s|520000 |227741 | 0 | 0.0 | 242M| 93 | - | 231 | 23k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1227.95/1228.34 c 1211s|530000 |230995 | 0 | 0.0 | 246M| 93 | - | 231 | 24k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1258.84/1259.26 c 1242s|540000 |235154 | 0 | 0.0 | 251M| 93 | - | 231 | 25k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1292.54/1292.90 c 1275s|550000 |238949 | 0 | 0.0 | 255M| 93 | - | 231 | 26k| 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1331.32/1331.78 c 1314s|560000 |242106 | 0 | 0.0 | 259M| 93 | - | 231 | 26k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1365.51/1365.92 c 1348s|570000 |245813 | 0 | 0.0 | 264M| 93 | - | 231 | 27k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1401.41/1401.83 c 1383s|580000 |249490 | 0 | 0.0 | 268M| 93 | - | 231 | 29k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
1446.69/1447.14 c 1428s|590000 |251968 | 0 | 0.0 | 272M| 93 | - | 231 | 29k| 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1484.49/1484.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.49/1484.99 c 1466s|600000 |255505 | 0 | 0.0 | 276M| 93 | - | 231 | 30k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
1526.68/1527.10 c 1507s|610000 |258447 | 0 | 0.0 | 280M| 93 | - | 231 | 31k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1576.46/1576.94 c 1557s|620000 |260375 | 0 | 0.0 | 284M| 93 | - | 231 | 32k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1619.05/1619.57 c 1599s|630000 |263483 | 0 | 0.0 | 288M| 93 | - | 231 | 32k| 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
1666.54/1667.02 c 1646s|640000 |265955 | 0 | 0.0 | 292M| 93 | - | 231 | 34k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | -- | Inf
1719.12/1719.61 c 1698s|650000 |267653 | 0 | 0.0 | 296M| 93 | - | 231 | 34k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | -- | Inf
1765.02/1765.54 c 1744s|660000 |270489 | 0 | 0.0 | 301M| 93 | - | 231 | 35k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.52 c
1800.01/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.52 c Solving Time (sec) : 1778.75
1800.01/1800.52 c Solving Nodes : 667302
1800.01/1800.52 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.52 c Dual Bound : +0.00000000000000e+00
1800.01/1800.52 c Gap : infinite
1800.01/1800.52 s UNKNOWN
1800.01/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.52 c Solving Time : 1778.75
1800.01/1800.52 c Original Problem :
1800.01/1800.52 c Problem name : HOME/instance-2664395-1276289136.opb
1800.01/1800.52 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.52 c Constraints : 2707 initial, 2707 maximal
1800.01/1800.52 c Presolved Problem :
1800.01/1800.52 c Problem name : t_HOME/instance-2664395-1276289136.opb
1800.01/1800.52 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.52 c Constraints : 2564 initial, 36395 maximal
1800.01/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.52 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.52 c linear : 0.03 0 0 0 0 0 143 0 0
1800.01/1800.52 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.52 c root node : - 0 - - 0 - - - -
1800.01/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.52 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.52 c knapsack : 1 0 2140417 0 524289 62711 6578996 0 0 0
1800.01/1800.52 c setppc : 22 0 2091049 0 524289 81373 2609350 0 0 0
1800.01/1800.52 c logicor : 2541+ 0 1721277 0 524285 94733 6534277 0 0 0
1800.01/1800.52 c countsols : 0 0 0 0 524261 0 0 0 0 0
1800.01/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.52 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.52 c knapsack : 51.66 0.00 48.59 0.00 3.07
1800.01/1800.52 c setppc : 36.48 0.00 28.86 0.00 7.62
1800.01/1800.52 c logicor : 937.37 0.00 876.19 0.00 61.18
1800.01/1800.52 c countsols : 0.24 0.00 0.00 0.00 0.24
1800.01/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.52 c vbounds : 1.29 1 0 0
1800.01/1800.52 c rootredcost : 1.19 0 0 0
1800.01/1800.52 c pseudoobj : 1.02 0 0 0
1800.01/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.52 c propagation : 15.43 238817 238743 1184277 19.3 6369 20.1 -
1800.01/1800.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.52 c applied globally : - - - 530130 15.3 - - -
1800.01/1800.52 c applied locally : - - - 2997 34.7 - - -
1800.01/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.52 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.52 c redcost : 0.00 0 0 0 0 0
1800.01/1800.52 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.52 c intobj : 0.00 0 0 0 0 0
1800.01/1800.52 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.52 c gomory : 0.00 0 0 0 0 0
1800.01/1800.52 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.52 c cmir : 0.00 0 0 0 0 0
1800.01/1800.52 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.52 c clique : 0.00 0 0 0 0 0
1800.01/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.52 c mcf : 0.00 0 0 0 0 0
1800.01/1800.52 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.52 c Pricers : Time Calls Vars
1800.01/1800.52 c problem variables: 0.00 0 0
1800.01/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.52 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.52 c inference : 13.73 524261 0 0 0 0 1048522
1800.01/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.52 c random : 0.00 0 0 0 0 0 0
1800.01/1800.52 c Primal Heuristics : Time Calls Found
1800.01/1800.52 c LP solutions : 0.00 - 0
1800.01/1800.52 c pseudo solutions : 0.00 - 0
1800.01/1800.52 c trivial : 0.00 1 0
1800.01/1800.52 c simplerounding : 0.00 0 0
1800.01/1800.52 c zirounding : 0.00 0 0
1800.01/1800.52 c rounding : 0.00 0 0
1800.01/1800.52 c shifting : 0.00 0 0
1800.01/1800.52 c intshifting : 0.00 0 0
1800.01/1800.52 c oneopt : 0.00 0 0
1800.01/1800.52 c twoopt : 0.00 0 0
1800.01/1800.52 c fixandinfer : 0.00 0 0
1800.01/1800.52 c feaspump : 0.00 0 0
1800.01/1800.52 c coefdiving : 0.00 0 0
1800.01/1800.52 c pscostdiving : 0.00 0 0
1800.01/1800.52 c fracdiving : 0.00 0 0
1800.01/1800.52 c veclendiving : 0.00 0 0
1800.01/1800.52 c intdiving : 0.00 0 0
1800.01/1800.52 c actconsdiving : 0.00 0 0
1800.01/1800.52 c objpscostdiving : 0.00 0 0
1800.01/1800.52 c rootsoldiving : 0.00 0 0
1800.01/1800.52 c linesearchdiving : 0.00 0 0
1800.01/1800.52 c guideddiving : 0.00 0 0
1800.01/1800.52 c octane : 0.00 0 0
1800.01/1800.52 c rens : 0.00 0 0
1800.01/1800.52 c rins : 0.00 0 0
1800.01/1800.52 c localbranching : 0.00 0 0
1800.01/1800.52 c mutation : 0.00 0 0
1800.01/1800.52 c crossover : 0.00 0 0
1800.01/1800.52 c dins : 0.00 0 0
1800.01/1800.52 c undercover : 0.00 0 0
1800.01/1800.52 c nlp : 0.00 0 0
1800.01/1800.52 c trysol : 0.00 0 0
1800.01/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.52 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.52 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.52 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.52 c (at root node) : - 0 0 0.00 -
1800.01/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.52 c B&B Tree :
1800.01/1800.52 c number of runs : 1
1800.01/1800.52 c nodes : 667302
1800.01/1800.52 c nodes (total) : 667302
1800.01/1800.52 c nodes left : 272343
1800.01/1800.52 c max depth : 93
1800.01/1800.52 c max depth (total): 93
1800.01/1800.52 c backtracks : 144038 (21.6%)
1800.01/1800.52 c delayed cutoffs : 108878
1800.01/1800.52 c repropagations : 444778 (5266084 domain reductions, 95776 cutoffs)
1800.01/1800.52 c avg switch length: 12.36
1800.01/1800.52 c switching time : 478.10
1800.01/1800.52 c Solution :
1800.01/1800.52 c Solutions found : 0 (0 improvements)
1800.01/1800.52 c Primal Bound : -
1800.01/1800.52 c Dual Bound : +0.00000000000000e+00
1800.01/1800.52 c Gap : infinite
1800.01/1800.52 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.52 c Root Iterations : 0
1801.21/1801.75 c Time complete: 1801.25.
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-2664395-1276289136/watcher-2664395-1276289136 -o /tmp/evaluation-result-2664395-1276289136/solver-2664395-1276289136 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664395-1276289136.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.03 1.01 1.00 3/106 5640 /proc/meminfo: memFree=1561284/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=6584 CPUtime=0 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 960 0 0 0 0 0 0 0 20 0 1 0 4515354 6742016 882 1992294400 4194304 7136930 140736232666432 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5640/statm: 1646 891 254 719 0 925 0 [startup+0.027965 s] /proc/loadavg: 1.03 1.01 1.00 3/106 5640 /proc/meminfo: memFree=1561284/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=8512 CPUtime=0.02 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 1612 0 0 0 2 0 0 0 20 0 1 0 4515354 8716288 1534 1992294400 4194304 7136930 140736232666432 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5640/statm: 2128 1534 268 719 0 1407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8512 [startup+0.100972 s] /proc/loadavg: 1.03 1.01 1.00 3/106 5640 /proc/meminfo: memFree=1561284/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=14768 CPUtime=0.09 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 3611 0 0 0 7 2 0 0 20 0 1 0 4515354 15122432 2922 1992294400 4194304 7136930 140736232666432 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 3692 2925 345 719 0 2971 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14768 [startup+0.300994 s] /proc/loadavg: 1.03 1.01 1.00 3/106 5640 /proc/meminfo: memFree=1561284/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=17084 CPUtime=0.29 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 6818 0 0 0 25 4 0 0 20 0 1 0 4515354 17494016 3559 1992294400 4194304 7136930 140736232666432 18446744073709551615 4697383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 4271 3559 391 719 0 3550 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17084 [startup+0.701037 s] /proc/loadavg: 1.03 1.01 1.00 3/106 5640 /proc/meminfo: memFree=1561284/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=17616 CPUtime=0.69 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 6949 0 0 0 63 6 0 0 20 0 1 0 4515354 18038784 3690 1992294400 4194304 7136930 140736232666432 18446744073709551615 4697383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 4404 3690 391 719 0 3683 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17616 [startup+1.50113 s] /proc/loadavg: 1.03 1.01 1.00 2/107 5641 /proc/meminfo: memFree=1546892/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=19180 CPUtime=1.49 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 7325 0 0 0 137 12 0 0 22 0 1 0 4515354 19640320 4066 1992294400 4194304 7136930 140736232666432 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 4795 4066 391 719 0 4074 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19180 [startup+3.1013 s] /proc/loadavg: 1.03 1.01 1.00 2/107 5641 /proc/meminfo: memFree=1544536/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=21652 CPUtime=3.09 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 7983 0 0 0 288 21 0 0 25 0 1 0 4515354 22171648 4724 1992294400 4194304 7136930 140736232666432 18446744073709551615 4676472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 5413 4724 391 719 0 4692 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21652 [startup+6.30065 s] /proc/loadavg: 1.03 1.01 1.00 2/107 5641 /proc/meminfo: memFree=1540444/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=25756 CPUtime=6.29 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 8990 0 0 0 592 37 0 0 25 0 1 0 4515354 26374144 5731 1992294400 4194304 7136930 140736232666432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 6439 5731 391 719 0 5718 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25756 [startup+12.7013 s] /proc/loadavg: 1.02 1.01 1.00 2/107 5641 /proc/meminfo: memFree=1533252/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=32736 CPUtime=12.69 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 10773 0 0 0 1205 64 0 0 25 0 1 0 4515354 33521664 7514 1992294400 4194304 7136930 140736232666432 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 8184 7514 391 719 0 7463 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32736 [startup+25.5007 s] /proc/loadavg: 1.02 1.01 1.00 2/107 5641 /proc/meminfo: memFree=1519364/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=46332 CPUtime=25.48 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 14237 0 0 0 2435 113 0 0 25 0 1 0 4515354 47443968 10978 1992294400 4194304 7136930 140736232666432 18446744073709551615 5953108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 11583 10978 391 719 0 10862 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46332 [startup+51.1005 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5643 /proc/meminfo: memFree=1503368/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=61768 CPUtime=51.07 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 18097 0 0 0 4919 188 0 0 25 0 1 0 4515354 63250432 14838 1992294400 4194304 7136930 140736232666432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 15442 14838 391 719 0 14721 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61768 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5643 /proc/meminfo: memFree=1477576/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=88948 CPUtime=102.27 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 24424 0 0 0 9933 294 0 0 25 0 1 0 4515354 91082752 21165 1992294400 4194304 7136930 140736232666432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 22237 21165 391 719 0 21516 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 88948 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5645 /proc/meminfo: memFree=1450544/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=115492 CPUtime=162.25 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 31101 0 0 0 15795 430 0 0 25 0 1 0 4515354 118263808 27842 1992294400 4194304 7136930 140736232666432 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 28873 27842 391 719 0 28152 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 115492 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5647 /proc/meminfo: memFree=1427852/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=138004 CPUtime=222.24 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 36776 0 0 0 21689 535 0 0 25 0 1 0 4515354 141316096 33517 1992294400 4194304 7136930 140736232666432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 34501 33517 391 719 0 33780 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 138004 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5649 /proc/meminfo: memFree=1410740/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=154948 CPUtime=282.22 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 41013 0 0 0 27598 624 0 0 25 0 1 0 4515354 158666752 37754 1992294400 4194304 7136930 140736232666432 18446744073709551615 4220855 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 38737 37754 391 719 0 38016 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 154948 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5651 /proc/meminfo: memFree=1396604/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=168808 CPUtime=342.2 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 44510 0 0 0 33512 708 0 0 25 0 1 0 4515354 172859392 41251 1992294400 4194304 7136930 140736232666432 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 42202 41251 391 719 0 41481 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 168808 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5651 /proc/meminfo: memFree=1383956/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=182876 CPUtime=402.18 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 48020 0 0 0 39427 791 0 0 25 0 1 0 4515354 187265024 44761 1992294400 4194304 7136930 140736232666432 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 45719 44761 391 719 0 44998 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 182876 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5653 /proc/meminfo: memFree=1368828/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=196696 CPUtime=462.17 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 51464 0 0 0 45354 863 0 0 25 0 1 0 4515354 201416704 48205 1992294400 4194304 7136930 140736232666432 18446744073709551615 4852078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 49174 48205 391 719 0 48453 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 196696 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5655 /proc/meminfo: memFree=1356180/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=209272 CPUtime=522.15 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 54572 0 0 0 51284 931 0 0 25 0 1 0 4515354 214294528 51313 1992294400 4194304 7136930 140736232666432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 52318 51313 391 719 0 51597 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 209272 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5657 /proc/meminfo: memFree=1346260/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=219096 CPUtime=582.14 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 57040 0 0 0 57219 995 0 0 25 0 1 0 4515354 224354304 53781 1992294400 4194304 7136930 140736232666432 18446744073709551615 4219809 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 54774 53781 391 719 0 54053 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 219096 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5659 /proc/meminfo: memFree=1337332/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=228192 CPUtime=642.13 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 59273 0 0 0 63156 1057 0 0 25 0 1 0 4515354 233668608 56014 1992294400 4194304 7136930 140736232666432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 57048 56014 391 719 0 56327 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 228192 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5678 /proc/meminfo: memFree=1281036/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=288200 CPUtime=1061.99 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 73337 0 0 0 104709 1490 0 0 25 0 1 0 4515354 295116800 70078 1992294400 4194304 7136930 140736232666432 18446744073709551615 4210335 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 72050 70078 391 719 0 71329 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 288200 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5680 /proc/meminfo: memFree=1266652/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=301988 CPUtime=1121.98 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 76760 0 0 0 110643 1555 0 0 25 0 1 0 4515354 309235712 73501 1992294400 4194304 7136930 140736232666432 18446744073709551615 5004477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 75497 73501 391 719 0 74776 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 301988 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5682 /proc/meminfo: memFree=1260576/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=308156 CPUtime=1181.96 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 78313 0 0 0 116579 1617 0 0 25 0 1 0 4515354 315551744 75054 1992294400 4194304 7136930 140736232666432 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 77039 75054 391 719 0 76318 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 308156 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5684 /proc/meminfo: memFree=1251152/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=317116 CPUtime=1241.94 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 80641 0 0 0 122521 1673 0 0 25 0 1 0 4515354 324726784 77382 1992294400 4194304 7136930 140736232666432 18446744073709551615 4210607 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 79279 77382 391 719 0 78558 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 317116 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5684 /proc/meminfo: memFree=1242844/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=325600 CPUtime=1301.94 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 82701 0 0 0 128461 1733 0 0 25 0 1 0 4515354 333414400 79442 1992294400 4194304 7136930 140736232666432 18446744073709551615 5000288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 81400 79442 391 719 0 80679 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 325600 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5686 /proc/meminfo: memFree=1235652/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=332736 CPUtime=1361.92 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 84523 0 0 0 134406 1786 0 0 25 0 1 0 4515354 340721664 81264 1992294400 4194304 7136930 140736232666432 18446744073709551615 4221131 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 83184 81264 391 719 0 82463 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 332736 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5688 /proc/meminfo: memFree=1229576/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=338344 CPUtime=1421.91 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 86014 0 0 0 140354 1837 0 0 25 0 1 0 4515354 346464256 82755 1992294400 4194304 7136930 140736232666432 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 84586 82755 391 719 0 83865 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 338344 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5690 /proc/meminfo: memFree=1220896/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=346944 CPUtime=1481.88 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 88195 0 0 0 146302 1886 0 0 25 0 1 0 4515354 355270656 84936 1992294400 4194304 7136930 140736232666432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 86736 84936 391 719 0 86015 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 346944 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5692 /proc/meminfo: memFree=1214572/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=353260 CPUtime=1541.87 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 89752 0 0 0 152256 1931 0 0 25 0 1 0 4515354 361738240 86493 1992294400 4194304 7136930 140736232666432 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 88315 86493 391 719 0 87594 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 353260 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5692 /proc/meminfo: memFree=1209240/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=358836 CPUtime=1601.86 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 91099 0 0 0 158211 1975 0 0 25 0 1 0 4515354 367448064 87840 1992294400 4194304 7136930 140736232666432 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 89709 87840 391 719 0 88988 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 358836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5694 /proc/meminfo: memFree=1201924/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=366140 CPUtime=1661.84 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 92903 0 0 0 164161 2023 0 0 25 0 1 0 4515354 374927360 89644 1992294400 4194304 7136930 140736232666432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 91535 89644 391 719 0 90814 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 366140 [startup+1722.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 5699 /proc/meminfo: memFree=1199444/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=367896 CPUtime=1721.82 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 93372 0 0 0 170119 2063 0 0 25 0 1 0 4515354 376725504 90113 1992294400 4194304 7136930 140736232666432 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 91974 90113 391 719 0 91253 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 367896 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 5701 /proc/meminfo: memFree=1193988/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=373668 CPUtime=1781.81 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 94779 0 0 0 176072 2109 0 0 25 0 1 0 4515354 382636032 91520 1992294400 4194304 7136930 140736232666432 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 93417 91520 391 719 0 92696 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 373668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.02 1.01 1.00 2/107 5701 /proc/meminfo: memFree=1191756/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=375788 CPUtime=1800.01 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 95335 0 0 0 177879 2122 0 0 25 0 1 0 4515354 384806912 92076 1992294400 4194304 7136930 140736232666432 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5640/statm: 93947 92076 391 719 0 93226 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 375788 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.02 1.01 1.00 2/108 5702 /proc/meminfo: memFree=1191624/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=375884 CPUtime=1800.12 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 95374 0 0 0 177890 2122 0 0 25 0 1 0 4515354 384905216 92115 1992294400 4194304 7136930 140736232666432 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5640/statm: 93971 92115 396 719 0 93250 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 375884 [startup+1801.4 s] /proc/loadavg: 1.02 1.01 1.00 2/108 5702 /proc/meminfo: memFree=1191624/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=375884 CPUtime=1800.9 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 95374 0 0 0 177968 2122 0 0 25 0 1 0 4515354 384905216 92115 1992294400 4194304 7136930 140736232666432 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5640/statm: 93971 92115 396 719 0 93250 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (KiB) 375884 [startup+1801.6 s] /proc/loadavg: 1.02 1.01 1.00 2/108 5702 /proc/meminfo: memFree=1191624/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=375580 CPUtime=1801.1 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 95374 0 0 0 177988 2122 0 0 25 0 1 0 4515354 384593920 92039 1992294400 4194304 7136930 140736232666432 18446744073709551615 4212288 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5640/statm: 93895 92039 396 719 0 93174 0 Current children cumulated CPU time (s) 1801.1 Current children cumulated vsize (KiB) 375580 [startup+1801.7 s] /proc/loadavg: 1.01 1.01 1.00 2/108 5702 /proc/meminfo: memFree=1211092/2059040 swapFree=4192956/4192956 [pid=5640] ppid=5638 vsize=339848 CPUtime=1801.21 /proc/5640/stat : 5640 (pbscip.linux.x8) R 5638 5640 4503 0 -1 4202496 95374 0 0 0 177998 2123 0 0 25 0 1 0 4515354 348004352 83107 1992294400 4194304 7136930 140736232666432 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5640/statm: 84962 83074 396 719 0 84241 0 Current children cumulated CPU time (s) 1801.21 Current children cumulated vsize (KiB) 339848 Child status: 0 Real time (s): 1801.75 CPU time (s): 1801.26 CPU user time (s): 1780 CPU system time (s): 21.2658 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 375884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780 system time used= 21.2658 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95381 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 2534 runsolver used 2.84757 second user time and 8.64468 second system time The end
Begin job on node009 at 2010-06-11 22:45:36 IDJOB=2664395 IDBENCH=1293 IDSOLVER=1167 FILE ID=node009/2664395-1276289136 PBS_JOBID= 11173102 Free space on /tmp= 62432 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.1900546417.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-2664395-1276289136/watcher-2664395-1276289136 -o /tmp/evaluation-result-2664395-1276289136/solver-2664395-1276289136 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664395-1276289136.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a94882f61e84be0ce1718fd53c8fd7c8 RANDOM SEED=1563925587 node009.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.199 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.39 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.199 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: 1561688 kB Buffers: 60108 kB Cached: 310828 kB SwapCached: 0 kB Active: 172744 kB Inactive: 257344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1561688 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3360 kB Writeback: 4 kB AnonPages: 59192 kB Mapped: 15348 kB Slab: 45424 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181308 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= 62428 MiB End job on node009 at 2010-06-11 23:15:39