Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 1435.08 | 1435.57 |
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.02/0.05 c SCIP version 1.1.0.7 0.02/0.05 c LP-Solver Clp 1.8.2 0.02/0.05 c user parameter file <scip.set> not found - using default parameters 0.02/0.05 c read problem <HOME/instance-1868217-1245116039.opb> 0.02/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.02/0.06 c No objective function, only one solution is needed. 0.02/0.06 c start presolving problem 0.02/0.06 c presolving: 0.09/0.10 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.11 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.12 c presolving (3 rounds): 0.09/0.12 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.12 c 242 implications, 22 cliques 0.09/0.12 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.12 c 1 constraints of type <knapsack> 0.09/0.12 c 22 constraints of type <setppc> 0.09/0.12 c 2541 constraints of type <logicor> 0.09/0.12 c transformed objective value is always integral (scale: 1) 0.09/0.12 c Presolving Time: 0.05 0.09/0.12 c SATUNSAT-LIN 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c separating/flowcover/freq = c -1 0.09/0.12 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c separating/cmir/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/veclendiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/veclendiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/simplerounding/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/shifting/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/rounding/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.12 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.09/0.12 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.12 c heuristics/rootsoldiving/freq = c -1 0.09/0.12 c # number of nodes added to the contingent of the total nodes 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.12 c heuristics/rens/nodesofs = c 2000 0.09/0.12 c # minimum percentage of integer variables that have to be fixable 0.09/0.12 c # [type: real, range: [0,1], default: 0.5] 0.09/0.12 c heuristics/rens/minfixingrate = c 0.3 0.09/0.12 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c heuristics/rens/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/pscostdiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/oneopt/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.12 c # [type: real, range: [0,1], default: 0.01] 0.09/0.12 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.09/0.12 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.12 c heuristics/objpscostdiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/linesearchdiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/intshifting/freq = c -1 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/intdiving/maxlpiterquot = c 0.075 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/guideddiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/guideddiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/fracdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/fracdiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/feaspump/maxlpiterofs = c 2000 0.09/0.12 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.12 c heuristics/feaspump/freq = c -1 0.09/0.12 c # minimum percentage of integer variables that have to be fixed 0.09/0.12 c # [type: real, range: [0,1], default: 0.666] 0.09/0.12 c heuristics/crossover/minfixingrate = c 0.5 0.09/0.12 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.12 c # [type: real, range: [0,1], default: 0.1] 0.09/0.12 c heuristics/crossover/nodesquot = c 0.15 0.09/0.12 c # number of nodes without incumbent change that heuristic should wait 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.12 c heuristics/crossover/nwaitingnodes = c 100 0.09/0.12 c # number of nodes added to the contingent of the total nodes 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.12 c heuristics/crossover/nodesofs = c 750 0.09/0.12 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.12 c heuristics/crossover/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/coefdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/coefdiving/freq = c -1 0.09/0.12 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c presolving/probing/maxrounds = c 0 0.09/0.12 c # should presolving try to simplify knapsacks 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/knapsack/simplifyinequalities = c TRUE 0.09/0.12 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.12 c constraints/knapsack/disaggregation = c FALSE 0.09/0.12 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c constraints/knapsack/maxnumcardlift = c 0 0.09/0.12 c # should presolving try to simplify inequalities 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/linear/simplifyinequalities = c TRUE 0.09/0.12 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c separating/maxroundsroot = c 5 0.09/0.12 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.12 c separating/maxrounds = c 1 0.09/0.12 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c limits/solutions = c 1 0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/memory = c 1620 0.09/0.12 c # maximal time in seconds to run 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/time = c 1791 0.09/0.12 c # frequency for displaying node information lines 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.12 c display/freq = c 10000 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c start solving problem 0.09/0.12 c 0.09/0.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.14 c 0.1s| 1 | 0 | 55 |3513k| 0 | 26 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf 0.19/0.24 c 0.2s| 1 | 0 | 79 |3593k| 0 | 33 | 231 |2564 |2564 | 231 |2572 | 8 | 0 | 0 | 1.100000e+01 | -- | Inf 0.39/0.40 c 0.3s| 1 | 0 | 159 |3942k| 0 | 39 | 231 |2564 |2564 | 231 |2579 | 15 | 0 | 0 | 1.100000e+01 | -- | Inf 0.49/0.58 c 0.5s| 1 | 0 | 242 |4263k| 0 | 45 | 231 |2564 |2564 | 231 |2582 | 18 | 0 | 0 | 1.100000e+01 | -- | Inf 1.00/1.01 c 0.9s| 1 | 0 | 393 |4547k| 0 | 43 | 231 |2564 |2564 | 231 |2583 | 19 | 0 | 0 | 1.100000e+01 | -- | Inf 1.19/1.24 c 1.2s| 1 | 0 | 508 |4813k| 0 | 43 | 231 |2564 |2564 | 231 |2590 | 26 | 0 | 0 | 1.100000e+01 | -- | Inf 2.19/2.25 c 2.2s| 1 | 2 | 508 |4814k| 0 | 43 | 231 |2564 |2564 | 231 |2590 | 26 | 0 | 17 | 1.100000e+01 | -- | Inf 144.24/144.39 c 143s| 10000 | 1410 |378630 |8371k| 60 | 30 | 231 |3006 |1344 | 231 |2574 | 26 | 968 |2153 | 1.400000e+01 | -- | Inf 242.41/242.51 c 241s| 20000 | 2254 |712168 | 10M| 60 | 21 | 231 |2930 | 951 | 231 |2574 | 26 |2096 |2423 | 1.500000e+01 | -- | Inf 344.37/344.58 c 342s| 30000 | 3013 | 1026k| 12M| 60 | - | 231 |3082 |1385 | 231 |2574 | 26 |3288 |3098 | 1.500000e+01 | -- | Inf 446.14/446.33 c 444s| 40000 | 3621 | 1349k| 13M| 60 | - | 231 |2966 |1201 | 231 |2574 | 26 |4127 |3637 | 1.500000e+01 | -- | Inf 548.51/548.70 c 546s| 50000 | 4070 | 1676k| 15M| 60 | - | 231 |2983 |1077 | 0 | 0 | 26 |4935 |4094 | 1.500000e+01 | -- | Inf 644.27/644.53 c 641s| 60000 | 4127 | 1970k| 15M| 60 | - | 231 |3022 |1271 | 231 |2574 | 26 |5937 |4564 | 1.600000e+01 | -- | Inf 738.14/738.44 c 734s| 70000 | 4170 | 2266k| 16M| 60 | 19 | 231 |2947 |1327 | 231 |2574 | 26 |6778 |4882 | 1.600000e+01 | -- | Inf 832.60/832.91 c 828s| 80000 | 4187 | 2555k| 16M| 60 | 24 | 231 |2973 |1576 | 231 |2574 | 26 |7606 |5337 | 1.600000e+01 | -- | Inf 926.08/926.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 926.08/926.41 c 921s| 90000 | 4167 | 2840k| 16M| 60 | - | 231 |2933 | 990 | 231 |2574 | 26 |8285 |5724 | 1.600000e+01 | -- | Inf 1011.34/1011.76 c 1006s|100000 | 3879 | 3090k| 16M| 60 | - | 231 |2942 |1073 | 231 |2574 | 26 |9080 |6016 | 1.700000e+01 | -- | Inf 1097.32/1097.72 c 1091s|110000 | 3635 | 3343k| 15M| 60 | 26 | 231 |2953 | 958 | 231 |2574 | 26 |9830 |6269 | 1.700000e+01 | -- | Inf 1184.59/1185.08 c 1178s|120000 | 3302 | 3595k| 15M| 60 | - | 231 |2824 |1749 | 231 |2574 | 26 | 10k|6582 | 1.700000e+01 | -- | Inf 1270.76/1271.28 c 1264s|130000 | 2911 | 3844k| 14M| 60 | - | 231 |2818 |1224 | 231 |2574 | 26 | 10k|6869 | 1.700000e+01 | -- | Inf 1349.02/1349.55 c 1342s|140000 | 2085 | 4048k| 12M| 60 | - | 231 |2918 |1233 | 231 |2574 | 26 | 11k|7189 | 1.800000e+01 | -- | Inf 1422.40/1422.91 c 1415s|150000 | 627 | 4231k|8026k| 60 | 24 | 231 |2877 |1196 | 231 |2574 | 26 | 11k|7413 | 1.900000e+01 | -- | Inf 1435.00/1435.55 c 1435.00/1435.55 c SCIP Status : problem is solved [infeasible] 1435.00/1435.55 c Solving Time (sec) : 1427.12 1435.00/1435.55 c Solving Nodes : 151838 1435.00/1435.55 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1435.00/1435.55 c Dual Bound : +1.00000000000000e+20 1435.00/1435.55 c Gap : 0.00 % 1435.00/1435.55 c NODE 151838 1435.00/1435.55 c DUAL BOUND 1e+20 1435.00/1435.55 c PRIMAL BOUND 1e+20 1435.00/1435.55 c GAP 0 1435.00/1435.55 s UNSATISFIABLE 1435.00/1435.55 c SCIP Status : problem is solved [infeasible] 1435.00/1435.55 c Solving Time : 1427.12 1435.00/1435.55 c Original Problem : 1435.00/1435.55 c Problem name : HOME/instance-1868217-1245116039.opb 1435.00/1435.55 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1435.00/1435.55 c Constraints : 2707 initial, 2707 maximal 1435.00/1435.55 c Presolved Problem : 1435.00/1435.55 c Problem name : t_HOME/instance-1868217-1245116039.opb 1435.00/1435.55 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1435.00/1435.55 c Constraints : 2564 initial, 3130 maximal 1435.00/1435.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1435.00/1435.55 c trivial : 0.00 0 0 0 0 0 0 0 0 1435.00/1435.55 c dualfix : 0.00 0 0 0 0 0 0 0 0 1435.00/1435.55 c boundshift : 0.00 0 0 0 0 0 0 0 0 1435.00/1435.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1435.00/1435.55 c implics : 0.00 0 0 0 0 0 0 0 0 1435.00/1435.55 c probing : 0.00 0 0 0 0 0 0 0 0 1435.00/1435.55 c knapsack : 0.00 0 0 0 0 0 0 0 0 1435.00/1435.55 c setppc : 0.00 0 0 0 0 0 0 0 0 1435.00/1435.55 c linear : 0.02 0 0 0 0 0 143 0 0 1435.00/1435.55 c logicor : 0.03 0 0 0 0 0 0 0 0 1435.00/1435.55 c root node : - 1 - - 1 - - - - 1435.00/1435.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1435.00/1435.55 c integral : 0 0 0 77826 0 307 2769 0 0 152142 1435.00/1435.55 c knapsack : 1 5 321149 0 0 1111 318719 0 0 0 1435.00/1435.55 c setppc : 22 5 320456 0 0 2800 729620 0 0 0 1435.00/1435.55 c logicor : 2541+ 5 284850 0 0 1101 974313 0 0 0 1435.00/1435.55 c countsols : 0 0 0 0 0 0 0 0 0 0 1435.00/1435.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1435.00/1435.55 c integral : 119.42 0.00 0.00 119.42 0.00 1435.00/1435.55 c knapsack : 1.26 0.00 1.26 0.00 0.00 1435.00/1435.55 c setppc : 3.41 0.00 3.41 0.00 0.00 1435.00/1435.55 c logicor : 21.90 0.00 21.90 0.00 0.00 1435.00/1435.55 c countsols : 0.00 0.00 0.00 0.00 0.00 1435.00/1435.55 c Propagators : Time Calls Cutoffs DomReds 1435.00/1435.55 c rootredcost : 0.18 0 0 0 1435.00/1435.55 c pseudoobj : 4.64 321579 1 0 1435.00/1435.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1435.00/1435.55 c propagation : 0.47 5012 5012 26762 19.7 59 14.8 - 1435.00/1435.55 c infeasible LP : 2.64 70751 0 0 0.0 0 0.0 0 1435.00/1435.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1435.00/1435.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1435.00/1435.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1435.00/1435.55 c applied globally : - - - 11998 16.9 - - - 1435.00/1435.55 c applied locally : - - - 30 33.1 - - - 1435.00/1435.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1435.00/1435.55 c cut pool : 0.00 4 - - 7 - (maximal pool size: 472) 1435.00/1435.55 c redcost : 1.16 76483 0 0 0 0 1435.00/1435.55 c impliedbounds : 0.00 5 0 0 0 0 1435.00/1435.55 c intobj : 0.00 0 0 0 0 0 1435.00/1435.55 c gomory : 0.49 5 0 0 2012 0 1435.00/1435.55 c strongcg : 0.41 5 0 0 2500 0 1435.00/1435.55 c cmir : 0.00 0 0 0 0 0 1435.00/1435.55 c flowcover : 0.00 0 0 0 0 0 1435.00/1435.55 c clique : 0.00 5 0 0 0 0 1435.00/1435.55 c zerohalf : 0.00 0 0 0 0 0 1435.00/1435.55 c mcf : 0.00 1 0 0 0 0 1435.00/1435.55 c Pricers : Time Calls Vars 1435.00/1435.55 c problem variables: 0.00 0 0 1435.00/1435.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1435.00/1435.55 c relpscost : 119.26 77826 307 2769 0 0 152142 1435.00/1435.55 c pscost : 0.00 0 0 0 0 0 0 1435.00/1435.55 c inference : 0.00 0 0 0 0 0 0 1435.00/1435.55 c mostinf : 0.00 0 0 0 0 0 0 1435.00/1435.55 c leastinf : 0.00 0 0 0 0 0 0 1435.00/1435.55 c fullstrong : 0.00 0 0 0 0 0 0 1435.00/1435.55 c allfullstrong : 0.00 0 0 0 0 0 0 1435.00/1435.55 c random : 0.00 0 0 0 0 0 0 1435.00/1435.55 c Primal Heuristics : Time Calls Found 1435.00/1435.55 c LP solutions : 0.00 - 0 1435.00/1435.55 c pseudo solutions : 0.00 - 0 1435.00/1435.55 c simplerounding : 0.00 0 0 1435.00/1435.55 c rounding : 0.00 0 0 1435.00/1435.55 c shifting : 0.00 0 0 1435.00/1435.55 c intshifting : 0.00 0 0 1435.00/1435.55 c oneopt : 0.00 0 0 1435.00/1435.55 c fixandinfer : 0.00 0 0 1435.00/1435.55 c feaspump : 0.00 0 0 1435.00/1435.55 c coefdiving : 0.00 0 0 1435.00/1435.55 c pscostdiving : 0.00 0 0 1435.00/1435.55 c fracdiving : 0.00 0 0 1435.00/1435.55 c veclendiving : 0.00 0 0 1435.00/1435.55 c intdiving : 0.00 0 0 1435.00/1435.55 c actconsdiving : 0.00 0 0 1435.00/1435.55 c objpscostdiving : 0.00 0 0 1435.00/1435.55 c rootsoldiving : 0.00 0 0 1435.00/1435.55 c linesearchdiving : 0.00 0 0 1435.00/1435.55 c guideddiving : 0.00 0 0 1435.00/1435.55 c octane : 0.00 0 0 1435.00/1435.55 c rens : 0.00 0 0 1435.00/1435.55 c rins : 0.00 0 0 1435.00/1435.55 c localbranching : 0.00 0 0 1435.00/1435.55 c mutation : 0.00 0 0 1435.00/1435.55 c crossover : 0.00 0 0 1435.00/1435.55 c dins : 0.00 0 0 1435.00/1435.55 c LP : Time Calls Iterations Iter/call Iter/sec 1435.00/1435.55 c primal LP : 0.01 0 0 0.00 0.00 1435.00/1435.55 c dual LP : 1196.58 147983 4256353 28.76 3557.10 1435.00/1435.55 c barrier LP : 0.00 0 0 0.00 - 1435.00/1435.55 c diving/probing LP: 0.00 0 0 0.00 - 1435.00/1435.55 c strong branching : 116.40 7484 465608 62.21 4000.07 1435.00/1435.55 c (at root node) : - 17 3224 189.65 - 1435.00/1435.55 c conflict analysis: 0.00 0 0 0.00 - 1435.00/1435.55 c B&B Tree : 1435.00/1435.55 c number of runs : 1 1435.00/1435.55 c nodes : 151838 1435.00/1435.55 c nodes (total) : 151838 1435.00/1435.55 c nodes left : 0 1435.00/1435.55 c max depth : 60 1435.00/1435.55 c max depth (total): 60 1435.00/1435.55 c backtracks : 19915 (13.1%) 1435.00/1435.55 c delayed cutoffs : 305 1435.00/1435.55 c repropagations : 9730 (29136 domain reductions, 304 cutoffs) 1435.00/1435.55 c avg switch length: 5.98 1435.00/1435.55 c switching time : 24.27 1435.00/1435.55 c Solution : 1435.00/1435.55 c Solutions found : 0 (0 improvements) 1435.00/1435.55 c Primal Bound : infeasible 1435.00/1435.55 c Dual Bound : - 1435.00/1435.55 c Gap : 0.00 % 1435.00/1435.55 c Root Dual Bound : +1.10000000000000e+01 1435.00/1435.57 c Time complete: 1435.07.
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-1868217-1245116039/watcher-1868217-1245116039 -o /tmp/evaluation-result-1868217-1245116039/solver-1868217-1245116039 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868217-1245116039.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 1.00 3/64 1191 /proc/meminfo: memFree=1233656/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=5812 CPUtime=0 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 179204809 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/1191/statm: 1453 502 332 1256 0 192 0 [startup+0.032683 s] /proc/loadavg: 1.00 0.99 1.00 3/64 1191 /proc/meminfo: memFree=1233656/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=11064 CPUtime=0.02 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 1746 0 0 0 2 0 0 0 18 0 1 0 179204809 11329536 1730 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/1191/statm: 2766 1730 376 1256 0 1505 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11064 [startup+0.101693 s] /proc/loadavg: 1.00 0.99 1.00 3/64 1191 /proc/meminfo: memFree=1233656/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=18752 CPUtime=0.09 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 3847 0 0 0 8 1 0 0 18 0 1 0 179204809 19202048 3477 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 4688 3477 471 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.301732 s] /proc/loadavg: 1.00 0.99 1.00 3/64 1191 /proc/meminfo: memFree=1233656/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=24872 CPUtime=0.29 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 5226 0 0 0 27 2 0 0 17 0 1 0 179204809 25468928 4854 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 6218 4854 649 1256 0 4957 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24872 [startup+0.701808 s] /proc/loadavg: 1.00 0.99 1.00 3/64 1191 /proc/meminfo: memFree=1233656/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=28948 CPUtime=0.69 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 6144 0 0 0 66 3 0 0 20 0 1 0 179204809 29642752 5772 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 7237 5772 649 1256 0 5976 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28948 [startup+1.50196 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1211824/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=33692 CPUtime=1.49 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 7053 0 0 0 145 4 0 0 25 0 1 0 179204809 34500608 6473 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 8423 6473 654 1256 0 7162 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33692 [startup+3.10127 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1210032/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=33976 CPUtime=3.09 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 8326 0 0 0 304 5 0 0 25 0 1 0 179204809 34791424 6664 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 8494 6664 670 1256 0 7233 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33976 [startup+6.30188 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1209328/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=34192 CPUtime=6.29 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 8901 0 0 0 623 6 0 0 25 0 1 0 179204809 35012608 6656 1992294400 4194304 9342243 548682068736 18446744073709551615 6018241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 8548 6656 674 1256 0 7287 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34192 [startup+12.7011 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1209136/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=33764 CPUtime=12.69 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 10009 0 0 0 1260 9 0 0 25 0 1 0 179204809 34574336 6747 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 8441 6747 674 1256 0 7180 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33764 [startup+25.5016 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1208816/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=33608 CPUtime=25.48 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 12950 0 0 0 2535 13 0 0 25 0 1 0 179204809 34414592 6775 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 8402 6775 678 1256 0 7141 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33608 [startup+51.1015 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1208176/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=33388 CPUtime=51.07 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 25852 0 0 0 5075 32 0 0 25 0 1 0 179204809 34189312 6904 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 8347 6904 678 1256 0 7086 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33388 [startup+102.305 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1204976/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=38012 CPUtime=102.26 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 43537 0 0 0 10159 67 0 0 25 0 1 0 179204809 38924288 7811 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 9503 7811 678 1256 0 8242 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 38012 [startup+162.302 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1204144/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=37344 CPUtime=162.24 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 54949 0 0 0 16126 98 0 0 25 0 1 0 179204809 38240256 7949 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 9336 7949 678 1256 0 8075 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 37344 [startup+222.301 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1201072/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=40392 CPUtime=222.21 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 64610 0 0 0 22092 129 0 0 25 0 1 0 179204809 41361408 8746 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 10098 8746 678 1256 0 8837 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 40392 [startup+282.302 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1200496/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=41092 CPUtime=282.19 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 68046 0 0 0 28062 157 0 0 25 0 1 0 179204809 42078208 8895 1992294400 4194304 9342243 548682068736 18446744073709551615 6224582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 10273 8895 678 1256 0 9012 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 41092 [startup+342.301 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1199664/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=43636 CPUtime=342.18 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 80410 0 0 0 34027 191 0 0 25 0 1 0 179204809 44683264 9079 1992294400 4194304 9342243 548682068736 18446744073709551615 6224446 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 10909 9079 678 1256 0 9648 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 43636 [startup+402.303 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1198960/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=43952 CPUtime=402.15 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 86233 0 0 0 39997 218 0 0 25 0 1 0 179204809 45006848 9314 1992294400 4194304 9342243 548682068736 18446744073709551615 6959733 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 10988 9314 678 1256 0 9727 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 43952 [startup+462.301 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1195952/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47588 CPUtime=462.13 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 89595 0 0 0 45965 248 0 0 25 0 1 0 179204809 48730112 10057 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11897 10057 678 1256 0 10636 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 47588 [startup+522.302 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1195504/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=45672 CPUtime=522.11 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 92342 0 0 0 51936 275 0 0 25 0 1 0 179204809 46768128 10125 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11418 10125 678 1256 0 10157 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 45672 [startup+582.301 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1195312/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=46704 CPUtime=582.09 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 98992 0 0 0 57903 306 0 0 25 0 1 0 179204809 47824896 10241 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11676 10241 678 1256 0 10415 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 46704 [startup+642.302 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1194928/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=48696 CPUtime=642.07 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 109603 0 0 0 63868 339 0 0 25 0 1 0 179204809 49864704 10318 1992294400 4194304 9342243 548682068736 18446744073709551615 6939148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 12174 10318 678 1256 0 10913 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 48696 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1194864/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47024 CPUtime=702.05 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 121586 0 0 0 69831 374 0 0 25 0 1 0 179204809 48152576 10294 1992294400 4194304 9342243 548682068736 18446744073709551615 6040637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11756 10294 678 1256 0 10495 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 47024 [startup+762.306 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1194992/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47028 CPUtime=762.03 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 133305 0 0 0 75794 409 0 0 25 0 1 0 179204809 48156672 10287 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11757 10287 678 1256 0 10496 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 47028 [startup+822.301 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1194544/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47396 CPUtime=822.01 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 144424 0 0 0 81757 444 0 0 25 0 1 0 179204809 48533504 10359 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11849 10359 678 1256 0 10588 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 47396 [startup+882.302 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1194864/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=48588 CPUtime=881.98 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 155032 0 0 0 87721 477 0 0 25 0 1 0 179204809 49754112 10372 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 12147 10372 678 1256 0 10886 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 48588 [startup+942.301 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1194352/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47412 CPUtime=941.96 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 169858 0 0 0 93682 514 0 0 25 0 1 0 179204809 48549888 10449 1992294400 4194304 9342243 548682068736 18446744073709551615 5890008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11853 10449 678 1256 0 10592 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 47412 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1192 /proc/meminfo: memFree=1194416/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47388 CPUtime=1001.95 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 184685 0 0 0 99645 550 0 0 25 0 1 0 179204809 48525312 10437 1992294400 4194304 9342243 548682068736 18446744073709551615 6889765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11847 10437 678 1256 0 10586 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 47388 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194544/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47424 CPUtime=1061.93 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 193851 0 0 0 105612 581 0 0 25 0 1 0 179204809 48562176 10385 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11856 10385 678 1256 0 10595 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 47424 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194672/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47384 CPUtime=1121.9 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 202714 0 0 0 111580 610 0 0 25 0 1 0 179204809 48521216 10411 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11846 10411 678 1256 0 10585 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 47384 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194288/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47396 CPUtime=1181.89 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 217578 0 0 0 117544 645 0 0 25 0 1 0 179204809 48533504 10480 1992294400 4194304 9342243 548682068736 18446744073709551615 6918652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11849 10480 678 1256 0 10588 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 47396 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194480/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47392 CPUtime=1241.87 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 229433 0 0 0 123507 680 0 0 25 0 1 0 179204809 48529408 10339 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11848 10339 678 1256 0 10587 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 47392 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194800/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47388 CPUtime=1301.84 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 235554 0 0 0 129477 707 0 0 25 0 1 0 179204809 48525312 10313 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11847 10313 678 1256 0 10586 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 47388 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194160/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47404 CPUtime=1361.82 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 252223 0 0 0 135437 745 0 0 25 0 1 0 179204809 48541696 10496 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11851 10496 678 1256 0 10590 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 47404 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194352/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47384 CPUtime=1421.81 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 259858 0 0 0 141402 779 0 0 25 0 1 0 179204809 48521216 10372 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11846 10372 678 1256 0 10585 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 47384 Solver just ended. Dumping a history of the last processes samples [startup+1427.1 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194288/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47400 CPUtime=1426.6 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 261256 0 0 0 141878 782 0 0 25 0 1 0 179204809 48537600 10407 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11850 10407 678 1256 0 10589 0 Current children cumulated CPU time (s) 1426.6 Current children cumulated vsize (KiB) 47400 [startup+1430.3 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194416/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47424 CPUtime=1429.8 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 262376 0 0 0 142196 784 0 0 25 0 1 0 179204809 48562176 10385 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11856 10385 678 1256 0 10595 0 Current children cumulated CPU time (s) 1429.8 Current children cumulated vsize (KiB) 47424 [startup+1433.5 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194544/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47428 CPUtime=1433 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 264399 0 0 0 142514 786 0 0 25 0 1 0 179204809 48566272 10379 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11857 10379 678 1256 0 10596 0 Current children cumulated CPU time (s) 1433 Current children cumulated vsize (KiB) 47428 [startup+1434.3 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194544/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47396 CPUtime=1433.8 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 264776 0 0 0 142593 787 0 0 25 0 1 0 179204809 48533504 10395 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11849 10395 678 1256 0 10588 0 Current children cumulated CPU time (s) 1433.8 Current children cumulated vsize (KiB) 47396 [startup+1435.1 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194544/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=47416 CPUtime=1434.6 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 265343 0 0 0 142672 788 0 0 25 0 1 0 179204809 48553984 10341 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 11854 10341 678 1256 0 10593 0 Current children cumulated CPU time (s) 1434.6 Current children cumulated vsize (KiB) 47416 [startup+1435.51 s] /proc/loadavg: 1.00 0.99 1.00 2/65 1194 /proc/meminfo: memFree=1194608/2055920 swapFree=4183064/4192956 [pid=1191] ppid=1189 vsize=49736 CPUtime=1435 /proc/1191/stat : 1191 (pbscip.linux.x8) R 1189 1191 32550 0 -1 4194304 265688 0 0 0 142712 788 0 0 25 0 1 0 179204809 50929664 10431 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1191/statm: 12434 10431 679 1256 0 11173 0 Current children cumulated CPU time (s) 1435 Current children cumulated vsize (KiB) 49736 Child status: 0 Real time (s): 1435.57 CPU time (s): 1435.08 CPU user time (s): 1427.18 CPU system time (s): 7.8978 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 49780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1427.18 system time used= 7.8978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 265781 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= 1924 runsolver used 1.13983 second user time and 2.90856 second system time The end
Begin job on node5 at 2009-06-16 03:33:59 IDJOB=1868217 IDBENCH=1275 IDSOLVER=684 FILE ID=node5/1868217-1245116039 PBS_JOBID= 9363644 Free space on /tmp= 66256 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868217-1245116039/watcher-1868217-1245116039 -o /tmp/evaluation-result-1868217-1245116039/solver-1868217-1245116039 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868217-1245116039.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb1b2fb5676286fc8681e7e6d0d2728f RANDOM SEED=2091397527 node5.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.259 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 : 5931.00 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.259 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: 1234136 kB Buffers: 80360 kB Cached: 642212 kB SwapCached: 4008 kB Active: 62624 kB Inactive: 668160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1234136 kB SwapTotal: 4192956 kB SwapFree: 4183064 kB Dirty: 11812 kB Writeback: 0 kB Mapped: 14580 kB Slab: 77040 kB Committed_AS: 142024 kB PageTables: 1392 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= 66248 MiB End job on node5 at 2009-06-16 03:57:55