Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 1047.96 | 1048.25 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb |
MD5SUM | cabd29c48249a44c2596bb98645c31c8 |
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 | 82.2935 |
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.00/0.05 c SCIP version 1.1.0.7 0.00/0.05 c LP-Solver Clp 1.8.2 0.00/0.05 c user parameter file <scip.set> not found - using default parameters 0.00/0.05 c read problem <HOME/instance-1868329-1245121287.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.06 c No objective function, only one solution is needed. 0.00/0.06 c start presolving problem 0.00/0.06 c presolving: 0.09/0.10 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.11 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.12 c presolving (3 rounds): 0.09/0.12 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.12 c 242 implications, 22 cliques 0.09/0.12 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.12 c 1 constraints of type <knapsack> 0.09/0.12 c 22 constraints of type <setppc> 0.09/0.12 c 2541 constraints of type <logicor> 0.09/0.12 c transformed objective value is always integral (scale: 1) 0.09/0.12 c Presolving Time: 0.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 | 58 |3513k| 0 | 22 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf 0.19/0.27 c 0.2s| 1 | 0 | 122 |3701k| 0 | 43 | 231 |2564 |2564 | 231 |2572 | 8 | 0 | 0 | 1.100000e+01 | -- | Inf 0.39/0.41 c 0.3s| 1 | 0 | 200 |3878k| 0 | 58 | 231 |2564 |2564 | 231 |2577 | 13 | 0 | 0 | 1.100000e+01 | -- | Inf 0.49/0.57 c 0.5s| 1 | 0 | 268 |4163k| 0 | 52 | 231 |2564 |2564 | 231 |2583 | 19 | 0 | 0 | 1.100000e+01 | -- | Inf 0.88/0.96 c 0.9s| 1 | 0 | 327 |4434k| 0 | 52 | 231 |2564 |2564 | 231 |2584 | 20 | 0 | 0 | 1.100000e+01 | -- | Inf 1.29/1.36 c 1.3s| 1 | 0 | 439 |4540k| 0 | 45 | 231 |2564 |2564 | 231 |2587 | 23 | 0 | 0 | 1.100000e+01 | -- | Inf 1.99/2.07 c 2.0s| 1 | 2 | 439 |4541k| 0 | 45 | 231 |2564 |2564 | 231 |2587 | 23 | 0 | 20 | 1.100000e+01 | -- | Inf 124.15/124.23 c 123s| 10000 | 1413 |325243 |8201k| 52 | 23 | 231 |3093 |1461 | 231 |2568 | 23 |1210 |2635 | 1.400000e+01 | -- | Inf 201.74/201.86 c 200s| 20000 | 2200 |574999 | 10M| 53 | - | 231 |3329 |1044 | 231 |2568 | 23 |2974 |2791 | 1.500000e+01 | -- | Inf 289.11/289.29 c 287s| 30000 | 2917 |835189 | 12M| 53 | 22 | 231 |3010 |1516 | 231 |2568 | 23 |4397 |3509 | 1.500000e+01 | -- | Inf 377.98/378.10 c 376s| 40000 | 3604 | 1107k| 13M| 55 | - | 231 |3026 | 415 | 0 | 0 | 23 |5793 |4085 | 1.500000e+01 | -- | Inf 458.47/458.67 c 456s| 50000 | 3993 | 1346k| 15M| 55 | - | 231 |3594 |1033 | 0 | 0 | 23 |8330 |4610 | 1.600000e+01 | -- | Inf 534.05/534.21 c 531s| 60000 | 4095 | 1557k| 16M| 55 | - | 231 |3726 |1008 | 231 |2568 | 23 | 11k|5172 | 1.600000e+01 | -- | Inf 605.93/606.16 c 602s| 70000 | 3914 | 1758k| 15M| 55 | - | 231 |4047 |1276 | 231 |2568 | 23 | 13k|5506 | 1.600000e+01 | -- | Inf 677.00/677.24 c 673s| 80000 | 3530 | 1944k| 15M| 55 | 16 | 231 |4213 | 946 | 231 |2568 | 23 | 16k|5917 | 1.700000e+01 | -- | Inf 752.48/752.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 752.48/752.72 c 748s| 90000 | 3246 | 2149k| 14M| 55 | 26 | 231 |3632 |1205 | 231 |2568 | 23 | 17k|6272 | 1.700000e+01 | -- | Inf 830.97/831.22 c 826s|100000 | 2960 | 2367k| 14M| 56 | - | 231 |3161 |1462 | 231 |2568 | 23 | 18k|6604 | 1.700000e+01 | -- | Inf 914.54/914.86 c 909s|110000 | 2585 | 2601k| 13M| 56 | 30 | 231 |2934 |1367 | 231 |2568 | 23 | 19k|7103 | 1.700000e+01 | -- | Inf 981.03/981.33 c 975s|120000 | 1661 | 2761k| 11M| 56 | 14 | 231 |3450 | 933 | 231 |2568 | 23 | 21k|7422 | 1.800000e+01 | -- | Inf 1044.91/1045.25 c 1039s|130000 | 152 | 2898k|5975k| 56 | - | 231 |3102 |1081 | 231 |2568 | 23 | 22k|7645 | 1.900000e+01 | -- | Inf 1047.90/1048.23 c 1047.90/1048.23 c SCIP Status : problem is solved [infeasible] 1047.90/1048.23 c Solving Time (sec) : 1042.03 1047.90/1048.23 c Solving Nodes : 130468 1047.90/1048.23 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1047.90/1048.23 c Dual Bound : +1.00000000000000e+20 1047.90/1048.23 c Gap : 0.00 % 1047.90/1048.23 c NODE 130468 1047.90/1048.23 c DUAL BOUND 1e+20 1047.90/1048.23 c PRIMAL BOUND 1e+20 1047.90/1048.23 c GAP 0 1047.90/1048.23 s UNSATISFIABLE 1047.90/1048.23 c SCIP Status : problem is solved [infeasible] 1047.90/1048.23 c Solving Time : 1042.03 1047.90/1048.23 c Original Problem : 1047.90/1048.23 c Problem name : HOME/instance-1868329-1245121287.opb 1047.90/1048.23 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1047.90/1048.23 c Constraints : 2707 initial, 2707 maximal 1047.90/1048.23 c Presolved Problem : 1047.90/1048.23 c Problem name : t_HOME/instance-1868329-1245121287.opb 1047.90/1048.23 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1047.90/1048.23 c Constraints : 2564 initial, 4290 maximal 1047.90/1048.23 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1047.90/1048.23 c trivial : 0.00 0 0 0 0 0 0 0 0 1047.90/1048.23 c dualfix : 0.00 0 0 0 0 0 0 0 0 1047.90/1048.23 c boundshift : 0.00 0 0 0 0 0 0 0 0 1047.90/1048.23 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1047.90/1048.23 c implics : 0.00 0 0 0 0 0 0 0 0 1047.90/1048.23 c probing : 0.00 0 0 0 0 0 0 0 0 1047.90/1048.23 c knapsack : 0.00 0 0 0 0 0 0 0 0 1047.90/1048.23 c setppc : 0.00 0 0 0 0 0 0 0 0 1047.90/1048.23 c linear : 0.03 0 0 0 0 0 143 0 0 1047.90/1048.23 c logicor : 0.03 0 0 0 0 0 0 0 0 1047.90/1048.23 c root node : - 1 - - 1 - - - - 1047.90/1048.23 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1047.90/1048.23 c integral : 0 0 0 67801 0 348 3138 0 0 131234 1047.90/1048.23 c knapsack : 1 5 302868 0 0 1936 440502 0 0 0 1047.90/1048.23 c setppc : 22 5 301731 0 0 5160 638738 0 0 0 1047.90/1048.23 c logicor : 2541+ 5 258375 0 0 1913 940963 0 0 0 1047.90/1048.23 c countsols : 0 0 0 0 0 0 0 0 0 0 1047.90/1048.23 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1047.90/1048.23 c integral : 81.48 0.00 0.00 81.48 0.00 1047.90/1048.23 c knapsack : 1.94 0.00 1.94 0.00 0.00 1047.90/1048.23 c setppc : 3.41 0.00 3.41 0.00 0.00 1047.90/1048.23 c logicor : 23.30 0.01 23.29 0.00 0.00 1047.90/1048.23 c countsols : 0.00 0.00 0.00 0.00 0.00 1047.90/1048.23 c Propagators : Time Calls Cutoffs DomReds 1047.90/1048.23 c rootredcost : 0.21 0 0 0 1047.90/1048.23 c pseudoobj : 4.44 303678 1 0 1047.90/1048.23 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1047.90/1048.23 c propagation : 0.72 9009 9009 50648 18.3 104 17.3 - 1047.90/1048.23 c infeasible LP : 2.07 56260 0 0 0.0 0 0.0 0 1047.90/1048.23 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1047.90/1048.23 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1047.90/1048.23 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1047.90/1048.23 c applied globally : - - - 22881 15.9 - - - 1047.90/1048.23 c applied locally : - - - 45 32.8 - - - 1047.90/1048.23 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1047.90/1048.23 c cut pool : 0.00 4 - - 3 - (maximal pool size: 405) 1047.90/1048.23 c redcost : 0.92 66050 0 0 0 0 1047.90/1048.23 c impliedbounds : 0.00 5 0 0 0 0 1047.90/1048.23 c intobj : 0.00 0 0 0 0 0 1047.90/1048.23 c gomory : 0.61 5 0 0 2036 0 1047.90/1048.23 c strongcg : 0.45 5 0 0 2498 0 1047.90/1048.23 c cmir : 0.00 0 0 0 0 0 1047.90/1048.23 c flowcover : 0.00 0 0 0 0 0 1047.90/1048.23 c clique : 0.01 5 0 0 0 0 1047.90/1048.23 c zerohalf : 0.00 0 0 0 0 0 1047.90/1048.23 c mcf : 0.00 1 0 0 0 0 1047.90/1048.23 c Pricers : Time Calls Vars 1047.90/1048.23 c problem variables: 0.00 0 0 1047.90/1048.23 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1047.90/1048.23 c relpscost : 81.31 67801 348 3138 0 0 131234 1047.90/1048.23 c pscost : 0.00 0 0 0 0 0 0 1047.90/1048.23 c inference : 0.00 0 0 0 0 0 0 1047.90/1048.23 c mostinf : 0.00 0 0 0 0 0 0 1047.90/1048.23 c leastinf : 0.00 0 0 0 0 0 0 1047.90/1048.23 c fullstrong : 0.00 0 0 0 0 0 0 1047.90/1048.23 c allfullstrong : 0.00 0 0 0 0 0 0 1047.90/1048.23 c random : 0.00 0 0 0 0 0 0 1047.90/1048.23 c Primal Heuristics : Time Calls Found 1047.90/1048.23 c LP solutions : 0.00 - 0 1047.90/1048.23 c pseudo solutions : 0.00 - 0 1047.90/1048.23 c simplerounding : 0.00 0 0 1047.90/1048.23 c rounding : 0.00 0 0 1047.90/1048.23 c shifting : 0.00 0 0 1047.90/1048.23 c intshifting : 0.00 0 0 1047.90/1048.23 c oneopt : 0.00 0 0 1047.90/1048.23 c fixandinfer : 0.00 0 0 1047.90/1048.23 c feaspump : 0.00 0 0 1047.90/1048.23 c coefdiving : 0.00 0 0 1047.90/1048.23 c pscostdiving : 0.00 0 0 1047.90/1048.23 c fracdiving : 0.00 0 0 1047.90/1048.23 c veclendiving : 0.00 0 0 1047.90/1048.23 c intdiving : 0.00 0 0 1047.90/1048.23 c actconsdiving : 0.00 0 0 1047.90/1048.23 c objpscostdiving : 0.00 0 0 1047.90/1048.23 c rootsoldiving : 0.00 0 0 1047.90/1048.23 c linesearchdiving : 0.00 0 0 1047.90/1048.23 c guideddiving : 0.00 0 0 1047.90/1048.23 c octane : 0.00 0 0 1047.90/1048.23 c rens : 0.00 0 0 1047.90/1048.23 c rins : 0.00 0 0 1047.90/1048.23 c localbranching : 0.00 0 0 1047.90/1048.23 c mutation : 0.00 0 0 1047.90/1048.23 c crossover : 0.00 0 0 1047.90/1048.23 c dins : 0.00 0 0 1047.90/1048.23 c LP : Time Calls Iterations Iter/call Iter/sec 1047.90/1048.23 c primal LP : 0.01 0 0 0.00 0.00 1047.90/1048.23 c dual LP : 854.12 123929 2903942 23.43 3399.92 1047.90/1048.23 c barrier LP : 0.00 0 0 0.00 - 1047.90/1048.23 c diving/probing LP: 0.00 0 0 0.00 - 1047.90/1048.23 c strong branching : 78.63 7667 317704 41.44 4040.49 1047.90/1048.23 c (at root node) : - 20 2747 137.35 - 1047.90/1048.23 c conflict analysis: 0.00 0 0 0.00 - 1047.90/1048.23 c B&B Tree : 1047.90/1048.23 c number of runs : 1 1047.90/1048.23 c nodes : 130468 1047.90/1048.23 c nodes (total) : 130468 1047.90/1048.23 c nodes left : 0 1047.90/1048.23 c max depth : 56 1047.90/1048.23 c max depth (total): 56 1047.90/1048.23 c backtracks : 16768 (12.9%) 1047.90/1048.23 c delayed cutoffs : 767 1047.90/1048.23 c repropagations : 17837 (68904 domain reductions, 767 cutoffs) 1047.90/1048.23 c avg switch length: 5.72 1047.90/1048.23 c switching time : 24.40 1047.90/1048.23 c Solution : 1047.90/1048.23 c Solutions found : 0 (0 improvements) 1047.90/1048.23 c Primal Bound : infeasible 1047.90/1048.23 c Dual Bound : - 1047.90/1048.23 c Gap : 0.00 % 1047.90/1048.23 c Root Dual Bound : +1.10000000000000e+01 1047.90/1048.25 c Time complete: 1047.95.
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-1868329-1245121287/watcher-1868329-1245121287 -o /tmp/evaluation-result-1868329-1245121287/solver-1868329-1245121287 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868329-1245121287.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.05 1.00 1.00 3/64 1000 /proc/meminfo: memFree=1277736/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=5812 CPUtime=0 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 179728831 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/1000/statm: 1453 504 333 1256 0 192 0 [startup+0.102004 s] /proc/loadavg: 1.05 1.00 1.00 3/64 1000 /proc/meminfo: memFree=1277736/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=18752 CPUtime=0.09 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 3847 0 0 0 8 1 0 0 18 0 1 0 179728831 19202048 3477 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 4688 3477 471 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.202014 s] /proc/loadavg: 1.05 1.00 1.00 3/64 1000 /proc/meminfo: memFree=1277736/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=24152 CPUtime=0.19 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 5010 0 0 0 17 2 0 0 17 0 1 0 179728831 24731648 4640 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 6038 4640 637 1256 0 4777 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 24152 [startup+0.302023 s] /proc/loadavg: 1.05 1.00 1.00 3/64 1000 /proc/meminfo: memFree=1277736/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=25864 CPUtime=0.29 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 5420 0 0 0 27 2 0 0 17 0 1 0 179728831 26484736 5050 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 6466 5050 649 1256 0 5205 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25864 [startup+0.701061 s] /proc/loadavg: 1.05 1.00 1.00 3/64 1000 /proc/meminfo: memFree=1277736/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=29968 CPUtime=0.68 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 6337 0 0 0 66 2 0 0 20 0 1 0 179728831 30687232 5966 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 7492 5966 649 1256 0 6231 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 29968 [startup+1.50114 s] /proc/loadavg: 1.05 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1254752/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=33596 CPUtime=1.49 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 7098 0 0 0 146 3 0 0 25 0 1 0 179728831 34402304 6507 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 8399 6507 654 1256 0 7138 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33596 [startup+3.10129 s] /proc/loadavg: 1.05 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1253856/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=34224 CPUtime=3.09 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 8539 0 0 0 305 4 0 0 25 0 1 0 179728831 35045376 6683 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 8556 6683 670 1256 0 7295 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34224 [startup+6.3016 s] /proc/loadavg: 1.04 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1253152/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=34308 CPUtime=6.29 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 9391 0 0 0 623 6 0 0 25 0 1 0 179728831 35131392 6719 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 8577 6719 674 1256 0 7316 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34308 [startup+12.7012 s] /proc/loadavg: 1.04 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1253024/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=33452 CPUtime=12.69 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 11872 0 0 0 1260 9 0 0 25 0 1 0 179728831 34254848 6788 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 8363 6788 675 1256 0 7102 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33452 [startup+25.5014 s] /proc/loadavg: 1.03 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1253024/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=35072 CPUtime=25.48 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 18817 0 0 0 2532 16 0 0 25 0 1 0 179728831 35913728 6808 1992294400 4194304 9342243 548682068736 18446744073709551615 6960742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 8768 6808 675 1256 0 7507 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35072 [startup+51.1019 s] /proc/loadavg: 1.02 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1252576/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=33224 CPUtime=51.07 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 40524 0 0 0 5067 40 0 0 25 0 1 0 179728831 34021376 6942 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 8306 6942 678 1256 0 7045 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33224 [startup+102.303 s] /proc/loadavg: 1.01 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1249568/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=36160 CPUtime=102.27 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 66215 0 0 0 10151 76 0 0 25 0 1 0 179728831 37027840 7662 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 9040 7662 678 1256 0 7779 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36160 [startup+162.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1247328/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=40264 CPUtime=162.25 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 78055 0 0 0 16115 110 0 0 25 0 1 0 179728831 41230336 8240 1992294400 4194304 9342243 548682068736 18446744073709551615 6923687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 10066 8240 678 1256 0 8805 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 40264 [startup+222.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1245408/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=42332 CPUtime=222.24 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 84202 0 0 0 22084 140 0 0 25 0 1 0 179728831 43347968 8704 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 10583 8704 678 1256 0 9322 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 42332 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1244448/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=40904 CPUtime=282.21 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 94768 0 0 0 28042 179 0 0 25 0 1 0 179728831 41885696 8901 1992294400 4194304 9342243 548682068736 18446744073709551615 6959481 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 10226 8901 678 1256 0 8965 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 40904 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1243104/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=42880 CPUtime=342.2 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 103895 0 0 0 34006 214 0 0 25 0 1 0 179728831 43909120 9269 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 10720 9269 678 1256 0 9459 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 42880 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1240480/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=45444 CPUtime=402.18 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 110808 0 0 0 39971 247 0 0 25 0 1 0 179728831 46534656 9903 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11361 9903 678 1256 0 10100 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 45444 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1240160/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=46116 CPUtime=462.16 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 116284 0 0 0 45935 281 0 0 25 0 1 0 179728831 47222784 10002 1992294400 4194304 9342243 548682068736 18446744073709551615 6040666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11529 10002 678 1256 0 10268 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 46116 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1239648/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=49236 CPUtime=522.15 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 129583 0 0 0 51896 319 0 0 25 0 1 0 179728831 50417664 10311 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 12309 10311 678 1256 0 11048 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 49236 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238304/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=49292 CPUtime=582.13 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 133989 0 0 0 57866 347 0 0 25 0 1 0 179728831 50475008 10484 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 12323 10484 678 1256 0 11062 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 49292 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238112/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=49172 CPUtime=642.12 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 137624 0 0 0 63833 379 0 0 25 0 1 0 179728831 50352128 10505 1992294400 4194304 9342243 548682068736 18446744073709551615 6936123 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 12293 10505 678 1256 0 11032 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 49172 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238048/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=48952 CPUtime=702.09 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 140786 0 0 0 69801 408 0 0 25 0 1 0 179728831 50126848 10524 1992294400 4194304 9342243 548682068736 18446744073709551615 6888025 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 12238 10524 678 1256 0 10977 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 48952 [startup+762.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238112/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47324 CPUtime=762.09 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 143394 0 0 0 75769 440 0 0 25 0 1 0 179728831 48459776 10494 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11831 10494 678 1256 0 10570 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 47324 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238112/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47320 CPUtime=822.07 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 146824 0 0 0 81739 468 0 0 25 0 1 0 179728831 48455680 10498 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11830 10498 678 1256 0 10569 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 47320 [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238176/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47332 CPUtime=882.05 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 151173 0 0 0 87706 499 0 0 25 0 1 0 179728831 48467968 10497 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11833 10497 678 1256 0 10572 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 47332 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238176/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47324 CPUtime=942.03 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 154147 0 0 0 93676 527 0 0 25 0 1 0 179728831 48459776 10481 1992294400 4194304 9342243 548682068736 18446744073709551615 6889071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11831 10481 678 1256 0 10570 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 47324 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238176/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47320 CPUtime=1002.01 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 159511 0 0 0 99637 564 0 0 25 0 1 0 179728831 48455680 10489 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11830 10489 678 1256 0 10569 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 47320 Solver just ended. Dumping a history of the last processes samples [startup+1024 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238176/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47328 CPUtime=1023.71 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 160014 0 0 0 101796 575 0 0 25 0 1 0 179728831 48463872 10492 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11832 10492 678 1256 0 10571 0 Current children cumulated CPU time (s) 1023.71 Current children cumulated vsize (KiB) 47328 [startup+1036.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238176/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47332 CPUtime=1036.51 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 161163 0 0 0 103070 581 0 0 25 0 1 0 179728831 48467968 10486 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11833 10486 678 1256 0 10572 0 Current children cumulated CPU time (s) 1036.51 Current children cumulated vsize (KiB) 47332 [startup+1043.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238176/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47332 CPUtime=1042.91 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 161644 0 0 0 103707 584 0 0 25 0 1 0 179728831 48467968 10490 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11833 10490 678 1256 0 10572 0 Current children cumulated CPU time (s) 1042.91 Current children cumulated vsize (KiB) 47332 [startup+1046.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238176/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47324 CPUtime=1046.11 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 161968 0 0 0 104025 586 0 0 25 0 1 0 179728831 48459776 10493 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11831 10493 678 1256 0 10570 0 Current children cumulated CPU time (s) 1046.11 Current children cumulated vsize (KiB) 47324 [startup+1047.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238176/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47324 CPUtime=1046.91 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 161968 0 0 0 104105 586 0 0 25 0 1 0 179728831 48459776 10493 1992294400 4194304 9342243 548682068736 18446744073709551615 6238732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11831 10493 678 1256 0 10570 0 Current children cumulated CPU time (s) 1046.91 Current children cumulated vsize (KiB) 47324 [startup+1048 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238176/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47320 CPUtime=1047.7 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 162090 0 0 0 104184 586 0 0 25 0 1 0 179728831 48455680 10478 1992294400 4194304 9342243 548682068736 18446744073709551615 5894296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11830 10478 678 1256 0 10569 0 Current children cumulated CPU time (s) 1047.7 Current children cumulated vsize (KiB) 47320 [startup+1048.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1001 /proc/meminfo: memFree=1238176/2055920 swapFree=4182564/4192956 [pid=1000] ppid=998 vsize=47320 CPUtime=1047.9 /proc/1000/stat : 1000 (pbscip.linux.x8) R 998 1000 32622 0 -1 4194304 162102 0 0 0 104204 586 0 0 25 0 1 0 179728831 48455680 10490 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1000/statm: 11830 10490 679 1256 0 10569 0 Current children cumulated CPU time (s) 1047.9 Current children cumulated vsize (KiB) 47320 Child status: 0 Real time (s): 1048.25 CPU time (s): 1047.96 CPU user time (s): 1042.09 CPU system time (s): 5.87711 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 49656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1042.09 system time used= 5.87711 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 162112 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= 1488 runsolver used 0.749886 second user time and 2.22566 second system time The end
Begin job on node18 at 2009-06-16 05:01:27 IDJOB=1868329 IDBENCH=1331 IDSOLVER=684 FILE ID=node18/1868329-1245121287 PBS_JOBID= 9363673 Free space on /tmp= 66172 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006.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-1868329-1245121287/watcher-1868329-1245121287 -o /tmp/evaluation-result-1868329-1245121287/solver-1868329-1245121287 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868329-1245121287.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cabd29c48249a44c2596bb98645c31c8 RANDOM SEED=1413668409 node18.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.236 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.236 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: 1278216 kB Buffers: 77508 kB Cached: 618156 kB SwapCached: 4192 kB Active: 67068 kB Inactive: 635888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1278216 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 11804 kB Writeback: 0 kB Mapped: 13052 kB Slab: 60796 kB Committed_AS: 135840 kB PageTables: 1376 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= 66164 MiB End job on node18 at 2009-06-16 05:18:55