| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | UNSAT | 1353.8 | 1354.2 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb |
| MD5SUM | 4a96a2353b6045ef15a9bfabac06d14b |
| 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 | 18.0842 |
| 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 | 737 |
| 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-2665839-1276294485.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.06/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.07
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.96
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c limits/solutions = 1
0.09/0.14 c
0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.14 c separating/maxrounds = 1
0.09/0.14 c
0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/maxroundsroot = 5
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.14 c constraints/knapsack/disaggregation = FALSE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 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 | 78 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.55 c 0.4s| 1 | 0 | 160 | - |4064k| 0 | 72 | 231 |2754 | 231 |2573 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.32 c 1.2s| 1 | 0 | 1095 | - |4477k| 0 | 47 | 231 |2754 | 231 |2575 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.67 c 1.5s| 1 | 0 | 1717 | - |4645k| 0 | 58 | 231 |2754 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.00 c 1.9s| 1 | 0 | 1958 | - |5124k| 0 | 72 | 231 |2754 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
2.49/2.55 c 2.4s| 1 | 0 | 2258 | - |5838k| 0 | 67 | 231 |2754 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
4.99/5.02 c 4.9s| 1 | 2 | 2258 | - |5838k| 0 | 67 | 231 |2754 | 231 |2587 | 23 | 0 | 10 | 0.000000e+00 | -- | Inf
237.22/237.32 c 233s| 10000 | 79 |530550 | 52.8 |7609k| 40 | - | 231 |6095 | 231 |2568 | 23 |4980 |1600 | 0.000000e+00 | -- | Inf
450.04/450.23 c 441s| 20000 | 131 | 1147k| 57.2 |8308k| 48 | 42 | 231 |6821 | 231 |2568 | 23 |9879 |2205 | 0.000000e+00 | -- | Inf
660.38/660.65 c 646s| 30000 | 106 | 1751k| 58.3 |8666k| 48 | 25 | 231 |7656 | 231 |2568 | 23 | 15k|2833 | 0.000000e+00 | -- | Inf
883.32/883.63 c 863s| 40000 | 107 | 2412k| 60.2 |9154k| 51 | - | 231 |8696 | 0 | 0 | 23 | 20k|3378 | 0.000000e+00 | -- | Inf
1111.85/1112.23 c 1086s| 50000 | 47 | 3102k| 62.0 |9043k| 58 | - | 231 |8579 | 231 |2568 | 23 | 25k|3796 | 0.000000e+00 | -- | Inf
1332.98/1333.47 c 1302s| 60000 | 10 | 3759k| 62.6 |9115k| 58 | - | 231 |9129 | 231 |2568 | 23 | 30k|4224 | 0.000000e+00 | -- | Inf
1353.69/1354.17 c
1353.69/1354.17 c SCIP Status : problem is solved [infeasible]
1353.69/1354.17 c Solving Time (sec) : 1322.22
1353.69/1354.17 c Solving Nodes : 60945
1353.69/1354.17 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1353.69/1354.17 c Dual Bound : +1.00000000000000e+20
1353.69/1354.17 c Gap : 0.00 %
1353.69/1354.17 s UNSATISFIABLE
1353.69/1354.17 c SCIP Status : problem is solved [infeasible]
1353.69/1354.17 c Solving Time : 1322.22
1353.69/1354.17 c Original Problem :
1353.69/1354.17 c Problem name : HOME/instance-2665839-1276294485.opb
1353.69/1354.17 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1353.69/1354.17 c Constraints : 2707 initial, 2707 maximal
1353.69/1354.17 c Presolved Problem :
1353.69/1354.17 c Problem name : t_HOME/instance-2665839-1276294485.opb
1353.69/1354.17 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1353.69/1354.17 c Constraints : 2564 initial, 9447 maximal
1353.69/1354.17 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1353.69/1354.17 c trivial : 0.00 0 0 0 0 0 0 0 0
1353.69/1354.17 c dualfix : 0.00 0 0 0 0 0 0 0 0
1353.69/1354.17 c boundshift : 0.00 0 0 0 0 0 0 0 0
1353.69/1354.17 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1353.69/1354.17 c implics : 0.00 0 0 0 0 0 0 0 0
1353.69/1354.17 c probing : 0.00 0 0 0 0 0 0 0 0
1353.69/1354.17 c knapsack : 0.01 0 0 0 0 0 0 0 0
1353.69/1354.17 c setppc : 0.00 0 0 0 0 0 0 0 0
1353.69/1354.17 c linear : 0.04 0 0 0 0 0 143 0 0
1353.69/1354.17 c logicor : 0.01 0 0 0 0 0 0 0 0
1353.69/1354.17 c root node : - 1 - - 1 - - - -
1353.69/1354.17 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1353.69/1354.17 c integral : 0 0 0 31494 0 132 1454 0 0 61122
1353.69/1354.17 c knapsack : 1 5 211680 0 0 221 80110 0 0 0
1353.69/1354.17 c setppc : 22 5 211561 0 0 905 329323 0 0 0
1353.69/1354.17 c linear : 0+ 5 203396 0 0 7 630 3 0 0
1353.69/1354.17 c logicor : 2541+ 5 110331 0 0 239 357928 0 0 0
1353.69/1354.17 c countsols : 0 0 0 0 0 0 0 0 0 0
1353.69/1354.17 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1353.69/1354.17 c integral : 151.58 0.00 0.00 151.58 0.00
1353.69/1354.17 c knapsack : 1.57 0.00 1.57 0.00 0.00
1353.69/1354.17 c setppc : 3.47 0.00 3.47 0.00 0.00
1353.69/1354.17 c linear : 1.41 0.00 1.41 0.00 0.00
1353.69/1354.17 c logicor : 16.74 0.00 16.74 0.00 0.00
1353.69/1354.17 c countsols : 0.00 0.00 0.00 0.00 0.00
1353.69/1354.17 c Propagators : Time Calls Cutoffs DomReds
1353.69/1354.17 c vbounds : 0.12 1 0 0
1353.69/1354.17 c rootredcost : 0.18 0 0 0
1353.69/1354.17 c pseudoobj : 0.14 0 0 0
1353.69/1354.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1353.69/1354.17 c propagation : 0.10 1372 1364 6794 20.7 13 23.3 -
1353.69/1354.17 c infeasible LP : 11.15 29054 22817 126542 33.2 92 14.6 0
1353.69/1354.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1353.69/1354.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1353.69/1354.17 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1353.69/1354.17 c applied globally : - - - 29411 19.6 - - -
1353.69/1354.17 c applied locally : - - - 1416 33.6 - - -
1353.69/1354.17 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1353.69/1354.17 c cut pool : 0.00 4 - - 4 - (maximal pool size: 640)
1353.69/1354.17 c redcost : 0.31 30751 0 0 0 0
1353.69/1354.17 c impliedbounds : 0.00 5 0 0 0 0
1353.69/1354.17 c intobj : 0.00 0 0 0 0 0
1353.69/1354.17 c cgmip : 0.00 0 0 0 0 0
1353.69/1354.17 c gomory : 0.73 5 0 0 1501 0
1353.69/1354.17 c strongcg : 0.44 5 0 0 2500 0
1353.69/1354.17 c cmir : 0.00 0 0 0 0 0
1353.69/1354.17 c flowcover : 0.00 0 0 0 0 0
1353.69/1354.17 c clique : 0.00 5 0 0 0 0
1353.69/1354.17 c zerohalf : 0.00 0 0 0 0 0
1353.69/1354.17 c mcf : 0.00 1 0 0 0 0
1353.69/1354.17 c rapidlearning : 0.20 1 0 0 0 190
1353.69/1354.17 c Pricers : Time Calls Vars
1353.69/1354.17 c problem variables: 0.00 0 0
1353.69/1354.17 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1353.69/1354.17 c relpscost : 151.42 31494 132 1454 0 0 61122
1353.69/1354.17 c pscost : 0.00 0 0 0 0 0 0
1353.69/1354.17 c inference : 0.00 0 0 0 0 0 0
1353.69/1354.17 c mostinf : 0.00 0 0 0 0 0 0
1353.69/1354.17 c leastinf : 0.00 0 0 0 0 0 0
1353.69/1354.17 c fullstrong : 0.00 0 0 0 0 0 0
1353.69/1354.17 c allfullstrong : 0.00 0 0 0 0 0 0
1353.69/1354.17 c random : 0.00 0 0 0 0 0 0
1353.69/1354.17 c Primal Heuristics : Time Calls Found
1353.69/1354.17 c LP solutions : 0.00 - 0
1353.69/1354.17 c pseudo solutions : 0.00 - 0
1353.69/1354.17 c trivial : 0.00 1 0
1353.69/1354.17 c simplerounding : 0.00 0 0
1353.69/1354.17 c zirounding : 0.00 0 0
1353.69/1354.17 c rounding : 0.00 0 0
1353.69/1354.17 c shifting : 0.00 0 0
1353.69/1354.17 c intshifting : 0.00 0 0
1353.69/1354.17 c oneopt : 0.00 0 0
1353.69/1354.17 c twoopt : 0.00 0 0
1353.69/1354.17 c fixandinfer : 0.00 0 0
1353.69/1354.17 c feaspump : 0.00 0 0
1353.69/1354.17 c coefdiving : 0.00 0 0
1353.69/1354.17 c pscostdiving : 0.00 0 0
1353.69/1354.17 c fracdiving : 0.00 0 0
1353.69/1354.17 c veclendiving : 0.00 0 0
1353.69/1354.17 c intdiving : 0.00 0 0
1353.69/1354.17 c actconsdiving : 0.00 0 0
1353.69/1354.17 c objpscostdiving : 0.00 0 0
1353.69/1354.17 c rootsoldiving : 0.00 0 0
1353.69/1354.17 c linesearchdiving : 0.00 0 0
1353.69/1354.17 c guideddiving : 0.00 0 0
1353.69/1354.17 c octane : 0.00 0 0
1353.69/1354.17 c rens : 0.00 0 0
1353.69/1354.17 c rins : 0.00 0 0
1353.69/1354.17 c localbranching : 0.00 0 0
1353.69/1354.17 c mutation : 0.00 0 0
1353.69/1354.17 c crossover : 0.00 0 0
1353.69/1354.17 c dins : 0.00 0 0
1353.69/1354.17 c undercover : 0.00 0 0
1353.69/1354.17 c nlp : 0.00 0 0
1353.69/1354.17 c trysol : 0.00 0 0
1353.69/1354.17 c LP : Time Calls Iterations Iter/call Iter/sec
1353.69/1354.17 c primal LP : 0.00 0 0 0.00 -
1353.69/1354.17 c dual LP : 1093.01 60510 3822262 63.17 3497.01
1353.69/1354.17 c lex dual LP : 0.00 0 0 0.00 -
1353.69/1354.17 c barrier LP : 0.00 0 0 0.00 -
1353.69/1354.17 c diving/probing LP: 0.00 0 0 0.00 -
1353.69/1354.17 c strong branching : 150.08 4250 551520 129.77 3674.84
1353.69/1354.17 c (at root node) : - 10 6034 603.40 -
1353.69/1354.17 c conflict analysis: 0.00 0 0 0.00 -
1353.69/1354.17 c B&B Tree :
1353.69/1354.17 c number of runs : 1
1353.69/1354.17 c nodes : 60945
1353.69/1354.17 c nodes (total) : 60945
1353.69/1354.17 c nodes left : 0
1353.69/1354.17 c max depth : 58
1353.69/1354.17 c max depth (total): 58
1353.69/1354.17 c backtracks : 5912 (9.7%)
1353.69/1354.17 c delayed cutoffs : 178
1353.69/1354.17 c repropagations : 79556 (85340 domain reductions, 174 cutoffs)
1353.69/1354.17 c avg switch length: 4.51
1353.69/1354.17 c switching time : 17.01
1353.69/1354.17 c Solution :
1353.69/1354.17 c Solutions found : 0 (0 improvements)
1353.69/1354.17 c Primal Bound : infeasible
1353.69/1354.17 c Dual Bound : -
1353.69/1354.17 c Gap : 0.00 %
1353.69/1354.17 c Root Dual Bound : +0.00000000000000e+00
1353.69/1354.17 c Root Iterations : 2258
1353.78/1354.20 c Time complete: 1353.78.
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-2665839-1276294485/watcher-2665839-1276294485 -o /tmp/evaluation-result-2665839-1276294485/solver-2665839-1276294485 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665839-1276294485.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.00 1.00 3/106 7426 /proc/meminfo: memFree=1548656/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=9288 CPUtime=0 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 1114 0 0 0 0 0 0 0 21 0 1 0 5052424 9510912 1034 1992294400 4194304 9819077 140734764040352 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7426/statm: 2322 1042 371 1374 0 943 0 [startup+0.0680709 s] /proc/loadavg: 1.02 1.00 1.00 3/106 7426 /proc/meminfo: memFree=1548656/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=15384 CPUtime=0.06 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 3193 0 0 0 5 1 0 0 23 0 1 0 5052424 15753216 2759 1992294400 4194304 9819077 140734764040352 18446744073709551615 4409092 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 3846 2762 437 1374 0 2467 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15384 [startup+0.101075 s] /proc/loadavg: 1.02 1.00 1.00 3/106 7426 /proc/meminfo: memFree=1548656/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=17620 CPUtime=0.09 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 3814 0 0 0 8 1 0 0 23 0 1 0 5052424 18042880 3123 1992294400 4194304 9819077 140734764040352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 4405 3123 489 1374 0 3026 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17620 [startup+0.301095 s] /proc/loadavg: 1.02 1.00 1.00 3/106 7426 /proc/meminfo: memFree=1548656/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=35084 CPUtime=0.29 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 10377 0 0 0 25 4 0 0 23 0 1 0 5052424 35926016 7062 1992294400 4194304 9819077 140734764040352 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 8771 7075 670 1374 0 7392 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35084 [startup+0.701137 s] /proc/loadavg: 1.02 1.00 1.00 3/106 7426 /proc/meminfo: memFree=1548656/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=29424 CPUtime=0.69 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 13349 0 0 0 62 7 0 0 25 0 1 0 5052424 30130176 6294 1992294400 4194304 9819077 140734764040352 18446744073709551615 6047806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 7356 6294 692 1374 0 5977 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29424 [startup+1.50122 s] /proc/loadavg: 1.02 1.00 1.00 2/107 7427 /proc/meminfo: memFree=1524716/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=32976 CPUtime=1.49 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 14037 0 0 0 141 8 0 0 25 0 1 0 5052424 33767424 6950 1992294400 4194304 9819077 140734764040352 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 8244 6950 692 1374 0 6865 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32976 [startup+3.10139 s] /proc/loadavg: 1.02 1.00 1.00 2/107 7427 /proc/meminfo: memFree=1521864/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=38756 CPUtime=3.09 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 15301 0 0 0 300 9 0 0 25 0 1 0 5052424 39686144 7628 1992294400 4194304 9819077 140734764040352 18446744073709551615 7311733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9689 7628 698 1374 0 8310 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38756 [startup+6.30172 s] /proc/loadavg: 1.02 1.00 1.00 2/107 7427 /proc/meminfo: memFree=1519880/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=38172 CPUtime=6.29 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 17517 0 0 0 617 12 0 0 25 0 1 0 5052424 39088128 7639 1992294400 4194304 9819077 140734764040352 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9543 7639 705 1374 0 8164 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38172 [startup+12.7014 s] /proc/loadavg: 1.02 1.00 1.00 2/107 7427 /proc/meminfo: memFree=1519880/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=38004 CPUtime=12.69 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 22423 0 0 0 1251 18 0 0 25 0 1 0 5052424 38916096 7646 1992294400 4194304 9819077 140734764040352 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9501 7646 719 1374 0 8122 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38004 [startup+25.5007 s] /proc/loadavg: 1.01 1.00 1.00 2/107 7429 /proc/meminfo: memFree=1519880/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=37852 CPUtime=25.48 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 31391 0 0 0 2519 29 0 0 25 0 1 0 5052424 38760448 7650 1992294400 4194304 9819077 140734764040352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9463 7650 719 1374 0 8084 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37852 [startup+51.1004 s] /proc/loadavg: 1.01 1.00 1.00 2/107 7429 /proc/meminfo: memFree=1519880/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=38432 CPUtime=51.07 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 62570 0 0 0 5043 64 0 0 25 0 1 0 5052424 39354368 7682 1992294400 4194304 9819077 140734764040352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9608 7682 722 1374 0 8229 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38432 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7431 /proc/meminfo: memFree=1519756/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=36000 CPUtime=102.27 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 158064 0 0 0 10072 155 0 0 25 0 1 0 5052424 36864000 7632 1992294400 4194304 9819077 140734764040352 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9044 7633 722 1374 0 7665 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36000 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7431 /proc/meminfo: memFree=1519632/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=36376 CPUtime=162.24 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 296795 0 0 0 15950 274 0 0 25 0 1 0 5052424 37249024 7704 1992294400 4194304 9819077 140734764040352 18446744073709551615 7289099 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9094 7704 722 1374 0 7715 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 36376 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7433 /proc/meminfo: memFree=1519136/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=36944 CPUtime=222.22 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 470041 0 0 0 21817 405 0 0 25 0 1 0 5052424 37830656 7768 1992294400 4194304 9819077 140734764040352 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9236 7768 722 1374 0 7857 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 36944 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7435 /proc/meminfo: memFree=1519012/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=37444 CPUtime=282.21 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 658975 0 0 0 27674 547 0 0 25 0 1 0 5052424 38342656 7806 1992294400 4194304 9819077 140734764040352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9361 7806 722 1374 0 7982 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 37444 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7437 /proc/meminfo: memFree=1518888/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=37596 CPUtime=342.19 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 869259 0 0 0 33531 688 0 0 25 0 1 0 5052424 38498304 7804 1992294400 4194304 9819077 140734764040352 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9399 7804 722 1374 0 8020 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 37596 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7439 /proc/meminfo: memFree=1518392/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=37852 CPUtime=402.16 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 1089539 0 0 0 39386 830 0 0 25 0 1 0 5052424 38760448 7823 1992294400 4194304 9819077 140734764040352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9463 7823 722 1374 0 8084 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 37852 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7439 /proc/meminfo: memFree=1518392/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=37864 CPUtime=462.15 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 1302853 0 0 0 45242 973 0 0 25 0 1 0 5052424 38772736 7856 1992294400 4194304 9819077 140734764040352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9466 7856 722 1374 0 8087 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 37864 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7441 /proc/meminfo: memFree=1518144/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=38088 CPUtime=522.12 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 1522703 0 0 0 51098 1114 0 0 25 0 1 0 5052424 39002112 7900 1992294400 4194304 9819077 140734764040352 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9522 7900 722 1374 0 8143 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 38088 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7443 /proc/meminfo: memFree=1518144/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=38092 CPUtime=582.1 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 1761480 0 0 0 56942 1268 0 0 25 0 1 0 5052424 39006208 7889 1992294400 4194304 9819077 140734764040352 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9523 7889 722 1374 0 8144 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 38092 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7445 /proc/meminfo: memFree=1517896/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=38480 CPUtime=642.09 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 1994064 0 0 0 62792 1417 0 0 25 0 1 0 5052424 39403520 7951 1992294400 4194304 9819077 140734764040352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9620 7951 722 1374 0 8241 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 38480 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1517896/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=38476 CPUtime=762.06 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 2486059 0 0 0 74484 1722 0 0 25 0 1 0 5052424 39399424 8002 1992294400 4194304 9819077 140734764040352 18446744073709551615 7291645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9619 8002 722 1374 0 8240 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 38476 [startup+822.301 s] /proc/loadavg: 1.05 1.02 1.00 2/107 7449 /proc/meminfo: memFree=1517896/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=38516 CPUtime=822.03 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 2727016 0 0 0 80335 1868 0 0 25 0 1 0 5052424 39440384 7950 1992294400 4194304 9819077 140734764040352 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9629 7950 722 1374 0 8250 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 38516 [startup+882.301 s] /proc/loadavg: 1.13 1.05 1.01 2/107 7451 /proc/meminfo: memFree=1517028/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39376 CPUtime=882.02 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 2956958 0 0 0 86188 2014 0 0 25 0 1 0 5052424 40321024 8171 1992294400 4194304 9819077 140734764040352 18446744073709551615 7292350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9844 8171 722 1374 0 8465 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 39376 [startup+942.301 s] /proc/loadavg: 1.12 1.05 1.00 2/107 7453 /proc/meminfo: memFree=1516904/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39564 CPUtime=942 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 3183338 0 0 0 92043 2157 0 0 25 0 1 0 5052424 40513536 8210 1992294400 4194304 9819077 140734764040352 18446744073709551615 6512998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9848 8208 722 1374 0 8469 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 39564 [startup+1002.3 s] /proc/loadavg: 1.11 1.06 1.00 2/107 7455 /proc/meminfo: memFree=1516780/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39692 CPUtime=1001.98 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 3417962 0 0 0 97894 2304 0 0 25 0 1 0 5052424 40644608 8252 1992294400 4194304 9819077 140734764040352 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9923 8252 722 1374 0 8544 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 39692 [startup+1062.3 s] /proc/loadavg: 1.10 1.06 1.00 2/107 7455 /proc/meminfo: memFree=1516656/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39704 CPUtime=1061.96 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 3658539 0 0 0 103746 2450 0 0 25 0 1 0 5052424 40656896 8240 1992294400 4194304 9819077 140734764040352 18446744073709551615 7816439 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9926 8240 722 1374 0 8547 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 39704 [startup+1122.3 s] /proc/loadavg: 1.09 1.06 1.00 2/107 7457 /proc/meminfo: memFree=1516532/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39708 CPUtime=1121.95 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 3886031 0 0 0 109606 2589 0 0 25 0 1 0 5052424 40660992 8266 1992294400 4194304 9819077 140734764040352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9927 8266 722 1374 0 8548 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 39708 [startup+1182.3 s] /proc/loadavg: 1.13 1.08 1.01 2/107 7459 /proc/meminfo: memFree=1516532/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39708 CPUtime=1181.93 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4124235 0 0 0 115453 2740 0 0 25 0 1 0 5052424 40660992 8285 1992294400 4194304 9819077 140734764040352 18446744073709551615 7299322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9927 8285 722 1374 0 8548 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 39708 [startup+1242.3 s] /proc/loadavg: 1.05 1.06 1.00 2/107 7461 /proc/meminfo: memFree=1516284/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39768 CPUtime=1241.91 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4361321 0 0 0 121306 2885 0 0 25 0 1 0 5052424 40722432 8270 1992294400 4194304 9819077 140734764040352 18446744073709551615 6566701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9942 8270 722 1374 0 8563 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 39768 [startup+1302.3 s] /proc/loadavg: 1.02 1.05 1.00 2/107 7463 /proc/meminfo: memFree=1516284/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39832 CPUtime=1301.9 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4589266 0 0 0 127168 3022 0 0 25 0 1 0 5052424 40787968 8279 1992294400 4194304 9819077 140734764040352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9958 8279 722 1374 0 8579 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 39832 Solver just ended. Dumping a history of the last processes samples [startup+1305.5 s] /proc/loadavg: 1.02 1.05 1.00 2/107 7463 /proc/meminfo: memFree=1515912/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39804 CPUtime=1305.1 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4602514 0 0 0 127479 3031 0 0 25 0 1 0 5052424 40759296 8297 1992294400 4194304 9819077 140734764040352 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9951 8297 722 1374 0 8572 0 Current children cumulated CPU time (s) 1305.1 Current children cumulated vsize (KiB) 39804 [startup+1331.1 s] /proc/loadavg: 1.01 1.04 1.00 2/107 7463 /proc/meminfo: memFree=1516160/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=40012 CPUtime=1330.69 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4701922 0 0 0 129976 3093 0 0 25 0 1 0 5052424 40972288 8320 1992294400 4194304 9819077 140734764040352 18446744073709551615 7311965 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 10003 8320 722 1374 0 8624 0 Current children cumulated CPU time (s) 1330.69 Current children cumulated vsize (KiB) 40012 [startup+1343.9 s] /proc/loadavg: 1.01 1.04 1.00 2/107 7463 /proc/meminfo: memFree=1516160/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=40012 CPUtime=1343.49 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4752156 0 0 0 131225 3124 0 0 25 0 1 0 5052424 40972288 8326 1992294400 4194304 9819077 140734764040352 18446744073709551615 6391609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 10003 8326 722 1374 0 8624 0 Current children cumulated CPU time (s) 1343.49 Current children cumulated vsize (KiB) 40012 [startup+1350.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 7463 /proc/meminfo: memFree=1516160/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39924 CPUtime=1349.88 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4777516 0 0 0 131848 3140 0 0 25 0 1 0 5052424 40882176 8318 1992294400 4194304 9819077 140734764040352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9981 8318 722 1374 0 8602 0 Current children cumulated CPU time (s) 1349.88 Current children cumulated vsize (KiB) 39924 [startup+1351.91 s] /proc/loadavg: 1.00 1.04 1.00 2/107 7463 /proc/meminfo: memFree=1516160/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39984 CPUtime=1351.49 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4783992 0 0 0 132005 3144 0 0 25 0 1 0 5052424 40943616 8340 1992294400 4194304 9819077 140734764040352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9996 8340 722 1374 0 8617 0 Current children cumulated CPU time (s) 1351.49 Current children cumulated vsize (KiB) 39984 [startup+1353.5 s] /proc/loadavg: 1.00 1.04 1.00 2/107 7463 /proc/meminfo: memFree=1516160/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39984 CPUtime=1353.09 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4789927 0 0 0 132160 3149 0 0 25 0 1 0 5052424 40943616 8322 1992294400 4194304 9819077 140734764040352 18446744073709551615 7295962 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9996 8322 722 1374 0 8617 0 Current children cumulated CPU time (s) 1353.09 Current children cumulated vsize (KiB) 39984 [startup+1353.9 s] /proc/loadavg: 1.00 1.04 1.00 2/107 7463 /proc/meminfo: memFree=1516160/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=40012 CPUtime=1353.48 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4791365 0 0 0 132199 3149 0 0 25 0 1 0 5052424 40972288 8342 1992294400 4194304 9819077 140734764040352 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 10003 8342 722 1374 0 8624 0 Current children cumulated CPU time (s) 1353.48 Current children cumulated vsize (KiB) 40012 [startup+1354.11 s] /proc/loadavg: 1.00 1.04 1.00 2/107 7463 /proc/meminfo: memFree=1516160/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=39112 CPUtime=1353.69 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4792047 0 0 0 132219 3150 0 0 25 0 1 0 5052424 40050688 8305 1992294400 4194304 9819077 140734764040352 18446744073709551615 7226843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7426/statm: 9778 8305 722 1374 0 8399 0 Current children cumulated CPU time (s) 1353.69 Current children cumulated vsize (KiB) 39112 [startup+1354.2 s] /proc/loadavg: 1.00 1.04 1.00 2/107 7463 /proc/meminfo: memFree=1516160/2059040 swapFree=4192956/4192956 [pid=7426] ppid=7424 vsize=22256 CPUtime=1353.78 /proc/7426/stat : 7426 (pbscip.linux.x8) R 7424 7426 7313 0 -1 4202496 4792341 0 0 0 132228 3150 0 0 25 0 1 0 5052424 22790144 4792 1992294400 4194304 9819077 140734764040352 18446744073709551615 4333616 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7426/statm: 5564 4792 725 1374 0 4185 0 Current children cumulated CPU time (s) 1353.78 Current children cumulated vsize (KiB) 22256 Child status: 0 Real time (s): 1354.2 CPU time (s): 1353.8 CPU user time (s): 1322.29 CPU system time (s): 31.5092 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 43196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1322.29 system time used= 31.5092 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4792345 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= 2 involuntary context switches= 2679 runsolver used 2.44763 second user time and 6.18706 second system time The end
Begin job on node002 at 2010-06-12 00:14:45 IDJOB=2665839 IDBENCH=1309 IDSOLVER=1168 FILE ID=node002/2665839-1276294485 PBS_JOBID= 11173119 Free space on /tmp= 62392 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.1900584106.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-2665839-1276294485/watcher-2665839-1276294485 -o /tmp/evaluation-result-2665839-1276294485/solver-2665839-1276294485 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665839-1276294485.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4a96a2353b6045ef15a9bfabac06d14b RANDOM SEED=148718480 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1549060 kB Buffers: 67692 kB Cached: 314652 kB SwapCached: 0 kB Active: 177860 kB Inactive: 263820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1549060 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6248 kB Writeback: 0 kB AnonPages: 59172 kB Mapped: 15420 kB Slab: 46436 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181688 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= 62388 MiB End job on node002 at 2010-06-12 00:37:19