| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | UNSAT | 1700.74 | 1701.32 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb |
| MD5SUM | fb1b2fb5676286fc8681e7e6d0d2728f |
| 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 | 112.264 |
| 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 | 669 |
| 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 SoPlex 1.4.1
0.00/0.05 c user parameter file <scip.set> not found - using default parameters
0.00/0.05 c read problem <HOME/instance-1868216-1245116031.opb>
0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.06 c No objective function, only one solution is needed.
0.00/0.06 c start presolving problem
0.00/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.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c 0.1s| 1 | 0 | 77 |3513k| 0 | 34 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 103 |3670k| 0 | 39 | 231 |2564 |2564 | 231 |2570 | 6 | 0 | 0 | 1.100000e+01 | -- | Inf
0.49/0.54 c 0.5s| 1 | 0 | 126 |3881k| 0 | 39 | 231 |2564 |2564 | 231 |2573 | 9 | 0 | 0 | 1.100000e+01 | -- | Inf
0.79/0.86 c 0.8s| 1 | 0 | 141 |3950k| 0 | 41 | 231 |2564 |2564 | 231 |2577 | 13 | 0 | 0 | 1.100000e+01 | -- | Inf
1.19/1.21 c 1.1s| 1 | 0 | 164 |4019k| 0 | 43 | 231 |2564 |2564 | 231 |2578 | 14 | 0 | 0 | 1.100000e+01 | -- | Inf
1.49/1.58 c 1.5s| 1 | 0 | 178 |4036k| 0 | 45 | 231 |2564 |2564 | 231 |2579 | 15 | 0 | 0 | 1.100000e+01 | -- | Inf
3.99/4.08 c 4.0s| 1 | 2 | 178 |4037k| 0 | 45 | 231 |2564 |2564 | 231 |2579 | 15 | 0 | 33 | 1.100000e+01 | -- | Inf
131.06/131.15 c 130s| 10000 | 1689 |212941 |9207k| 65 | 28 | 231 |4476 |1277 | 231 |2574 | 15 |4857 |2312 | 1.400000e+01 | -- | Inf
219.13/219.22 c 217s| 20000 | 2677 |420019 | 12M| 68 | 32 | 231 |5360 |1294 | 231 |2574 | 15 | 10k|2325 | 1.500000e+01 | -- | Inf
317.11/317.26 c 315s| 30000 | 3523 |625247 | 15M| 68 | 32 | 231 |5984 |1510 | 231 |2574 | 15 | 15k|2965 | 1.500000e+01 | -- | Inf
415.69/415.84 c 412s| 40000 | 4455 |832718 | 17M| 68 | - | 231 |5768 |1527 | 231 |2574 | 15 | 21k|3548 | 1.500000e+01 | -- | Inf
510.06/510.30 c 506s| 50000 | 5000 | 1034k| 19M| 68 | - | 231 |6153 |1126 | 231 |2574 | 15 | 27k|3976 | 1.500000e+01 | -- | Inf
607.64/607.80 c 603s| 60000 | 5392 | 1245k| 21M| 68 | - | 231 |6649 |1118 | 231 |2574 | 15 | 32k|4399 | 1.600000e+01 | -- | Inf
706.11/706.36 c 700s| 70000 | 5591 | 1456k| 22M| 68 | 27 | 231 |7514 |1342 | 231 |2574 | 15 | 38k|4810 | 1.600000e+01 | -- | Inf
804.18/804.49 c 798s| 80000 | 5926 | 1665k| 24M| 68 | - | 231 |7521 | 749 | 0 | 0 | 15 | 43k|5227 | 1.600000e+01 | -- | Inf
899.16/899.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.16/899.46 c 892s| 90000 | 5764 | 1869k| 24M| 68 | - | 231 |7848 |1181 | 231 |2574 | 15 | 49k|5505 | 1.600000e+01 | -- | Inf
993.34/993.66 c 985s|100000 | 5623 | 2065k| 24M| 68 | - | 231 |8285 | 942 | 231 |2574 | 15 | 54k|5863 | 1.600000e+01 | -- | Inf
1084.12/1084.46 c 1075s|110000 | 5550 | 2256k| 25M| 68 | 23 | 231 |8984 | 772 | 231 |2574 | 15 | 60k|6074 | 1.700000e+01 | -- | Inf
1179.78/1180.10 c 1170s|120000 | 5324 | 2453k| 25M| 68 | - | 231 |9269 |1242 | 231 |2574 | 15 | 66k|6434 | 1.700000e+01 | -- | Inf
1275.36/1275.79 c 1265s|130000 | 5094 | 2651k| 25M| 68 | - | 231 |8864 |1253 | 231 |2574 | 15 | 71k|6690 | 1.700000e+01 | -- | Inf
1359.65/1360.04 c 1348s|140000 | 4471 | 2816k| 23M| 68 | - | 231 |9361 | 753 | 231 |2574 | 15 | 77k|6989 | 1.700000e+01 | -- | Inf
1444.93/1445.37 c 1433s|150000 | 3958 | 2985k| 22M| 68 | 25 | 231 |9471 | 812 | 231 |2574 | 15 | 83k|7264 | 1.700000e+01 | -- | Inf
1533.00/1533.45 c 1520s|160000 | 3220 | 3161k| 21M| 68 | 32 | 231 | 10k|1379 | 231 |2574 | 15 | 89k|7497 | 1.800000e+01 | -- | Inf
1621.08/1621.51 c 1607s|170000 | 1852 | 3326k| 17M| 68 | 20 | 231 | 10k| 741 | 231 |2574 | 15 | 95k|7770 | 1.900000e+01 | -- | Inf
1700.61/1701.27 c
1700.61/1701.27 c SCIP Status : problem is solved [infeasible]
1700.61/1701.27 c Solving Time (sec) : 1686.33
1700.61/1701.27 c Solving Nodes : 179829
1700.61/1701.27 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1700.61/1701.27 c Dual Bound : +1.00000000000000e+20
1700.61/1701.27 c Gap : 0.00 %
1700.61/1701.27 c NODE 179829
1700.61/1701.27 c DUAL BOUND 1e+20
1700.61/1701.27 c PRIMAL BOUND 1e+20
1700.61/1701.27 c GAP 0
1700.61/1701.27 s UNSATISFIABLE
1700.61/1701.27 c SCIP Status : problem is solved [infeasible]
1700.61/1701.27 c Solving Time : 1686.33
1700.61/1701.27 c Original Problem :
1700.61/1701.27 c Problem name : HOME/instance-1868216-1245116031.opb
1700.61/1701.27 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1700.61/1701.27 c Constraints : 2707 initial, 2707 maximal
1700.61/1701.27 c Presolved Problem :
1700.61/1701.27 c Problem name : t_HOME/instance-1868216-1245116031.opb
1700.61/1701.27 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
1700.61/1701.27 c Constraints : 2564 initial, 12198 maximal
1700.61/1701.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1700.61/1701.27 c trivial : 0.00 0 0 0 0 0 0 0 0
1700.61/1701.27 c dualfix : 0.00 0 0 0 0 0 0 0 0
1700.61/1701.27 c boundshift : 0.00 0 0 0 0 0 0 0 0
1700.61/1701.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1700.61/1701.27 c implics : 0.00 0 0 0 0 0 0 0 0
1700.61/1701.27 c probing : 0.00 0 0 0 0 0 0 0 0
1700.61/1701.27 c knapsack : 0.00 0 0 0 0 0 0 0 0
1700.61/1701.27 c setppc : 0.00 0 0 0 0 0 0 0 0
1700.61/1701.27 c linear : 0.02 0 0 0 0 0 143 0 0
1700.61/1701.27 c logicor : 0.03 0 0 0 0 0 0 0 0
1700.61/1701.27 c root node : - 4 - - 4 - - - -
1700.61/1701.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1700.61/1701.27 c integral : 0 0 0 92101 0 252 2520 0 0 181032
1700.61/1701.27 c knapsack : 1 5 622977 0 0 1987 452699 0 0 0
1700.61/1701.27 c setppc : 22 5 621525 0 0 5386 869595 0 0 0
1700.61/1701.27 c logicor : 2541+ 5 371147 0 0 2423 1324602 0 0 0
1700.61/1701.27 c countsols : 0 0 0 0 0 0 0 0 0 0
1700.61/1701.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1700.61/1701.27 c integral : 125.50 0.00 0.00 125.50 0.00
1700.61/1701.27 c knapsack : 2.06 0.00 2.06 0.00 0.00
1700.61/1701.27 c setppc : 5.26 0.00 5.26 0.00 0.00
1700.61/1701.27 c logicor : 59.79 0.00 59.79 0.00 0.00
1700.61/1701.27 c countsols : 0.00 0.00 0.00 0.00 0.00
1700.61/1701.27 c Propagators : Time Calls Cutoffs DomReds
1700.61/1701.27 c rootredcost : 0.27 0 0 0
1700.61/1701.27 c pseudoobj : 8.55 623526 1 0
1700.61/1701.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1700.61/1701.27 c propagation : 0.99 9796 9787 61743 26.7 318 28.9 -
1700.61/1701.27 c infeasible LP : 33.72 80447 71803 486788 38.3 865 22.4 0
1700.61/1701.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1700.61/1701.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1700.61/1701.27 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1700.61/1701.27 c applied globally : - - - 87182 19.8 - - -
1700.61/1701.27 c applied locally : - - - 13371 36.0 - - -
1700.61/1701.27 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1700.61/1701.27 c cut pool : 0.00 4 - - 4 - (maximal pool size: 189)
1700.61/1701.27 c redcost : 1.21 90883 0 0 0 0
1700.61/1701.27 c impliedbounds : 0.00 5 0 0 0 0
1700.61/1701.27 c intobj : 0.00 0 0 0 0 0
1700.61/1701.27 c gomory : 0.78 5 0 0 732 0
1700.61/1701.27 c strongcg : 0.57 5 0 0 1233 0
1700.61/1701.27 c cmir : 0.00 0 0 0 0 0
1700.61/1701.27 c flowcover : 0.00 0 0 0 0 0
1700.61/1701.27 c clique : 0.00 5 0 0 0 0
1700.61/1701.27 c zerohalf : 0.00 0 0 0 0 0
1700.61/1701.27 c mcf : 0.00 1 0 0 0 0
1700.61/1701.27 c Pricers : Time Calls Vars
1700.61/1701.27 c problem variables: 0.00 0 0
1700.61/1701.27 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1700.61/1701.27 c relpscost : 125.28 92101 252 2520 0 0 181032
1700.61/1701.27 c pscost : 0.00 0 0 0 0 0 0
1700.61/1701.27 c inference : 0.00 0 0 0 0 0 0
1700.61/1701.27 c mostinf : 0.00 0 0 0 0 0 0
1700.61/1701.27 c leastinf : 0.00 0 0 0 0 0 0
1700.61/1701.27 c fullstrong : 0.00 0 0 0 0 0 0
1700.61/1701.27 c allfullstrong : 0.00 0 0 0 0 0 0
1700.61/1701.27 c random : 0.00 0 0 0 0 0 0
1700.61/1701.27 c Primal Heuristics : Time Calls Found
1700.61/1701.27 c LP solutions : 0.00 - 0
1700.61/1701.27 c pseudo solutions : 0.00 - 0
1700.61/1701.27 c simplerounding : 0.00 0 0
1700.61/1701.27 c rounding : 0.00 0 0
1700.61/1701.27 c shifting : 0.00 0 0
1700.61/1701.27 c intshifting : 0.00 0 0
1700.61/1701.27 c oneopt : 0.00 0 0
1700.61/1701.27 c fixandinfer : 0.00 0 0
1700.61/1701.27 c feaspump : 0.00 0 0
1700.61/1701.27 c coefdiving : 0.00 0 0
1700.61/1701.27 c pscostdiving : 0.00 0 0
1700.61/1701.27 c fracdiving : 0.00 0 0
1700.61/1701.27 c veclendiving : 0.00 0 0
1700.61/1701.27 c intdiving : 0.00 0 0
1700.61/1701.27 c actconsdiving : 0.00 0 0
1700.61/1701.27 c objpscostdiving : 0.00 0 0
1700.61/1701.27 c rootsoldiving : 0.00 0 0
1700.61/1701.27 c linesearchdiving : 0.00 0 0
1700.61/1701.27 c guideddiving : 0.00 0 0
1700.61/1701.27 c octane : 0.00 0 0
1700.61/1701.27 c rens : 0.00 0 0
1700.61/1701.27 c rins : 0.00 0 0
1700.61/1701.27 c localbranching : 0.00 0 0
1700.61/1701.27 c mutation : 0.00 0 0
1700.61/1701.27 c crossover : 0.00 0 0
1700.61/1701.27 c dins : 0.00 0 0
1700.61/1701.27 c LP : Time Calls Iterations Iter/call Iter/sec
1700.61/1701.27 c primal LP : 0.00 0 0 0.00 -
1700.61/1701.27 c dual LP : 1297.91 172327 3467936 20.12 2671.94
1700.61/1701.27 c barrier LP : 0.00 0 0 0.00 -
1700.61/1701.27 c diving/probing LP: 0.00 0 0 0.00 -
1700.61/1701.27 c strong branching : 121.20 7934 311247 39.23 2568.04
1700.61/1701.27 c (at root node) : - 33 6148 186.30 -
1700.61/1701.27 c conflict analysis: 0.00 0 0 0.00 -
1700.61/1701.27 c B&B Tree :
1700.61/1701.27 c number of runs : 1
1700.61/1701.27 c nodes : 179829
1700.61/1701.27 c nodes (total) : 179829
1700.61/1701.27 c nodes left : 0
1700.61/1701.27 c max depth : 68
1700.61/1701.27 c max depth (total): 68
1700.61/1701.27 c backtracks : 23801 (13.2%)
1700.61/1701.27 c delayed cutoffs : 1204
1700.61/1701.27 c repropagations : 200751 (340326 domain reductions, 1187 cutoffs)
1700.61/1701.27 c avg switch length: 7.58
1700.61/1701.27 c switching time : 51.91
1700.61/1701.27 c Solution :
1700.61/1701.27 c Solutions found : 0 (0 improvements)
1700.61/1701.27 c Primal Bound : infeasible
1700.61/1701.27 c Dual Bound : -
1700.61/1701.27 c Gap : 0.00 %
1700.61/1701.27 c Root Dual Bound : +1.10000000000000e+01
1700.71/1701.31 c Time complete: 1700.73.
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-1868216-1245116031/watcher-1868216-1245116031 -o /tmp/evaluation-result-1868216-1245116031/solver-1868216-1245116031 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868216-1245116031.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: 0.99 0.98 1.00 2/64 31878 /proc/meminfo: memFree=1825256/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=7132 CPUtime=0 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 1083 0 0 0 0 0 0 0 18 0 1 0 179203330 7303168 1065 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/31878/statm: 1783 1073 335 886 0 893 0 [startup+0.0150661 s] /proc/loadavg: 0.99 0.98 1.00 2/64 31878 /proc/meminfo: memFree=1825256/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=8828 CPUtime=0 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 1541 0 0 0 0 0 0 0 18 0 1 0 179203330 9039872 1523 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0 /proc/31878/statm: 2207 1523 351 886 0 1317 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8828 [startup+0.101073 s] /proc/loadavg: 0.99 0.98 1.00 2/64 31878 /proc/meminfo: memFree=1825256/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=17544 CPUtime=0.09 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 3797 0 0 0 8 1 0 0 18 0 1 0 179203330 17965056 3425 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 4386 3425 429 886 0 3496 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17544 [startup+0.301093 s] /proc/loadavg: 0.99 0.98 1.00 2/64 31878 /proc/meminfo: memFree=1825256/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=23052 CPUtime=0.29 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 5364 0 0 0 26 3 0 0 17 0 1 0 179203330 23605248 4949 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 5763 4949 547 886 0 4873 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23052 [startup+0.701135 s] /proc/loadavg: 0.99 0.98 1.00 2/64 31878 /proc/meminfo: memFree=1825256/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=24852 CPUtime=0.69 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 5823 0 0 0 65 4 0 0 20 0 1 0 179203330 25448448 5408 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 6213 5408 547 886 0 5323 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24852 [startup+1.50221 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1805920/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=25232 CPUtime=1.49 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 5952 0 0 0 144 5 0 0 25 0 1 0 179203330 25837568 5537 1992294400 4194304 7823515 548682068736 18446744073709551615 5965407 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 6308 5537 547 886 0 5418 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25232 [startup+3.10138 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1805216/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=25744 CPUtime=3.09 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 6062 0 0 0 303 6 0 0 25 0 1 0 179203330 26361856 5647 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 6436 5647 551 886 0 5546 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25744 [startup+6.3017 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1804640/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=25744 CPUtime=6.28 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 6109 0 0 0 620 8 0 0 25 0 1 0 179203330 26361856 5694 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 6436 5694 554 886 0 5546 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 25744 [startup+12.7014 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1804712/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=25744 CPUtime=12.69 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 6116 0 0 0 1255 14 0 0 25 0 1 0 179203330 26361856 5701 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 6436 5701 561 886 0 5546 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25744 [startup+25.5016 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1804712/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=25744 CPUtime=25.49 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 6116 0 0 0 2527 22 0 0 25 0 1 0 179203330 26361856 5701 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 6436 5701 561 886 0 5546 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25744 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1803752/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=26980 CPUtime=51.07 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 6405 0 0 0 5066 41 0 0 25 0 1 0 179203330 27627520 5990 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 6745 5990 561 886 0 5855 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26980 [startup+102.305 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1799976/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=30712 CPUtime=102.26 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 7333 0 0 0 10142 84 0 0 25 0 1 0 179203330 31449088 6918 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 7678 6918 561 886 0 6788 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30712 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1797544/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=32936 CPUtime=162.24 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 7911 0 0 0 16091 133 0 0 25 0 1 0 179203330 33726464 7495 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 8234 7495 561 886 0 7344 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32936 [startup+222.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1794920/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=35556 CPUtime=222.23 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 8573 0 0 0 22045 178 0 0 25 0 1 0 179203330 36409344 8157 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 8889 8157 561 886 0 7999 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 35556 [startup+282.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1792680/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=37808 CPUtime=282.22 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 9124 0 0 0 27995 227 0 0 25 0 1 0 179203330 38715392 8708 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 9452 8708 561 886 0 8562 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 37808 [startup+342.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1788904/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=41632 CPUtime=342.2 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 10057 0 0 0 33943 277 0 0 25 0 1 0 179203330 42631168 9640 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 10408 9640 561 886 0 9518 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 41632 [startup+402.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1787816/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=42648 CPUtime=402.19 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 10325 0 0 0 39891 328 0 0 25 0 1 0 179203330 43671552 9908 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 10662 9908 561 886 0 9772 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 42648 [startup+462.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1786728/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=43600 CPUtime=462.17 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 10592 0 0 0 45837 380 0 0 25 0 1 0 179203330 44646400 10175 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 10900 10175 561 886 0 10010 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 43600 [startup+522.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1785640/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=44664 CPUtime=522.16 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 10859 0 0 0 51784 432 0 0 25 0 1 0 179203330 45735936 10442 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 11166 10442 561 886 0 10276 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 44664 [startup+582.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1783272/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=47060 CPUtime=582.14 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 11440 0 0 0 57730 484 0 0 25 0 1 0 179203330 48189440 11023 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 11765 11023 561 886 0 10875 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 47060 [startup+642.301 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31879 /proc/meminfo: memFree=1782248/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=47980 CPUtime=642.13 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 11680 0 0 0 63676 537 0 0 25 0 1 0 179203330 49131520 11263 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 11995 11263 561 886 0 11105 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 47980 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1778472/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=51464 CPUtime=1062.02 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 12556 0 0 0 105314 888 0 0 25 0 1 0 179203330 52699136 12139 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 12866 12139 561 886 0 11976 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 51464 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31881 /proc/meminfo: memFree=1777832/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=52020 CPUtime=1122 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 12699 0 0 0 111265 935 0 0 25 0 1 0 179203330 53268480 12282 1992294400 4194304 7823515 548682068736 18446744073709551615 5924555 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13005 12282 561 886 0 12115 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 52020 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31881 /proc/meminfo: memFree=1777768/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=52156 CPUtime=1181.99 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 12711 0 0 0 117213 986 0 0 25 0 1 0 179203330 53407744 12294 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13039 12294 561 886 0 12149 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 52156 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31881 /proc/meminfo: memFree=1777448/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=52308 CPUtime=1241.97 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 12765 0 0 0 123157 1040 0 0 25 0 1 0 179203330 53563392 12348 1992294400 4194304 7823515 548682068736 18446744073709551615 6110595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13077 12348 561 886 0 12187 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 52308 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31881 /proc/meminfo: memFree=1776552/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=53248 CPUtime=1301.96 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 12984 0 0 0 129104 1092 0 0 25 0 1 0 179203330 54525952 12567 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13312 12567 561 886 0 12422 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 53248 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31881 /proc/meminfo: memFree=1776488/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=53248 CPUtime=1361.94 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 12989 0 0 0 135049 1145 0 0 25 0 1 0 179203330 54525952 12572 1992294400 4194304 7823515 548682068736 18446744073709551615 6099656 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13312 12572 561 886 0 12422 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 53248 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31881 /proc/meminfo: memFree=1776360/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=53248 CPUtime=1421.93 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13022 0 0 0 140999 1194 0 0 25 0 1 0 179203330 54525952 12605 1992294400 4194304 7823515 548682068736 18446744073709551615 6242843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13312 12605 561 886 0 12422 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 53248 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31881 /proc/meminfo: memFree=1776296/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=53436 CPUtime=1481.92 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13026 0 0 0 146948 1244 0 0 25 0 1 0 179203330 54718464 12609 1992294400 4194304 7823515 548682068736 18446744073709551615 6210919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13359 12609 561 886 0 12469 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 53436 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31881 /proc/meminfo: memFree=1776104/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=53436 CPUtime=1541.9 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13057 0 0 0 152895 1295 0 0 25 0 1 0 179203330 54718464 12640 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13359 12640 561 886 0 12469 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 53436 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31881 /proc/meminfo: memFree=1775784/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=53876 CPUtime=1601.88 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13147 0 0 0 158840 1348 0 0 25 0 1 0 179203330 55169024 12730 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13469 12730 561 886 0 12579 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 53876 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31887 /proc/meminfo: memFree=1775400/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=54008 CPUtime=1661.86 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13212 0 0 0 164787 1399 0 0 25 0 1 0 179203330 55304192 12795 1992294400 4194304 7823515 548682068736 18446744073709551615 6237130 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13502 12795 561 886 0 12612 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 54008 Solver just ended. Dumping a history of the last processes samples [startup+1663.9 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31887 /proc/meminfo: memFree=1775400/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=54008 CPUtime=1663.46 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13214 0 0 0 164946 1400 0 0 25 0 1 0 179203330 55304192 12797 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13502 12797 561 886 0 12612 0 Current children cumulated CPU time (s) 1663.46 Current children cumulated vsize (KiB) 54008 [startup+1676.7 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31887 /proc/meminfo: memFree=1775336/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=54288 CPUtime=1676.26 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13240 0 0 0 166216 1410 0 0 25 0 1 0 179203330 55590912 12823 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13572 12823 561 886 0 12682 0 Current children cumulated CPU time (s) 1676.26 Current children cumulated vsize (KiB) 54288 [startup+1689.5 s] /proc/loadavg: 0.99 0.98 1.00 2/65 31887 /proc/meminfo: memFree=1775272/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=54288 CPUtime=1689.05 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13253 0 0 0 167485 1420 0 0 25 0 1 0 179203330 55590912 12836 1992294400 4194304 7823515 548682068736 18446744073709551615 4304965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13572 12836 561 886 0 12682 0 Current children cumulated CPU time (s) 1689.05 Current children cumulated vsize (KiB) 54288 [startup+1695.9 s] /proc/loadavg: 1.07 1.00 1.01 2/69 32313 /proc/meminfo: memFree=1768040/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=54288 CPUtime=1695.32 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13264 0 0 0 168105 1427 0 0 25 0 1 0 179203330 55590912 12847 1992294400 4194304 7823515 548682068736 18446744073709551615 4207205 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31878/statm: 13572 12847 561 886 0 12682 0 Current children cumulated CPU time (s) 1695.32 Current children cumulated vsize (KiB) 54288 [startup+1699.1 s] /proc/loadavg: 1.15 1.01 1.01 2/65 32363 /proc/meminfo: memFree=1745808/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=54288 CPUtime=1698.51 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13264 0 0 0 168421 1430 0 0 25 0 1 0 179203330 55590912 12847 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13572 12847 561 886 0 12682 0 Current children cumulated CPU time (s) 1698.51 Current children cumulated vsize (KiB) 54288 [startup+1700.7 s] /proc/loadavg: 1.15 1.01 1.01 2/65 32363 /proc/meminfo: memFree=1745816/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=54288 CPUtime=1700.11 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13264 0 0 0 168580 1431 0 0 25 0 1 0 179203330 55590912 12847 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13572 12847 561 886 0 12682 0 Current children cumulated CPU time (s) 1700.11 Current children cumulated vsize (KiB) 54288 [startup+1701.1 s] /proc/loadavg: 1.15 1.01 1.01 2/65 32363 /proc/meminfo: memFree=1745816/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=54288 CPUtime=1700.51 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13265 0 0 0 168620 1431 0 0 25 0 1 0 179203330 55590912 12848 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31878/statm: 13572 12848 562 886 0 12682 0 Current children cumulated CPU time (s) 1700.51 Current children cumulated vsize (KiB) 54288 [startup+1701.3 s] /proc/loadavg: 1.15 1.01 1.01 2/65 32363 /proc/meminfo: memFree=1745816/2055920 swapFree=4182564/4192956 [pid=31878] ppid=31876 vsize=54288 CPUtime=1700.71 /proc/31878/stat : 31878 (pbscip.linux.x8) R 31876 31878 31327 0 -1 4194304 13270 0 0 0 168640 1431 0 0 25 0 1 0 179203330 55590912 12853 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0 /proc/31878/statm: 13572 12853 567 886 0 12682 0 Current children cumulated CPU time (s) 1700.71 Current children cumulated vsize (KiB) 54288 Child status: 0 Real time (s): 1701.32 CPU time (s): 1700.74 CPU user time (s): 1686.41 CPU system time (s): 14.3268 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 54288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1686.41 system time used= 14.3268 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13274 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= 2572 runsolver used 1.45478 second user time and 3.2905 second system time The end
Begin job on node17 at 2009-06-16 03:33:51 IDJOB=1868216 IDBENCH=1275 IDSOLVER=683 FILE ID=node17/1868216-1245116031 PBS_JOBID= 9363650 Free space on /tmp= 66356 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868216-1245116031/watcher-1868216-1245116031 -o /tmp/evaluation-result-1868216-1245116031/solver-1868216-1245116031 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868216-1245116031.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb1b2fb5676286fc8681e7e6d0d2728f RANDOM SEED=136604429 node17.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.214 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.214 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: 1826120 kB Buffers: 10348 kB Cached: 148152 kB SwapCached: 4224 kB Active: 50628 kB Inactive: 115736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826120 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 9912 kB Writeback: 0 kB Mapped: 13696 kB Slab: 49376 kB Committed_AS: 151856 kB PageTables: 1456 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= 66348 MiB End job on node17 at 2009-06-16 04:02:12