| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.12 | 1801.58 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb |
| MD5SUM | be6efe3218879d0d0c6c419c0919396c |
| 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 | 55.1916 |
| 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 | 683 |
| 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-2664128-1276281885.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c problem read
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c presolving settings loaded
0.00/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.07 c presolving:
0.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.09 c 3.8s| 10000 | 8108 | 0 | 0.0 |7154k| 102 | - | 231 |4543 | 0 | 0 | 0 |2718 | 0 | 0.000000e+00 | -- | Inf
10.19/10.23 c 9.7s| 20000 | 14417 | 0 | 0.0 | 11M| 102 | - | 231 |5640 | 0 | 0 | 0 |7750 | 0 | 0.000000e+00 | -- | Inf
15.48/15.50 c 14.8s| 30000 | 22064 | 0 | 0.0 | 16M| 102 | - | 231 |6325 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
21.38/21.48 c 20.5s| 40000 | 29361 | 0 | 0.0 | 21M| 102 | - | 231 |7301 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
28.59/28.62 c 27.4s| 50000 | 36124 | 0 | 0.0 | 25M| 102 | - | 231 |8020 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
37.68/37.79 c 36.3s| 60000 | 41944 | 0 | 0.0 | 30M| 102 | - | 231 |9210 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
48.88/48.95 c 47.2s| 70000 | 47096 | 0 | 0.0 | 35M| 102 | - | 231 | 10k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
62.69/62.76 c 60.7s| 80000 | 51511 | 0 | 0.0 | 40M| 102 | - | 231 | 11k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
80.07/80.14 c 77.7s| 90000 | 54872 | 0 | 0.0 | 45M| 102 | - | 231 | 12k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
100.96/101.04 c 98.3s|100000 | 57218 | 0 | 0.0 | 49M| 102 | - | 231 | 12k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
114.37/114.47 c 111s|110000 | 63000 | 0 | 0.0 | 54M| 102 | - | 231 | 11k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
125.16/125.24 c 122s|120000 | 69820 | 0 | 0.0 | 58M| 102 | - | 231 | 11k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
136.27/136.32 c 133s|130000 | 76354 | 0 | 0.0 | 63M| 102 | - | 231 | 11k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
147.66/147.73 c 144s|140000 | 82919 | 0 | 0.0 | 67M| 102 | - | 231 | 11k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
158.95/159.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.95/159.00 c 155s|150000 | 89452 | 0 | 0.0 | 72M| 102 | - | 231 | 11k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
170.65/170.73 c 166s|160000 | 95849 | 0 | 0.0 | 76M| 102 | - | 231 | 12k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
182.95/183.02 c 178s|170000 |102115 | 0 | 0.0 | 81M| 102 | - | 231 | 12k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
195.94/196.04 c 191s|180000 |108125 | 0 | 0.0 | 86M| 102 | - | 231 | 12k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
209.14/209.25 c 204s|190000 |114143 | 0 | 0.0 | 90M| 102 | - | 231 | 12k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
222.14/222.21 c 217s|200000 |120222 | 0 | 0.0 | 95M| 102 | - | 231 | 13k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
238.23/238.36 c 233s|210000 |125047 | 0 | 0.0 | 100M| 102 | - | 231 | 13k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
257.52/257.66 c 252s|220000 |129219 | 0 | 0.0 | 105M| 102 | - | 231 | 15k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
277.23/277.37 c 271s|230000 |133554 | 0 | 0.0 | 109M| 102 | - | 231 | 15k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
298.41/298.55 c 292s|240000 |137460 | 0 | 0.0 | 114M| 102 | - | 231 | 15k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
320.81/320.96 c 314s|250000 |141007 | 0 | 0.0 | 119M| 102 | - | 231 | 16k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
344.91/345.02 c 338s|260000 |144227 | 0 | 0.0 | 124M| 102 | - | 231 | 16k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
369.30/369.43 c 362s|270000 |147454 | 0 | 0.0 | 129M| 102 | - | 231 | 17k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
396.39/396.51 c 389s|280000 |150072 | 0 | 0.0 | 133M| 102 | - | 231 | 17k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
426.09/426.20 c 418s|290000 |152126 | 0 | 0.0 | 138M| 102 | - | 231 | 18k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
457.07/457.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.07/457.25 c 449s|300000 |154056 | 0 | 0.0 | 142M| 102 | - | 231 | 19k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
490.27/490.42 c 481s|310000 |155652 | 0 | 0.0 | 147M| 102 | - | 231 | 19k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
524.06/524.28 c 515s|320000 |157238 | 0 | 0.0 | 151M| 102 | - | 231 | 21k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
561.75/561.96 c 552s|330000 |158145 | 0 | 0.0 | 154M| 102 | - | 231 | 21k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
601.14/601.38 c 591s|340000 |158764 | 0 | 0.0 | 158M| 102 | - | 231 | 21k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
642.03/642.24 c 632s|350000 |159198 | 0 | 0.0 | 161M| 102 | - | 231 | 21k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
686.62/686.80 c 676s|360000 |159004 | 0 | 0.0 | 164M| 102 | - | 231 | 21k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
734.21/734.40 c 723s|370000 |158127 | 0 | 0.0 | 166M| 102 | - | 231 | 22k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
767.30/767.51 c 756s|380000 |161469 | 0 | 0.0 | 169M| 102 | - | 231 | 20k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
797.69/797.94 c 786s|390000 |165604 | 0 | 0.0 | 174M| 102 | - | 231 | 20k| 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
829.39/829.63 c 817s|400000 |169411 | 0 | 0.0 | 179M| 102 | - | 231 | 21k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
862.48/862.73 c 850s|410000 |173007 | 0 | 0.0 | 184M| 102 | - | 231 | 21k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
896.56/896.81 c 884s|420000 |176496 | 0 | 0.0 | 188M| 102 | - | 231 | 22k| 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
929.56/929.87 c 917s|430000 |180103 | 0 | 0.0 | 193M| 102 | - | 231 | 22k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
965.75/966.08 c 952s|440000 |183104 | 0 | 0.0 | 198M| 102 | - | 231 | 22k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
999.92/1000.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.92/1000.28 c 986s|450000 |186465 | 0 | 0.0 | 203M| 102 | - | 231 | 23k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1036.71/1037.09 c 1023s|460000 |189356 | 0 | 0.0 | 207M| 102 | - | 231 | 23k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1072.81/1073.14 c 1059s|470000 |192384 | 0 | 0.0 | 212M| 102 | - | 231 | 23k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1112.40/1112.70 c 1098s|480000 |194781 | 0 | 0.0 | 216M| 102 | - | 231 | 23k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1148.69/1149.07 c 1134s|490000 |197758 | 0 | 0.0 | 221M| 102 | - | 231 | 23k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1192.08/1192.44 c 1177s|500000 |199519 | 0 | 0.0 | 225M| 102 | - | 231 | 23k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1229.06/1229.48 c 1213s|510000 |202386 | 0 | 0.0 | 230M| 102 | - | 231 | 24k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
1269.26/1269.62 c 1253s|520000 |204733 | 0 | 0.0 | 234M| 102 | - | 231 | 24k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
1315.55/1315.96 c 1299s|530000 |206050 | 0 | 0.0 | 238M| 102 | - | 231 | 25k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
1354.75/1355.15 c 1338s|540000 |208741 | 0 | 0.0 | 243M| 102 | - | 231 | 25k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
1398.53/1398.98 c 1381s|550000 |210545 | 0 | 0.0 | 247M| 102 | - | 231 | 25k| 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1446.62/1447.06 c 1429s|560000 |211818 | 0 | 0.0 | 251M| 102 | - | 231 | 26k| 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | -- | Inf
1489.30/1489.75 c 1471s|570000 |213981 | 0 | 0.0 | 256M| 102 | - | 231 | 25k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
1536.99/1537.48 c 1519s|580000 |215107 | 0 | 0.0 | 260M| 102 | - | 231 | 26k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
1590.09/1590.50 c 1571s|590000 |215808 | 0 | 0.0 | 264M| 102 | - | 231 | 26k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
1635.18/1635.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.18/1635.63 c 1616s|600000 |217656 | 0 | 0.0 | 268M| 102 | - | 231 | 26k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | -- | Inf
1687.45/1687.93 c 1668s|610000 |217967 | 0 | 0.0 | 272M| 102 | - | 231 | 27k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | -- | Inf
1745.84/1746.31 c 1726s|620000 |217937 | 0 | 0.0 | 274M| 102 | - | 231 | 27k| 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | -- | Inf
1794.53/1795.05 c 1774s|630000 |219316 | 0 | 0.0 | 278M| 102 | - | 231 | 27k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51 c
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time (sec) : 1779.89
1800.03/1800.51 c Solving Nodes : 631087
1800.03/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 s UNKNOWN
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1779.89
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2664128-1276281885.opb
1800.03/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 2707 initial, 2707 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2664128-1276281885.opb
1800.03/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 2564 initial, 28335 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.02 0 0 0 0 0 143 0 0
1800.03/1800.51 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c knapsack : 1 0 2112488 0 481692 86834 7089050 0 0 0
1800.03/1800.51 c setppc : 22 0 2043362 0 481692 98338 2764996 0 0 0
1800.03/1800.51 c logicor : 2541+ 0 1651176 0 481690 67963 7152760 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 481676 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c knapsack : 53.68 0.00 50.80 0.00 2.88
1800.03/1800.51 c setppc : 37.00 0.00 29.98 0.00 7.02
1800.03/1800.51 c logicor : 928.60 0.00 871.40 0.00 57.20
1800.03/1800.51 c countsols : 0.26 0.00 0.00 0.00 0.26
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 1.20 1 0 0
1800.03/1800.51 c rootredcost : 1.02 0 0 0
1800.03/1800.51 c pseudoobj : 0.92 0 0 0
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 14.53 253135 253092 1176469 16.2 4760 18.5 -
1800.03/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 560210 13.6 - - -
1800.03/1800.51 c applied locally : - - - 1673 36.1 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.51 c redcost : 0.00 0 0 0 0 0
1800.03/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.00 0 0 0 0 0
1800.03/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.51 c cmir : 0.00 0 0 0 0 0
1800.03/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.51 c clique : 0.00 0 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 0 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 13.11 481676 0 0 0 0 963352
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c trivial : 0.01 1 0
1800.03/1800.51 c simplerounding : 0.00 0 0
1800.03/1800.51 c zirounding : 0.00 0 0
1800.03/1800.51 c rounding : 0.00 0 0
1800.03/1800.51 c shifting : 0.00 0 0
1800.03/1800.51 c intshifting : 0.00 0 0
1800.03/1800.51 c oneopt : 0.00 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.00 0 0
1800.03/1800.51 c coefdiving : 0.00 0 0
1800.03/1800.51 c pscostdiving : 0.00 0 0
1800.03/1800.51 c fracdiving : 0.00 0 0
1800.03/1800.51 c veclendiving : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c objpscostdiving : 0.00 0 0
1800.03/1800.51 c rootsoldiving : 0.00 0 0
1800.03/1800.51 c linesearchdiving : 0.00 0 0
1800.03/1800.51 c guideddiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.00 0 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c crossover : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 0.00 0 0
1800.03/1800.51 c trysol : 0.00 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.51 c (at root node) : - 0 0 0.00 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 631087
1800.03/1800.51 c nodes (total) : 631087
1800.03/1800.51 c nodes left : 219388
1800.03/1800.51 c max depth : 102
1800.03/1800.51 c max depth (total): 102
1800.03/1800.51 c backtracks : 149689 (23.7%)
1800.03/1800.51 c delayed cutoffs : 112878
1800.03/1800.51 c repropagations : 431541 (5731254 domain reductions, 103724 cutoffs)
1800.03/1800.51 c avg switch length: 13.34
1800.03/1800.51 c switching time : 484.43
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 0 (0 improvements)
1800.03/1800.51 c Primal Bound : -
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 0
1801.03/1801.58 c Time complete: 1801.11.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664128-1276281885/watcher-2664128-1276281885 -o /tmp/evaluation-result-2664128-1276281885/solver-2664128-1276281885 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664128-1276281885.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/106 5991 /proc/meminfo: memFree=1561032/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=6584 CPUtime=0 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 1002 0 0 0 0 0 0 0 20 0 1 0 3789869 6742016 924 1992294400 4194304 7136930 140735002736144 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5991/statm: 1646 934 254 719 0 925 0 [startup+0.0798669 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5991 /proc/meminfo: memFree=1561032/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=14468 CPUtime=0.07 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 3264 0 0 0 6 1 0 0 20 0 1 0 3789869 14815232 2832 1992294400 4194304 7136930 140735002736144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 3617 2832 337 719 0 2896 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14468 [startup+0.100868 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5991 /proc/meminfo: memFree=1561032/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=14764 CPUtime=0.09 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 3608 0 0 0 8 1 0 0 20 0 1 0 3789869 15118336 2919 1992294400 4194304 7136930 140735002736144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 3691 2919 345 719 0 2970 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14764 [startup+0.300887 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5991 /proc/meminfo: memFree=1561032/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=17064 CPUtime=0.29 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 6810 0 0 0 25 4 0 0 20 0 1 0 3789869 17473536 3551 1992294400 4194304 7136930 140735002736144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 4266 3551 391 719 0 3545 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17064 [startup+0.700924 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5991 /proc/meminfo: memFree=1561032/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=17984 CPUtime=0.69 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 7022 0 0 0 63 6 0 0 20 0 1 0 3789869 18415616 3763 1992294400 4194304 7136930 140735002736144 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 4496 3763 391 719 0 3775 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17984 [startup+1.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5992 /proc/meminfo: memFree=1546764/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=18968 CPUtime=1.49 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 7283 0 0 0 139 10 0 0 22 0 1 0 3789869 19423232 4024 1992294400 4194304 7136930 140735002736144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 4742 4024 391 719 0 4021 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18968 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5992 /proc/meminfo: memFree=1544532/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=21436 CPUtime=3.09 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 7915 0 0 0 291 18 0 0 25 0 1 0 3789869 21950464 4656 1992294400 4194304 7136930 140735002736144 18446744073709551615 5005280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 5359 4656 391 719 0 4638 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21436 [startup+6.30045 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5992 /proc/meminfo: memFree=1539944/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=25440 CPUtime=6.29 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 8913 0 0 0 597 32 0 0 25 0 1 0 3789869 26050560 5654 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 6360 5654 391 719 0 5639 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25440 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5992 /proc/meminfo: memFree=1533000/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=32320 CPUtime=12.69 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 10672 0 0 0 1211 58 0 0 25 0 1 0 3789869 33095680 7413 1992294400 4194304 7136930 140735002736144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 8080 7413 391 719 0 7359 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32320 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5992 /proc/meminfo: memFree=1520724/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=43720 CPUtime=25.48 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 13567 0 0 0 2444 104 0 0 25 0 1 0 3789869 44769280 10308 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 10930 10308 391 719 0 10209 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43720 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5992 /proc/meminfo: memFree=1505348/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=59076 CPUtime=51.08 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 17448 0 0 0 4934 174 0 0 25 0 1 0 3789869 60493824 14189 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 14769 14189 391 719 0 14048 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 59076 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5994 /proc/meminfo: memFree=1485756/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=78460 CPUtime=102.27 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 22262 0 0 0 9960 267 0 0 25 0 1 0 3789869 80343040 19003 1992294400 4194304 7136930 140735002736144 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 19615 19003 391 719 0 18894 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 78460 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5996 /proc/meminfo: memFree=1457608/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=107992 CPUtime=162.25 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 29251 0 0 0 15827 398 0 0 25 0 1 0 3789869 110583808 25992 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 26998 25992 391 719 0 26277 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 107992 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5998 /proc/meminfo: memFree=1432312/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=133032 CPUtime=222.24 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 35582 0 0 0 21705 519 0 0 25 0 1 0 3789869 136224768 32323 1992294400 4194304 7136930 140735002736144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 33258 32323 391 719 0 32537 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 133032 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6000 /proc/meminfo: memFree=1417432/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=147464 CPUtime=282.22 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 39246 0 0 0 27611 611 0 0 25 0 1 0 3789869 151003136 35987 1992294400 4194304 7136930 140735002736144 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 36866 35987 391 719 0 36145 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 147464 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6000 /proc/meminfo: memFree=1401188/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=163776 CPUtime=342.21 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 43282 0 0 0 33526 695 0 0 25 0 1 0 3789869 167706624 40023 1992294400 4194304 7136930 140735002736144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 40944 40023 391 719 0 40223 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 163776 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6002 /proc/meminfo: memFree=1388912/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=176144 CPUtime=402.19 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 46373 0 0 0 39446 773 0 0 25 0 1 0 3789869 180371456 43114 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 44036 43114 391 719 0 43315 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 176144 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6004 /proc/meminfo: memFree=1377008/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=187792 CPUtime=462.18 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 49307 0 0 0 45374 844 0 0 25 0 1 0 3789869 192299008 46048 1992294400 4194304 7136930 140735002736144 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 46948 46048 391 719 0 46227 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 187792 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6006 /proc/meminfo: memFree=1366592/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=198832 CPUtime=522.17 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 51962 0 0 0 51307 910 0 0 25 0 1 0 3789869 203603968 48703 1992294400 4194304 7136930 140735002736144 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 49708 48703 391 719 0 48987 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 198832 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6008 /proc/meminfo: memFree=1358160/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=206856 CPUtime=582.15 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 53986 0 0 0 57244 971 0 0 25 0 1 0 3789869 211820544 50727 1992294400 4194304 7136930 140735002736144 18446744073709551615 5957420 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 51714 50727 391 719 0 50993 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 206856 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6008 /proc/meminfo: memFree=1351216/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=213772 CPUtime=642.14 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 55693 0 0 0 63186 1028 0 0 25 0 1 0 3789869 218902528 52434 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 53443 52434 391 719 0 52722 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 213772 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6029 /proc/meminfo: memFree=1295168/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=269188 CPUtime=1062.01 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 69606 0 0 0 104780 1421 0 0 25 0 1 0 3789869 275648512 66347 1992294400 4194304 7136930 140735002736144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 67297 66347 391 719 0 66576 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 269188 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6031 /proc/meminfo: memFree=1287976/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=276556 CPUtime=1121.99 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 71381 0 0 0 110727 1472 0 0 25 0 1 0 3789869 283193344 68122 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 69139 68122 391 719 0 68418 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 276556 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6033 /proc/meminfo: memFree=1279916/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=288556 CPUtime=1181.98 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 73352 0 0 0 116674 1524 0 0 25 0 1 0 3789869 295481344 70093 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 72139 70093 391 719 0 71418 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 288556 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6033 /proc/meminfo: memFree=1273344/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=294924 CPUtime=1241.97 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 74963 0 0 0 122618 1579 0 0 25 0 1 0 3789869 302002176 71704 1992294400 4194304 7136930 140735002736144 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 73731 71704 391 719 0 73010 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 294924 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6035 /proc/meminfo: memFree=1270492/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=297596 CPUtime=1301.96 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 75663 0 0 0 128569 1627 0 0 25 0 1 0 3789869 304738304 72404 1992294400 4194304 7136930 140735002736144 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 74399 72404 391 719 0 73678 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 297596 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6037 /proc/meminfo: memFree=1263548/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=304872 CPUtime=1361.94 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 77401 0 0 0 134513 1681 0 0 25 0 1 0 3789869 312188928 74142 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 76218 74142 391 719 0 75497 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 304872 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6039 /proc/meminfo: memFree=1256480/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=311988 CPUtime=1421.93 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 79183 0 0 0 140467 1726 0 0 25 0 1 0 3789869 319475712 75924 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 77997 75924 391 719 0 77276 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 311988 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6041 /proc/meminfo: memFree=1247552/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=320716 CPUtime=1481.91 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 81371 0 0 0 146413 1778 0 0 25 0 1 0 3789869 328413184 78112 1992294400 4194304 7136930 140735002736144 18446744073709551615 5000322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 80179 78112 391 719 0 79458 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 320716 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6041 /proc/meminfo: memFree=1241228/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=327016 CPUtime=1541.9 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 82954 0 0 0 152369 1821 0 0 25 0 1 0 3789869 334864384 79695 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 81754 79695 391 719 0 81033 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 327016 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6043 /proc/meminfo: memFree=1238500/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=329764 CPUtime=1601.88 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 83632 0 0 0 158322 1866 0 0 25 0 1 0 3789869 337678336 80373 1992294400 4194304 7136930 140735002736144 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 82441 80373 391 719 0 81720 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 329764 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6045 /proc/meminfo: memFree=1232052/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=336084 CPUtime=1661.86 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 85221 0 0 0 164276 1910 0 0 25 0 1 0 3789869 344150016 81962 1992294400 4194304 7136930 140735002736144 18446744073709551615 4210010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 84021 81962 391 719 0 83300 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 336084 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6047 /proc/meminfo: memFree=1225232/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=343104 CPUtime=1721.85 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 86892 0 0 0 170235 1950 0 0 25 0 1 0 3789869 351338496 83633 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 85776 83633 391 719 0 85055 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 343104 [startup+1782.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 6052 /proc/meminfo: memFree=1222008/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=345872 CPUtime=1781.83 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 87604 0 0 0 176187 1996 0 0 25 0 1 0 3789869 354172928 84345 1992294400 4194304 7136930 140735002736144 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 86468 84345 391 719 0 85747 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 345872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.04 1.01 1.00 2/107 6052 /proc/meminfo: memFree=1222008/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=345872 CPUtime=1800.03 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 87606 0 0 0 177994 2009 0 0 25 0 1 0 3789869 354172928 84347 1992294400 4194304 7136930 140735002736144 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5991/statm: 86468 84347 391 719 0 85747 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 345872 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.04 1.01 1.00 2/108 6053 /proc/meminfo: memFree=1221876/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=345952 CPUtime=1800.14 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 87629 0 0 0 178005 2009 0 0 25 0 1 0 3789869 354254848 84370 1992294400 4194304 7136930 140735002736144 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5991/statm: 86488 84370 396 719 0 85767 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 345952 [startup+1801 s] /proc/loadavg: 1.04 1.01 1.00 2/108 6053 /proc/meminfo: memFree=1221876/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=345952 CPUtime=1800.52 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 87629 0 0 0 178043 2009 0 0 25 0 1 0 3789869 354254848 84370 1992294400 4194304 7136930 140735002736144 18446744073709551615 6165620 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5991/statm: 86488 84370 396 719 0 85767 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (KiB) 345952 [startup+1801.4 s] /proc/loadavg: 1.04 1.01 1.00 2/108 6053 /proc/meminfo: memFree=1221876/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=345952 CPUtime=1800.92 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 87629 0 0 0 178083 2009 0 0 25 0 1 0 3789869 354254848 84370 1992294400 4194304 7136930 140735002736144 18446744073709551615 4212320 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5991/statm: 86488 84370 396 719 0 85767 0 Current children cumulated CPU time (s) 1800.92 Current children cumulated vsize (KiB) 345952 [startup+1801.5 s] /proc/loadavg: 1.04 1.01 1.00 2/108 6053 /proc/meminfo: memFree=1221876/2059040 swapFree=4192956/4192956 [pid=5991] ppid=5989 vsize=330972 CPUtime=1801.03 /proc/5991/stat : 5991 (pbscip.linux.x8) R 5989 5991 5667 0 -1 4202496 87629 0 0 0 178093 2010 0 0 25 0 1 0 3789869 338915328 80625 1992294400 4194304 7136930 140735002736144 18446744073709551615 4332838 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5991/statm: 82743 80625 396 719 0 82022 0 Current children cumulated CPU time (s) 1801.03 Current children cumulated vsize (KiB) 330972 Child status: 0 Real time (s): 1801.58 CPU time (s): 1801.12 CPU user time (s): 1780.98 CPU system time (s): 20.1389 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 345952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.98 system time used= 20.1389 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87636 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 4248 runsolver used 2.98255 second user time and 8.5147 second system time The end
Begin job on node015 at 2010-06-11 20:44:45 IDJOB=2664128 IDBENCH=1274 IDSOLVER=1167 FILE ID=node015/2664128-1276281885 PBS_JOBID= 11173095 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.1900582300.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-2664128-1276281885/watcher-2664128-1276281885 -o /tmp/evaluation-result-2664128-1276281885/solver-2664128-1276281885 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664128-1276281885.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= be6efe3218879d0d0c6c419c0919396c RANDOM SEED=1143694737 node015.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.244 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1561560 kB Buffers: 59212 kB Cached: 311164 kB SwapCached: 0 kB Active: 173932 kB Inactive: 256176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1561560 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3236 kB Writeback: 0 kB AnonPages: 59584 kB Mapped: 15460 kB Slab: 45648 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180704 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 node015 at 2010-06-11 21:14:48