| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.08 | 1800.67 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb |
| MD5SUM | 0fea7c185f4d6e2091fba763db8ccbcc |
| 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 | 52.791 |
| 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 | 685 |
| 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: Clp 1.11.1] [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-2665821-1276288229.opb>
0.04/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.04/0.05 c problem read
0.04/0.05 c No objective function, only one solution is needed.
0.04/0.05 c presolving settings loaded
0.04/0.07 c presolving:
0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.09/0.14 c presolving (3 rounds):
0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 242 implications, 22 cliques
0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 22 constraints of type <setppc>
0.09/0.14 c 2541 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.06
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.96
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 1620
0.09/0.15 c
0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c limits/solutions = 1
0.09/0.15 c
0.09/0.15 c # 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.17 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.17 c 0.1s| 1 | 0 | 54 | - |3551k| 0 | 32 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.50 c 0.4s| 1 | 0 | 135 | - |3874k| 0 | 50 | 231 |2735 | 231 |2573 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.79 c 0.7s| 1 | 0 | 508 | - |4541k| 0 | 53 | 231 |2735 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.07 c 0.9s| 1 | 0 | 766 | - |5389k| 0 | 71 | 231 |2735 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.59 c 1.5s| 1 | 0 | 1063 | - |6045k| 0 | 69 | 231 |2735 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.07 c 1.9s| 1 | 0 | 1387 | - |6618k| 0 | 73 | 231 |2735 | 231 |2590 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
4.89/4.90 c 4.7s| 1 | 2 | 1387 | - |6619k| 0 | 73 | 231 |2735 | 231 |2590 | 26 | 0 | 10 | 0.000000e+00 | -- | Inf
244.31/244.42 c 240s| 10000 | 122 |542766 | 54.1 |8293k| 37 | - | 231 |5476 | 231 |2570 | 26 |4589 |1597 | 0.000000e+00 | -- | Inf
428.86/429.08 c 420s| 20000 | 119 | 1061k| 53.0 |8909k| 44 | 31 | 231 |6821 | 231 |2570 | 26 |9272 |2053 | 0.000000e+00 | -- | Inf
620.21/620.48 c 607s| 30000 | 81 | 1588k| 52.9 |9135k| 44 | - | 231 |7302 | 231 |2570 | 26 | 13k|2669 | 0.000000e+00 | -- | Inf
817.53/817.81 c 799s| 40000 | 116 | 2131k| 53.2 |9382k| 44 | - | 231 |7449 | 0 | 0 | 26 | 18k|3273 | 0.000000e+00 | -- | Inf
1001.96/1002.36 c 978s| 50000 | 95 | 2647k| 52.9 |9663k| 45 | 34 | 231 |8051 | 231 |2570 | 26 | 22k|3667 | 0.000000e+00 | -- | Inf
1193.11/1193.59 c 1164s| 60000 | 95 | 3190k| 53.2 | 10M| 46 | - | 231 |9068 | 231 |2570 | 26 | 27k|4059 | 0.000000e+00 | -- | Inf
1385.04/1385.51 c 1351s| 70000 | 66 | 3740k| 53.4 |9916k| 50 | 29 | 231 |8543 | 231 |2570 | 26 | 31k|4452 | 0.000000e+00 | -- | Inf
1576.98/1577.53 c 1538s| 80000 | 26 | 4298k| 53.7 |9795k| 50 | 30 | 231 |8454 | 231 |2570 | 26 | 36k|4798 | 0.000000e+00 | -- | Inf
1755.92/1756.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.92/1756.56 c 1712s| 90000 | 54 | 4808k| 53.4 | 10M| 50 | - | 231 | 10k| 231 |2570 | 26 | 40k|5133 | 0.000000e+00 | -- | Inf
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.63 c
1800.03/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.63 c Solving Time (sec) : 1755.42
1800.03/1800.63 c Solving Nodes : 92502
1800.03/1800.63 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.63 c Dual Bound : +0.00000000000000e+00
1800.03/1800.63 c Gap : infinite
1800.03/1800.63 s UNKNOWN
1800.03/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.63 c Solving Time : 1755.42
1800.03/1800.63 c Original Problem :
1800.03/1800.63 c Problem name : HOME/instance-2665821-1276288229.opb
1800.03/1800.63 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.63 c Constraints : 2707 initial, 2707 maximal
1800.03/1800.63 c Presolved Problem :
1800.03/1800.63 c Problem name : t_HOME/instance-2665821-1276288229.opb
1800.03/1800.63 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.63 c Constraints : 2564 initial, 10600 maximal
1800.03/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.63 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.63 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.63 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.63 c linear : 0.03 0 0 0 0 0 143 0 0
1800.03/1800.63 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.63 c root node : - 1 - - 1 - - - -
1800.03/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.63 c integral : 0 0 0 47687 0 177 1783 0 0 93122
1800.03/1800.63 c knapsack : 1 5 289220 0 0 519 154044 0 0 0
1800.03/1800.63 c setppc : 22 5 288922 0 0 1928 483991 0 0 0
1800.03/1800.63 c linear : 0+ 5 160850 0 0 0 5223 1 0 0
1800.03/1800.63 c logicor : 2541+ 5 169888 0 0 611 597049 0 0 0
1800.03/1800.63 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.63 c integral : 165.09 0.00 0.00 165.09 0.00
1800.03/1800.63 c knapsack : 2.83 0.00 2.83 0.00 0.00
1800.03/1800.63 c setppc : 4.87 0.00 4.87 0.00 0.00
1800.03/1800.63 c linear : 0.95 0.00 0.95 0.00 0.00
1800.03/1800.63 c logicor : 25.21 0.00 25.21 0.00 0.00
1800.03/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.63 c vbounds : 0.26 1 0 0
1800.03/1800.63 c rootredcost : 0.17 0 0 0
1800.03/1800.63 c pseudoobj : 0.12 0 0 0
1800.03/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.63 c propagation : 0.26 3058 3041 16055 22.3 47 21.2 -
1800.03/1800.63 c infeasible LP : 16.64 43273 30923 182829 35.8 161 13.8 0
1800.03/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.63 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.63 c applied globally : - - - 40345 19.6 - - -
1800.03/1800.63 c applied locally : - - - 1151 33.2 - - -
1800.03/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.63 c cut pool : 0.00 4 - - 5 - (maximal pool size: 737)
1800.03/1800.63 c redcost : 0.59 46812 0 0 0 0
1800.03/1800.63 c impliedbounds : 0.00 5 0 0 0 0
1800.03/1800.63 c intobj : 0.00 0 0 0 0 0
1800.03/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.63 c gomory : 0.56 5 0 0 1500 0
1800.03/1800.63 c strongcg : 0.50 5 0 0 2305 0
1800.03/1800.63 c cmir : 0.00 0 0 0 0 0
1800.03/1800.63 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.63 c clique : 0.00 5 0 0 0 0
1800.03/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.63 c mcf : 0.00 1 0 0 0 0
1800.03/1800.63 c rapidlearning : 0.19 1 0 0 0 171
1800.03/1800.63 c Pricers : Time Calls Vars
1800.03/1800.63 c problem variables: 0.00 0 0
1800.03/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.63 c relpscost : 164.93 47687 177 1783 0 0 93122
1800.03/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.63 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.63 c random : 0.00 0 0 0 0 0 0
1800.03/1800.63 c Primal Heuristics : Time Calls Found
1800.03/1800.63 c LP solutions : 0.00 - 0
1800.03/1800.63 c pseudo solutions : 0.00 - 0
1800.03/1800.63 c trivial : 0.00 1 0
1800.03/1800.63 c simplerounding : 0.00 0 0
1800.03/1800.63 c zirounding : 0.00 0 0
1800.03/1800.63 c rounding : 0.00 0 0
1800.03/1800.63 c shifting : 0.00 0 0
1800.03/1800.63 c intshifting : 0.00 0 0
1800.03/1800.63 c oneopt : 0.00 0 0
1800.03/1800.63 c twoopt : 0.00 0 0
1800.03/1800.63 c fixandinfer : 0.00 0 0
1800.03/1800.63 c feaspump : 0.00 0 0
1800.03/1800.63 c coefdiving : 0.00 0 0
1800.03/1800.63 c pscostdiving : 0.00 0 0
1800.03/1800.63 c fracdiving : 0.00 0 0
1800.03/1800.63 c veclendiving : 0.00 0 0
1800.03/1800.63 c intdiving : 0.00 0 0
1800.03/1800.63 c actconsdiving : 0.00 0 0
1800.03/1800.63 c objpscostdiving : 0.00 0 0
1800.03/1800.63 c rootsoldiving : 0.00 0 0
1800.03/1800.63 c linesearchdiving : 0.00 0 0
1800.03/1800.63 c guideddiving : 0.00 0 0
1800.03/1800.63 c octane : 0.00 0 0
1800.03/1800.63 c rens : 0.00 0 0
1800.03/1800.63 c rins : 0.00 0 0
1800.03/1800.63 c localbranching : 0.00 0 0
1800.03/1800.63 c mutation : 0.00 0 0
1800.03/1800.63 c crossover : 0.00 0 0
1800.03/1800.63 c dins : 0.00 0 0
1800.03/1800.63 c undercover : 0.00 0 0
1800.03/1800.63 c nlp : 0.00 0 0
1800.03/1800.63 c trysol : 0.00 0 0
1800.03/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.63 c primal LP : 0.01 0 0 0.00 0.00
1800.03/1800.63 c dual LP : 1474.54 90879 4935666 54.31 3347.26
1800.03/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.63 c strong branching : 163.12 5192 576192 110.98 3532.32
1800.03/1800.63 c (at root node) : - 10 6607 660.70 -
1800.03/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.63 c B&B Tree :
1800.03/1800.63 c number of runs : 1
1800.03/1800.63 c nodes : 92502
1800.03/1800.63 c nodes (total) : 92502
1800.03/1800.63 c nodes left : 52
1800.03/1800.63 c max depth : 50
1800.03/1800.63 c max depth (total): 50
1800.03/1800.63 c backtracks : 11577 (12.5%)
1800.03/1800.63 c delayed cutoffs : 569
1800.03/1800.63 c repropagations : 86909 (156260 domain reductions, 567 cutoffs)
1800.03/1800.63 c avg switch length: 3.91
1800.03/1800.63 c switching time : 25.50
1800.03/1800.63 c Solution :
1800.03/1800.63 c Solutions found : 0 (0 improvements)
1800.03/1800.63 c Primal Bound : -
1800.03/1800.63 c Dual Bound : +0.00000000000000e+00
1800.03/1800.63 c Gap : infinite
1800.03/1800.63 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.63 c Root Iterations : 1387
1800.03/1800.66 c Time complete: 1800.07.
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-2665821-1276288229/watcher-2665821-1276288229 -o /tmp/evaluation-result-2665821-1276288229/solver-2665821-1276288229 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665821-1276288229.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: 0.92 0.99 1.23 3/106 6175 /proc/meminfo: memFree=1552692/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=9288 CPUtime=0 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 1063 0 0 0 0 0 0 0 20 0 1 0 4426558 9510912 985 1992294400 4194304 9819077 140736165975376 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6175/statm: 2322 993 371 1374 0 943 0 [startup+0.058618 s] /proc/loadavg: 0.92 0.99 1.23 3/106 6175 /proc/meminfo: memFree=1552692/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=12480 CPUtime=0.04 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 2040 0 0 0 4 0 0 0 20 0 1 0 4426558 12779520 1960 1992294400 4194304 9819077 140736165975376 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6175/statm: 3120 1960 387 1374 0 1741 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12480 [startup+0.101621 s] /proc/loadavg: 0.92 0.99 1.23 3/106 6175 /proc/meminfo: memFree=1552692/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=17764 CPUtime=0.09 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 3820 0 0 0 8 1 0 0 20 0 1 0 4426558 18190336 3130 1992294400 4194304 9819077 140736165975376 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 4441 3130 489 1374 0 3062 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17764 [startup+0.301644 s] /proc/loadavg: 0.92 0.99 1.23 3/106 6175 /proc/meminfo: memFree=1552692/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37560 CPUtime=0.29 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 11020 0 0 0 24 5 0 0 20 0 1 0 4426558 38461440 7459 1992294400 4194304 9819077 140736165975376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9390 7459 668 1374 0 8011 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37560 [startup+0.701691 s] /proc/loadavg: 0.92 0.99 1.23 3/106 6175 /proc/meminfo: memFree=1552692/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=30248 CPUtime=0.69 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 13432 0 0 0 62 7 0 0 21 0 1 0 4426558 30973952 6388 1992294400 4194304 9819077 140736165975376 18446744073709551615 6568863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 7562 6388 692 1374 0 6183 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30248 [startup+1.50178 s] /proc/loadavg: 0.92 0.99 1.23 2/107 6176 /proc/meminfo: memFree=1526396/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=34036 CPUtime=1.49 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 14373 0 0 0 141 8 0 0 23 0 1 0 4426558 34852864 7311 1992294400 4194304 9819077 140736165975376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 8509 7311 694 1374 0 7130 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34036 [startup+3.10197 s] /proc/loadavg: 0.92 0.99 1.23 2/107 6176 /proc/meminfo: memFree=1524908/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=38164 CPUtime=3.09 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 15456 0 0 0 299 10 0 0 25 0 1 0 4426558 39079936 7541 1992294400 4194304 9819077 140736165975376 18446744073709551615 7312676 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9541 7541 700 1374 0 8162 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38164 [startup+6.30133 s] /proc/loadavg: 0.93 0.99 1.22 2/107 6176 /proc/meminfo: memFree=1524660/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37496 CPUtime=6.29 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 17494 0 0 0 615 14 0 0 25 0 1 0 4426558 38395904 7472 1992294400 4194304 9819077 140736165975376 18446744073709551615 7480871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9374 7472 707 1374 0 7995 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37496 [startup+12.7011 s] /proc/loadavg: 0.93 0.99 1.22 2/107 6176 /proc/meminfo: memFree=1524536/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37368 CPUtime=12.69 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 21900 0 0 0 1249 20 0 0 25 0 1 0 4426558 38264832 7506 1992294400 4194304 9819077 140736165975376 18446744073709551615 7291639 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9342 7506 721 1374 0 7963 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37368 [startup+25.5015 s] /proc/loadavg: 0.95 0.99 1.22 2/107 6176 /proc/meminfo: memFree=1524536/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37596 CPUtime=25.48 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 32746 0 0 0 2516 32 0 0 25 0 1 0 4426558 38498304 7525 1992294400 4194304 9819077 140736165975376 18446744073709551615 7296064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9399 7525 721 1374 0 8020 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37596 [startup+51.1015 s] /proc/loadavg: 0.96 0.99 1.21 2/107 6176 /proc/meminfo: memFree=1524412/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=34900 CPUtime=51.07 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 61402 0 0 0 5040 67 0 0 25 0 1 0 4426558 35737600 7492 1992294400 4194304 9819077 140736165975376 18446744073709551615 7292051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 8725 7492 724 1374 0 7346 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34900 [startup+102.308 s] /proc/loadavg: 0.98 0.99 1.20 2/107 6178 /proc/meminfo: memFree=1524288/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=35124 CPUtime=102.25 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 134647 0 0 0 10079 146 0 0 25 0 1 0 4426558 35966976 7509 1992294400 4194304 9819077 140736165975376 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 8781 7509 724 1374 0 7402 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 35124 [startup+162.301 s] /proc/loadavg: 0.99 0.99 1.18 2/107 6180 /proc/meminfo: memFree=1524288/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=35656 CPUtime=162.23 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 241406 0 0 0 15974 249 0 0 25 0 1 0 4426558 36511744 7547 1992294400 4194304 9819077 140736165975376 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 8914 7547 724 1374 0 7535 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 35656 [startup+222.301 s] /proc/loadavg: 0.99 0.99 1.17 2/107 6182 /proc/meminfo: memFree=1524040/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=36400 CPUtime=222.22 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 387988 0 0 0 21854 368 0 0 25 0 1 0 4426558 37273600 7624 1992294400 4194304 9819077 140736165975376 18446744073709551615 7291721 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9100 7624 724 1374 0 7721 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 36400 [startup+282.301 s] /proc/loadavg: 0.99 0.99 1.16 2/107 6182 /proc/meminfo: memFree=1523916/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=36452 CPUtime=282.2 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 566538 0 0 0 27711 509 0 0 25 0 1 0 4426558 37326848 7656 1992294400 4194304 9819077 140736165975376 18446744073709551615 7312676 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9113 7656 724 1374 0 7734 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 36452 [startup+342.301 s] /proc/loadavg: 0.99 0.99 1.14 2/107 6184 /proc/meminfo: memFree=1523668/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=36856 CPUtime=342.18 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 758461 0 0 0 33571 647 0 0 25 0 1 0 4426558 37740544 7669 1992294400 4194304 9819077 140736165975376 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9214 7669 724 1374 0 7835 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 36856 [startup+402.301 s] /proc/loadavg: 0.99 0.99 1.13 2/107 6186 /proc/meminfo: memFree=1523668/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37444 CPUtime=402.16 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 989528 0 0 0 39417 799 0 0 25 0 1 0 4426558 38342656 7687 1992294400 4194304 9819077 140736165975376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9361 7687 724 1374 0 7982 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 37444 [startup+462.301 s] /proc/loadavg: 0.99 0.99 1.12 2/107 6188 /proc/meminfo: memFree=1523544/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37176 CPUtime=462.15 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 1236911 0 0 0 45256 959 0 0 25 0 1 0 4426558 38068224 7661 1992294400 4194304 9819077 140736165975376 18446744073709551615 6190705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9294 7661 724 1374 0 7915 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 37176 [startup+522.301 s] /proc/loadavg: 0.99 0.99 1.11 2/107 6190 /proc/meminfo: memFree=1523296/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=40248 CPUtime=522.12 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 1479545 0 0 0 51097 1115 0 0 25 0 1 0 4426558 41213952 7724 1992294400 4194304 9819077 140736165975376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 10062 7724 724 1374 0 8683 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 40248 [startup+582.301 s] /proc/loadavg: 0.99 0.99 1.10 2/107 6190 /proc/meminfo: memFree=1523172/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=40340 CPUtime=582.11 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 1728945 0 0 0 56942 1269 0 0 25 0 1 0 4426558 41308160 7749 1992294400 4194304 9819077 140736165975376 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 10085 7749 724 1374 0 8706 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 40340 [startup+642.302 s] /proc/loadavg: 0.99 0.99 1.09 2/107 6192 /proc/meminfo: memFree=1523172/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37608 CPUtime=642.09 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 1982062 0 0 0 62785 1424 0 0 25 0 1 0 4426558 38510592 7731 1992294400 4194304 9819077 140736165975376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9402 7731 724 1374 0 8023 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 37608 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.99 1.07 2/107 6198 /proc/meminfo: memFree=1522800/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37796 CPUtime=822.04 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 2755285 0 0 0 80303 1901 0 0 25 0 1 0 4426558 38703104 7795 1992294400 4194304 9819077 140736165975376 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9449 7795 724 1374 0 8070 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 37796 [startup+882.301 s] /proc/loadavg: 0.99 0.99 1.06 2/107 6198 /proc/meminfo: memFree=1522428/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37824 CPUtime=882.01 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 3020692 0 0 0 86140 2061 0 0 25 0 1 0 4426558 38731776 7780 1992294400 4194304 9819077 140736165975376 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9456 7780 724 1374 0 8077 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 37824 [startup+942.301 s] /proc/loadavg: 0.99 0.99 1.06 2/107 6200 /proc/meminfo: memFree=1522428/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37864 CPUtime=941.99 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 3276530 0 0 0 91975 2224 0 0 25 0 1 0 4426558 38772736 7802 1992294400 4194304 9819077 140736165975376 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9466 7802 724 1374 0 8087 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 37864 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 1.05 2/107 6202 /proc/meminfo: memFree=1522180/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=37956 CPUtime=1001.96 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 3531225 0 0 0 97808 2388 0 0 25 0 1 0 4426558 38866944 7862 1992294400 4194304 9819077 140736165975376 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9489 7862 724 1374 0 8110 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 37956 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 1.05 2/107 6204 /proc/meminfo: memFree=1522056/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=38180 CPUtime=1061.95 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 3788291 0 0 0 103648 2547 0 0 25 0 1 0 4426558 39096320 7887 1992294400 4194304 9819077 140736165975376 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9545 7887 724 1374 0 8166 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 38180 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 1.04 2/107 6206 /proc/meminfo: memFree=1520816/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=39304 CPUtime=1121.92 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 4046437 0 0 0 109489 2703 0 0 25 0 1 0 4426558 40247296 8145 1992294400 4194304 9819077 140736165975376 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9826 8145 724 1374 0 8447 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 39304 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 1.04 2/107 6206 /proc/meminfo: memFree=1520568/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=39384 CPUtime=1181.91 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 4292721 0 0 0 115333 2858 0 0 25 0 1 0 4426558 40329216 8168 1992294400 4194304 9819077 140736165975376 18446744073709551615 7100261 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9846 8168 724 1374 0 8467 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 39384 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 1.03 2/107 6208 /proc/meminfo: memFree=1520444/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=38944 CPUtime=1241.88 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 4542775 0 0 0 121171 3017 0 0 25 0 1 0 4426558 39878656 8182 1992294400 4194304 9819077 140736165975376 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9865 8184 724 1374 0 8486 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 38944 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 1.02 3/107 6210 /proc/meminfo: memFree=1520444/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=39496 CPUtime=1301.88 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 4792055 0 0 0 127015 3173 0 0 25 0 1 0 4426558 40443904 8245 1992294400 4194304 9819077 140736165975376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9874 8245 724 1374 0 8495 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 39496 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 1.02 2/107 6212 /proc/meminfo: memFree=1520444/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=39528 CPUtime=1361.84 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 5040832 0 0 0 132852 3332 0 0 25 0 1 0 4426558 40476672 8188 1992294400 4194304 9819077 140736165975376 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9323 8174 724 1374 0 7944 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 39528 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 1.01 2/107 6214 /proc/meminfo: memFree=1520444/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=39528 CPUtime=1421.83 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 5295558 0 0 0 138690 3493 0 0 25 0 1 0 4426558 40476672 8199 1992294400 4194304 9819077 140736165975376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9882 8199 724 1374 0 8503 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 39528 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 1.01 2/107 6214 /proc/meminfo: memFree=1520196/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=38648 CPUtime=1481.8 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 5540082 0 0 0 144540 3640 0 0 25 0 1 0 4426558 39575552 8176 1992294400 4194304 9819077 140736165975376 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9662 8183 724 1374 0 8283 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 38648 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 6216 /proc/meminfo: memFree=1520320/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=39460 CPUtime=1541.78 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 5797725 0 0 0 150384 3794 0 0 25 0 1 0 4426558 40407040 8197 1992294400 4194304 9819077 140736165975376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9865 8197 724 1374 0 8486 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 39460 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 6218 /proc/meminfo: memFree=1520320/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=38688 CPUtime=1601.77 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 6045826 0 0 0 156230 3947 0 0 25 0 1 0 4426558 39616512 8183 1992294400 4194304 9819077 140736165975376 18446744073709551615 6209887 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9672 8192 724 1374 0 8293 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 38688 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 6220 /proc/meminfo: memFree=1520320/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=39560 CPUtime=1661.75 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 6297063 0 0 0 162076 4099 0 0 25 0 1 0 4426558 40509440 8226 1992294400 4194304 9819077 140736165975376 18446744073709551615 6191149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9890 8226 724 1374 0 8511 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 39560 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 6222 /proc/meminfo: memFree=1520196/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=39560 CPUtime=1721.73 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 6555843 0 0 0 167911 4262 0 0 25 0 1 0 4426558 40509440 8238 1992294400 4194304 9819077 140736165975376 18446744073709551615 7292006 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 9890 8238 724 1374 0 8511 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 39560 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 1.00 2/107 6222 /proc/meminfo: memFree=1519328/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=39952 CPUtime=1781.71 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 6809191 0 0 0 173760 4411 0 0 25 0 1 0 4426558 40910848 8430 1992294400 4194304 9819077 140736165975376 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 10117 8432 724 1374 0 8738 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 39952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.99 1.00 2/107 6224 /proc/meminfo: memFree=1519204/2059040 swapFree=4192956/4192956 [pid=6175] ppid=6173 vsize=40440 CPUtime=1800.03 /proc/6175/stat : 6175 (pbscip.linux.x8) R 6173 6175 5182 0 -1 4202496 6885201 0 0 0 175545 4458 0 0 25 0 1 0 4426558 41410560 8447 1992294400 4194304 9819077 140736165975376 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6175/statm: 10110 8447 724 1374 0 8731 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 40440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.08 CPU user time (s): 1755.5 CPU system time (s): 44.5852 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 43620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1755.5 system time used= 44.5852 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6885264 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= 1 involuntary context switches= 5065 runsolver used 3.10053 second user time and 8.38072 second system time The end
Begin job on node006 at 2010-06-11 22:30:29 IDJOB=2665821 IDBENCH=1289 IDSOLVER=1168 FILE ID=node006/2665821-1276288229 PBS_JOBID= 11173093 Free space on /tmp= 62472 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665821-1276288229/watcher-2665821-1276288229 -o /tmp/evaluation-result-2665821-1276288229/solver-2665821-1276288229 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665821-1276288229.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0fea7c185f4d6e2091fba763db8ccbcc RANDOM SEED=1823187495 node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1553220 kB Buffers: 65172 kB Cached: 313832 kB SwapCached: 0 kB Active: 173868 kB Inactive: 264464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1553220 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6336 kB Writeback: 0 kB AnonPages: 59296 kB Mapped: 15392 kB Slab: 45760 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181192 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= 62468 MiB End job on node006 at 2010-06-11 23:00:32