| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 1616.15 | 1616.67 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb |
| MD5SUM | 7f91f8d08a20ca0a8483dc7b1c14e540 |
| 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 | 72.7209 |
| 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 | 671 |
| 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.05 c SCIP version 1.1.0.7
0.00/0.05 c LP-Solver Clp 1.8.2
0.00/0.05 c user parameter file <scip.set> not found - using default parameters
0.00/0.05 c read problem <HOME/instance-1868221-1245116376.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.05/0.06 c No objective function, only one solution is needed.
0.05/0.06 c start presolving problem
0.05/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.05
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 | 51 |3513k| 0 | 30 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 72 |3647k| 0 | 33 | 231 |2564 |2564 | 231 |2572 | 8 | 0 | 0 | 1.100000e+01 | -- | Inf
0.29/0.39 c 0.3s| 1 | 0 | 133 |3959k| 0 | 34 | 231 |2564 |2564 | 231 |2579 | 15 | 0 | 0 | 1.100000e+01 | -- | Inf
0.49/0.55 c 0.5s| 1 | 0 | 212 |4214k| 0 | 52 | 231 |2564 |2564 | 231 |2584 | 20 | 0 | 0 | 1.100000e+01 | -- | Inf
0.79/0.82 c 0.7s| 1 | 0 | 479 |4534k| 0 | 47 | 231 |2564 |2564 | 231 |2588 | 24 | 0 | 0 | 1.100000e+01 | -- | Inf
0.89/1.00 c 0.9s| 1 | 0 | 551 |4798k| 0 | 53 | 231 |2564 |2564 | 231 |2589 | 25 | 0 | 0 | 1.100000e+01 | -- | Inf
1.99/2.03 c 1.9s| 1 | 2 | 551 |4799k| 0 | 53 | 231 |2564 |2564 | 231 |2589 | 25 | 0 | 19 | 1.100000e+01 | -- | Inf
121.44/121.50 c 120s| 10000 | 1669 |318068 |8845k| 64 | - | 231 |2900 |1255 | 231 |2569 | 25 | 941 |2494 | 1.400000e+01 | -- | Inf
202.12/202.24 c 201s| 20000 | 2593 |588548 | 11M| 65 | - | 231 |3087 |1441 | 231 |2569 | 25 |2288 |2712 | 1.400000e+01 | -- | Inf
287.80/287.98 c 286s| 30000 | 3290 |849787 | 12M| 65 | 26 | 231 |3078 |1143 | 231 |2569 | 25 |3649 |3361 | 1.500000e+01 | -- | Inf
371.27/371.41 c 369s| 40000 | 4003 | 1109k| 14M| 65 | - | 231 |3121 |1006 | 231 |2569 | 25 |5411 |3876 | 1.500000e+01 | -- | Inf
456.25/456.40 c 453s| 50000 | 4792 | 1371k| 16M| 65 | - | 231 |3052 | 954 | 231 |2569 | 25 |6736 |4400 | 1.500000e+01 | -- | Inf
541.92/542.19 c 539s| 60000 | 5390 | 1634k| 18M| 65 | 32 | 231 |3024 |1294 | 231 |2569 | 25 |7655 |4936 | 1.500000e+01 | -- | Inf
621.80/622.07 c 618s| 70000 | 5538 | 1872k| 19M| 65 | - | 231 |3240 | 756 | 0 | 0 | 25 |9376 |5402 | 1.500000e+01 | -- | Inf
697.48/697.78 c 693s| 80000 | 5563 | 2099k| 19M| 65 | 22 | 231 |3428 | 617 | 231 |2569 | 25 | 11k|5676 | 1.600000e+01 | -- | Inf
774.46/774.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
774.46/774.78 c 770s| 90000 | 5621 | 2321k| 20M| 65 | 24 | 231 |3406 |1387 | 231 |2569 | 25 | 12k|6103 | 1.600000e+01 | -- | Inf
853.04/853.33 c 848s|100000 | 5787 | 2550k| 20M| 65 | - | 231 |3283 |1042 | 231 |2569 | 25 | 13k|6540 | 1.600000e+01 | -- | Inf
928.91/929.20 c 923s|110000 | 5977 | 2772k| 21M| 65 | 20 | 231 |3273 | 698 | 231 |2569 | 25 | 15k|6802 | 1.600000e+01 | -- | Inf
1001.09/1001.44 c 995s|120000 | 5826 | 2973k| 21M| 65 | 22 | 231 |3451 |1483 | 231 |2569 | 25 | 17k|7093 | 1.600000e+01 | -- | Inf
1071.07/1071.42 c 1065s|130000 | 5512 | 3161k| 21M| 65 | 37 | 231 |3505 |1539 | 231 |2569 | 25 | 19k|7373 | 1.700000e+01 | -- | Inf
1141.65/1142.08 c 1135s|140000 | 5163 | 3348k| 20M| 65 | 29 | 231 |3467 | 927 | 231 |2569 | 25 | 21k|7693 | 1.700000e+01 | -- | Inf
1212.83/1213.22 c 1206s|150000 | 4911 | 3535k| 20M| 65 | 26 | 231 |3406 |1075 | 231 |2569 | 25 | 22k|8010 | 1.700000e+01 | -- | Inf
1285.11/1285.53 c 1278s|160000 | 4669 | 3728k| 20M| 65 | - | 231 |3155 | 556 | 231 |2569 | 25 | 23k|8310 | 1.700000e+01 | -- | Inf
1356.76/1357.28 c 1349s|170000 | 4379 | 3918k| 19M| 65 | - | 231 |3179 | 585 | 231 |2569 | 25 | 24k|8597 | 1.700000e+01 | -- | Inf
1420.53/1421.02 c 1412s|180000 | 3765 | 4076k| 18M| 65 | - | 231 |3488 | 860 | 231 |2569 | 25 | 26k|8762 | 1.700000e+01 | -- | Inf
1484.91/1485.44 c 1476s|190000 | 2977 | 4222k| 16M| 65 | - | 231 |3463 | 774 | 231 |2569 | 25 | 28k|9105 | 1.800000e+01 | -- | Inf
1548.30/1548.85 c 1539s|200000 | 2115 | 4366k| 14M| 65 | 22 | 231 |3354 | 948 | 231 |2569 | 25 | 29k|9330 | 1.800000e+01 | -- | Inf
1610.08/1610.68 c 1601s|210000 | 337 | 4490k|7297k| 65 | 33 | 231 |3366 |1272 | 231 |2569 | 25 | 31k|9712 | 1.900000e+01 | -- | Inf
1616.08/1616.64 c
1616.08/1616.64 c SCIP Status : problem is solved [infeasible]
1616.08/1616.64 c Solving Time (sec) : 1606.73
1616.08/1616.64 c Solving Nodes : 211013
1616.08/1616.64 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1616.08/1616.64 c Dual Bound : +1.00000000000000e+20
1616.08/1616.64 c Gap : 0.00 %
1616.08/1616.64 c NODE 211013
1616.08/1616.64 c DUAL BOUND 1e+20
1616.08/1616.64 c PRIMAL BOUND 1e+20
1616.08/1616.64 c GAP 0
1616.08/1616.64 s UNSATISFIABLE
1616.08/1616.64 c SCIP Status : problem is solved [infeasible]
1616.08/1616.64 c Solving Time : 1606.73
1616.08/1616.64 c Original Problem :
1616.08/1616.64 c Problem name : HOME/instance-1868221-1245116376.opb
1616.08/1616.64 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1616.08/1616.64 c Constraints : 2707 initial, 2707 maximal
1616.08/1616.64 c Presolved Problem :
1616.08/1616.64 c Problem name : t_HOME/instance-1868221-1245116376.opb
1616.08/1616.64 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1616.08/1616.64 c Constraints : 2564 initial, 3626 maximal
1616.08/1616.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1616.08/1616.64 c trivial : 0.00 0 0 0 0 0 0 0 0
1616.08/1616.64 c dualfix : 0.00 0 0 0 0 0 0 0 0
1616.08/1616.64 c boundshift : 0.00 0 0 0 0 0 0 0 0
1616.08/1616.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1616.08/1616.64 c implics : 0.00 0 0 0 0 0 0 0 0
1616.08/1616.64 c probing : 0.00 0 0 0 0 0 0 0 0
1616.08/1616.64 c knapsack : 0.00 0 0 0 0 0 0 0 0
1616.08/1616.64 c setppc : 0.00 0 0 0 0 0 0 0 0
1616.08/1616.64 c linear : 0.02 0 0 0 0 0 143 0 0
1616.08/1616.64 c logicor : 0.01 0 0 0 0 0 0 0 0
1616.08/1616.64 c root node : - 1 - - 1 - - - -
1616.08/1616.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1616.08/1616.64 c integral : 0 0 0 109072 0 582 4190 0 0 211862
1616.08/1616.64 c knapsack : 1 5 475307 0 0 2667 603264 0 0 0
1616.08/1616.64 c setppc : 22 5 473563 0 0 7114 993442 0 0 0
1616.08/1616.64 c logicor : 2541+ 5 407062 0 0 2708 1479546 0 0 0
1616.08/1616.64 c countsols : 0 0 0 0 0 0 0 0 0 0
1616.08/1616.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1616.08/1616.64 c integral : 104.83 0.00 0.00 104.83 0.00
1616.08/1616.64 c knapsack : 2.39 0.00 2.39 0.00 0.00
1616.08/1616.64 c setppc : 5.40 0.00 5.40 0.00 0.00
1616.08/1616.64 c logicor : 32.70 0.00 32.70 0.00 0.00
1616.08/1616.64 c countsols : 0.00 0.00 0.00 0.00 0.00
1616.08/1616.64 c Propagators : Time Calls Cutoffs DomReds
1616.08/1616.64 c rootredcost : 0.24 0 0 0
1616.08/1616.64 c pseudoobj : 6.73 476250 1 0
1616.08/1616.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1616.08/1616.64 c propagation : 1.01 12489 12489 71075 19.7 185 16.6 -
1616.08/1616.64 c infeasible LP : 3.65 92858 0 0 0.0 0 0.0 0
1616.08/1616.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1616.08/1616.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1616.08/1616.64 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1616.08/1616.64 c applied globally : - - - 31399 16.7 - - -
1616.08/1616.64 c applied locally : - - - 136 33.9 - - -
1616.08/1616.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1616.08/1616.64 c cut pool : 0.00 4 - - 0 - (maximal pool size: 511)
1616.08/1616.64 c redcost : 1.81 106616 0 0 0 0
1616.08/1616.64 c impliedbounds : 0.00 5 0 0 0 0
1616.08/1616.64 c intobj : 0.00 0 0 0 0 0
1616.08/1616.64 c gomory : 0.34 5 0 0 2500 0
1616.08/1616.64 c strongcg : 0.30 5 0 0 2500 0
1616.08/1616.64 c cmir : 0.00 0 0 0 0 0
1616.08/1616.64 c flowcover : 0.00 0 0 0 0 0
1616.08/1616.64 c clique : 0.00 5 0 0 0 0
1616.08/1616.64 c zerohalf : 0.00 0 0 0 0 0
1616.08/1616.64 c mcf : 0.00 1 0 0 0 0
1616.08/1616.64 c Pricers : Time Calls Vars
1616.08/1616.64 c problem variables: 0.00 0 0
1616.08/1616.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1616.08/1616.64 c relpscost : 104.48 109072 582 4190 0 0 211862
1616.08/1616.64 c pscost : 0.00 0 0 0 0 0 0
1616.08/1616.64 c inference : 0.00 0 0 0 0 0 0
1616.08/1616.64 c mostinf : 0.00 0 0 0 0 0 0
1616.08/1616.64 c leastinf : 0.00 0 0 0 0 0 0
1616.08/1616.64 c fullstrong : 0.00 0 0 0 0 0 0
1616.08/1616.64 c allfullstrong : 0.00 0 0 0 0 0 0
1616.08/1616.64 c random : 0.00 0 0 0 0 0 0
1616.08/1616.64 c Primal Heuristics : Time Calls Found
1616.08/1616.64 c LP solutions : 0.00 - 0
1616.08/1616.64 c pseudo solutions : 0.00 - 0
1616.08/1616.64 c simplerounding : 0.00 0 0
1616.08/1616.64 c rounding : 0.00 0 0
1616.08/1616.64 c shifting : 0.00 0 0
1616.08/1616.64 c intshifting : 0.00 0 0
1616.08/1616.64 c oneopt : 0.00 0 0
1616.08/1616.64 c fixandinfer : 0.00 0 0
1616.08/1616.64 c feaspump : 0.00 0 0
1616.08/1616.64 c coefdiving : 0.00 0 0
1616.08/1616.64 c pscostdiving : 0.00 0 0
1616.08/1616.64 c fracdiving : 0.00 0 0
1616.08/1616.64 c veclendiving : 0.00 0 0
1616.08/1616.64 c intdiving : 0.00 0 0
1616.08/1616.64 c actconsdiving : 0.00 0 0
1616.08/1616.64 c objpscostdiving : 0.00 0 0
1616.08/1616.64 c rootsoldiving : 0.00 0 0
1616.08/1616.64 c linesearchdiving : 0.00 0 0
1616.08/1616.64 c guideddiving : 0.00 0 0
1616.08/1616.64 c octane : 0.00 0 0
1616.08/1616.64 c rens : 0.00 0 0
1616.08/1616.64 c rins : 0.00 0 0
1616.08/1616.64 c localbranching : 0.00 0 0
1616.08/1616.64 c mutation : 0.00 0 0
1616.08/1616.64 c crossover : 0.00 0 0
1616.08/1616.64 c dins : 0.00 0 0
1616.08/1616.64 c LP : Time Calls Iterations Iter/call Iter/sec
1616.08/1616.64 c primal LP : 0.01 0 0 0.00 0.00
1616.08/1616.64 c dual LP : 1340.94 201600 4500942 22.33 3356.56
1616.08/1616.64 c barrier LP : 0.00 0 0 0.00 -
1616.08/1616.64 c diving/probing LP: 0.00 0 0 0.00 -
1616.08/1616.64 c strong branching : 100.70 9728 410420 42.19 4075.67
1616.08/1616.64 c (at root node) : - 19 3069 161.53 -
1616.08/1616.64 c conflict analysis: 0.00 0 0 0.00 -
1616.08/1616.64 c B&B Tree :
1616.08/1616.64 c number of runs : 1
1616.08/1616.64 c nodes : 211013
1616.08/1616.64 c nodes (total) : 211013
1616.08/1616.64 c nodes left : 0
1616.08/1616.64 c max depth : 65
1616.08/1616.64 c max depth (total): 65
1616.08/1616.64 c backtracks : 26460 (12.5%)
1616.08/1616.64 c delayed cutoffs : 850
1616.08/1616.64 c repropagations : 25831 (91869 domain reductions, 848 cutoffs)
1616.08/1616.64 c avg switch length: 6.05
1616.08/1616.64 c switching time : 36.86
1616.08/1616.64 c Solution :
1616.08/1616.64 c Solutions found : 0 (0 improvements)
1616.08/1616.64 c Primal Bound : infeasible
1616.08/1616.64 c Dual Bound : -
1616.08/1616.64 c Gap : 0.00 %
1616.08/1616.64 c Root Dual Bound : +1.10000000000000e+01
1616.08/1616.66 c Time complete: 1616.14.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868221-1245116376/watcher-1868221-1245116376 -o /tmp/evaluation-result-1868221-1245116376/solver-1868221-1245116376 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868221-1245116376.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.05 3/64 3360 /proc/meminfo: memFree=688888/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=5812 CPUtime=0 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 514 0 0 0 0 0 0 0 18 0 1 0 179234596 5951488 499 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/3360/statm: 1453 500 332 1256 0 192 0 [startup+0.0527361 s] /proc/loadavg: 1.00 1.00 1.05 3/64 3360 /proc/meminfo: memFree=688888/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=11524 CPUtime=0.05 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 2106 0 0 0 4 1 0 0 18 0 1 0 179234596 11800576 1736 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 2881 1747 406 1256 0 1620 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11524 [startup+0.101741 s] /proc/loadavg: 1.00 1.00 1.05 3/64 3360 /proc/meminfo: memFree=688888/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=18752 CPUtime=0.09 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 3847 0 0 0 7 2 0 0 18 0 1 0 179234596 19202048 3477 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 4688 3477 471 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.301761 s] /proc/loadavg: 1.00 1.00 1.05 3/64 3360 /proc/meminfo: memFree=688888/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=25276 CPUtime=0.29 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 5283 0 0 0 26 3 0 0 17 0 1 0 179234596 25882624 4913 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 6319 4913 649 1256 0 5058 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25276 [startup+0.701803 s] /proc/loadavg: 1.00 1.00 1.05 3/64 3360 /proc/meminfo: memFree=688888/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=28172 CPUtime=0.69 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 6074 0 0 0 65 4 0 0 20 0 1 0 179234596 28848128 5704 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 7043 5704 649 1256 0 5782 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28172 [startup+1.50188 s] /proc/loadavg: 1.00 1.00 1.05 2/65 3361 /proc/meminfo: memFree=665136/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=34340 CPUtime=1.49 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 6976 0 0 0 144 5 0 0 25 0 1 0 179234596 35164160 6606 1992294400 4194304 9342243 548682068736 18446744073709551615 6242287 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 8585 6606 654 1256 0 7324 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34340 [startup+3.10105 s] /proc/loadavg: 1.00 1.00 1.05 2/65 3361 /proc/meminfo: memFree=664752/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=34716 CPUtime=3.09 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 7358 0 0 0 303 6 0 0 25 0 1 0 179234596 35549184 6677 1992294400 4194304 9342243 548682068736 18446744073709551615 6965315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 8679 6677 670 1256 0 7418 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34716 [startup+6.30137 s] /proc/loadavg: 1.00 1.00 1.05 2/65 3361 /proc/meminfo: memFree=664432/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=33744 CPUtime=6.28 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 8555 0 0 0 620 8 0 0 25 0 1 0 179234596 34553856 6671 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 8436 6671 674 1256 0 7175 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 33744 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.05 2/65 3361 /proc/meminfo: memFree=664248/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=34712 CPUtime=12.69 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 11715 0 0 0 1257 12 0 0 25 0 1 0 179234596 35545088 6747 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 8678 6747 674 1256 0 7417 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34712 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.05 2/65 3361 /proc/meminfo: memFree=664248/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=32596 CPUtime=25.49 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 23039 0 0 0 2527 22 0 0 25 0 1 0 179234596 33378304 6757 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 8149 6757 678 1256 0 6888 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32596 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.04 2/65 3361 /proc/meminfo: memFree=662904/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=35788 CPUtime=51.06 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 42671 0 0 0 5058 48 0 0 25 0 1 0 179234596 36646912 7132 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 8947 7132 678 1256 0 7686 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 35788 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.04 2/65 3361 /proc/meminfo: memFree=660088/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=36596 CPUtime=102.25 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 59615 0 0 0 10143 82 0 0 25 0 1 0 179234596 37474304 7834 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 9149 7834 678 1256 0 7888 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 36596 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.03 2/65 3361 /proc/meminfo: memFree=657272/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=41196 CPUtime=162.23 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 71790 0 0 0 16105 118 0 0 25 0 1 0 179234596 42184704 8543 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 10299 8543 678 1256 0 9038 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 41196 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.03 2/65 3361 /proc/meminfo: memFree=655928/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=42280 CPUtime=222.21 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 80475 0 0 0 22067 154 0 0 25 0 1 0 179234596 43294720 8858 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 10570 8858 678 1256 0 9309 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 42280 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.02 2/65 3361 /proc/meminfo: memFree=654776/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=41916 CPUtime=282.19 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 92244 0 0 0 28027 192 0 0 25 0 1 0 179234596 42921984 9140 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 10479 9140 678 1256 0 9218 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 41916 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.02 2/65 3361 /proc/meminfo: memFree=651704/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=46832 CPUtime=342.17 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 101082 0 0 0 33990 227 0 0 25 0 1 0 179234596 47955968 9905 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 11708 9905 678 1256 0 10447 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 46832 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.01 2/65 3361 /proc/meminfo: memFree=651128/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=47036 CPUtime=402.16 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 106086 0 0 0 39954 262 0 0 25 0 1 0 179234596 48164864 10062 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 11759 10062 678 1256 0 10498 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 47036 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3361 /proc/meminfo: memFree=650040/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=48520 CPUtime=462.15 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 113468 0 0 0 45917 298 0 0 25 0 1 0 179234596 49684480 10417 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 12130 10417 678 1256 0 10869 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 48520 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3361 /proc/meminfo: memFree=647032/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=51252 CPUtime=522.13 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 118126 0 0 0 51884 329 0 0 25 0 1 0 179234596 52482048 11114 1992294400 4194304 9342243 548682068736 18446744073709551615 6974252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 12813 11114 678 1256 0 11552 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 51252 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3361 /proc/meminfo: memFree=646520/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=51308 CPUtime=582.11 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 121286 0 0 0 57851 360 0 0 25 0 1 0 179234596 52539392 11210 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 12827 11210 678 1256 0 11566 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 51308 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3361 /proc/meminfo: memFree=644984/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=53332 CPUtime=642.09 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 122319 0 0 0 63816 393 0 0 25 0 1 0 179234596 54611968 11603 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13333 11603 678 1256 0 12072 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 53332 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=642424/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=54440 CPUtime=942.01 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 131674 0 0 0 93648 553 0 0 25 0 1 0 179234596 55746560 12225 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13610 12225 678 1256 0 12349 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 54440 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3363 /proc/meminfo: memFree=642360/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=55384 CPUtime=1001.99 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 136350 0 0 0 99613 586 0 0 25 0 1 0 179234596 56713216 12245 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13846 12245 678 1256 0 12585 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 55384 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3363 /proc/meminfo: memFree=642232/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=55464 CPUtime=1061.98 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 142010 0 0 0 105578 620 0 0 25 0 1 0 179234596 56795136 12290 1992294400 4194304 9342243 548682068736 18446744073709551615 7289246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13866 12290 678 1256 0 12605 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 55464 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3363 /proc/meminfo: memFree=642424/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=53724 CPUtime=1121.96 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 147884 0 0 0 111543 653 0 0 25 0 1 0 179234596 55013376 12177 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13431 12177 678 1256 0 12170 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 53724 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3363 /proc/meminfo: memFree=642232/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=54072 CPUtime=1181.94 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 151343 0 0 0 117510 684 0 0 25 0 1 0 179234596 55369728 12201 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13518 12201 678 1256 0 12257 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 54072 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3363 /proc/meminfo: memFree=642168/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=55464 CPUtime=1241.92 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 156579 0 0 0 123474 718 0 0 25 0 1 0 179234596 56795136 12294 1992294400 4194304 9342243 548682068736 18446744073709551615 6911081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13866 12294 678 1256 0 12605 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 55464 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3369 /proc/meminfo: memFree=642424/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=54080 CPUtime=1301.91 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 164050 0 0 0 129437 754 0 0 25 0 1 0 179234596 55377920 12218 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13520 12218 678 1256 0 12259 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 54080 [startup+1362.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 3845 /proc/meminfo: memFree=641976/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=55448 CPUtime=1361.86 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 169445 0 0 0 135397 789 0 0 25 0 1 0 179234596 56778752 12261 1992294400 4194304 9342243 548682068736 18446744073709551615 4266477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13862 12261 678 1256 0 12601 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 55448 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3845 /proc/meminfo: memFree=642360/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=54072 CPUtime=1421.84 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 173526 0 0 0 141362 822 0 0 25 0 1 0 179234596 55369728 12207 1992294400 4194304 9342243 548682068736 18446744073709551615 6918681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13518 12207 678 1256 0 12257 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 54072 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 3845 /proc/meminfo: memFree=642296/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=54076 CPUtime=1481.82 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 182072 0 0 0 147324 858 0 0 25 0 1 0 179234596 55373824 12211 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13519 12211 678 1256 0 12258 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 54076 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3845 /proc/meminfo: memFree=642168/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=55388 CPUtime=1541.8 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 185417 0 0 0 153290 890 0 0 25 0 1 0 179234596 56717312 12265 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13847 12265 678 1256 0 12586 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 55388 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3845 /proc/meminfo: memFree=642296/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=54092 CPUtime=1601.78 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 198887 0 0 0 159251 927 0 0 25 0 1 0 179234596 55390208 12205 1992294400 4194304 9342243 548682068736 18446744073709551615 6059573 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13523 12205 678 1256 0 12262 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 54092 Solver just ended. Dumping a history of the last processes samples [startup+1606.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3845 /proc/meminfo: memFree=642296/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=54088 CPUtime=1605.78 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 199258 0 0 0 159649 929 0 0 25 0 1 0 179234596 55386112 12196 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13522 12196 678 1256 0 12261 0 Current children cumulated CPU time (s) 1605.78 Current children cumulated vsize (KiB) 54088 [startup+1612.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3845 /proc/meminfo: memFree=642296/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=56160 CPUtime=1612.17 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 200089 0 0 0 160284 933 0 0 25 0 1 0 179234596 57507840 12217 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 14040 12217 678 1256 0 12779 0 Current children cumulated CPU time (s) 1612.17 Current children cumulated vsize (KiB) 56160 [startup+1614.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3845 /proc/meminfo: memFree=642296/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=54080 CPUtime=1613.78 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 200260 0 0 0 160443 935 0 0 25 0 1 0 179234596 55377920 12210 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13520 12210 678 1256 0 12259 0 Current children cumulated CPU time (s) 1613.78 Current children cumulated vsize (KiB) 54080 [startup+1615.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3845 /proc/meminfo: memFree=642296/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=55592 CPUtime=1615.38 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 200387 0 0 0 160603 935 0 0 25 0 1 0 179234596 56926208 12232 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13898 12232 678 1256 0 12637 0 Current children cumulated CPU time (s) 1615.38 Current children cumulated vsize (KiB) 55592 [startup+1616.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3845 /proc/meminfo: memFree=642296/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=55592 CPUtime=1615.78 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 200389 0 0 0 160642 936 0 0 25 0 1 0 179234596 56926208 12234 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13898 12234 678 1256 0 12637 0 Current children cumulated CPU time (s) 1615.78 Current children cumulated vsize (KiB) 55592 [startup+1616.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3845 /proc/meminfo: memFree=642296/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=55592 CPUtime=1615.98 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 200389 0 0 0 160662 936 0 0 25 0 1 0 179234596 56926208 12234 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13898 12234 678 1256 0 12637 0 Current children cumulated CPU time (s) 1615.98 Current children cumulated vsize (KiB) 55592 [startup+1616.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3845 /proc/meminfo: memFree=642296/2055920 swapFree=4192952/4192956 [pid=3360] ppid=3358 vsize=55592 CPUtime=1616.08 /proc/3360/stat : 3360 (pbscip.linux.x8) R 3358 3360 3233 0 -1 4194304 200390 0 0 0 160672 936 0 0 25 0 1 0 179234596 56926208 12235 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3360/statm: 13898 12235 679 1256 0 12637 0 Current children cumulated CPU time (s) 1616.08 Current children cumulated vsize (KiB) 55592 Child status: 0 Real time (s): 1616.67 CPU time (s): 1616.15 CPU user time (s): 1606.78 CPU system time (s): 9.37358 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 56832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1606.78 system time used= 9.37358 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 200400 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= 2531 runsolver used 1.07584 second user time and 3.46647 second system time The end
Begin job on node45 at 2009-06-16 03:39:36 IDJOB=1868221 IDBENCH=1277 IDSOLVER=684 FILE ID=node45/1868221-1245116376 PBS_JOBID= 9363671 Free space on /tmp= 66172 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.1900576927.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-1868221-1245116376/watcher-1868221-1245116376 -o /tmp/evaluation-result-1868221-1245116376/solver-1868221-1245116376 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868221-1245116376.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f91f8d08a20ca0a8483dc7b1c14e540 RANDOM SEED=1764592927 node45.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.240 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.240 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: 689304 kB Buffers: 84472 kB Cached: 1179916 kB SwapCached: 4 kB Active: 142580 kB Inactive: 1135784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 689304 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 11808 kB Writeback: 0 kB Mapped: 23696 kB Slab: 74188 kB Committed_AS: 144872 kB PageTables: 1380 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= 66160 MiB End job on node45 at 2009-06-16 04:06:33