Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 1082.91 | 1083.2 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900563250.opb |
MD5SUM | 86b039bb4205441cb6ccb47b538994bc |
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.4436 |
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 | 665 |
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.03/0.05 c SCIP version 1.1.0.7 0.03/0.05 c LP-Solver Clp 1.8.2 0.03/0.05 c user parameter file <scip.set> not found - using default parameters 0.03/0.05 c read problem <HOME/instance-1868281-1245119078.opb> 0.03/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.03/0.06 c No objective function, only one solution is needed. 0.03/0.06 c start presolving problem 0.03/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.06 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 | 61 |3513k| 0 | 31 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf 0.19/0.25 c 0.2s| 1 | 0 | 100 |3651k| 0 | 40 | 231 |2564 |2564 | 231 |2572 | 8 | 0 | 0 | 1.100000e+01 | -- | Inf 0.29/0.38 c 0.3s| 1 | 0 | 149 |3875k| 0 | 52 | 231 |2564 |2564 | 231 |2576 | 12 | 0 | 0 | 1.100000e+01 | -- | Inf 0.49/0.56 c 0.5s| 1 | 0 | 213 |4186k| 0 | 58 | 231 |2564 |2564 | 231 |2578 | 14 | 0 | 0 | 1.100000e+01 | -- | Inf 0.69/0.70 c 0.6s| 1 | 0 | 340 |4291k| 0 | 37 | 231 |2564 |2564 | 231 |2583 | 19 | 0 | 0 | 1.100000e+01 | -- | Inf 0.79/0.81 c 0.7s| 1 | 0 | 412 |4368k| 0 | 47 | 231 |2564 |2564 | 231 |2588 | 24 | 0 | 0 | 1.100000e+01 | -- | Inf 1.59/1.62 c 1.5s| 1 | 2 | 412 |4368k| 0 | 47 | 231 |2564 |2564 | 231 |2588 | 24 | 0 | 23 | 1.100000e+01 | -- | Inf 122.96/123.04 c 122s| 10000 | 1489 |326499 |8119k| 61 | 32 | 231 |3056 |1234 | 231 |2569 | 24 |1228 |2546 | 1.400000e+01 | -- | Inf 205.54/205.60 c 204s| 20000 | 2217 |598583 |9989k| 61 | - | 231 |2922 |1308 | 231 |2569 | 24 |2811 |2784 | 1.500000e+01 | -- | Inf 291.90/292.03 c 290s| 30000 | 2845 |860808 | 11M| 61 | - | 231 |3082 |1135 | 231 |2569 | 24 |4382 |3404 | 1.500000e+01 | -- | Inf 383.79/383.95 c 381s| 40000 | 3368 | 1144k| 13M| 61 | - | 231 |2875 |1042 | 0 | 0 | 24 |5225 |4099 | 1.500000e+01 | -- | Inf 470.46/470.69 c 468s| 50000 | 3668 | 1410k| 14M| 63 | 29 | 231 |3062 |1391 | 231 |2569 | 24 |6282 |4681 | 1.500000e+01 | -- | Inf 550.94/551.13 c 548s| 60000 | 3793 | 1652k| 14M| 63 | 14 | 231 |3300 |1290 | 231 |2569 | 24 |8039 |5107 | 1.514286e+01 | -- | Inf 630.22/630.44 c 627s| 70000 | 3733 | 1881k| 15M| 63 | 25 | 231 |3322 |1108 | 231 |2569 | 24 |9578 |5594 | 1.600000e+01 | -- | Inf 707.40/707.62 c 703s| 80000 | 3533 | 2107k| 15M| 63 | - | 231 |3371 | 743 | 0 | 0 | 24 | 10k|5930 | 1.600000e+01 | -- | Inf 777.39/777.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 777.39/777.67 c 773s| 90000 | 3218 | 2291k| 14M| 63 | - | 231 |3574 |1364 | 231 |2569 | 24 | 13k|6330 | 1.600000e+01 | -- | Inf 849.16/849.41 c 844s|100000 | 2942 | 2479k| 14M| 63 | - | 231 |3514 | 776 | 231 |2569 | 24 | 14k|6725 | 1.700000e+01 | -- | Inf 923.65/923.92 c 918s|110000 | 2600 | 2677k| 13M| 63 | 34 | 231 |3307 |1380 | 231 |2569 | 24 | 15k|7106 | 1.700000e+01 | -- | Inf 992.93/993.26 c 987s|120000 | 1922 | 2850k| 11M| 63 | - | 231 |3382 | 906 | 231 |2569 | 24 | 17k|7423 | 1.700000e+01 | -- | Inf 1060.01/1060.32 c 1054s|130000 | 886 | 2998k|8931k| 63 | - | 231 |3378 |1160 | 231 |2569 | 24 | 18k|7986 | 1.800000e+01 | -- | Inf 1082.80/1083.18 c 1082.80/1083.18 c SCIP Status : problem is solved [infeasible] 1082.80/1083.18 c Solving Time (sec) : 1076.48 1082.80/1083.18 c Solving Nodes : 133781 1082.80/1083.18 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1082.80/1083.18 c Dual Bound : +1.00000000000000e+20 1082.80/1083.18 c Gap : 0.00 % 1082.80/1083.18 c NODE 133781 1082.80/1083.18 c DUAL BOUND 1e+20 1082.80/1083.18 c PRIMAL BOUND 1e+20 1082.80/1083.18 c GAP 0 1082.80/1083.18 s UNSATISFIABLE 1082.80/1083.18 c SCIP Status : problem is solved [infeasible] 1082.80/1083.18 c Solving Time : 1076.48 1082.80/1083.18 c Original Problem : 1082.80/1083.18 c Problem name : HOME/instance-1868281-1245119078.opb 1082.80/1083.18 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1082.80/1083.18 c Constraints : 2707 initial, 2707 maximal 1082.80/1083.18 c Presolved Problem : 1082.80/1083.18 c Problem name : t_HOME/instance-1868281-1245119078.opb 1082.80/1083.18 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1082.80/1083.18 c Constraints : 2564 initial, 3665 maximal 1082.80/1083.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1082.80/1083.18 c trivial : 0.00 0 0 0 0 0 0 0 0 1082.80/1083.18 c dualfix : 0.00 0 0 0 0 0 0 0 0 1082.80/1083.18 c boundshift : 0.00 0 0 0 0 0 0 0 0 1082.80/1083.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1082.80/1083.18 c implics : 0.00 0 0 0 0 0 0 0 0 1082.80/1083.18 c probing : 0.00 0 0 0 0 0 0 0 0 1082.80/1083.18 c knapsack : 0.00 0 0 0 0 0 0 0 0 1082.80/1083.18 c setppc : 0.00 0 0 0 0 0 0 0 0 1082.80/1083.18 c linear : 0.03 0 0 0 0 0 143 0 0 1082.80/1083.18 c logicor : 0.03 0 0 0 0 0 0 0 0 1082.80/1083.18 c root node : - 1 - - 1 - - - - 1082.80/1083.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1082.80/1083.18 c integral : 0 0 0 69810 0 414 3724 0 0 134288 1082.80/1083.18 c knapsack : 1 5 297241 0 0 1725 376368 0 0 0 1082.80/1083.18 c setppc : 22 5 296270 0 0 4269 647538 0 0 0 1082.80/1083.18 c logicor : 2541+ 5 255737 0 0 1558 912890 0 0 0 1082.80/1083.18 c countsols : 0 0 0 0 0 0 0 0 0 0 1082.80/1083.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1082.80/1083.18 c integral : 88.35 0.00 0.00 88.35 0.00 1082.80/1083.18 c knapsack : 1.50 0.00 1.50 0.00 0.00 1082.80/1083.18 c setppc : 3.42 0.00 3.42 0.00 0.00 1082.80/1083.18 c logicor : 21.42 0.00 21.42 0.00 0.00 1082.80/1083.18 c countsols : 0.00 0.00 0.00 0.00 0.00 1082.80/1083.18 c Propagators : Time Calls Cutoffs DomReds 1082.80/1083.18 c rootredcost : 0.22 0 0 0 1082.80/1083.18 c pseudoobj : 3.99 298033 1 0 1082.80/1083.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1082.80/1083.18 c propagation : 0.57 7552 7551 41434 18.7 94 15.3 - 1082.80/1083.18 c infeasible LP : 1.93 59176 0 0 0.0 0 0.0 0 1082.80/1083.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1082.80/1083.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1082.80/1083.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1082.80/1083.18 c applied globally : - - - 18660 16.0 - - - 1082.80/1083.18 c applied locally : - - - 35 33.3 - - - 1082.80/1083.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1082.80/1083.18 c cut pool : 0.00 4 - - 5 - (maximal pool size: 430) 1082.80/1083.18 c redcost : 1.02 67668 0 0 0 0 1082.80/1083.18 c impliedbounds : 0.00 5 0 0 0 0 1082.80/1083.18 c intobj : 0.00 0 0 0 0 0 1082.80/1083.18 c gomory : 0.27 5 0 0 2500 0 1082.80/1083.18 c strongcg : 0.25 5 0 0 2500 0 1082.80/1083.18 c cmir : 0.00 0 0 0 0 0 1082.80/1083.18 c flowcover : 0.00 0 0 0 0 0 1082.80/1083.18 c clique : 0.01 5 0 0 0 0 1082.80/1083.18 c zerohalf : 0.00 0 0 0 0 0 1082.80/1083.18 c mcf : 0.00 1 0 0 0 0 1082.80/1083.18 c Pricers : Time Calls Vars 1082.80/1083.18 c problem variables: 0.00 0 0 1082.80/1083.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1082.80/1083.18 c relpscost : 88.19 69810 414 3724 0 0 134288 1082.80/1083.18 c pscost : 0.00 0 0 0 0 0 0 1082.80/1083.18 c inference : 0.00 0 0 0 0 0 0 1082.80/1083.18 c mostinf : 0.00 0 0 0 0 0 0 1082.80/1083.18 c leastinf : 0.00 0 0 0 0 0 0 1082.80/1083.18 c fullstrong : 0.00 0 0 0 0 0 0 1082.80/1083.18 c allfullstrong : 0.00 0 0 0 0 0 0 1082.80/1083.18 c random : 0.00 0 0 0 0 0 0 1082.80/1083.18 c Primal Heuristics : Time Calls Found 1082.80/1083.18 c LP solutions : 0.00 - 0 1082.80/1083.18 c pseudo solutions : 0.00 - 0 1082.80/1083.18 c simplerounding : 0.00 0 0 1082.80/1083.18 c rounding : 0.00 0 0 1082.80/1083.18 c shifting : 0.00 0 0 1082.80/1083.18 c intshifting : 0.00 0 0 1082.80/1083.18 c oneopt : 0.00 0 0 1082.80/1083.18 c fixandinfer : 0.00 0 0 1082.80/1083.18 c feaspump : 0.00 0 0 1082.80/1083.18 c coefdiving : 0.00 0 0 1082.80/1083.18 c pscostdiving : 0.00 0 0 1082.80/1083.18 c fracdiving : 0.00 0 0 1082.80/1083.18 c veclendiving : 0.00 0 0 1082.80/1083.18 c intdiving : 0.00 0 0 1082.80/1083.18 c actconsdiving : 0.00 0 0 1082.80/1083.18 c objpscostdiving : 0.00 0 0 1082.80/1083.18 c rootsoldiving : 0.00 0 0 1082.80/1083.18 c linesearchdiving : 0.00 0 0 1082.80/1083.18 c guideddiving : 0.00 0 0 1082.80/1083.18 c octane : 0.00 0 0 1082.80/1083.18 c rens : 0.00 0 0 1082.80/1083.18 c rins : 0.00 0 0 1082.80/1083.18 c localbranching : 0.00 0 0 1082.80/1083.18 c mutation : 0.00 0 0 1082.80/1083.18 c crossover : 0.00 0 0 1082.80/1083.18 c dins : 0.00 0 0 1082.80/1083.18 c LP : Time Calls Iterations Iter/call Iter/sec 1082.80/1083.18 c primal LP : 0.01 0 0 0.00 0.00 1082.80/1083.18 c dual LP : 886.56 128768 3041154 23.62 3430.29 1082.80/1083.18 c barrier LP : 0.00 0 0 0.00 - 1082.80/1083.18 c diving/probing LP: 0.00 0 0 0.00 - 1082.80/1083.18 c strong branching : 85.50 8128 352846 43.41 4126.85 1082.80/1083.18 c (at root node) : - 23 3015 131.09 - 1082.80/1083.18 c conflict analysis: 0.00 0 0 0.00 - 1082.80/1083.18 c B&B Tree : 1082.80/1083.18 c number of runs : 1 1082.80/1083.18 c nodes : 133781 1082.80/1083.18 c nodes (total) : 133781 1082.80/1083.18 c nodes left : 0 1082.80/1083.18 c max depth : 63 1082.80/1083.18 c max depth (total): 63 1082.80/1083.18 c backtracks : 16661 (12.5%) 1082.80/1083.18 c delayed cutoffs : 508 1082.80/1083.18 c repropagations : 17247 (52841 domain reductions, 506 cutoffs) 1082.80/1083.18 c avg switch length: 5.84 1082.80/1083.18 c switching time : 23.04 1082.80/1083.18 c Solution : 1082.80/1083.18 c Solutions found : 0 (0 improvements) 1082.80/1083.18 c Primal Bound : infeasible 1082.80/1083.18 c Dual Bound : - 1082.80/1083.18 c Gap : 0.00 % 1082.80/1083.18 c Root Dual Bound : +1.10000000000000e+01 1082.80/1083.20 c Time complete: 1082.9.
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-1868281-1245119078/watcher-1868281-1245119078 -o /tmp/evaluation-result-1868281-1245119078/solver-1868281-1245119078 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868281-1245119078.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 410 /proc/meminfo: memFree=1239784/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=5812 CPUtime=0 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 179507866 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/410/statm: 1453 508 337 1256 0 192 0 [startup+0.0416911 s] /proc/loadavg: 1.00 1.00 1.00 3/64 410 /proc/meminfo: memFree=1239784/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=11064 CPUtime=0.03 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 1759 0 0 0 3 0 0 0 18 0 1 0 179507866 11329536 1743 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/410/statm: 2766 1743 376 1256 0 1505 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11064 [startup+0.101696 s] /proc/loadavg: 1.00 1.00 1.00 3/64 410 /proc/meminfo: memFree=1239784/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=18752 CPUtime=0.09 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 3847 0 0 0 8 1 0 0 18 0 1 0 179507866 19202048 3477 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 4688 3477 471 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.301717 s] /proc/loadavg: 1.00 1.00 1.00 3/64 410 /proc/meminfo: memFree=1239784/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=24908 CPUtime=0.29 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 5222 0 0 0 27 2 0 0 17 0 1 0 179507866 25505792 4852 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 6227 4852 649 1256 0 4966 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24908 [startup+0.701761 s] /proc/loadavg: 1.00 1.00 1.00 3/64 410 /proc/meminfo: memFree=1239784/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=29684 CPUtime=0.69 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 6355 0 0 0 66 3 0 0 20 0 1 0 179507866 30396416 5985 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 7421 5985 649 1256 0 6160 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29684 [startup+1.50185 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1217504/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=32316 CPUtime=1.49 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 6609 0 0 0 146 3 0 0 25 0 1 0 179507866 33091584 6239 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 8079 6239 654 1256 0 6818 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32316 [startup+3.10202 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1217056/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=32592 CPUtime=3.09 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 8066 0 0 0 304 5 0 0 25 0 1 0 179507866 33374208 6324 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 8148 6324 674 1256 0 6887 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32592 [startup+6.30136 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1216800/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=32376 CPUtime=6.29 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 11775 0 0 0 621 8 0 0 25 0 1 0 179507866 33153024 6327 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 8094 6327 674 1256 0 6833 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32376 [startup+12.7021 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1216736/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=32648 CPUtime=12.69 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 15337 0 0 0 1258 11 0 0 25 0 1 0 179507866 33431552 6363 1992294400 4194304 9342243 548682068736 18446744073709551615 6496559 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 8162 6363 678 1256 0 6901 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32648 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1216672/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=30404 CPUtime=25.48 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 27537 0 0 0 2526 22 0 0 25 0 1 0 179507866 31133696 6397 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 7601 6397 678 1256 0 6340 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30404 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1215328/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=33784 CPUtime=51.07 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 50200 0 0 0 5061 46 0 0 25 0 1 0 179507866 34594816 6770 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 8446 6770 678 1256 0 7185 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33784 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1212064/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=36472 CPUtime=102.26 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 69349 0 0 0 10144 82 0 0 25 0 1 0 179507866 37347328 7566 1992294400 4194304 9342243 548682068736 18446744073709551615 6889074 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 9118 7566 678 1256 0 7857 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36472 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1210464/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=38916 CPUtime=162.24 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 83845 0 0 0 16111 113 0 0 25 0 1 0 179507866 39849984 7961 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 9729 7961 678 1256 0 8468 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 38916 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1208928/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=40488 CPUtime=222.22 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 86396 0 0 0 22083 139 0 0 25 0 1 0 179507866 41459712 8329 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 10122 8329 678 1256 0 8861 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 40488 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1207904/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=39860 CPUtime=282.21 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 94647 0 0 0 28048 173 0 0 25 0 1 0 179507866 40816640 8586 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 9965 8586 678 1256 0 8704 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 39860 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1206688/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=40992 CPUtime=342.2 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 106786 0 0 0 34011 209 0 0 25 0 1 0 179507866 41975808 8856 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 10248 8856 678 1256 0 8987 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 40992 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1205216/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=42908 CPUtime=402.18 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 113386 0 0 0 39976 242 0 0 25 0 1 0 179507866 43937792 9224 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 10727 9224 678 1256 0 9466 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 42908 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1205088/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=42904 CPUtime=462.16 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 120819 0 0 0 45941 275 0 0 25 0 1 0 179507866 43933696 9261 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 10726 9261 678 1256 0 9465 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 42904 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1203872/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=45976 CPUtime=522.15 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 125161 0 0 0 51911 304 0 0 25 0 1 0 179507866 47079424 9604 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11494 9604 678 1256 0 10233 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 45976 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1203360/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=44992 CPUtime=582.13 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 129198 0 0 0 57877 336 0 0 25 0 1 0 179507866 46071808 9737 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11248 9737 678 1256 0 9987 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 44992 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202848/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=45004 CPUtime=642.12 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 137613 0 0 0 63840 372 0 0 25 0 1 0 179507866 46084096 9858 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11251 9858 678 1256 0 9990 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 45004 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202912/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=44972 CPUtime=702.11 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 147917 0 0 0 69806 405 0 0 25 0 1 0 179507866 46051328 9851 1992294400 4194304 9342243 548682068736 18446744073709551615 6038450 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11243 9851 678 1256 0 9982 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 44972 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202848/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=45008 CPUtime=762.09 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 160040 0 0 0 75768 441 0 0 25 0 1 0 179507866 46088192 9865 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11252 9865 678 1256 0 9991 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 45008 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202976/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=44976 CPUtime=822.08 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 172411 0 0 0 81729 479 0 0 25 0 1 0 179507866 46055424 9848 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11244 9848 678 1256 0 9983 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 44976 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202912/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=44976 CPUtime=882.06 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 183827 0 0 0 87690 516 0 0 25 0 1 0 179507866 46055424 9821 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11244 9821 678 1256 0 9983 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 44976 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202912/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=44948 CPUtime=942.04 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 192397 0 0 0 93657 547 0 0 25 0 1 0 179507866 46026752 9843 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11237 9843 678 1256 0 9976 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 44948 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202848/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=44988 CPUtime=1002.02 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 204398 0 0 0 99622 580 0 0 25 0 1 0 179507866 46067712 9878 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11247 9878 678 1256 0 9986 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 44988 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202912/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=44980 CPUtime=1062.01 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 222856 0 0 0 105579 622 0 0 25 0 1 0 179507866 46059520 9825 1992294400 4194304 9342243 548682068736 18446744073709551615 6224435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11245 9825 678 1256 0 9984 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 44980 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202912/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=44960 CPUtime=1074.8 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 228032 0 0 0 106849 631 0 0 25 0 1 0 179507866 46039040 9857 1992294400 4194304 9342243 548682068736 18446744073709551615 6039466 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11240 9857 678 1256 0 9979 0 Current children cumulated CPU time (s) 1074.8 Current children cumulated vsize (KiB) 44960 [startup+1078.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202912/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=47092 CPUtime=1078 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 229028 0 0 0 107167 633 0 0 25 0 1 0 179507866 48222208 9887 1992294400 4194304 9342243 548682068736 18446744073709551615 7289228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11773 9887 678 1256 0 10512 0 Current children cumulated CPU time (s) 1078 Current children cumulated vsize (KiB) 47092 [startup+1081.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202912/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=44980 CPUtime=1081.21 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 230044 0 0 0 107486 635 0 0 25 0 1 0 179507866 46059520 9865 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11245 9865 678 1256 0 9984 0 Current children cumulated CPU time (s) 1081.21 Current children cumulated vsize (KiB) 44980 [startup+1082.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202848/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=45016 CPUtime=1082.01 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 230191 0 0 0 107565 636 0 0 25 0 1 0 179507866 46096384 9862 1992294400 4194304 9342243 548682068736 18446744073709551615 6219832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11254 9862 678 1256 0 9993 0 Current children cumulated CPU time (s) 1082.01 Current children cumulated vsize (KiB) 45016 [startup+1082.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202848/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=44988 CPUtime=1082.4 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 230435 0 0 0 107604 636 0 0 25 0 1 0 179507866 46067712 9858 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11247 9858 678 1256 0 9986 0 Current children cumulated CPU time (s) 1082.4 Current children cumulated vsize (KiB) 44988 [startup+1083.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 411 /proc/meminfo: memFree=1202848/2055920 swapFree=4192812/4192956 [pid=410] ppid=408 vsize=45000 CPUtime=1082.8 /proc/410/stat : 410 (pbscip.linux.x8) R 408 410 30954 0 -1 4194304 230515 0 0 0 107644 636 0 0 25 0 1 0 179507866 46080000 9853 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/410/statm: 11250 9853 678 1256 0 9989 0 Current children cumulated CPU time (s) 1082.8 Current children cumulated vsize (KiB) 45000 Child status: 0 Real time (s): 1083.2 CPU time (s): 1082.91 CPU user time (s): 1076.54 CPU system time (s): 6.37303 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 47720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1076.54 system time used= 6.37303 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 230536 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 1917 runsolver used 0.731888 second user time and 2.35764 second system time The end
Begin job on node19 at 2009-06-16 04:24:38 IDJOB=1868281 IDBENCH=1307 IDSOLVER=684 FILE ID=node19/1868281-1245119078 PBS_JOBID= 9363642 Free space on /tmp= 66160 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.1900563250.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-1868281-1245119078/watcher-1868281-1245119078 -o /tmp/evaluation-result-1868281-1245119078/solver-1868281-1245119078 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868281-1245119078.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 86b039bb4205441cb6ccb47b538994bc RANDOM SEED=1844744039 node19.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.234 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.234 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: 1240200 kB Buffers: 72096 kB Cached: 649112 kB SwapCached: 0 kB Active: 106232 kB Inactive: 628936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1240200 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 12092 kB Writeback: 0 kB Mapped: 23728 kB Slab: 66496 kB Committed_AS: 174072 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66148 MiB End job on node19 at 2009-06-16 04:42:41