| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 728.19 | 728.4 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb |
| MD5SUM | aacf18cf0b8ed9727f2f81c2bd5074e6 |
| 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 | 22.3536 |
| 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 | 717 |
| 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.04 c SCIP version 1.1.0.7
0.00/0.04 c LP-Solver Clp 1.8.2
0.00/0.04 c user parameter file <scip.set> not found - using default parameters
0.00/0.04 c read problem <HOME/instance-1868229-1245116862.opb>
0.00/0.04 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.05 c No objective function, only one solution is needed.
0.00/0.05 c start presolving problem
0.00/0.05 c presolving:
0.06/0.09 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.10 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.11 c presolving (3 rounds):
0.09/0.11 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 242 implications, 22 cliques
0.09/0.11 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.11 c 1 constraints of type <knapsack>
0.09/0.11 c 22 constraints of type <setppc>
0.09/0.11 c 2541 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.06
0.09/0.11 c SATUNSAT-LIN
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c separating/flowcover/freq = c -1
0.09/0.11 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c separating/cmir/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/veclendiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/veclendiving/freq = c -1
0.09/0.11 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/simplerounding/freq = c -1
0.09/0.11 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/shifting/freq = c -1
0.09/0.11 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/rounding/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.11 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.09/0.11 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11 c heuristics/rootsoldiving/freq = c -1
0.09/0.11 c # number of nodes added to the contingent of the total nodes
0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.11 c heuristics/rens/nodesofs = c 2000
0.09/0.11 c # minimum percentage of integer variables that have to be fixable
0.09/0.11 c # [type: real, range: [0,1], default: 0.5]
0.09/0.11 c heuristics/rens/minfixingrate = c 0.3
0.09/0.11 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c heuristics/rens/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/pscostdiving/freq = c -1
0.09/0.11 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/oneopt/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.11 c # [type: real, range: [0,1], default: 0.01]
0.09/0.11 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.09/0.11 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11 c heuristics/objpscostdiving/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/linesearchdiving/freq = c -1
0.09/0.11 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/intshifting/freq = c -1
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/intdiving/maxlpiterquot = c 0.075
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/guideddiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/guideddiving/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/fracdiving/maxlpiterofs = c 1500
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/fracdiving/freq = c -1
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/feaspump/maxlpiterofs = c 2000
0.09/0.11 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11 c heuristics/feaspump/freq = c -1
0.09/0.11 c # minimum percentage of integer variables that have to be fixed
0.09/0.11 c # [type: real, range: [0,1], default: 0.666]
0.09/0.12 c heuristics/crossover/minfixingrate = c 0.5
0.09/0.12 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.12 c # [type: real, range: [0,1], default: 0.1]
0.09/0.12 c heuristics/crossover/nodesquot = c 0.15
0.09/0.12 c # number of nodes without incumbent change that heuristic should wait
0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.12 c heuristics/crossover/nwaitingnodes = c 100
0.09/0.12 c # number of nodes added to the contingent of the total nodes
0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.12 c heuristics/crossover/nodesofs = c 750
0.09/0.12 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.12 c heuristics/crossover/freq = c -1
0.09/0.12 c # additional number of allowed LP iterations
0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.12 c heuristics/coefdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.12 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.12 c heuristics/coefdiving/freq = c -1
0.09/0.12 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c presolving/probing/maxrounds = c 0
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = c TRUE
0.09/0.12 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.12 c constraints/knapsack/disaggregation = c FALSE
0.09/0.12 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c constraints/knapsack/maxnumcardlift = c 0
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = c TRUE
0.09/0.12 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/maxroundsroot = c 5
0.09/0.12 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.12 c separating/maxrounds = c 1
0.09/0.12 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c limits/solutions = c 1
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = c 1620
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = c 1791
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = c 10000
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving problem
0.09/0.12 c
0.09/0.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 0 | 60 |3513k| 0 | 29 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 78 |3739k| 0 | 35 | 231 |2564 |2564 | 231 |2567 | 3 | 0 | 0 | 1.100000e+01 | -- | Inf
0.39/0.45 c 0.4s| 1 | 0 | 130 |4173k| 0 | 44 | 231 |2564 |2564 | 231 |2570 | 6 | 0 | 0 | 1.100000e+01 | -- | Inf
0.69/0.78 c 0.7s| 1 | 0 | 168 |4268k| 0 | 47 | 231 |2564 |2564 | 231 |2571 | 7 | 0 | 0 | 1.100000e+01 | -- | Inf
1.10/1.15 c 1.1s| 1 | 0 | 280 |4321k| 0 | 49 | 231 |2564 |2564 | 231 |2574 | 10 | 0 | 0 | 1.100000e+01 | -- | Inf
1.49/1.50 c 1.4s| 1 | 0 | 332 |4355k| 0 | 48 | 231 |2564 |2564 | 231 |2577 | 13 | 0 | 0 | 1.100000e+01 | -- | Inf
2.29/2.39 c 2.3s| 1 | 2 | 332 |4356k| 0 | 48 | 231 |2564 |2564 | 231 |2577 | 13 | 0 | 17 | 1.100000e+01 | -- | Inf
133.84/133.91 c 133s| 10000 | 1117 |379280 |7335k| 58 | - | 231 |3013 |1080 | 231 |2568 | 13 |1111 |2151 | 1.400000e+01 | -- | Inf
227.82/227.97 c 226s| 20000 | 1538 |725647 |8635k| 58 | - | 231 |3192 |1378 | 231 |2568 | 13 |2740 |2522 | 1.500000e+01 | -- | Inf
324.40/324.54 c 322s| 30000 | 1931 | 1059k|9810k| 58 | 30 | 231 |2957 |1678 | 231 |2568 | 13 |3937 |3083 | 1.500000e+01 | -- | Inf
421.77/421.99 c 419s| 40000 | 2167 | 1393k| 10M| 58 | - | 231 |3072 |1229 | 231 |2568 | 13 |4970 |3696 | 1.500000e+01 | -- | Inf
504.65/504.89 c 502s| 50000 | 1889 | 1671k| 10M| 59 | 30 | 231 |3383 |1066 | 231 |2568 | 13 |6447 |4049 | 1.600000e+01 | -- | Inf
594.32/594.53 c 591s| 60000 | 1649 | 1971k| 10M| 59 | 24 | 231 |3222 |1439 | 231 |2568 | 13 |7638 |4523 | 1.600000e+01 | -- | Inf
669.60/669.88 c 666s| 70000 | 904 | 2199k|8130k| 59 | - | 231 |3361 |1233 | 231 |2568 | 13 |8872 |4910 | 1.700000e+01 | -- | Inf
728.09/728.38 c
728.09/728.38 c SCIP Status : problem is solved [infeasible]
728.09/728.38 c Solving Time (sec) : 723.91
728.09/728.38 c Solving Nodes : 77524
728.09/728.38 c Primal Bound : +1.00000000000000e+20 (0 solutions)
728.09/728.38 c Dual Bound : +1.00000000000000e+20
728.09/728.38 c Gap : 0.00 %
728.09/728.38 c NODE 77524
728.09/728.38 c DUAL BOUND 1e+20
728.09/728.38 c PRIMAL BOUND 1e+20
728.09/728.38 c GAP 0
728.09/728.38 s UNSATISFIABLE
728.09/728.38 c SCIP Status : problem is solved [infeasible]
728.09/728.38 c Solving Time : 723.91
728.09/728.38 c Original Problem :
728.09/728.38 c Problem name : HOME/instance-1868229-1245116862.opb
728.09/728.38 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
728.09/728.38 c Constraints : 2707 initial, 2707 maximal
728.09/728.38 c Presolved Problem :
728.09/728.38 c Problem name : t_HOME/instance-1868229-1245116862.opb
728.09/728.38 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
728.09/728.38 c Constraints : 2564 initial, 3480 maximal
728.09/728.38 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
728.09/728.38 c trivial : 0.00 0 0 0 0 0 0 0 0
728.09/728.38 c dualfix : 0.00 0 0 0 0 0 0 0 0
728.09/728.38 c boundshift : 0.00 0 0 0 0 0 0 0 0
728.09/728.38 c inttobinary : 0.00 0 0 0 0 0 0 0 0
728.09/728.38 c implics : 0.00 0 0 0 0 0 0 0 0
728.09/728.38 c probing : 0.00 0 0 0 0 0 0 0 0
728.09/728.38 c knapsack : 0.00 0 0 0 0 0 0 0 0
728.09/728.38 c setppc : 0.00 0 0 0 0 0 0 0 0
728.09/728.38 c linear : 0.03 0 0 0 0 0 143 0 0
728.09/728.38 c logicor : 0.02 0 0 0 0 0 0 0 0
728.09/728.38 c root node : - 1 - - 1 - - - -
728.09/728.38 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
728.09/728.38 c integral : 0 0 0 40355 0 317 2037 0 0 77802
728.09/728.38 c knapsack : 1 5 161545 0 0 632 201794 0 0 0
728.09/728.38 c setppc : 22 5 161222 0 0 2259 400491 0 0 0
728.09/728.38 c logicor : 2541+ 5 140417 0 0 660 474371 0 0 0
728.09/728.38 c countsols : 0 0 0 0 0 0 0 0 0 0
728.09/728.38 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
728.09/728.38 c integral : 82.83 0.00 0.00 82.83 0.00
728.09/728.38 c knapsack : 0.81 0.00 0.81 0.00 0.00
728.09/728.38 c setppc : 1.76 0.00 1.76 0.00 0.00
728.09/728.38 c logicor : 10.81 0.00 10.81 0.00 0.00
728.09/728.38 c countsols : 0.00 0.00 0.00 0.00 0.00
728.09/728.38 c Propagators : Time Calls Cutoffs DomReds
728.09/728.38 c rootredcost : 0.12 0 0 0
728.09/728.38 c pseudoobj : 2.19 161863 1 0
728.09/728.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
728.09/728.38 c propagation : 0.19 3551 3551 18428 16.4 46 15.9 -
728.09/728.38 c infeasible LP : 1.19 35033 0 0 0.0 0 0.0 0
728.09/728.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
728.09/728.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
728.09/728.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
728.09/728.38 c applied globally : - - - 9401 14.9 - - -
728.09/728.38 c applied locally : - - - 3 34.0 - - -
728.09/728.38 c Separators : Time Calls Cutoffs DomReds Cuts Conss
728.09/728.38 c cut pool : 0.00 4 - - 10 - (maximal pool size: 306)
728.09/728.38 c redcost : 0.62 39309 0 0 0 0
728.09/728.38 c impliedbounds : 0.00 5 0 0 0 0
728.09/728.38 c intobj : 0.00 0 0 0 0 0
728.09/728.38 c gomory : 0.71 5 0 0 1475 0
728.09/728.38 c strongcg : 0.54 5 0 0 1674 0
728.09/728.38 c cmir : 0.00 0 0 0 0 0
728.09/728.38 c flowcover : 0.00 0 0 0 0 0
728.09/728.38 c clique : 0.00 5 0 0 0 0
728.09/728.38 c zerohalf : 0.00 0 0 0 0 0
728.09/728.38 c mcf : 0.00 1 0 0 0 0
728.09/728.38 c Pricers : Time Calls Vars
728.09/728.38 c problem variables: 0.00 0 0
728.09/728.38 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
728.09/728.38 c relpscost : 82.74 40355 317 2037 0 0 77802
728.09/728.38 c pscost : 0.00 0 0 0 0 0 0
728.09/728.38 c inference : 0.00 0 0 0 0 0 0
728.09/728.38 c mostinf : 0.00 0 0 0 0 0 0
728.09/728.38 c leastinf : 0.00 0 0 0 0 0 0
728.09/728.38 c fullstrong : 0.00 0 0 0 0 0 0
728.09/728.38 c allfullstrong : 0.00 0 0 0 0 0 0
728.09/728.38 c random : 0.00 0 0 0 0 0 0
728.09/728.38 c Primal Heuristics : Time Calls Found
728.09/728.38 c LP solutions : 0.00 - 0
728.09/728.38 c pseudo solutions : 0.00 - 0
728.09/728.38 c simplerounding : 0.00 0 0
728.09/728.38 c rounding : 0.00 0 0
728.09/728.38 c shifting : 0.00 0 0
728.09/728.38 c intshifting : 0.00 0 0
728.09/728.38 c oneopt : 0.00 0 0
728.09/728.38 c fixandinfer : 0.00 0 0
728.09/728.38 c feaspump : 0.00 0 0
728.09/728.38 c coefdiving : 0.00 0 0
728.09/728.38 c pscostdiving : 0.00 0 0
728.09/728.38 c fracdiving : 0.00 0 0
728.09/728.38 c veclendiving : 0.00 0 0
728.09/728.38 c intdiving : 0.00 0 0
728.09/728.38 c actconsdiving : 0.00 0 0
728.09/728.38 c objpscostdiving : 0.00 0 0
728.09/728.38 c rootsoldiving : 0.00 0 0
728.09/728.38 c linesearchdiving : 0.00 0 0
728.09/728.38 c guideddiving : 0.00 0 0
728.09/728.38 c octane : 0.00 0 0
728.09/728.38 c rens : 0.00 0 0
728.09/728.38 c rins : 0.00 0 0
728.09/728.38 c localbranching : 0.00 0 0
728.09/728.38 c mutation : 0.00 0 0
728.09/728.38 c crossover : 0.00 0 0
728.09/728.38 c dins : 0.00 0 0
728.09/728.38 c LP : Time Calls Iterations Iter/call Iter/sec
728.09/728.38 c primal LP : 0.01 0 0 0.00 0.00
728.09/728.38 c dual LP : 584.95 75107 2365084 31.49 4043.22
728.09/728.38 c barrier LP : 0.00 0 0 0.00 -
728.09/728.38 c diving/probing LP: 0.00 0 0 0.00 -
728.09/728.38 c strong branching : 81.06 5296 359195 67.82 4431.22
728.09/728.38 c (at root node) : - 17 3120 183.53 -
728.09/728.38 c conflict analysis: 0.00 0 0 0.00 -
728.09/728.38 c B&B Tree :
728.09/728.38 c number of runs : 1
728.09/728.38 c nodes : 77524
728.09/728.38 c nodes (total) : 77524
728.09/728.38 c nodes left : 0
728.09/728.38 c max depth : 59
728.09/728.38 c max depth (total): 59
728.09/728.38 c backtracks : 8978 (11.6%)
728.09/728.38 c delayed cutoffs : 279
728.09/728.38 c repropagations : 7213 (23116 domain reductions, 279 cutoffs)
728.09/728.38 c avg switch length: 5.22
728.09/728.38 c switching time : 11.59
728.09/728.38 c Solution :
728.09/728.38 c Solutions found : 0 (0 improvements)
728.09/728.38 c Primal Bound : infeasible
728.09/728.38 c Dual Bound : -
728.09/728.38 c Gap : 0.00 %
728.09/728.38 c Root Dual Bound : +1.10000000000000e+01
728.09/728.39 c Time complete: 728.18.
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-1868229-1245116862/watcher-1868229-1245116862 -o /tmp/evaluation-result-1868229-1245116862/solver-1868229-1245116862 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868229-1245116862.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.98 1.00 3/65 32675 /proc/meminfo: memFree=882192/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=8648 CPUtime=0 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 998 0 0 0 0 0 0 0 20 0 1 0 168212693 8855552 982 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/32675/statm: 2162 990 362 1256 0 901 0 [startup+0.0700829 s] /proc/loadavg: 1.00 0.98 1.00 3/65 32675 /proc/meminfo: memFree=882192/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=17624 CPUtime=0.06 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 3557 0 0 0 5 1 0 0 20 0 1 0 168212693 18046976 3187 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 4406 3187 464 1256 0 3145 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 17624 [startup+0.101085 s] /proc/loadavg: 1.00 0.98 1.00 3/65 32675 /proc/meminfo: memFree=882192/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=18752 CPUtime=0.09 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 3854 0 0 0 8 1 0 0 20 0 1 0 168212693 19202048 3484 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 4688 3484 477 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.301104 s] /proc/loadavg: 1.00 0.98 1.00 3/65 32675 /proc/meminfo: memFree=882192/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=26480 CPUtime=0.29 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 5697 0 0 0 27 2 0 0 18 0 1 0 168212693 27115520 5327 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 6620 5327 649 1256 0 5359 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26480 [startup+0.701142 s] /proc/loadavg: 1.00 0.98 1.00 3/65 32675 /proc/meminfo: memFree=882192/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=29616 CPUtime=0.69 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 6330 0 0 0 67 2 0 0 20 0 1 0 168212693 30326784 5960 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 7404 5960 649 1256 0 6143 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29616 [startup+1.50222 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=860808/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=30324 CPUtime=1.49 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 6518 0 0 0 146 3 0 0 25 0 1 0 168212693 31051776 6148 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 7581 6148 649 1256 0 6320 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30324 [startup+3.10137 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=859912/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=32620 CPUtime=3.09 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 7066 0 0 0 305 4 0 0 25 0 1 0 168212693 33402880 6233 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 8155 6233 670 1256 0 6894 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32620 [startup+6.30167 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=859336/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=29844 CPUtime=6.28 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 9494 0 0 0 623 5 0 0 25 0 1 0 168212693 30560256 6306 1992294400 4194304 9342243 548682068736 18446744073709551615 8223589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 7461 6306 670 1256 0 6200 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29844 [startup+12.7013 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=859272/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=32936 CPUtime=12.69 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 14315 0 0 0 1259 10 0 0 25 0 1 0 168212693 33726464 6368 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 8234 6368 674 1256 0 6973 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32936 [startup+25.5015 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=859336/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=32604 CPUtime=25.48 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 27007 0 0 0 2528 20 0 0 25 0 1 0 168212693 33386496 6388 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 8151 6388 678 1256 0 6890 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32604 [startup+51.1019 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=857544/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=34048 CPUtime=51.07 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 44380 0 0 0 5064 43 0 0 25 0 1 0 168212693 34865152 6727 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 8512 6727 678 1256 0 7251 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34048 [startup+102.306 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=856584/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=33664 CPUtime=102.26 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 62907 0 0 0 10152 74 0 0 25 0 1 0 168212693 34471936 7098 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 8416 7098 678 1256 0 7155 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33664 [startup+162.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=854664/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=37712 CPUtime=162.23 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 78711 0 0 0 16115 108 0 0 25 0 1 0 168212693 38617088 7561 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 9428 7561 678 1256 0 8167 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 37712 [startup+222.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=853704/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=36388 CPUtime=222.22 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 88037 0 0 0 22082 140 0 0 25 0 1 0 168212693 37261312 7794 1992294400 4194304 9342243 548682068736 18446744073709551615 7289228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 9097 7794 678 1256 0 7836 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 36388 [startup+282.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=852680/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=39336 CPUtime=282.2 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 91856 0 0 0 28050 170 0 0 25 0 1 0 168212693 40280064 8037 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 9834 8037 678 1256 0 8573 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 39336 [startup+342.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=852296/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=38044 CPUtime=342.18 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 100307 0 0 0 34016 202 0 0 25 0 1 0 168212693 38957056 8131 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 9511 8131 678 1256 0 8250 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 38044 [startup+402.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850248/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=39880 CPUtime=402.17 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 107618 0 0 0 39983 234 0 0 25 0 1 0 168212693 40837120 8595 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 9970 8595 678 1256 0 8709 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 39880 [startup+462.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850248/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=39896 CPUtime=462.15 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 118001 0 0 0 45947 268 0 0 25 0 1 0 168212693 40853504 8597 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 9974 8597 678 1256 0 8713 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 39896 [startup+522.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850312/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=39916 CPUtime=522.14 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 128979 0 0 0 51912 302 0 0 25 0 1 0 168212693 40873984 8594 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 9979 8594 678 1256 0 8718 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 39916 [startup+582.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850376/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=39884 CPUtime=582.12 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 139384 0 0 0 57880 332 0 0 25 0 1 0 168212693 40841216 8663 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 9971 8663 678 1256 0 8710 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 39884 [startup+642.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850312/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=40256 CPUtime=642.11 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 150676 0 0 0 63845 366 0 0 25 0 1 0 168212693 41222144 8633 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 10064 8633 678 1256 0 8803 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 40256 [startup+702.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850248/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=40272 CPUtime=702.08 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 160537 0 0 0 69807 401 0 0 25 0 1 0 168212693 41238528 8671 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 10068 8671 678 1256 0 8807 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 40272 Solver just ended. Dumping a history of the last processes samples [startup+703.901 s] /proc/loadavg: 1.00 0.98 1.00 3/66 32676 /proc/meminfo: memFree=850312/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=40260 CPUtime=703.69 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 161074 0 0 0 69967 402 0 0 25 0 1 0 168212693 41226240 8625 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 10065 8625 678 1256 0 8804 0 Current children cumulated CPU time (s) 703.69 Current children cumulated vsize (KiB) 40260 [startup+716.702 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850184/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=40268 CPUtime=716.49 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 166019 0 0 0 71237 412 0 0 25 0 1 0 168212693 41234432 8658 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 10067 8658 678 1256 0 8806 0 Current children cumulated CPU time (s) 716.49 Current children cumulated vsize (KiB) 40268 [startup+723.101 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850312/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=40248 CPUtime=722.88 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 169083 0 0 0 71871 417 0 0 25 0 1 0 168212693 41213952 8656 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 10062 8656 678 1256 0 8801 0 Current children cumulated CPU time (s) 722.88 Current children cumulated vsize (KiB) 40248 [startup+726.301 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850248/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=40284 CPUtime=726.08 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 171127 0 0 0 72188 420 0 0 25 0 1 0 168212693 41250816 8661 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 10071 8661 678 1256 0 8810 0 Current children cumulated CPU time (s) 726.08 Current children cumulated vsize (KiB) 40284 [startup+727.105 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850184/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=40264 CPUtime=726.89 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 171347 0 0 0 72268 421 0 0 25 0 1 0 168212693 41230336 8678 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 10066 8678 678 1256 0 8805 0 Current children cumulated CPU time (s) 726.89 Current children cumulated vsize (KiB) 40264 [startup+727.902 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850184/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=40268 CPUtime=727.68 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 171783 0 0 0 72347 421 0 0 25 0 1 0 168212693 41234432 8628 1992294400 4194304 9342243 548682068736 18446744073709551615 6911026 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 10067 8628 678 1256 0 8806 0 Current children cumulated CPU time (s) 727.68 Current children cumulated vsize (KiB) 40268 [startup+728.302 s] /proc/loadavg: 1.00 0.98 1.00 2/66 32676 /proc/meminfo: memFree=850184/2055920 swapFree=4192812/4192956 [pid=32675] ppid=32673 vsize=40248 CPUtime=728.09 /proc/32675/stat : 32675 (pbscip.linux.x8) R 32673 32675 32018 0 -1 4194304 171956 0 0 0 72387 422 0 0 25 0 1 0 168212693 41213952 8617 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32675/statm: 10062 8617 678 1256 0 8801 0 Current children cumulated CPU time (s) 728.09 Current children cumulated vsize (KiB) 40248 Child status: 0 Real time (s): 728.4 CPU time (s): 728.19 CPU user time (s): 723.962 CPU system time (s): 4.22836 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 42632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 723.962 system time used= 4.22836 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 172010 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 1700 runsolver used 0.846871 second user time and 1.79773 second system time The end
Begin job on node8 at 2009-06-16 03:47:42 IDJOB=1868229 IDBENCH=1281 IDSOLVER=684 FILE ID=node8/1868229-1245116862 PBS_JOBID= 9363662 Free space on /tmp= 66316 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868229-1245116862/watcher-1868229-1245116862 -o /tmp/evaluation-result-1868229-1245116862/solver-1868229-1245116862 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868229-1245116862.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aacf18cf0b8ed9727f2f81c2bd5074e6 RANDOM SEED=143466710 node8.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 882864 kB Buffers: 89464 kB Cached: 973304 kB SwapCached: 140 kB Active: 157632 kB Inactive: 920108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 882864 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 11812 kB Writeback: 0 kB Mapped: 24592 kB Slab: 81080 kB Committed_AS: 158580 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66304 MiB End job on node8 at 2009-06-16 03:59:51