Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | UNSAT | 1734.02 | 1734.84 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb |
MD5SUM | a94882f61e84be0ce1718fd53c8fd7c8 |
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 | 35.2116 |
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 | 689 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.04 c SCIP version 1.1.0.7 0.00/0.04 c LP-Solver SoPlex 1.4.1 0.00/0.04 c user parameter file <scip.set> not found - using default parameters 0.00/0.04 c read problem <HOME/instance-1868252-1245117885.opb> 0.00/0.04 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c start presolving problem 0.00/0.05 c presolving: 0.08/0.09 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.10/0.10 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.10/0.11 c presolving (3 rounds): 0.10/0.11 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.10/0.11 c 242 implications, 22 cliques 0.10/0.11 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.10/0.11 c 1 constraints of type <knapsack> 0.10/0.11 c 22 constraints of type <setppc> 0.10/0.11 c 2541 constraints of type <logicor> 0.10/0.11 c transformed objective value is always integral (scale: 1) 0.10/0.11 c Presolving Time: 0.05 0.10/0.11 c SATUNSAT-LIN 0.10/0.11 c ----------------------------------------------------------------------------------------------- 0.10/0.11 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.11 c separating/flowcover/freq = c -1 0.10/0.11 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.11 c separating/cmir/freq = c -1 0.10/0.11 c # additional number of allowed LP iterations 0.10/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.11 c heuristics/veclendiving/maxlpiterofs = c 1500 0.10/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.11 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.10/0.11 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.11 c heuristics/veclendiving/freq = c -1 0.10/0.11 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.11 c heuristics/simplerounding/freq = c -1 0.10/0.11 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.11 c heuristics/shifting/freq = c -1 0.10/0.11 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.11 c heuristics/rounding/freq = c -1 0.10/0.11 c # additional number of allowed LP iterations 0.10/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.11 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.10/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.10/0.11 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.10/0.11 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 20] 0.10/0.11 c heuristics/rootsoldiving/freq = c -1 0.10/0.11 c # number of nodes added to the contingent of the total nodes 0.10/0.11 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.10/0.11 c heuristics/rens/nodesofs = c 2000 0.10/0.11 c # minimum percentage of integer variables that have to be fixable 0.10/0.11 c # [type: real, range: [0,1], default: 0.5] 0.10/0.11 c heuristics/rens/minfixingrate = c 0.3 0.10/0.11 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.11 c heuristics/rens/freq = c -1 0.10/0.11 c # additional number of allowed LP iterations 0.10/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.11 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.10/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.11 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.10/0.11 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.11 c heuristics/pscostdiving/freq = c -1 0.10/0.11 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.11 c heuristics/oneopt/freq = c -1 0.10/0.11 c # additional number of allowed LP iterations 0.10/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.11 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.10/0.11 c # maximal fraction of diving LP iterations compared to total iteration number 0.10/0.11 c # [type: real, range: [0,1], default: 0.01] 0.10/0.11 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.10/0.11 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 20] 0.10/0.11 c heuristics/objpscostdiving/freq = c -1 0.10/0.11 c # additional number of allowed LP iterations 0.10/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.11 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.10/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.11 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.10/0.11 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.11 c heuristics/linesearchdiving/freq = c -1 0.10/0.11 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.11 c heuristics/intshifting/freq = c -1 0.10/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.11 c heuristics/intdiving/maxlpiterquot = c 0.075 0.10/0.11 c # additional number of allowed LP iterations 0.10/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.11 c heuristics/guideddiving/maxlpiterofs = c 1500 0.10/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.11 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.10/0.11 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.11 c heuristics/guideddiving/freq = c -1 0.10/0.11 c # additional number of allowed LP iterations 0.10/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.11 c heuristics/fracdiving/maxlpiterofs = c 1500 0.10/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.11 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.10/0.11 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.11 c heuristics/fracdiving/freq = c -1 0.10/0.11 c # additional number of allowed LP iterations 0.10/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.11 c heuristics/feaspump/maxlpiterofs = c 2000 0.10/0.11 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 20] 0.10/0.11 c heuristics/feaspump/freq = c -1 0.10/0.11 c # minimum percentage of integer variables that have to be fixed 0.10/0.11 c # [type: real, range: [0,1], default: 0.666] 0.10/0.11 c heuristics/crossover/minfixingrate = c 0.5 0.10/0.11 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.10/0.11 c # [type: real, range: [0,1], default: 0.1] 0.10/0.11 c heuristics/crossover/nodesquot = c 0.15 0.10/0.11 c # number of nodes without incumbent change that heuristic should wait 0.10/0.11 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.10/0.11 c heuristics/crossover/nwaitingnodes = c 100 0.10/0.11 c # number of nodes added to the contingent of the total nodes 0.10/0.11 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.10/0.11 c heuristics/crossover/nodesofs = c 750 0.10/0.11 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 30] 0.10/0.11 c heuristics/crossover/freq = c -1 0.10/0.11 c # additional number of allowed LP iterations 0.10/0.11 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.11 c heuristics/coefdiving/maxlpiterofs = c 1500 0.10/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.11 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.10/0.11 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.11 c heuristics/coefdiving/freq = c -1 0.10/0.11 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.11 c presolving/probing/maxrounds = c 0 0.10/0.11 c # should presolving try to simplify knapsacks 0.10/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.10/0.11 c constraints/knapsack/simplifyinequalities = c TRUE 0.10/0.11 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.10/0.11 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.10/0.11 c constraints/knapsack/disaggregation = c FALSE 0.10/0.11 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.11 c constraints/knapsack/maxnumcardlift = c 0 0.10/0.11 c # should presolving try to simplify inequalities 0.10/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.10/0.11 c constraints/linear/simplifyinequalities = c TRUE 0.10/0.11 c # maximal number of separation rounds in the root node (-1: unlimited) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.11 c separating/maxroundsroot = c 5 0.10/0.11 c # maximal number of separation rounds per node (-1: unlimited) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 5] 0.10/0.11 c separating/maxrounds = c 1 0.10/0.11 c # solving stops, if the given number of solutions were found (-1: no limit) 0.10/0.11 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.11 c limits/solutions = c 1 0.10/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.10/0.11 c limits/memory = c 1620 0.10/0.11 c # maximal time in seconds to run 0.10/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.10/0.11 c limits/time = c 1791 0.10/0.11 c # frequency for displaying node information lines 0.10/0.11 c # [type: int, range: [-1,2147483647], default: 100] 0.10/0.11 c display/freq = c 10000 0.10/0.11 c ----------------------------------------------------------------------------------------------- 0.10/0.12 c start solving problem 0.10/0.12 c 0.10/0.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.10/0.14 c 0.1s| 1 | 0 | 77 |3513k| 0 | 34 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf 0.19/0.25 c 0.2s| 1 | 0 | 103 |3670k| 0 | 39 | 231 |2564 |2564 | 231 |2570 | 6 | 0 | 0 | 1.100000e+01 | -- | Inf 0.49/0.50 c 0.4s| 1 | 0 | 126 |3881k| 0 | 39 | 231 |2564 |2564 | 231 |2573 | 9 | 0 | 0 | 1.100000e+01 | -- | Inf 0.79/0.81 c 0.7s| 1 | 0 | 141 |3950k| 0 | 41 | 231 |2564 |2564 | 231 |2577 | 13 | 0 | 0 | 1.100000e+01 | -- | Inf 1.10/1.14 c 1.1s| 1 | 0 | 164 |4019k| 0 | 43 | 231 |2564 |2564 | 231 |2578 | 14 | 0 | 0 | 1.100000e+01 | -- | Inf 1.39/1.49 c 1.4s| 1 | 0 | 178 |4036k| 0 | 45 | 231 |2564 |2564 | 231 |2579 | 15 | 0 | 0 | 1.100000e+01 | -- | Inf 3.79/3.83 c 3.7s| 1 | 2 | 178 |4037k| 0 | 45 | 231 |2564 |2564 | 231 |2579 | 15 | 0 | 33 | 1.100000e+01 | -- | Inf 122.31/122.45 c 121s| 10000 | 1769 |211693 |9344k| 58 | - | 231 |4456 |1100 | 231 |2574 | 15 |5063 |2338 | 1.400000e+01 | -- | Inf 208.25/208.43 c 206s| 20000 | 2704 |425153 | 12M| 62 | 30 | 231 |5120 |1185 | 231 |2574 | 15 | 10k|2425 | 1.500000e+01 | -- | Inf 302.51/302.73 c 300s| 30000 | 3560 |637265 | 15M| 62 | 40 | 231 |5960 |1290 | 231 |2574 | 15 | 16k|3047 | 1.500000e+01 | -- | Inf 399.07/399.32 c 396s| 40000 | 4492 |854797 | 17M| 62 | - | 231 |5732 |1475 | 231 |2574 | 15 | 21k|3665 | 1.500000e+01 | -- | Inf 491.02/491.34 c 487s| 50000 | 4888 | 1060k| 19M| 62 | - | 231 |6303 |1674 | 231 |2574 | 15 | 27k|4187 | 1.600000e+01 | -- | Inf 577.37/577.70 c 573s| 60000 | 5062 | 1254k| 20M| 62 | 24 | 231 |7220 |1330 | 231 |2574 | 15 | 33k|4541 | 1.600000e+01 | -- | Inf 665.74/666.13 c 660s| 70000 | 5420 | 1451k| 22M| 62 | - | 231 |7742 | 658 | 231 |2574 | 15 | 39k|4945 | 1.600000e+01 | -- | Inf 756.41/756.83 c 750s| 80000 | 5745 | 1654k| 24M| 62 | 31 | 231 |7833 |1093 | 231 |2574 | 15 | 45k|5341 | 1.600000e+01 | -- | Inf 842.66/843.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 842.66/843.18 c 836s| 90000 | 5995 | 1845k| 25M| 63 | - | 231 |7883 |1109 | 231 |2574 | 15 | 50k|5703 | 1.600000e+01 | -- | Inf 923.63/924.19 c 916s|100000 | 5690 | 2022k| 24M| 64 | - | 231 |8558 | 599 | 231 |2574 | 15 | 56k|5960 | 1.700000e+01 | -- | Inf 1008.20/1008.80 c 1000s|110000 | 5493 | 2203k| 24M| 64 | 31 | 231 |9205 |1273 | 231 |2574 | 15 | 62k|6276 | 1.700000e+01 | -- | Inf 1094.96/1095.56 c 1086s|120000 | 5430 | 2389k| 25M| 64 | - | 231 |9375 | 610 | 0 | 0 | 15 | 68k|6631 | 1.700000e+01 | -- | Inf 1182.21/1182.81 c 1172s|130000 | 5370 | 2579k| 25M| 64 | 27 | 231 |9151 |1172 | 231 |2574 | 15 | 74k|6924 | 1.700000e+01 | -- | Inf 1270.07/1270.72 c 1260s|140000 | 5299 | 2772k| 26M| 64 | - | 231 |9354 |1166 | 231 |2574 | 15 | 80k|7147 | 1.700000e+01 | -- | Inf 1355.74/1356.46 c 1345s|150000 | 4821 | 2955k| 25M| 66 | 30 | 231 |9321 |1172 | 231 |2574 | 15 | 86k|7427 | 1.700000e+01 | -- | Inf 1437.40/1438.13 c 1426s|160000 | 4160 | 3120k| 24M| 66 | 33 | 231 | 10k|1522 | 231 |2574 | 15 | 92k|7774 | 1.800000e+01 | -- | Inf 1518.26/1519.06 c 1506s|170000 | 3499 | 3287k| 22M| 66 | - | 231 | 11k|1102 | 231 |2574 | 15 | 98k|7999 | 1.800000e+01 | -- | Inf 1602.72/1603.52 c 1590s|180000 | 2665 | 3460k| 20M| 66 | - | 231 | 11k| 671 | 231 |2574 | 15 | 103k|8228 | 1.800000e+01 | -- | Inf 1685.69/1686.50 c 1672s|190000 | 1167 | 3619k| 14M| 66 | - | 231 | 12k|1160 | 231 |2574 | 15 | 109k|8517 | 1.900000e+01 | -- | Inf 1733.87/1734.80 c 1733.87/1734.80 c SCIP Status : problem is solved [infeasible] 1733.87/1734.80 c Solving Time (sec) : 1719.84 1733.87/1734.80 c Solving Nodes : 195765 1733.87/1734.80 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1733.87/1734.80 c Dual Bound : +1.00000000000000e+20 1733.87/1734.80 c Gap : 0.00 % 1733.87/1734.80 c NODE 195765 1733.87/1734.80 c DUAL BOUND 1e+20 1733.87/1734.80 c PRIMAL BOUND 1e+20 1733.87/1734.80 c GAP 0 1733.87/1734.80 s UNSATISFIABLE 1733.87/1734.80 c SCIP Status : problem is solved [infeasible] 1733.87/1734.80 c Solving Time : 1719.84 1733.87/1734.80 c Original Problem : 1733.87/1734.80 c Problem name : HOME/instance-1868252-1245117885.opb 1733.87/1734.80 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1733.87/1734.80 c Constraints : 2707 initial, 2707 maximal 1733.87/1734.80 c Presolved Problem : 1733.87/1734.80 c Problem name : t_HOME/instance-1868252-1245117885.opb 1733.87/1734.80 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1733.87/1734.80 c Constraints : 2564 initial, 12561 maximal 1733.87/1734.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1733.87/1734.80 c trivial : 0.00 0 0 0 0 0 0 0 0 1733.87/1734.80 c dualfix : 0.00 0 0 0 0 0 0 0 0 1733.87/1734.80 c boundshift : 0.00 0 0 0 0 0 0 0 0 1733.87/1734.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1733.87/1734.80 c implics : 0.00 0 0 0 0 0 0 0 0 1733.87/1734.80 c probing : 0.00 0 0 0 0 0 0 0 0 1733.87/1734.80 c knapsack : 0.00 0 0 0 0 0 0 0 0 1733.87/1734.80 c setppc : 0.00 0 0 0 0 0 0 0 0 1733.87/1734.80 c linear : 0.02 0 0 0 0 0 143 0 0 1733.87/1734.80 c logicor : 0.02 0 0 0 0 0 0 0 0 1733.87/1734.80 c root node : - 22 - - 22 - - - - 1733.87/1734.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1733.87/1734.80 c integral : 0 0 0 100646 0 375 2983 0 0 197396 1733.87/1734.80 c knapsack : 1 5 683185 0 0 2355 580118 0 0 0 1733.87/1734.80 c setppc : 22 5 681543 0 0 7101 937421 0 0 0 1733.87/1734.80 c logicor : 2541+ 5 410088 0 0 3041 1508182 0 0 0 1733.87/1734.80 c countsols : 0 0 0 0 0 0 0 0 0 0 1733.87/1734.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1733.87/1734.80 c integral : 128.10 0.00 0.00 128.10 0.00 1733.87/1734.80 c knapsack : 2.21 0.00 2.21 0.00 0.00 1733.87/1734.80 c setppc : 5.51 0.00 5.51 0.00 0.00 1733.96/1734.80 c logicor : 69.56 0.00 69.56 0.00 0.00 1733.96/1734.80 c countsols : 0.00 0.00 0.00 0.00 0.00 1733.96/1734.80 c Propagators : Time Calls Cutoffs DomReds 1733.96/1734.80 c rootredcost : 0.30 0 0 0 1733.96/1734.80 c pseudoobj : 9.48 683914 1 0 1733.96/1734.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1733.96/1734.80 c propagation : 1.14 12497 12464 76699 26.0 491 27.8 - 1733.96/1734.80 c infeasible LP : 33.40 85794 77338 522898 38.0 1091 21.0 0 1733.96/1734.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1733.96/1734.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1733.96/1734.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1733.96/1734.80 c applied globally : - - - 101115 19.9 - - - 1733.96/1734.80 c applied locally : - - - 12317 35.7 - - - 1733.96/1734.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1733.96/1734.80 c cut pool : 0.00 4 - - 4 - (maximal pool size: 189) 1733.96/1734.80 c redcost : 1.64 99188 0 0 0 0 1733.96/1734.80 c impliedbounds : 0.00 5 0 0 0 0 1733.96/1734.80 c intobj : 0.00 0 0 0 0 0 1733.96/1734.80 c gomory : 0.73 5 0 0 732 0 1733.96/1734.80 c strongcg : 0.55 5 0 0 1233 0 1733.96/1734.80 c cmir : 0.00 0 0 0 0 0 1733.96/1734.80 c flowcover : 0.00 0 0 0 0 0 1733.96/1734.80 c clique : 0.00 5 0 0 0 0 1733.96/1734.80 c zerohalf : 0.00 0 0 0 0 0 1733.96/1734.80 c mcf : 0.00 1 0 0 0 0 1733.96/1734.80 c Pricers : Time Calls Vars 1733.96/1734.80 c problem variables: 0.00 0 0 1733.96/1734.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1733.96/1734.80 c relpscost : 127.87 100646 375 2983 0 0 197396 1733.96/1734.80 c pscost : 0.00 0 0 0 0 0 0 1733.96/1734.80 c inference : 0.00 0 0 0 0 0 0 1733.96/1734.80 c mostinf : 0.00 0 0 0 0 0 0 1733.96/1734.80 c leastinf : 0.00 0 0 0 0 0 0 1733.96/1734.80 c fullstrong : 0.00 0 0 0 0 0 0 1733.96/1734.80 c allfullstrong : 0.00 0 0 0 0 0 0 1733.96/1734.80 c random : 0.00 0 0 0 0 0 0 1733.96/1734.80 c Primal Heuristics : Time Calls Found 1733.96/1734.80 c LP solutions : 0.00 - 0 1733.96/1734.80 c pseudo solutions : 0.00 - 0 1733.96/1734.80 c simplerounding : 0.00 0 0 1733.96/1734.80 c rounding : 0.00 0 0 1733.96/1734.80 c shifting : 0.00 0 0 1733.96/1734.80 c intshifting : 0.00 0 0 1733.96/1734.80 c oneopt : 0.00 0 0 1733.96/1734.80 c fixandinfer : 0.00 0 0 1733.96/1734.80 c feaspump : 0.00 0 0 1733.96/1734.80 c coefdiving : 0.00 0 0 1733.96/1734.80 c pscostdiving : 0.00 0 0 1733.96/1734.80 c fracdiving : 0.00 0 0 1733.96/1734.80 c veclendiving : 0.00 0 0 1733.96/1734.80 c intdiving : 0.00 0 0 1733.96/1734.80 c actconsdiving : 0.00 0 0 1733.96/1734.80 c objpscostdiving : 0.00 0 0 1733.96/1734.80 c rootsoldiving : 0.00 0 0 1733.96/1734.80 c linesearchdiving : 0.00 0 0 1733.96/1734.80 c guideddiving : 0.00 0 0 1733.96/1734.80 c octane : 0.00 0 0 1733.96/1734.80 c rens : 0.00 0 0 1733.96/1734.80 c rins : 0.00 0 0 1733.96/1734.80 c localbranching : 0.00 0 0 1733.96/1734.80 c mutation : 0.00 0 0 1733.96/1734.80 c crossover : 0.00 0 0 1733.96/1734.80 c dins : 0.00 0 0 1733.96/1734.80 c LP : Time Calls Iterations Iter/call Iter/sec 1733.96/1734.80 c primal LP : 0.00 0 0 0.00 - 1733.96/1734.80 c dual LP : 1303.84 186261 3708959 19.91 2844.64 1733.96/1734.80 c barrier LP : 0.00 0 0 0.00 - 1733.96/1734.80 c diving/probing LP: 0.00 0 0 0.00 - 1733.96/1734.80 c strong branching : 123.82 8665 341625 39.43 2759.05 1733.96/1734.80 c (at root node) : - 33 6148 186.30 - 1733.96/1734.80 c conflict analysis: 0.00 0 0 0.00 - 1733.96/1734.80 c B&B Tree : 1733.96/1734.80 c number of runs : 1 1733.96/1734.80 c nodes : 195765 1733.96/1734.80 c nodes (total) : 195765 1733.96/1734.80 c nodes left : 0 1733.96/1734.80 c max depth : 66 1733.96/1734.80 c max depth (total): 66 1733.96/1734.80 c backtracks : 26523 (13.5%) 1733.96/1734.80 c delayed cutoffs : 1632 1733.96/1734.80 c repropagations : 220600 (380207 domain reductions, 1611 cutoffs) 1733.96/1734.80 c avg switch length: 7.48 1733.96/1734.80 c switching time : 57.20 1733.96/1734.80 c Solution : 1733.96/1734.80 c Solutions found : 0 (0 improvements) 1733.96/1734.80 c Primal Bound : infeasible 1733.96/1734.80 c Dual Bound : - 1733.96/1734.80 c Gap : 0.00 % 1733.96/1734.80 c Root Dual Bound : +1.10000000000000e+01 1733.96/1734.84 c Time complete: 1734.01.
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-1868252-1245117885/watcher-1868252-1245117885 -o /tmp/evaluation-result-1868252-1245117885/solver-1868252-1245117885 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868252-1245117885.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.01 1.00 1.00 3/64 6136 /proc/meminfo: memFree=1193464/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=6100 CPUtime=0 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 620 0 0 0 0 0 0 0 18 0 1 0 179388455 6246400 602 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0 /proc/6136/statm: 1525 612 326 886 0 635 0 [startup+0.093881 s] /proc/loadavg: 1.01 1.00 1.00 3/64 6136 /proc/meminfo: memFree=1193464/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=17544 CPUtime=0.08 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 3797 0 0 0 7 1 0 0 18 0 1 0 179388455 17965056 3425 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 4386 3425 429 886 0 3496 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17544 [startup+0.101882 s] /proc/loadavg: 1.01 1.00 1.00 3/64 6136 /proc/meminfo: memFree=1193464/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=17544 CPUtime=0.1 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 3806 0 0 0 8 2 0 0 18 0 1 0 179388455 17965056 3434 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 4386 3434 435 886 0 3496 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 17544 [startup+0.301915 s] /proc/loadavg: 1.01 1.00 1.00 3/64 6136 /proc/meminfo: memFree=1193464/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=23052 CPUtime=0.29 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 5364 0 0 0 27 2 0 0 18 0 1 0 179388455 23605248 4949 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 5763 4949 547 886 0 4873 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23052 [startup+0.701981 s] /proc/loadavg: 1.01 1.00 1.00 3/64 6136 /proc/meminfo: memFree=1193464/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=24852 CPUtime=0.69 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 5823 0 0 0 66 3 0 0 20 0 1 0 179388455 25448448 5408 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 6213 5408 547 886 0 5323 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24852 [startup+1.50111 s] /proc/loadavg: 1.01 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1173808/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=25232 CPUtime=1.49 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 5972 0 0 0 145 4 0 0 25 0 1 0 179388455 25837568 5557 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 6308 5557 550 886 0 5418 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25232 [startup+3.10138 s] /proc/loadavg: 1.01 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1173040/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=25744 CPUtime=3.09 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 6067 0 0 0 303 6 0 0 25 0 1 0 179388455 26361856 5652 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 6436 5652 551 886 0 5546 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25744 [startup+6.30191 s] /proc/loadavg: 1.09 1.02 1.01 2/65 6137 /proc/meminfo: memFree=1172464/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=25744 CPUtime=6.29 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 6081 0 0 0 621 8 0 0 25 0 1 0 179388455 26361856 5666 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 6436 5666 554 886 0 5546 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25744 [startup+12.702 s] /proc/loadavg: 1.08 1.02 1.00 2/65 6137 /proc/meminfo: memFree=1172592/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=25744 CPUtime=12.69 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 6088 0 0 0 1256 13 0 0 25 0 1 0 179388455 26361856 5673 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 6436 5673 561 886 0 5546 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25744 [startup+25.5011 s] /proc/loadavg: 1.06 1.02 1.00 2/65 6137 /proc/meminfo: memFree=1172720/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=25744 CPUtime=25.48 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 6088 0 0 0 2528 20 0 0 25 0 1 0 179388455 26361856 5673 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 6436 5673 561 886 0 5546 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25744 [startup+51.1014 s] /proc/loadavg: 1.04 1.01 1.00 2/65 6137 /proc/meminfo: memFree=1171504/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=27300 CPUtime=51.04 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 6486 0 0 0 5064 40 0 0 25 0 1 0 179388455 27955200 6071 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 6825 6071 561 886 0 5935 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 27300 [startup+102.306 s] /proc/loadavg: 1.02 1.01 1.00 2/65 6137 /proc/meminfo: memFree=1167472/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=31112 CPUtime=102.22 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 7448 0 0 0 10137 85 0 0 25 0 1 0 179388455 31858688 7033 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 7778 7033 561 886 0 6888 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 31112 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1164016/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=34600 CPUtime=162.18 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 8301 0 0 0 16079 139 0 0 25 0 1 0 179388455 35430400 7886 1992294400 4194304 7823515 548682068736 18446744073709551615 6173531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6136/statm: 8650 7886 561 886 0 7760 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 34600 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1161776/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=36880 CPUtime=222.15 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 8877 0 0 0 22026 189 0 0 25 0 1 0 179388455 37765120 8462 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 9220 8462 561 886 0 8330 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 36880 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1160624/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=37880 CPUtime=282.13 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 9143 0 0 0 27977 236 0 0 25 0 1 0 179388455 38789120 8728 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 9470 8728 561 886 0 8580 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 37880 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1156656/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=41708 CPUtime=342.09 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 10135 0 0 0 33925 284 0 0 25 0 1 0 179388455 42708992 9720 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 10427 9720 561 886 0 9537 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 41708 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1154928/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=43564 CPUtime=402.07 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 10572 0 0 0 39875 332 0 0 25 0 1 0 179388455 44609536 10157 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 10891 10157 561 886 0 10001 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 43564 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1153392/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=45096 CPUtime=462.03 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 10954 0 0 0 45821 382 0 0 25 0 1 0 179388455 46178304 10539 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 11274 10539 561 886 0 10384 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 45096 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1152688/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=45724 CPUtime=522 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 11116 0 0 0 51770 430 0 0 25 0 1 0 179388455 46821376 10701 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 11431 10701 561 886 0 10541 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 45724 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1151856/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=46676 CPUtime=581.98 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 11342 0 0 0 57718 480 0 0 25 0 1 0 179388455 47796224 10927 1992294400 4194304 7823515 548682068736 18446744073709551615 5839590 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 11669 10927 561 886 0 10779 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 46676 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1150192/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=48248 CPUtime=641.96 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 11754 0 0 0 63667 529 0 0 25 0 1 0 179388455 49405952 11339 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 12062 11339 561 886 0 11172 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 48248 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1147312/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=51216 CPUtime=1061.76 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 12490 0 0 0 105308 868 0 0 25 0 1 0 179388455 52445184 12075 1992294400 4194304 7823515 548682068736 18446744073709551615 6099745 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 12804 12075 561 886 0 11914 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 51216 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1146480/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=52068 CPUtime=1121.74 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 12703 0 0 0 111257 917 0 0 25 0 1 0 179388455 53317632 12285 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13017 12285 561 886 0 12127 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 52068 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1146224/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=52392 CPUtime=1181.72 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 12765 0 0 0 117202 970 0 0 25 0 1 0 179388455 53649408 12347 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13098 12347 561 886 0 12208 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 52392 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1145264/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=53172 CPUtime=1241.69 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 12969 0 0 0 123150 1019 0 0 25 0 1 0 179388455 54448128 12551 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13293 12551 561 886 0 12403 0 Current children cumulated CPU time (s) 1241.69 Current children cumulated vsize (KiB) 53172 [startup+1302.3 s] /proc/loadavg: 1.11 1.03 1.01 2/65 6137 /proc/meminfo: memFree=1144816/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=53604 CPUtime=1301.66 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13088 0 0 0 129096 1070 0 0 25 0 1 0 179388455 54890496 12670 1992294400 4194304 7823515 548682068736 18446744073709551615 6211603 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13401 12670 561 886 0 12511 0 Current children cumulated CPU time (s) 1301.66 Current children cumulated vsize (KiB) 53604 [startup+1362.3 s] /proc/loadavg: 1.04 1.02 1.00 2/65 6137 /proc/meminfo: memFree=1144752/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=53604 CPUtime=1361.64 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13106 0 0 0 135046 1118 0 0 25 0 1 0 179388455 54890496 12688 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13401 12688 561 886 0 12511 0 Current children cumulated CPU time (s) 1361.64 Current children cumulated vsize (KiB) 53604 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.00 2/65 6137 /proc/meminfo: memFree=1144688/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=53604 CPUtime=1421.61 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13106 0 0 0 140993 1168 0 0 25 0 1 0 179388455 54890496 12688 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13401 12688 561 886 0 12511 0 Current children cumulated CPU time (s) 1421.61 Current children cumulated vsize (KiB) 53604 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6137 /proc/meminfo: memFree=1144432/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=53908 CPUtime=1481.59 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13178 0 0 0 146946 1213 0 0 25 0 1 0 179388455 55201792 12760 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13477 12760 561 886 0 12587 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 53908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144240/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54044 CPUtime=1541.55 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13215 0 0 0 152896 1259 0 0 25 0 1 0 179388455 55341056 12797 1992294400 4194304 7823515 548682068736 18446744073709551615 6117379 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13511 12797 561 886 0 12621 0 Current children cumulated CPU time (s) 1541.55 Current children cumulated vsize (KiB) 54044 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144240/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54228 CPUtime=1601.52 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13232 0 0 0 158847 1305 0 0 25 0 1 0 179388455 55529472 12814 1992294400 4194304 7823515 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13557 12814 561 886 0 12667 0 Current children cumulated CPU time (s) 1601.52 Current children cumulated vsize (KiB) 54228 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144176/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54228 CPUtime=1661.5 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13237 0 0 0 164798 1352 0 0 25 0 1 0 179388455 55529472 12819 1992294400 4194304 7823515 548682068736 18446744073709551615 6099656 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13557 12819 561 886 0 12667 0 Current children cumulated CPU time (s) 1661.5 Current children cumulated vsize (KiB) 54228 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144112/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54228 CPUtime=1721.47 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13242 0 0 0 170748 1399 0 0 25 0 1 0 179388455 55529472 12824 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13557 12824 561 886 0 12667 0 Current children cumulated CPU time (s) 1721.47 Current children cumulated vsize (KiB) 54228 Solver just ended. Dumping a history of the last processes samples [startup+1727.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144112/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54228 CPUtime=1727.07 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13243 0 0 0 171305 1402 0 0 25 0 1 0 179388455 55529472 12825 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13557 12825 561 886 0 12667 0 Current children cumulated CPU time (s) 1727.07 Current children cumulated vsize (KiB) 54228 [startup+1731.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144112/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54228 CPUtime=1730.27 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13243 0 0 0 171622 1405 0 0 25 0 1 0 179388455 55529472 12825 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13557 12825 561 886 0 12667 0 Current children cumulated CPU time (s) 1730.27 Current children cumulated vsize (KiB) 54228 [startup+1732.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144112/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54228 CPUtime=1731.87 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13243 0 0 0 171780 1407 0 0 25 0 1 0 179388455 55529472 12825 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13557 12825 561 886 0 12667 0 Current children cumulated CPU time (s) 1731.87 Current children cumulated vsize (KiB) 54228 [startup+1733.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144112/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54228 CPUtime=1732.67 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13243 0 0 0 171860 1407 0 0 25 0 1 0 179388455 55529472 12825 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13557 12825 561 886 0 12667 0 Current children cumulated CPU time (s) 1732.67 Current children cumulated vsize (KiB) 54228 [startup+1734.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144112/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54228 CPUtime=1733.47 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13243 0 0 0 171938 1409 0 0 25 0 1 0 179388455 55529472 12825 1992294400 4194304 7823515 548682068736 18446744073709551615 6110644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6136/statm: 13557 12825 561 886 0 12667 0 Current children cumulated CPU time (s) 1733.47 Current children cumulated vsize (KiB) 54228 [startup+1734.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144112/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54228 CPUtime=1733.87 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13243 0 0 0 171978 1409 0 0 25 0 1 0 179388455 55529472 12825 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6136/statm: 13557 12825 561 886 0 12667 0 Current children cumulated CPU time (s) 1733.87 Current children cumulated vsize (KiB) 54228 [startup+1734.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6137 /proc/meminfo: memFree=1144112/2055920 swapFree=4180792/4192956 [pid=6136] ppid=6134 vsize=54228 CPUtime=1733.96 /proc/6136/stat : 6136 (pbscip.linux.x8) R 6134 6136 5092 0 -1 4194304 13245 0 0 0 171987 1409 0 0 25 0 1 0 179388455 55529472 12827 1992294400 4194304 7823515 548682068736 18446744073709551615 6957296 0 0 4096 0 0 0 0 17 0 0 0 /proc/6136/statm: 13557 12828 564 886 0 12667 0 Current children cumulated CPU time (s) 1733.96 Current children cumulated vsize (KiB) 54228 Child status: 0 Real time (s): 1734.84 CPU time (s): 1734.02 CPU user time (s): 1719.91 CPU system time (s): 14.1069 CPU usage (%): 99.9524 Max. virtual memory (cumulated for all children) (KiB): 54228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1719.91 system time used= 14.1069 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13253 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= 7 involuntary context switches= 5729 runsolver used 1.69774 second user time and 4.6253 second system time The end
Begin job on node31 at 2009-06-16 04:04:45 IDJOB=1868252 IDBENCH=1293 IDSOLVER=683 FILE ID=node31/1868252-1245117885 PBS_JOBID= 9363674 Free space on /tmp= 66272 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.1900546417.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-1868252-1245117885/watcher-1868252-1245117885 -o /tmp/evaluation-result-1868252-1245117885/solver-1868252-1245117885 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868252-1245117885.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a94882f61e84be0ce1718fd53c8fd7c8 RANDOM SEED=381539929 node31.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.258 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.258 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: 1193944 kB Buffers: 80932 kB Cached: 694248 kB SwapCached: 5188 kB Active: 174936 kB Inactive: 608336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1193944 kB SwapTotal: 4192956 kB SwapFree: 4180792 kB Dirty: 9956 kB Writeback: 0 kB Mapped: 13760 kB Slab: 64488 kB Committed_AS: 153588 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66260 MiB End job on node31 at 2009-06-16 04:33:40