| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 913.24 | 913.692 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb |
| MD5SUM | be6efe3218879d0d0c6c419c0919396c |
| 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 | 43.2124 |
| 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 | 683 |
| 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-1868215-1245116017.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.07/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.05
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.11 c heuristics/crossover/minfixingrate = c 0.5
0.09/0.11 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.11 c # [type: real, range: [0,1], default: 0.1]
0.09/0.11 c heuristics/crossover/nodesquot = c 0.15
0.09/0.11 c # number of nodes without incumbent change that heuristic should wait
0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.11 c heuristics/crossover/nwaitingnodes = c 100
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/crossover/nodesofs = c 750
0.09/0.11 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.11 c heuristics/crossover/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/coefdiving/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/coefdiving/maxlpiterquot = c 0.075
0.09/0.11 c # frequency for calling primal heuristic <coefdiving> (-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/coefdiving/freq = c -1
0.09/0.11 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c presolving/probing/maxrounds = c 0
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = c TRUE
0.09/0.11 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.11 c constraints/knapsack/disaggregation = c FALSE
0.09/0.11 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c constraints/knapsack/maxnumcardlift = c 0
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = c TRUE
0.09/0.11 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/maxroundsroot = c 5
0.09/0.11 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.11 c separating/maxrounds = c 1
0.09/0.11 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c limits/solutions = c 1
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = c 1620
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = c 1791
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = c 10000
0.09/0.11 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 | 69 |3513k| 0 | 39 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 144 |3770k| 0 | 54 | 231 |2564 |2564 | 231 |2571 | 7 | 0 | 0 | 1.100000e+01 | -- | Inf
0.49/0.50 c 0.4s| 1 | 0 | 366 |3867k| 0 | 44 | 231 |2564 |2564 | 231 |2576 | 12 | 0 | 0 | 1.100000e+01 | -- | Inf
0.59/0.65 c 0.6s| 1 | 0 | 551 |4081k| 0 | 32 | 231 |2564 |2564 | 231 |2580 | 16 | 0 | 0 | 1.100000e+01 | -- | Inf
0.69/0.76 c 0.7s| 1 | 0 | 573 |4297k| 0 | 36 | 231 |2564 |2564 | 231 |2586 | 22 | 0 | 0 | 1.100000e+01 | -- | Inf
0.99/1.06 c 1.0s| 1 | 0 | 842 |4568k| 0 | 38 | 231 |2564 |2564 | 231 |2591 | 27 | 0 | 0 | 1.100000e+01 | -- | Inf
1.79/1.88 c 1.8s| 1 | 2 | 842 |4568k| 0 | 38 | 231 |2564 |2564 | 231 |2591 | 27 | 0 | 23 | 1.100000e+01 | -- | Inf
120.93/121.10 c 120s| 10000 | 1307 |335345 |7792k| 57 | - | 231 |2770 |1288 | 231 |2572 | 27 | 512 |2524 | 1.400000e+01 | -- | Inf
199.09/199.28 c 198s| 20000 | 1962 |605831 |9422k| 60 | 31 | 231 |2743 |1492 | 231 |2572 | 27 | 929 |2700 | 1.500000e+01 | -- | Inf
284.45/284.61 c 283s| 30000 | 2429 |877930 | 10M| 60 | 29 | 231 |2660 |1231 | 231 |2572 | 27 |1282 |3486 | 1.500000e+01 | -- | Inf
371.70/371.99 c 369s| 40000 | 2813 | 1164k| 11M| 60 | 28 | 231 |2607 |1296 | 231 |2572 | 27 |1463 |4125 | 1.500000e+01 | -- | Inf
454.66/454.97 c 452s| 50000 | 3028 | 1432k| 12M| 60 | 31 | 231 |2703 |1255 | 231 |2572 | 27 |1750 |4661 | 1.600000e+01 | -- | Inf
527.33/527.60 c 524s| 60000 | 3048 | 1653k| 12M| 60 | - | 231 |2767 |1317 | 231 |2572 | 27 |2158 |5147 | 1.600000e+01 | -- | Inf
601.49/601.84 c 598s| 70000 | 3028 | 1881k| 13M| 60 | - | 231 |2752 |1333 | 231 |2572 | 27 |2519 |5589 | 1.600000e+01 | -- | Inf
678.36/678.79 c 675s| 80000 | 2599 | 2116k| 12M| 60 | 16 | 231 |2755 |1279 | 231 |2572 | 27 |2878 |6037 | 1.700000e+01 | -- | Inf
747.82/748.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.82/748.22 c 744s| 90000 | 2059 | 2322k| 11M| 60 | 36 | 231 |2846 |1047 | 231 |2572 | 27 |3428 |6311 | 1.700000e+01 | -- | Inf
820.68/821.20 c 816s|100000 | 1498 | 2536k|9944k| 60 | - | 231 |2789 |1654 | 231 |2572 | 27 |3804 |6753 | 1.700000e+01 | -- | Inf
887.95/888.42 c 883s|110000 | 619 | 2717k|7421k| 60 | 32 | 231 |2835 |1385 | 231 |2572 | 27 |4342 |7118 | 1.800000e+01 | -- | Inf
913.14/913.67 c
913.14/913.67 c SCIP Status : problem is solved [infeasible]
913.14/913.67 c Solving Time (sec) : 908.07
913.14/913.67 c Solving Nodes : 114247
913.14/913.67 c Primal Bound : +1.00000000000000e+20 (0 solutions)
913.14/913.67 c Dual Bound : +1.00000000000000e+20
913.14/913.67 c Gap : 0.00 %
913.14/913.67 c NODE 114247
913.14/913.67 c DUAL BOUND 1e+20
913.14/913.67 c PRIMAL BOUND 1e+20
913.14/913.67 c GAP 0
913.14/913.67 s UNSATISFIABLE
913.14/913.67 c SCIP Status : problem is solved [infeasible]
913.14/913.67 c Solving Time : 908.07
913.14/913.67 c Original Problem :
913.14/913.67 c Problem name : HOME/instance-1868215-1245116017.opb
913.14/913.67 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
913.14/913.67 c Constraints : 2707 initial, 2707 maximal
913.14/913.67 c Presolved Problem :
913.14/913.67 c Problem name : t_HOME/instance-1868215-1245116017.opb
913.14/913.67 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
913.14/913.67 c Constraints : 2564 initial, 2895 maximal
913.14/913.67 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
913.14/913.67 c trivial : 0.00 0 0 0 0 0 0 0 0
913.14/913.67 c dualfix : 0.00 0 0 0 0 0 0 0 0
913.14/913.67 c boundshift : 0.00 0 0 0 0 0 0 0 0
913.14/913.67 c inttobinary : 0.00 0 0 0 0 0 0 0 0
913.14/913.67 c implics : 0.00 0 0 0 0 0 0 0 0
913.14/913.67 c probing : 0.00 0 0 0 0 0 0 0 0
913.14/913.67 c knapsack : 0.00 0 0 0 0 0 0 0 0
913.14/913.67 c setppc : 0.00 0 0 0 0 0 0 0 0
913.14/913.67 c linear : 0.02 0 0 0 0 0 143 0 0
913.14/913.67 c logicor : 0.03 0 0 0 0 0 0 0 0
913.14/913.67 c root node : - 1 - - 1 - - - -
913.14/913.67 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
913.14/913.67 c integral : 0 0 0 59082 0 310 3054 0 0 114320
913.14/913.67 c knapsack : 1 5 222809 0 0 423 116792 0 0 0
913.14/913.67 c setppc : 22 5 222496 0 0 1045 555247 0 0 0
913.14/913.67 c logicor : 2541+ 5 206946 0 0 370 643600 0 0 0
913.14/913.67 c countsols : 0 0 0 0 0 0 0 0 0 0
913.14/913.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
913.14/913.67 c integral : 78.20 0.00 0.00 78.20 0.00
913.14/913.67 c knapsack : 0.76 0.00 0.76 0.00 0.00
913.14/913.67 c setppc : 2.32 0.00 2.32 0.00 0.00
913.14/913.67 c logicor : 14.12 0.00 14.12 0.00 0.00
913.14/913.67 c countsols : 0.00 0.00 0.00 0.00 0.00
913.14/913.67 c Propagators : Time Calls Cutoffs DomReds
913.14/913.67 c rootredcost : 0.17 0 0 0
913.14/913.67 c pseudoobj : 2.62 222940 1 0
913.14/913.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
913.14/913.67 c propagation : 0.09 1838 1838 9786 18.0 18 12.1 -
913.14/913.67 c infeasible LP : 2.12 55012 0 0 0.0 0 0.0 0
913.14/913.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
913.14/913.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
913.14/913.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
913.14/913.67 c applied globally : - - - 4537 16.0 - - -
913.14/913.67 c applied locally : - - - 9 32.8 - - -
913.14/913.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
913.14/913.67 c cut pool : 0.00 4 - - 11 - (maximal pool size: 408)
913.14/913.67 c redcost : 0.76 57566 0 0 0 0
913.14/913.67 c impliedbounds : 0.00 5 0 0 0 0
913.14/913.67 c intobj : 0.00 0 0 0 0 0
913.14/913.67 c gomory : 0.37 5 0 0 2500 0
913.14/913.67 c strongcg : 0.29 5 0 0 2500 0
913.14/913.67 c cmir : 0.00 0 0 0 0 0
913.14/913.67 c flowcover : 0.00 0 0 0 0 0
913.14/913.67 c clique : 0.00 5 0 0 0 0
913.14/913.67 c zerohalf : 0.00 0 0 0 0 0
913.14/913.67 c mcf : 0.00 1 0 0 0 0
913.14/913.67 c Pricers : Time Calls Vars
913.14/913.67 c problem variables: 0.00 0 0
913.14/913.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
913.14/913.67 c relpscost : 78.09 59082 310 3054 0 0 114320
913.14/913.67 c pscost : 0.00 0 0 0 0 0 0
913.14/913.67 c inference : 0.00 0 0 0 0 0 0
913.14/913.67 c mostinf : 0.00 0 0 0 0 0 0
913.14/913.67 c leastinf : 0.00 0 0 0 0 0 0
913.14/913.67 c fullstrong : 0.00 0 0 0 0 0 0
913.14/913.67 c allfullstrong : 0.00 0 0 0 0 0 0
913.14/913.67 c random : 0.00 0 0 0 0 0 0
913.14/913.67 c Primal Heuristics : Time Calls Found
913.14/913.67 c LP solutions : 0.00 - 0
913.14/913.67 c pseudo solutions : 0.00 - 0
913.14/913.67 c simplerounding : 0.00 0 0
913.14/913.67 c rounding : 0.00 0 0
913.14/913.67 c shifting : 0.00 0 0
913.14/913.67 c intshifting : 0.00 0 0
913.14/913.67 c oneopt : 0.00 0 0
913.14/913.67 c fixandinfer : 0.00 0 0
913.14/913.67 c feaspump : 0.00 0 0
913.14/913.67 c coefdiving : 0.00 0 0
913.14/913.67 c pscostdiving : 0.00 0 0
913.14/913.67 c fracdiving : 0.00 0 0
913.14/913.67 c veclendiving : 0.00 0 0
913.14/913.67 c intdiving : 0.00 0 0
913.14/913.67 c actconsdiving : 0.00 0 0
913.14/913.67 c objpscostdiving : 0.00 0 0
913.14/913.67 c rootsoldiving : 0.00 0 0
913.14/913.67 c linesearchdiving : 0.00 0 0
913.14/913.67 c guideddiving : 0.00 0 0
913.14/913.67 c octane : 0.00 0 0
913.14/913.67 c rens : 0.00 0 0
913.14/913.67 c rins : 0.00 0 0
913.14/913.67 c localbranching : 0.00 0 0
913.14/913.67 c mutation : 0.00 0 0
913.14/913.67 c crossover : 0.00 0 0
913.14/913.67 c dins : 0.00 0 0
913.14/913.67 c LP : Time Calls Iterations Iter/call Iter/sec
913.14/913.67 c primal LP : 0.01 0 0 0.00 0.00
913.14/913.67 c dual LP : 755.44 113935 2773814 24.35 3671.79
913.14/913.67 c barrier LP : 0.00 0 0 0.00 -
913.14/913.67 c diving/probing LP: 0.00 0 0 0.00 -
913.14/913.67 c strong branching : 76.03 7276 331985 45.63 4366.50
913.14/913.67 c (at root node) : - 23 3356 145.91 -
913.14/913.67 c conflict analysis: 0.00 0 0 0.00 -
913.14/913.67 c B&B Tree :
913.14/913.67 c number of runs : 1
913.14/913.67 c nodes : 114247
913.14/913.67 c nodes (total) : 114247
913.14/913.67 c nodes left : 0
913.14/913.67 c max depth : 60
913.14/913.67 c max depth (total): 60
913.14/913.67 c backtracks : 12298 (10.8%)
913.14/913.67 c delayed cutoffs : 74
913.14/913.67 c repropagations : 3849 (9900 domain reductions, 74 cutoffs)
913.14/913.67 c avg switch length: 5.11
913.14/913.67 c switching time : 14.69
913.14/913.67 c Solution :
913.14/913.67 c Solutions found : 0 (0 improvements)
913.14/913.67 c Primal Bound : infeasible
913.14/913.67 c Dual Bound : -
913.14/913.67 c Gap : 0.00 %
913.14/913.67 c Root Dual Bound : +1.10000000000000e+01
913.14/913.69 c Time complete: 913.22.
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-1868215-1245116017/watcher-1868215-1245116017 -o /tmp/evaluation-result-1868215-1245116017/solver-1868215-1245116017 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868215-1245116017.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.06 3/64 2000 /proc/meminfo: memFree=1399088/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=7616 CPUtime=0 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 655 0 0 0 0 0 0 0 18 0 1 0 179198387 7798784 639 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0 /proc/2000/statm: 1904 650 353 1256 0 643 0 [startup+0.087507 s] /proc/loadavg: 1.00 1.00 1.06 3/64 2000 /proc/meminfo: memFree=1399088/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=17624 CPUtime=0.07 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 3589 0 0 0 6 1 0 0 18 0 1 0 179198387 18046976 3219 1992294400 4194304 9342243 548682068736 18446744073709551615 5855084 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 4406 3219 469 1256 0 3145 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 17624 [startup+0.10151 s] /proc/loadavg: 1.00 1.00 1.06 3/64 2000 /proc/meminfo: memFree=1399088/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=18752 CPUtime=0.09 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 3854 0 0 0 7 2 0 0 18 0 1 0 179198387 19202048 3484 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 4688 3484 477 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.301546 s] /proc/loadavg: 1.00 1.00 1.06 3/64 2000 /proc/meminfo: memFree=1399088/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=25896 CPUtime=0.29 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 5401 0 0 0 27 2 0 0 18 0 1 0 179198387 26517504 5031 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 6474 5031 649 1256 0 5213 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25896 [startup+0.701619 s] /proc/loadavg: 1.00 1.00 1.06 3/64 2000 /proc/meminfo: memFree=1399088/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=28676 CPUtime=0.69 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 6128 0 0 0 66 3 0 0 20 0 1 0 179198387 29364224 5758 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 7169 5758 649 1256 0 5908 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28676 [startup+1.50177 s] /proc/loadavg: 1.00 1.00 1.06 2/65 2001 /proc/meminfo: memFree=1377576/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=31636 CPUtime=1.49 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 6502 0 0 0 146 3 0 0 25 0 1 0 179198387 32395264 6132 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 7909 6132 654 1256 0 6648 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31636 [startup+3.10106 s] /proc/loadavg: 1.00 1.00 1.06 2/65 2001 /proc/meminfo: memFree=1376936/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=31808 CPUtime=3.09 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 7456 0 0 0 305 4 0 0 25 0 1 0 179198387 32571392 6166 1992294400 4194304 9342243 548682068736 18446744073709551615 6377490 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 7952 6166 674 1256 0 6691 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31808 [startup+6.30164 s] /proc/loadavg: 1.16 1.04 1.07 2/65 2001 /proc/meminfo: memFree=1376488/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=31512 CPUtime=6.28 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 11593 0 0 0 621 7 0 0 25 0 1 0 179198387 32268288 6191 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 7878 6191 674 1256 0 6617 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 31512 [startup+12.7018 s] /proc/loadavg: 1.15 1.04 1.07 2/65 2001 /proc/meminfo: memFree=1376432/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=31488 CPUtime=12.69 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 19517 0 0 0 1255 14 0 0 25 0 1 0 179198387 32243712 6212 1992294400 4194304 9342243 548682068736 18446744073709551615 6213657 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 7872 6212 674 1256 0 6611 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31488 [startup+25.5011 s] /proc/loadavg: 1.12 1.03 1.07 2/65 2001 /proc/meminfo: memFree=1376560/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=32292 CPUtime=25.47 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 41961 0 0 0 2520 27 0 0 25 0 1 0 179198387 33067008 6256 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 8073 6256 678 1256 0 6812 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 32292 [startup+51.1018 s] /proc/loadavg: 1.08 1.03 1.07 2/65 2001 /proc/meminfo: memFree=1375664/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=31268 CPUtime=51.07 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 65003 0 0 0 5060 47 0 0 25 0 1 0 179198387 32018432 6517 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 7817 6517 678 1256 0 6556 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31268 [startup+102.305 s] /proc/loadavg: 1.03 1.02 1.07 2/65 2001 /proc/meminfo: memFree=1372912/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=35476 CPUtime=102.24 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 80085 0 0 0 10151 73 0 0 25 0 1 0 179198387 36327424 7173 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 8869 7173 678 1256 0 7608 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 35476 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.06 2/65 2001 /proc/meminfo: memFree=1371696/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=34972 CPUtime=162.2 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 95267 0 0 0 16111 109 0 0 25 0 1 0 179198387 35811328 7448 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 8743 7448 678 1256 0 7482 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 34972 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.05 2/65 2001 /proc/meminfo: memFree=1369328/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=39120 CPUtime=222.17 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 106541 0 0 0 22076 141 0 0 25 0 1 0 179198387 40058880 8047 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 9780 8047 678 1256 0 8519 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 39120 [startup+282.302 s] /proc/loadavg: 1.00 1.01 1.05 2/65 2001 /proc/meminfo: memFree=1368944/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=37856 CPUtime=282.15 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 120285 0 0 0 28037 178 0 0 25 0 1 0 179198387 38764544 8152 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 9464 8152 678 1256 0 8203 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 37856 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.04 2/65 2001 /proc/meminfo: memFree=1368496/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=38352 CPUtime=342.12 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 137049 0 0 0 33997 215 0 0 25 0 1 0 179198387 39272448 8173 1992294400 4194304 9342243 548682068736 18446744073709551615 6896254 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 9588 8173 678 1256 0 8327 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 38352 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.04 2/65 2001 /proc/meminfo: memFree=1367536/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=39616 CPUtime=402.09 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 144131 0 0 0 39966 243 0 0 25 0 1 0 179198387 40566784 8468 1992294400 4194304 9342243 548682068736 18446744073709551615 6039489 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 9904 8468 678 1256 0 8643 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 39616 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.03 2/65 2001 /proc/meminfo: memFree=1365872/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=40736 CPUtime=462.06 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 149813 0 0 0 45932 274 0 0 25 0 1 0 179198387 41713664 8837 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10184 8837 678 1256 0 8923 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 40736 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.02 2/65 2001 /proc/meminfo: memFree=1365616/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41424 CPUtime=522.03 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 153631 0 0 0 51899 304 0 0 25 0 1 0 179198387 42418176 8919 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10356 8919 678 1256 0 9095 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 41424 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.02 2/65 2001 /proc/meminfo: memFree=1365424/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41772 CPUtime=582 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 156848 0 0 0 57867 333 0 0 25 0 1 0 179198387 42774528 9020 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10443 9020 678 1256 0 9182 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 41772 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.01 2/65 2001 /proc/meminfo: memFree=1365424/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41772 CPUtime=641.97 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 162343 0 0 0 63834 363 0 0 25 0 1 0 179198387 42774528 8998 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10443 8998 678 1256 0 9182 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 41772 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.01 2/65 2001 /proc/meminfo: memFree=1365424/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41744 CPUtime=701.93 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 168797 0 0 0 69798 395 0 0 25 0 1 0 179198387 42745856 9021 1992294400 4194304 9342243 548682068736 18446744073709551615 6941347 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10436 9021 678 1256 0 9175 0 Current children cumulated CPU time (s) 701.93 Current children cumulated vsize (KiB) 41744 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365296/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=42924 CPUtime=761.92 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 175438 0 0 0 75763 429 0 0 25 0 1 0 179198387 43954176 9011 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10731 9011 678 1256 0 9470 0 Current children cumulated CPU time (s) 761.92 Current children cumulated vsize (KiB) 42924 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365168/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=43080 CPUtime=821.89 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 181328 0 0 0 81730 459 0 0 25 0 1 0 179198387 44113920 9015 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10770 9015 678 1256 0 9509 0 Current children cumulated CPU time (s) 821.89 Current children cumulated vsize (KiB) 43080 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365168/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=43312 CPUtime=881.85 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 187237 0 0 0 87695 490 0 0 25 0 1 0 179198387 44351488 9044 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10828 9044 678 1256 0 9567 0 Current children cumulated CPU time (s) 881.85 Current children cumulated vsize (KiB) 43312 Solver just ended. Dumping a history of the last processes samples [startup+895.902 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365168/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41776 CPUtime=895.45 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 190888 0 0 0 89045 500 0 0 25 0 1 0 179198387 42778624 9019 1992294400 4194304 9342243 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10444 9019 678 1256 0 9183 0 Current children cumulated CPU time (s) 895.45 Current children cumulated vsize (KiB) 41776 [startup+902.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365168/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41784 CPUtime=901.84 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 193065 0 0 0 89679 505 0 0 25 0 1 0 179198387 42786816 9040 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10446 9040 678 1256 0 9185 0 Current children cumulated CPU time (s) 901.84 Current children cumulated vsize (KiB) 41784 [startup+908.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365168/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=43084 CPUtime=908.24 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 194349 0 0 0 90316 508 0 0 25 0 1 0 179198387 44118016 9053 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10771 9053 678 1256 0 9510 0 Current children cumulated CPU time (s) 908.24 Current children cumulated vsize (KiB) 43084 [startup+911.906 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365168/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41780 CPUtime=911.44 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 194560 0 0 0 90635 509 0 0 25 0 1 0 179198387 42782720 9052 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10445 9052 678 1256 0 9184 0 Current children cumulated CPU time (s) 911.44 Current children cumulated vsize (KiB) 41780 [startup+912.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365168/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41784 CPUtime=912.24 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 194626 0 0 0 90714 510 0 0 25 0 1 0 179198387 42786816 9047 1992294400 4194304 9342243 548682068736 18446744073709551615 6224211 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10446 9047 678 1256 0 9185 0 Current children cumulated CPU time (s) 912.24 Current children cumulated vsize (KiB) 41784 [startup+913.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365168/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41784 CPUtime=912.64 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 194629 0 0 0 90754 510 0 0 25 0 1 0 179198387 42786816 9050 1992294400 4194304 9342243 548682068736 18446744073709551615 6896293 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10446 9050 678 1256 0 9185 0 Current children cumulated CPU time (s) 912.64 Current children cumulated vsize (KiB) 41784 [startup+913.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365168/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41784 CPUtime=913.04 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 194637 0 0 0 90794 510 0 0 25 0 1 0 179198387 42786816 9058 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10446 9058 678 1256 0 9185 0 Current children cumulated CPU time (s) 913.04 Current children cumulated vsize (KiB) 41784 [startup+913.601 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2001 /proc/meminfo: memFree=1365168/2055920 swapFree=4191900/4192956 [pid=2000] ppid=1997 vsize=41784 CPUtime=913.14 /proc/2000/stat : 2000 (pbscip.linux.x8) R 1997 2000 1150 0 -1 4194304 194637 0 0 0 90804 510 0 0 25 0 1 0 179198387 42786816 9058 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2000/statm: 10446 9058 678 1256 0 9185 0 Current children cumulated CPU time (s) 913.14 Current children cumulated vsize (KiB) 41784 Child status: 0 Real time (s): 913.692 CPU time (s): 913.24 CPU user time (s): 908.13 CPU system time (s): 5.11022 CPU usage (%): 99.9505 Max. virtual memory (cumulated for all children) (KiB): 43880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 908.13 system time used= 5.11022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 194649 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= 2744 runsolver used 1.04484 second user time and 2.28565 second system time The end
Begin job on node44 at 2009-06-16 03:33:37 IDJOB=1868215 IDBENCH=1274 IDSOLVER=684 FILE ID=node44/1868215-1245116017 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.1900582300.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-1868215-1245116017/watcher-1868215-1245116017 -o /tmp/evaluation-result-1868215-1245116017/solver-1868215-1245116017 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868215-1245116017.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= be6efe3218879d0d0c6c419c0919396c RANDOM SEED=888663111 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: 1399568 kB Buffers: 40196 kB Cached: 534484 kB SwapCached: 260 kB Active: 66924 kB Inactive: 520952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1399568 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 11812 kB Writeback: 0 kB Mapped: 21752 kB Slab: 54436 kB Committed_AS: 156744 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 03:48:51