| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 719.054 | 719.31 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb |
| MD5SUM | 6bb807214e0d1b3ab69b4b6ee86db452 |
| 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.3936 |
| 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 | 721 |
| 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.03/0.05 c SCIP version 1.1.0.7
0.03/0.05 c LP-Solver Clp 1.8.2
0.03/0.05 c user parameter file <scip.set> not found - using default parameters
0.03/0.05 c read problem <HOME/instance-1868377-1245123005.opb>
0.03/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.03/0.06 c No objective function, only one solution is needed.
0.03/0.06 c start presolving problem
0.03/0.06 c presolving:
0.09/0.10 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.11 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.12 c presolving (3 rounds):
0.09/0.12 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 242 implications, 22 cliques
0.09/0.12 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints
0.09/0.12 c 1 constraints of type <knapsack>
0.09/0.12 c 22 constraints of type <setppc>
0.09/0.12 c 2541 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.06
0.09/0.12 c SATUNSAT-LIN
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c separating/flowcover/freq = c -1
0.09/0.12 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c separating/cmir/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/veclendiving/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/veclendiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <veclendiving> (-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/veclendiving/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c heuristics/simplerounding/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <shifting> (-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/shifting/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c heuristics/rounding/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/rootsoldiving/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.01]
0.09/0.12 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.09/0.12 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.12 c heuristics/rootsoldiving/freq = c -1
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/rens/nodesofs = c 2000
0.09/0.12 c # minimum percentage of integer variables that have to be fixable
0.09/0.12 c # [type: real, range: [0,1], default: 0.5]
0.09/0.12 c heuristics/rens/minfixingrate = c 0.3
0.09/0.12 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c heuristics/rens/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/pscostdiving/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/pscostdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <pscostdiving> (-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/pscostdiving/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c heuristics/oneopt/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/objpscostdiving/maxlpiterofs = c 1500
0.09/0.12 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.12 c # [type: real, range: [0,1], default: 0.01]
0.09/0.12 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.09/0.12 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.12 c heuristics/objpscostdiving/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/linesearchdiving/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/linesearchdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <linesearchdiving> (-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/linesearchdiving/freq = c -1
0.09/0.12 c # frequency for calling primal heuristic <intshifting> (-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/intshifting/freq = c -1
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/intdiving/maxlpiterquot = c 0.075
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/guideddiving/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/guideddiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <guideddiving> (-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/guideddiving/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/fracdiving/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/fracdiving/maxlpiterquot = c 0.075
0.09/0.12 c # frequency for calling primal heuristic <fracdiving> (-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/fracdiving/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/feaspump/maxlpiterofs = c 2000
0.09/0.12 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.12 c heuristics/feaspump/freq = c -1
0.09/0.12 c # minimum percentage of integer variables that have to be fixed
0.09/0.12 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 | 61 |3513k| 0 | 33 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf
0.19/0.29 c 0.2s| 1 | 0 | 98 |3823k| 0 | 41 | 231 |2564 |2564 | 231 |2570 | 6 | 0 | 0 | 1.100000e+01 | -- | Inf
0.58/0.60 c 0.5s| 1 | 0 | 139 |4092k| 0 | 44 | 231 |2564 |2564 | 231 |2571 | 7 | 0 | 0 | 1.100000e+01 | -- | Inf
0.89/0.91 c 0.8s| 1 | 0 | 190 |4127k| 0 | 43 | 231 |2564 |2564 | 231 |2575 | 11 | 0 | 0 | 1.100000e+01 | -- | Inf
1.19/1.28 c 1.2s| 1 | 0 | 230 |4243k| 0 | 47 | 231 |2564 |2564 | 231 |2576 | 12 | 0 | 0 | 1.100000e+01 | -- | Inf
1.59/1.67 c 1.6s| 1 | 0 | 258 |4314k| 0 | 48 | 231 |2564 |2564 | 231 |2577 | 13 | 0 | 0 | 1.100000e+01 | -- | Inf
2.69/2.71 c 2.6s| 1 | 2 | 258 |4314k| 0 | 48 | 231 |2564 |2564 | 231 |2577 | 13 | 0 | 19 | 1.100000e+01 | -- | Inf
137.13/137.27 c 136s| 10000 | 1156 |347109 |7417k| 55 | 22 | 231 |3175 | 956 | 231 |2570 | 13 |1139 |2115 | 1.400000e+01 | -- | Inf
227.60/227.76 c 226s| 20000 | 1512 |645335 |8482k| 56 | - | 231 |3052 |1411 | 231 |2570 | 13 |2772 |2425 | 1.500000e+01 | -- | Inf
323.28/323.48 c 322s| 30000 | 1668 |950431 |9110k| 56 | - | 231 |3110 |1096 | 231 |2570 | 13 |3868 |2922 | 1.500000e+01 | -- | Inf
427.03/427.25 c 425s| 40000 | 1852 | 1269k|9764k| 56 | - | 231 |2893 |1131 | 231 |2570 | 13 |4340 |3606 | 1.500000e+01 | -- | Inf
523.40/523.68 c 521s| 50000 | 1696 | 1566k|9662k| 56 | 24 | 231 |2886 |1376 | 231 |2570 | 13 |4898 |4089 | 1.600000e+01 | -- | Inf
613.97/614.25 c 611s| 60000 | 1240 | 1843k|8688k| 56 | 35 | 231 |2910 |1321 | 231 |2570 | 13 |5470 |4435 | 1.600000e+01 | -- | Inf
696.05/696.32 c 692s| 70000 | 462 | 2066k|6578k| 56 | 20 | 231 |2841 |1030 | 231 |2570 | 13 |6104 |4867 | 1.700000e+01 | -- | Inf
718.93/719.29 c
718.93/719.29 c SCIP Status : problem is solved [infeasible]
718.93/719.29 c Solving Time (sec) : 715.05
718.93/719.29 c Solving Nodes : 73031
718.93/719.29 c Primal Bound : +1.00000000000000e+20 (0 solutions)
718.93/719.29 c Dual Bound : +1.00000000000000e+20
718.93/719.29 c Gap : 0.00 %
718.93/719.29 c NODE 73031
718.93/719.29 c DUAL BOUND 1e+20
718.93/719.29 c PRIMAL BOUND 1e+20
718.93/719.29 c GAP 0
718.93/719.29 s UNSATISFIABLE
718.93/719.29 c SCIP Status : problem is solved [infeasible]
718.93/719.29 c Solving Time : 715.05
718.93/719.29 c Original Problem :
718.93/719.29 c Problem name : HOME/instance-1868377-1245123005.opb
718.93/719.29 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
718.93/719.29 c Constraints : 2707 initial, 2707 maximal
718.93/719.29 c Presolved Problem :
718.93/719.29 c Problem name : t_HOME/instance-1868377-1245123005.opb
718.93/719.29 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
718.93/719.29 c Constraints : 2564 initial, 3402 maximal
718.93/719.29 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
718.93/719.29 c trivial : 0.00 0 0 0 0 0 0 0 0
718.93/719.29 c dualfix : 0.00 0 0 0 0 0 0 0 0
718.93/719.29 c boundshift : 0.00 0 0 0 0 0 0 0 0
718.93/719.29 c inttobinary : 0.00 0 0 0 0 0 0 0 0
718.93/719.29 c implics : 0.00 0 0 0 0 0 0 0 0
718.93/719.29 c probing : 0.00 0 0 0 0 0 0 0 0
718.93/719.29 c knapsack : 0.00 0 0 0 0 0 0 0 0
718.93/719.29 c setppc : 0.00 0 0 0 0 0 0 0 0
718.93/719.29 c linear : 0.03 0 0 0 0 0 143 0 0
718.93/719.29 c logicor : 0.03 0 0 0 0 0 0 0 0
718.93/719.29 c root node : - 2 - - 2 - - - -
718.93/719.29 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
718.93/719.29 c integral : 0 0 0 37845 0 211 1892 0 0 73170
718.93/719.29 c knapsack : 1 5 146850 0 0 539 139408 0 0 0
718.93/719.29 c setppc : 22 5 146466 0 0 1465 372233 0 0 0
718.93/719.29 c logicor : 2541+ 5 130685 0 0 545 408146 0 0 0
718.93/719.29 c countsols : 0 0 0 0 0 0 0 0 0 0
718.93/719.29 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
718.93/719.29 c integral : 81.41 0.00 0.00 81.41 0.00
718.93/719.29 c knapsack : 0.60 0.00 0.60 0.00 0.00
718.93/719.29 c setppc : 1.77 0.00 1.77 0.00 0.00
718.93/719.29 c logicor : 9.62 0.00 9.62 0.00 0.00
718.93/719.29 c countsols : 0.00 0.00 0.00 0.00 0.00
718.93/719.29 c Propagators : Time Calls Cutoffs DomReds
718.93/719.29 c rootredcost : 0.10 0 0 0
718.93/719.29 c pseudoobj : 1.90 147015 1 0
718.93/719.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
718.93/719.29 c propagation : 0.13 2549 2547 12739 16.3 21 13.5 -
718.93/719.29 c infeasible LP : 1.32 33825 0 0 0.0 0 0.0 0
718.93/719.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
718.93/719.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
718.93/719.29 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
718.93/719.29 c applied globally : - - - 6371 14.7 - - -
718.93/719.29 c applied locally : - - - 6 32.7 - - -
718.93/719.29 c Separators : Time Calls Cutoffs DomReds Cuts Conss
718.93/719.29 c cut pool : 0.00 4 - - 12 - (maximal pool size: 283)
718.93/719.29 c redcost : 0.60 36863 0 0 0 0
718.93/719.29 c impliedbounds : 0.00 5 0 0 0 0
718.93/719.29 c intobj : 0.00 0 0 0 0 0
718.93/719.29 c gomory : 0.82 5 0 0 1108 0
718.93/719.29 c strongcg : 0.59 5 0 0 1829 0
718.93/719.29 c cmir : 0.00 0 0 0 0 0
718.93/719.29 c flowcover : 0.00 0 0 0 0 0
718.93/719.29 c clique : 0.00 5 0 0 0 0
718.93/719.29 c zerohalf : 0.00 0 0 0 0 0
718.93/719.29 c mcf : 0.00 1 0 0 0 0
718.93/719.29 c Pricers : Time Calls Vars
718.93/719.29 c problem variables: 0.00 0 0
718.93/719.29 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
718.93/719.29 c relpscost : 81.30 37845 211 1892 0 0 73170
718.93/719.29 c pscost : 0.00 0 0 0 0 0 0
718.93/719.29 c inference : 0.00 0 0 0 0 0 0
718.93/719.29 c mostinf : 0.00 0 0 0 0 0 0
718.93/719.29 c leastinf : 0.00 0 0 0 0 0 0
718.93/719.29 c fullstrong : 0.00 0 0 0 0 0 0
718.93/719.29 c allfullstrong : 0.00 0 0 0 0 0 0
718.93/719.29 c random : 0.00 0 0 0 0 0 0
718.93/719.29 c Primal Heuristics : Time Calls Found
718.93/719.29 c LP solutions : 0.00 - 0
718.93/719.29 c pseudo solutions : 0.00 - 0
718.93/719.29 c simplerounding : 0.00 0 0
718.93/719.29 c rounding : 0.00 0 0
718.93/719.29 c shifting : 0.00 0 0
718.93/719.29 c intshifting : 0.00 0 0
718.93/719.29 c oneopt : 0.00 0 0
718.93/719.29 c fixandinfer : 0.00 0 0
718.93/719.29 c feaspump : 0.00 0 0
718.93/719.29 c coefdiving : 0.00 0 0
718.93/719.29 c pscostdiving : 0.00 0 0
718.93/719.29 c fracdiving : 0.00 0 0
718.93/719.29 c veclendiving : 0.00 0 0
718.93/719.29 c intdiving : 0.00 0 0
718.93/719.29 c actconsdiving : 0.00 0 0
718.93/719.29 c objpscostdiving : 0.00 0 0
718.93/719.29 c rootsoldiving : 0.00 0 0
718.93/719.29 c linesearchdiving : 0.00 0 0
718.93/719.29 c guideddiving : 0.00 0 0
718.93/719.29 c octane : 0.00 0 0
718.93/719.29 c rens : 0.00 0 0
718.93/719.29 c rins : 0.00 0 0
718.93/719.29 c localbranching : 0.00 0 0
718.93/719.29 c mutation : 0.00 0 0
718.93/719.29 c crossover : 0.00 0 0
718.93/719.29 c dins : 0.00 0 0
718.93/719.29 c LP : Time Calls Iterations Iter/call Iter/sec
718.93/719.29 c primal LP : 0.01 0 0 0.00 0.00
718.93/719.29 c dual LP : 582.77 71407 2120042 29.69 3637.87
718.93/719.29 c barrier LP : 0.00 0 0 0.00 -
718.93/719.29 c diving/probing LP: 0.00 0 0 0.00 -
718.93/719.29 c strong branching : 79.69 5056 322620 63.81 4048.44
718.93/719.29 c (at root node) : - 19 3278 172.53 -
718.93/719.29 c conflict analysis: 0.00 0 0 0.00 -
718.93/719.29 c B&B Tree :
718.93/719.29 c number of runs : 1
718.93/719.29 c nodes : 73031
718.93/719.29 c nodes (total) : 73031
718.93/719.29 c nodes left : 0
718.93/719.29 c max depth : 56
718.93/719.29 c max depth (total): 56
718.93/719.29 c backtracks : 7842 (10.7%)
718.93/719.29 c delayed cutoffs : 140
718.93/719.29 c repropagations : 6591 (14183 domain reductions, 140 cutoffs)
718.93/719.29 c avg switch length: 4.97
718.93/719.29 c switching time : 10.77
718.93/719.29 c Solution :
718.93/719.29 c Solutions found : 0 (0 improvements)
718.93/719.29 c Primal Bound : infeasible
718.93/719.29 c Dual Bound : -
718.93/719.29 c Gap : 0.00 %
718.93/719.29 c Root Dual Bound : +1.10000000000000e+01
719.04/719.30 c Time complete: 719.04.
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-1868377-1245123005/watcher-1868377-1245123005 -o /tmp/evaluation-result-1868377-1245123005/solver-1868377-1245123005 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868377-1245123005.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 1.00 1.00 2/64 2676 /proc/meminfo: memFree=1372848/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=9676 CPUtime=0 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 1344 0 0 0 0 0 0 0 18 0 1 0 179897263 9908224 1329 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/2676/statm: 2419 1337 362 1256 0 1158 0 [startup+0.0431589 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2676 /proc/meminfo: memFree=1372848/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=11300 CPUtime=0.03 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 1818 0 0 0 3 0 0 0 18 0 1 0 179897263 11571200 1802 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/2676/statm: 2825 1802 376 1256 0 1564 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11300 [startup+0.101206 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2676 /proc/meminfo: memFree=1372848/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=18752 CPUtime=0.09 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 3847 0 0 0 8 1 0 0 18 0 1 0 179897263 19202048 3477 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 4688 3477 471 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.301241 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2676 /proc/meminfo: memFree=1372848/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=26664 CPUtime=0.29 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 5594 0 0 0 27 2 0 0 17 0 1 0 179897263 27303936 5224 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 6666 5224 649 1256 0 5405 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26664 [startup+0.701315 s] /proc/loadavg: 1.00 1.00 1.00 2/64 2676 /proc/meminfo: memFree=1372848/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=29708 CPUtime=0.69 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 6225 0 0 0 66 3 0 0 20 0 1 0 179897263 30420992 5855 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 7427 5855 649 1256 0 6166 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29708 [startup+1.50146 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1352168/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=29708 CPUtime=1.49 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 6371 0 0 0 146 3 0 0 25 0 1 0 179897263 30420992 6001 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 7427 6001 649 1256 0 6166 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29708 [startup+3.10175 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1350312/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=32808 CPUtime=3.09 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 6802 0 0 0 305 4 0 0 25 0 1 0 179897263 33595392 6397 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 8202 6397 670 1256 0 6941 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32808 [startup+6.3013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1349736/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=33100 CPUtime=6.29 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 8412 0 0 0 622 7 0 0 25 0 1 0 179897263 33894400 6480 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 8275 6480 675 1256 0 7014 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33100 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1349680/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=33104 CPUtime=12.68 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 12753 0 0 0 1257 11 0 0 25 0 1 0 179897263 33898496 6498 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 8276 6498 675 1256 0 7015 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33104 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1349744/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=32968 CPUtime=25.48 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 21110 0 0 0 2529 19 0 0 25 0 1 0 179897263 33759232 6502 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 8242 6502 675 1256 0 6981 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32968 [startup+51.1015 s] /proc/loadavg: 1.07 1.02 1.00 2/65 2677 /proc/meminfo: memFree=1348848/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=32004 CPUtime=51.05 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 36954 0 0 0 5069 36 0 0 25 0 1 0 179897263 32772096 6746 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 8001 6746 678 1256 0 6740 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 32004 [startup+102.306 s] /proc/loadavg: 1.10 1.03 1.00 2/65 2677 /proc/meminfo: memFree=1346992/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=33848 CPUtime=102.24 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 51004 0 0 0 10158 66 0 0 25 0 1 0 179897263 34660352 7218 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 8462 7218 678 1256 0 7201 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 33848 [startup+162.302 s] /proc/loadavg: 1.10 1.04 1.00 2/65 2677 /proc/meminfo: memFree=1345072/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=36168 CPUtime=162.22 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 63761 0 0 0 16123 99 0 0 25 0 1 0 179897263 37036032 7654 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9042 7654 678 1256 0 7781 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 36168 [startup+222.303 s] /proc/loadavg: 1.10 1.04 1.00 2/65 2677 /proc/meminfo: memFree=1344304/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=37248 CPUtime=222.2 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 70445 0 0 0 22089 131 0 0 25 0 1 0 179897263 38141952 7857 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9312 7857 678 1256 0 8051 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 37248 [startup+282.302 s] /proc/loadavg: 1.03 1.03 1.00 2/65 2677 /proc/meminfo: memFree=1342832/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=38364 CPUtime=282.18 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 72502 0 0 0 28059 159 0 0 25 0 1 0 179897263 39284736 8220 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9591 8220 678 1256 0 8330 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 38364 [startup+342.302 s] /proc/loadavg: 1.01 1.02 1.00 2/65 2677 /proc/meminfo: memFree=1342704/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=39484 CPUtime=342.16 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 80981 0 0 0 34025 191 0 0 25 0 1 0 179897263 40431616 8216 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9871 8216 678 1256 0 8610 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 39484 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 2677 /proc/meminfo: memFree=1342448/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=38732 CPUtime=402.14 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 86045 0 0 0 39993 221 0 0 25 0 1 0 179897263 39661568 8298 1992294400 4194304 9342243 548682068736 18446744073709551615 6043965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9683 8298 678 1256 0 8422 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 38732 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2677 /proc/meminfo: memFree=1342576/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=38676 CPUtime=462.12 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 96201 0 0 0 45959 253 0 0 25 0 1 0 179897263 39604224 8244 1992294400 4194304 9342243 548682068736 18446744073709551615 6896075 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9669 8244 678 1256 0 8408 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 38676 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2677 /proc/meminfo: memFree=1342320/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=38696 CPUtime=522.1 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 106275 0 0 0 51925 285 0 0 25 0 1 0 179897263 39624704 8275 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9674 8275 678 1256 0 8413 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 38696 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1342448/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=39080 CPUtime=582.08 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 117057 0 0 0 57890 318 0 0 25 0 1 0 179897263 40017920 8311 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9770 8311 678 1256 0 8509 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 39080 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1342384/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=38664 CPUtime=642.06 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 125672 0 0 0 63858 348 0 0 25 0 1 0 179897263 39591936 8261 1992294400 4194304 9342243 548682068736 18446744073709551615 6348967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9666 8261 678 1256 0 8405 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 38664 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1342384/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=41184 CPUtime=702.04 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 134969 0 0 0 69821 383 0 0 25 0 1 0 179897263 42172416 8321 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 10296 8321 678 1256 0 9035 0 Current children cumulated CPU time (s) 702.04 Current children cumulated vsize (KiB) 41184 Solver just ended. Dumping a history of the last processes samples [startup+703.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1342256/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=39088 CPUtime=703.64 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 135418 0 0 0 69980 384 0 0 25 0 1 0 179897263 40026112 8317 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9772 8317 678 1256 0 8511 0 Current children cumulated CPU time (s) 703.64 Current children cumulated vsize (KiB) 39088 [startup+710.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1342064/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=39088 CPUtime=710.04 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 136712 0 0 0 70617 387 0 0 25 0 1 0 179897263 40026112 8292 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9772 8292 678 1256 0 8511 0 Current children cumulated CPU time (s) 710.04 Current children cumulated vsize (KiB) 39088 [startup+713.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1342256/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=39056 CPUtime=713.23 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 137585 0 0 0 70934 389 0 0 25 0 1 0 179897263 39993344 8333 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9764 8333 678 1256 0 8503 0 Current children cumulated CPU time (s) 713.23 Current children cumulated vsize (KiB) 39056 [startup+716.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1342320/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=39068 CPUtime=716.44 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 138496 0 0 0 71252 392 0 0 25 0 1 0 179897263 40005632 8323 1992294400 4194304 9342243 548682068736 18446744073709551615 6960322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9767 8323 678 1256 0 8506 0 Current children cumulated CPU time (s) 716.44 Current children cumulated vsize (KiB) 39068 [startup+718.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1342320/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=39068 CPUtime=718.04 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 139012 0 0 0 71411 393 0 0 25 0 1 0 179897263 40005632 8312 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 9767 8312 678 1256 0 8506 0 Current children cumulated CPU time (s) 718.04 Current children cumulated vsize (KiB) 39068 [startup+719.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1342320/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=40676 CPUtime=718.83 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 139369 0 0 0 71490 393 0 0 25 0 1 0 179897263 41652224 8326 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2676/statm: 10169 8326 678 1256 0 8908 0 Current children cumulated CPU time (s) 718.83 Current children cumulated vsize (KiB) 40676 [startup+719.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2677 /proc/meminfo: memFree=1346288/2055920 swapFree=4191900/4192956 [pid=2676] ppid=2674 vsize=30772 CPUtime=719.04 /proc/2676/stat : 2676 (pbscip.linux.x8) R 2674 2676 1150 0 -1 4194304 139463 0 0 0 71510 394 0 0 25 0 1 0 179897263 31510528 6748 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0 /proc/2676/statm: 7693 6748 2203 1256 0 6432 0 Current children cumulated CPU time (s) 719.04 Current children cumulated vsize (KiB) 30772 Child status: 0 Real time (s): 719.31 CPU time (s): 719.054 CPU user time (s): 715.106 CPU system time (s): 3.9474 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 41484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 715.106 system time used= 3.9474 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 139467 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= 6 involuntary context switches= 1410 runsolver used 0.550916 second user time and 1.47978 second system time The end
Begin job on node44 at 2009-06-16 05:30:06 IDJOB=1868377 IDBENCH=1355 IDSOLVER=684 FILE ID=node44/1868377-1245123005 PBS_JOBID= 9363664 Free space on /tmp= 65924 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.1900547389.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-1868377-1245123005/watcher-1868377-1245123005 -o /tmp/evaluation-result-1868377-1245123005/solver-1868377-1245123005 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868377-1245123005.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6bb807214e0d1b3ab69b4b6ee86db452 RANDOM SEED=932008895 node44.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.263 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.263 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1373776 kB Buffers: 43580 kB Cached: 555784 kB SwapCached: 260 kB Active: 74252 kB Inactive: 538364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1373776 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 11816 kB Writeback: 0 kB Mapped: 21752 kB Slab: 55436 kB Committed_AS: 157808 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 65912 MiB End job on node44 at 2009-06-16 05:42:05