| 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.15 | 1800.76 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb |
| MD5SUM | 19ba22a32308a07bd9c7341c12b6a0ff |
| 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 | 164.6 |
| 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 | 733 |
| 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-2665820-1276287771.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.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.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 # 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 | 66 | - |3551k| 0 | 40 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.52 c 0.4s| 1 | 0 | 138 | - |3956k| 0 | 59 | 231 |2739 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.08 c 0.9s| 1 | 0 | 939 | - |4459k| 0 | 59 | 231 |2739 | 231 |2581 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
1.30/1.37 c 1.2s| 1 | 0 | 1364 | - |4922k| 0 | 71 | 231 |2739 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.92 c 1.8s| 1 | 0 | 1500 | - |5466k| 0 | 80 | 231 |2739 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.45 c 2.3s| 1 | 0 | 1577 | - |5711k| 0 | 82 | 231 |2739 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
4.79/4.83 c 4.7s| 1 | 2 | 1577 | - |5712k| 0 | 82 | 231 |2739 | 231 |2588 | 24 | 0 | 10 | 0.000000e+00 | -- | Inf
224.01/224.15 c 220s| 10000 | 52 |478535 | 47.7 |7368k| 37 | - | 231 |6010 | 231 |2572 | 24 |4638 |1667 | 0.000000e+00 | -- | Inf
391.25/391.45 c 383s| 20000 | 67 |936629 | 46.8 |7936k| 44 | - | 231 |6638 | 231 |2572 | 24 |9144 |2123 | 0.000000e+00 | -- | Inf
563.89/564.10 c 551s| 30000 | 99 | 1403k| 46.7 |8216k| 52 | - | 231 |6409 | 231 |2572 | 24 | 14k|2745 | 0.000000e+00 | -- | Inf
727.54/727.83 c 710s| 40000 | 69 | 1854k| 46.3 |8134k| 52 | 24 | 231 |6418 | 231 |2572 | 24 | 18k|3200 | 0.000000e+00 | -- | Inf
899.49/899.81 c 877s| 50000 | 97 | 2332k| 46.6 |8672k| 55 | - | 231 |7379 | 0 | 0 | 24 | 23k|3623 | 0.000000e+00 | -- | Inf
1086.02/1086.43 c 1059s| 60000 | 90 | 2865k| 47.7 |8611k| 61 | - | 231 |7017 | 231 |2572 | 24 | 27k|4059 | 0.000000e+00 | -- | Inf
1266.36/1266.87 c 1235s| 70000 | 77 | 3377k| 48.2 |8671k| 61 | - | 231 |7197 | 231 |2572 | 24 | 32k|4476 | 0.000000e+00 | -- | Inf
1435.01/1435.59 c 1399s| 80000 | 62 | 3856k| 48.2 |8825k| 61 | 22 | 231 |7887 | 231 |2572 | 24 | 36k|4779 | 0.000000e+00 | -- | Inf
1606.14/1606.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.14/1606.78 c 1565s| 90000 | 54 | 4343k| 48.2 |9089k| 61 | - | 231 |8421 | 231 |2572 | 24 | 41k|5110 | 0.000000e+00 | -- | Inf
1788.19/1788.87 c 1742s|100000 | 39 | 4859k| 48.6 |9150k| 61 | 30 | 231 |8666 | 231 |2572 | 24 | 45k|5449 | 0.000000e+00 | -- | Inf
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.72 c
1800.10/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.72 c Solving Time (sec) : 1753.68
1800.10/1800.72 c Solving Nodes : 100706
1800.10/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.72 c Dual Bound : +0.00000000000000e+00
1800.10/1800.72 c Gap : infinite
1800.10/1800.72 s UNKNOWN
1800.10/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.72 c Solving Time : 1753.68
1800.10/1800.72 c Original Problem :
1800.10/1800.72 c Problem name : HOME/instance-2665820-1276287771.opb
1800.10/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.72 c Constraints : 2707 initial, 2707 maximal
1800.10/1800.72 c Presolved Problem :
1800.10/1800.72 c Problem name : t_HOME/instance-2665820-1276287771.opb
1800.10/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.72 c Constraints : 2564 initial, 9431 maximal
1800.10/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.72 c linear : 0.02 0 0 0 0 0 143 0 0
1800.10/1800.72 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.10/1800.72 c root node : - 0 - - 0 - - - -
1800.10/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.72 c integral : 0 0 0 52045 0 201 1992 0 0 101164
1800.10/1800.72 c knapsack : 1 5 325680 0 0 534 134447 0 0 0
1800.10/1800.72 c setppc : 22 5 325281 0 0 1785 522417 0 0 0
1800.10/1800.72 c linear : 0+ 5 251065 0 0 6 4052 0 0 0
1800.10/1800.72 c logicor : 2541+ 5 179294 0 0 644 615738 0 0 0
1800.10/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.72 c integral : 154.30 0.00 0.00 154.30 0.00
1800.10/1800.72 c knapsack : 2.84 0.00 2.84 0.00 0.00
1800.10/1800.72 c setppc : 5.87 0.00 5.87 0.00 0.00
1800.10/1800.72 c linear : 1.54 0.00 1.54 0.00 0.00
1800.10/1800.72 c logicor : 24.89 0.00 24.89 0.00 0.00
1800.10/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.72 c vbounds : 0.28 1 0 0
1800.10/1800.72 c rootredcost : 0.19 0 0 0
1800.10/1800.72 c pseudoobj : 0.18 0 0 0
1800.10/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.72 c propagation : 0.19 2969 2956 15814 22.9 37 23.7 -
1800.10/1800.72 c infeasible LP : 19.13 47366 35020 206574 35.8 157 16.2 0
1800.10/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.72 c applied globally : - - - 42581 20.0 - - -
1800.10/1800.72 c applied locally : - - - 3597 34.2 - - -
1800.10/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.72 c cut pool : 0.00 4 - - 8 - (maximal pool size: 591)
1800.10/1800.72 c redcost : 0.57 50866 0 0 0 0
1800.10/1800.72 c impliedbounds : 0.00 5 0 0 0 0
1800.10/1800.72 c intobj : 0.00 0 0 0 0 0
1800.10/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.72 c gomory : 0.73 5 0 0 1500 0
1800.10/1800.72 c strongcg : 0.60 5 0 0 2165 0
1800.10/1800.72 c cmir : 0.00 0 0 0 0 0
1800.10/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.72 c clique : 0.00 5 0 0 0 0
1800.10/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.72 c mcf : 0.00 1 0 0 0 0
1800.10/1800.72 c rapidlearning : 0.21 1 0 0 0 175
1800.10/1800.72 c Pricers : Time Calls Vars
1800.10/1800.72 c problem variables: 0.00 0 0
1800.10/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.72 c relpscost : 154.14 52045 201 1992 0 0 101164
1800.10/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.72 c inference : 0.00 0 0 0 0 0 0
1800.10/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.72 c random : 0.00 0 0 0 0 0 0
1800.10/1800.72 c Primal Heuristics : Time Calls Found
1800.10/1800.72 c LP solutions : 0.00 - 0
1800.10/1800.72 c pseudo solutions : 0.00 - 0
1800.10/1800.72 c trivial : 0.01 1 0
1800.10/1800.72 c simplerounding : 0.00 0 0
1800.10/1800.72 c zirounding : 0.00 0 0
1800.10/1800.72 c rounding : 0.00 0 0
1800.10/1800.72 c shifting : 0.00 0 0
1800.10/1800.72 c intshifting : 0.00 0 0
1800.10/1800.72 c oneopt : 0.00 0 0
1800.10/1800.72 c twoopt : 0.00 0 0
1800.10/1800.72 c fixandinfer : 0.00 0 0
1800.10/1800.72 c feaspump : 0.00 0 0
1800.10/1800.72 c coefdiving : 0.00 0 0
1800.10/1800.72 c pscostdiving : 0.00 0 0
1800.10/1800.72 c fracdiving : 0.00 0 0
1800.10/1800.72 c veclendiving : 0.00 0 0
1800.10/1800.72 c intdiving : 0.00 0 0
1800.10/1800.72 c actconsdiving : 0.00 0 0
1800.10/1800.72 c objpscostdiving : 0.00 0 0
1800.10/1800.72 c rootsoldiving : 0.00 0 0
1800.10/1800.72 c linesearchdiving : 0.00 0 0
1800.10/1800.72 c guideddiving : 0.00 0 0
1800.10/1800.72 c octane : 0.00 0 0
1800.10/1800.72 c rens : 0.00 0 0
1800.10/1800.72 c rins : 0.00 0 0
1800.10/1800.72 c localbranching : 0.00 0 0
1800.10/1800.72 c mutation : 0.00 0 0
1800.10/1800.72 c crossover : 0.00 0 0
1800.10/1800.72 c dins : 0.00 0 0
1800.10/1800.72 c undercover : 0.00 0 0
1800.10/1800.72 c nlp : 0.00 0 0
1800.10/1800.72 c trysol : 0.00 0 0
1800.10/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.72 c dual LP : 1474.77 99327 4896816 49.30 3320.39
1800.10/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.72 c strong branching : 151.95 5449 539274 98.97 3549.02
1800.10/1800.72 c (at root node) : - 10 6015 601.50 -
1800.10/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.72 c B&B Tree :
1800.10/1800.72 c number of runs : 1
1800.10/1800.72 c nodes : 100706
1800.10/1800.72 c nodes (total) : 100706
1800.10/1800.72 c nodes left : 45
1800.10/1800.72 c max depth : 61
1800.10/1800.72 c max depth (total): 61
1800.10/1800.72 c backtracks : 10980 (10.9%)
1800.10/1800.72 c delayed cutoffs : 414
1800.10/1800.72 c repropagations : 110272 (140215 domain reductions, 412 cutoffs)
1800.10/1800.72 c avg switch length: 4.10
1800.10/1800.72 c switching time : 26.80
1800.10/1800.72 c Solution :
1800.10/1800.72 c Solutions found : 0 (0 improvements)
1800.10/1800.72 c Primal Bound : -
1800.10/1800.72 c Dual Bound : +0.00000000000000e+00
1800.10/1800.72 c Gap : infinite
1800.10/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.72 c Root Iterations : 1577
1800.10/1800.75 c Time complete: 1800.14.
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-2665820-1276287771/watcher-2665820-1276287771 -o /tmp/evaluation-result-2665820-1276287771/solver-2665820-1276287771 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665820-1276287771.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.99 1.00 1.00 3/106 5335 /proc/meminfo: memFree=1557140/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=9288 CPUtime=0 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 1149 0 0 0 0 0 0 0 23 0 1 0 2428966 9510912 1070 1992294400 4194304 9819077 140734863459792 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5335/statm: 2322 1080 371 1374 0 943 0 [startup+0.102721 s] /proc/loadavg: 0.99 1.00 1.00 3/106 5335 /proc/meminfo: memFree=1557140/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=17768 CPUtime=0.09 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 3824 0 0 0 8 1 0 0 25 0 1 0 2428966 18194432 3134 1992294400 4194304 9819077 140734863459792 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 4442 3134 489 1374 0 3063 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17768 [startup+0.20174 s] /proc/loadavg: 0.99 1.00 1.00 3/106 5335 /proc/meminfo: memFree=1557140/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=24856 CPUtime=0.19 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 7855 0 0 0 16 3 0 0 25 0 1 0 2428966 25452544 4543 1992294400 4194304 9819077 140734863459792 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 6214 4543 652 1374 0 4835 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 24856 [startup+0.301757 s] /proc/loadavg: 0.99 1.00 1.00 3/106 5335 /proc/meminfo: memFree=1557140/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=37612 CPUtime=0.29 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 11029 0 0 0 24 5 0 0 25 0 1 0 2428966 38514688 7460 1992294400 4194304 9819077 140734863459792 18446744073709551615 4212108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 9403 7460 670 1374 0 8024 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37612 [startup+0.701829 s] /proc/loadavg: 0.99 1.00 1.00 3/106 5335 /proc/meminfo: memFree=1557140/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=29132 CPUtime=0.69 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 13275 0 0 0 62 7 0 0 25 0 1 0 2428966 29831168 6221 1992294400 4194304 9819077 140734863459792 18446744073709551615 6059687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 7283 6221 692 1374 0 5904 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29132 [startup+1.50098 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5336 /proc/meminfo: memFree=1534316/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=29928 CPUtime=1.49 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 13575 0 0 0 141 8 0 0 25 0 1 0 2428966 30646272 6378 1992294400 4194304 9819077 140734863459792 18446744073709551615 7311850 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 7482 6378 692 1374 0 6103 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29928 [startup+3.10127 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5336 /proc/meminfo: memFree=1532704/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=35088 CPUtime=3.09 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 14306 0 0 0 299 10 0 0 25 0 1 0 2428966 35930112 6753 1992294400 4194304 9819077 140734863459792 18446744073709551615 7296198 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8772 6753 700 1374 0 7393 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35088 [startup+6.30185 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5336 /proc/meminfo: memFree=1531960/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34124 CPUtime=6.29 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 15381 0 0 0 617 12 0 0 25 0 1 0 2428966 34942976 6717 1992294400 4194304 9819077 140734863459792 18446744073709551615 7292234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8531 6717 707 1374 0 7152 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34124 [startup+12.701 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5336 /proc/meminfo: memFree=1531836/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34228 CPUtime=12.69 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 21839 0 0 0 1251 18 0 0 25 0 1 0 2428966 35049472 6764 1992294400 4194304 9819077 140734863459792 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8557 6764 722 1374 0 7178 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34228 [startup+25.5013 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5336 /proc/meminfo: memFree=1531836/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34752 CPUtime=25.48 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 38166 0 0 0 2518 30 0 0 25 0 1 0 2428966 35586048 6776 1992294400 4194304 9819077 140734863459792 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8688 6776 723 1374 0 7309 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34752 [startup+51.101 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5336 /proc/meminfo: memFree=1531836/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=32352 CPUtime=51.07 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 74994 0 0 0 5044 63 0 0 25 0 1 0 2428966 33128448 6724 1992294400 4194304 9819077 140734863459792 18446744073709551615 7292350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8088 6724 724 1374 0 6709 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32352 [startup+102.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5338 /proc/meminfo: memFree=1531836/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=32320 CPUtime=102.26 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 179504 0 0 0 10084 142 0 0 25 0 1 0 2428966 33095680 6729 1992294400 4194304 9819077 140734863459792 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8080 6729 724 1374 0 6701 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32320 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5340 /proc/meminfo: memFree=1531836/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=32668 CPUtime=162.23 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 334778 0 0 0 15963 260 0 0 25 0 1 0 2428966 33452032 6742 1992294400 4194304 9819077 140734863459792 18446744073709551615 7292234 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8167 6742 724 1374 0 6788 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 32668 [startup+222.309 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5342 /proc/meminfo: memFree=1531836/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=33272 CPUtime=222.23 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 512735 0 0 0 21834 389 0 0 25 0 1 0 2428966 34070528 6795 1992294400 4194304 9819077 140734863459792 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8318 6795 724 1374 0 6939 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 33272 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5342 /proc/meminfo: memFree=1531712/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=33592 CPUtime=282.19 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 733289 0 0 0 27684 535 0 0 25 0 1 0 2428966 34398208 6796 1992294400 4194304 9819077 140734863459792 18446744073709551615 6628885 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8398 6796 724 1374 0 7019 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 33592 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5344 /proc/meminfo: memFree=1531472/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=33644 CPUtime=342.18 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 967907 0 0 0 33530 688 0 0 25 0 1 0 2428966 34451456 6808 1992294400 4194304 9819077 140734863459792 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8411 6808 724 1374 0 7032 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 33644 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5346 /proc/meminfo: memFree=1531472/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=33700 CPUtime=402.15 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 1224257 0 0 0 39368 847 0 0 25 0 1 0 2428966 34508800 6841 1992294400 4194304 9819077 140734863459792 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8425 6841 724 1374 0 7046 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 33700 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5348 /proc/meminfo: memFree=1531224/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34068 CPUtime=462.13 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 1497524 0 0 0 45198 1015 0 0 25 0 1 0 2428966 34885632 6854 1992294400 4194304 9819077 140734863459792 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8517 6854 724 1374 0 7138 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 34068 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5350 /proc/meminfo: memFree=1530852/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34396 CPUtime=522.11 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 1771136 0 0 0 51028 1183 0 0 25 0 1 0 2428966 35221504 6909 1992294400 4194304 9819077 140734863459792 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8599 6909 724 1374 0 7220 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 34396 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5350 /proc/meminfo: memFree=1530728/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34376 CPUtime=582.09 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 2049300 0 0 0 56856 1353 0 0 25 0 1 0 2428966 35201024 6937 1992294400 4194304 9819077 140734863459792 18446744073709551615 6656908 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8594 6937 724 1374 0 7215 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 34376 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5352 /proc/meminfo: memFree=1530728/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34424 CPUtime=642.07 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 2326640 0 0 0 62681 1526 0 0 25 0 1 0 2428966 35250176 6942 1992294400 4194304 9819077 140734863459792 18446744073709551615 6391588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8606 6942 724 1374 0 7227 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 34424 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5358 /proc/meminfo: memFree=1530604/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34076 CPUtime=822.01 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 3167856 0 0 0 80171 2030 0 0 25 0 1 0 2428966 34893824 6934 1992294400 4194304 9819077 140734863459792 18446744073709551615 7235169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8605 6934 724 1374 0 7226 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 34076 [startup+882.309 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5358 /proc/meminfo: memFree=1530356/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34636 CPUtime=881.99 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 3428331 0 0 0 86019 2180 0 0 25 0 1 0 2428966 35467264 6979 1992294400 4194304 9819077 140734863459792 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8659 6979 724 1374 0 7280 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 34636 [startup+942.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5360 /proc/meminfo: memFree=1530232/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34732 CPUtime=941.97 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 3680219 0 0 0 91862 2335 0 0 25 0 1 0 2428966 35565568 6998 1992294400 4194304 9819077 140734863459792 18446744073709551615 7292241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8683 6998 724 1374 0 7304 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 34732 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5365 /proc/meminfo: memFree=1529364/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=35024 CPUtime=1001.95 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 3933073 0 0 0 97710 2485 0 0 25 0 1 0 2428966 35864576 7103 1992294400 4194304 9819077 140734863459792 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8756 7103 724 1374 0 7377 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 35024 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5367 /proc/meminfo: memFree=1529364/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=34960 CPUtime=1061.93 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 4196962 0 0 0 103550 2643 0 0 25 0 1 0 2428966 35799040 7066 1992294400 4194304 9819077 140734863459792 18446744073709551615 7317636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8740 7066 724 1374 0 7361 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 34960 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5369 /proc/meminfo: memFree=1529240/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=35020 CPUtime=1121.9 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 4457796 0 0 0 109396 2794 0 0 25 0 1 0 2428966 35860480 7100 1992294400 4194304 9819077 140734863459792 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8755 7100 724 1374 0 7376 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 35020 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5369 /proc/meminfo: memFree=1529116/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=35096 CPUtime=1181.88 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 4721632 0 0 0 115228 2960 0 0 25 0 1 0 2428966 35938304 7092 1992294400 4194304 9819077 140734863459792 18446744073709551615 6591421 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8774 7092 724 1374 0 7395 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 35096 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5371 /proc/meminfo: memFree=1529116/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=35036 CPUtime=1241.87 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 4979072 0 0 0 121067 3120 0 0 25 0 1 0 2428966 35876864 7119 1992294400 4194304 9819077 140734863459792 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8759 7119 724 1374 0 7380 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 35036 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 5373 /proc/meminfo: memFree=1529116/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=35132 CPUtime=1301.85 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 5246587 0 0 0 126900 3285 0 0 25 0 1 0 2428966 35975168 7099 1992294400 4194304 9819077 140734863459792 18446744073709551615 7304282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8783 7099 724 1374 0 7404 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 35132 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5375 /proc/meminfo: memFree=1528992/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=35096 CPUtime=1361.82 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 5511137 0 0 0 132738 3444 0 0 25 0 1 0 2428966 35938304 7094 1992294400 4194304 9819077 140734863459792 18446744073709551615 4209649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8774 7094 724 1374 0 7395 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 35096 [startup+1422.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 5377 /proc/meminfo: memFree=1529116/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=35100 CPUtime=1421.82 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 5786968 0 0 0 138568 3614 0 0 25 0 1 0 2428966 35942400 7097 1992294400 4194304 9819077 140734863459792 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8775 7097 724 1374 0 7396 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 35100 [startup+1482.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 5377 /proc/meminfo: memFree=1529116/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=35072 CPUtime=1481.79 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 6059772 0 0 0 144405 3774 0 0 25 0 1 0 2428966 35913728 7092 1992294400 4194304 9819077 140734863459792 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 8768 7092 724 1374 0 7389 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 35072 [startup+1542.31 s] /proc/loadavg: 1.06 1.04 1.00 2/107 5379 /proc/meminfo: memFree=1528248/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=36320 CPUtime=1541.77 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 6318837 0 0 0 150248 3929 0 0 25 0 1 0 2428966 37191680 7424 1992294400 4194304 9819077 140734863459792 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 9080 7424 724 1374 0 7701 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 36320 [startup+1602.3 s] /proc/loadavg: 1.05 1.04 1.00 2/107 5381 /proc/meminfo: memFree=1528248/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=36380 CPUtime=1601.74 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 6586880 0 0 0 156071 4103 0 0 25 0 1 0 2428966 37253120 7417 1992294400 4194304 9819077 140734863459792 18446744073709551615 7312697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 9095 7417 724 1374 0 7716 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 36380 [startup+1662.3 s] /proc/loadavg: 1.13 1.06 1.01 2/107 5383 /proc/meminfo: memFree=1528000/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=36320 CPUtime=1661.73 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 6846676 0 0 0 161904 4269 0 0 25 0 1 0 2428966 37191680 7395 1992294400 4194304 9819077 140734863459792 18446744073709551615 7292336 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 9080 7397 724 1374 0 7701 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 36320 [startup+1722.3 s] /proc/loadavg: 1.12 1.07 1.00 2/107 5385 /proc/meminfo: memFree=1527876/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=36380 CPUtime=1721.71 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 7104369 0 0 0 167742 4429 0 0 25 0 1 0 2428966 37253120 7444 1992294400 4194304 9819077 140734863459792 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 9095 7444 724 1374 0 7716 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 36380 [startup+1782.3 s] /proc/loadavg: 1.11 1.07 1.00 2/107 5385 /proc/meminfo: memFree=1527752/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=36520 CPUtime=1781.69 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 7365743 0 0 0 173578 4591 0 0 25 0 1 0 2428966 37396480 7447 1992294400 4194304 9819077 140734863459792 18446744073709551615 6189872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 9130 7447 724 1374 0 7751 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 36520 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.08 1.06 1.00 2/107 5387 /proc/meminfo: memFree=1527752/2059040 swapFree=4192956/4192956 [pid=5335] ppid=5333 vsize=36420 CPUtime=1800.1 /proc/5335/stat : 5335 (pbscip.linux.x8) R 5333 5335 4214 0 -1 4202496 7443685 0 0 0 175373 4637 0 0 25 0 1 0 2428966 37294080 7437 1992294400 4194304 9819077 140734863459792 18446744073709551615 4431707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5335/statm: 9105 7437 724 1374 0 7726 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 36420 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.76 CPU time (s): 1800.15 CPU user time (s): 1753.77 CPU system time (s): 46.3739 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 39680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.77 system time used= 46.374 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7443767 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 20385 runsolver used 3.56246 second user time and 8.98863 second system time The end
Begin job on node027 at 2010-06-11 22:22:51 IDJOB=2665820 IDBENCH=1288 IDSOLVER=1168 FILE ID=node027/2665820-1276287771 PBS_JOBID= 11173099 Free space on /tmp= 62448 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.1900576360.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-2665820-1276287771/watcher-2665820-1276287771 -o /tmp/evaluation-result-2665820-1276287771/solver-2665820-1276287771 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665820-1276287771.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 19ba22a32308a07bd9c7341c12b6a0ff RANDOM SEED=2000564889 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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: 1557544 kB Buffers: 60572 kB Cached: 313632 kB SwapCached: 0 kB Active: 177424 kB Inactive: 256184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1557544 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6204 kB Writeback: 16 kB AnonPages: 59384 kB Mapped: 15412 kB Slab: 46108 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180828 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62440 MiB End job on node027 at 2010-06-11 22:52:54