Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1789.72 | 1790.16 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j605_1-unsat.opb |
MD5SUM | 42cd00962bc65fa4ff073d4ddf5f250d |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 2.82357 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9272 |
Total number of constraints | 29174 |
Number of constraints which are clauses | 28874 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 300 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 35 |
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 | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 231 |
Number of bits of the biggest sum of numbers | 8 |
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.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2704754-1278580634.opb> 0.39/0.45 c original problem has 9272 variables (9272 bin, 0 int, 0 impl, 0 cont) and 29174 constraints 0.39/0.45 c problem read 0.39/0.45 c No objective function, only one solution is needed. 0.39/0.45 c presolving settings loaded 0.59/0.61 c presolving: 1.89/1.95 c (round 1) 1943 del vars, 5207 del conss, 1295 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1562106 impls, 0 clqs 2.49/2.52 c (round 2) 4349 del vars, 14013 del conss, 3544 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1573949 impls, 0 clqs 2.49/2.59 c (round 3) 5238 del vars, 17845 del conss, 4038 chg bounds, 62 chg sides, 46 chg coeffs, 0 upgd conss, 1578050 impls, 0 clqs 2.59/2.63 c (round 4) 5619 del vars, 19146 del conss, 4252 chg bounds, 82 chg sides, 68 chg coeffs, 0 upgd conss, 1581016 impls, 0 clqs 2.59/2.66 c (round 5) 5782 del vars, 19770 del conss, 4322 chg bounds, 82 chg sides, 68 chg coeffs, 0 upgd conss, 1582358 impls, 0 clqs 2.59/2.67 c (round 6) 5839 del vars, 20005 del conss, 4359 chg bounds, 82 chg sides, 68 chg coeffs, 0 upgd conss, 1582560 impls, 0 clqs 2.59/2.67 c (round 7) 5839 del vars, 20038 del conss, 4359 chg bounds, 82 chg sides, 68 chg coeffs, 0 upgd conss, 1582560 impls, 0 clqs 2.69/2.77 c (round 8) 5839 del vars, 20038 del conss, 4359 chg bounds, 82 chg sides, 68 chg coeffs, 9136 upgd conss, 1582560 impls, 0 clqs 2.79/2.87 c (round 9) 5839 del vars, 20038 del conss, 4359 chg bounds, 90 chg sides, 148 chg coeffs, 9136 upgd conss, 1586066 impls, 231 clqs 2.89/2.93 c (round 10) 5839 del vars, 20038 del conss, 4359 chg bounds, 92 chg sides, 188 chg coeffs, 9136 upgd conss, 1586066 impls, 252 clqs 2.89/2.96 c (round 11) 5839 del vars, 20038 del conss, 4359 chg bounds, 95 chg sides, 211 chg coeffs, 9136 upgd conss, 1586066 impls, 252 clqs 2.99/3.00 c presolving (12 rounds): 2.99/3.00 c 5839 deleted vars, 20038 deleted constraints, 4359 tightened bounds, 0 added holes, 95 changed sides, 220 changed coefficients 2.99/3.00 c 1586066 implications, 254 cliques 2.99/3.00 c presolved problem has 3433 variables (3433 bin, 0 int, 0 impl, 0 cont) and 9136 constraints 2.99/3.00 c 245 constraints of type <knapsack> 2.99/3.00 c 7315 constraints of type <setppc> 2.99/3.00 c 1576 constraints of type <logicor> 2.99/3.00 c transformed objective value is always integral (scale: 1) 2.99/3.00 c Presolving Time: 2.44 2.99/3.00 c - non default parameters ---------------------------------------------------------------------- 2.99/3.00 c # SCIP version 1.2.1.3 2.99/3.00 c 2.99/3.00 c # frequency for displaying node information lines 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 100] 2.99/3.00 c display/freq = 10000 2.99/3.00 c 2.99/3.00 c # maximal time in seconds to run 2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 2.99/3.00 c limits/time = 1789.55 2.99/3.00 c 2.99/3.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 2.99/3.00 c limits/memory = 1620 2.99/3.00 c 2.99/3.00 c # solving stops, if the given number of solutions were found (-1: no limit) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: -1] 2.99/3.00 c limits/solutions = 1 2.99/3.00 c 2.99/3.00 c # maximal number of separation rounds per node (-1: unlimited) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 5] 2.99/3.00 c separating/maxrounds = 1 2.99/3.00 c 2.99/3.00 c # maximal number of separation rounds in the root node (-1: unlimited) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: -1] 2.99/3.00 c separating/maxroundsroot = 5 2.99/3.00 c 2.99/3.00 c # default clock type (1: CPU user seconds, 2: wall clock time) 2.99/3.00 c # [type: int, range: [1,2], default: 1] 2.99/3.00 c timing/clocktype = 2 2.99/3.00 c 2.99/3.00 c # should presolving try to simplify inequalities 2.99/3.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.99/3.00 c constraints/linear/simplifyinequalities = TRUE 2.99/3.00 c 2.99/3.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 2.99/3.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.99/3.00 c constraints/indicator/addCouplingCons = TRUE 2.99/3.00 c 2.99/3.00 c # should disaggregation of knapsack constraints be allowed in preprocessing? 2.99/3.00 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 2.99/3.00 c constraints/knapsack/disaggregation = FALSE 2.99/3.00 c 2.99/3.00 c # should presolving try to simplify knapsacks 2.99/3.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 2.99/3.00 c constraints/knapsack/simplifyinequalities = TRUE 2.99/3.00 c 2.99/3.00 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: -1] 2.99/3.00 c presolving/probing/maxrounds = 0 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 10] 2.99/3.00 c heuristics/coefdiving/freq = -1 2.99/3.00 c 2.99/3.00 c # maximal fraction of diving LP iterations compared to node LP iterations 2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.99/3.00 c heuristics/coefdiving/maxlpiterquot = 0.075 2.99/3.00 c 2.99/3.00 c # additional number of allowed LP iterations 2.99/3.00 c # [type: int, range: [0,2147483647], default: 1000] 2.99/3.00 c heuristics/coefdiving/maxlpiterofs = 1500 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 30] 2.99/3.00 c heuristics/crossover/freq = -1 2.99/3.00 c 2.99/3.00 c # number of nodes added to the contingent of the total nodes 2.99/3.00 c # [type: longint, range: [0,9223372036854775807], default: 500] 2.99/3.00 c heuristics/crossover/nodesofs = 750 2.99/3.00 c 2.99/3.00 c # number of nodes without incumbent change that heuristic should wait 2.99/3.00 c # [type: longint, range: [0,9223372036854775807], default: 200] 2.99/3.00 c heuristics/crossover/nwaitingnodes = 100 2.99/3.00 c 2.99/3.00 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 2.99/3.00 c # [type: real, range: [0,1], default: 0.1] 2.99/3.00 c heuristics/crossover/nodesquot = 0.15 2.99/3.00 c 2.99/3.00 c # minimum percentage of integer variables that have to be fixed 2.99/3.00 c # [type: real, range: [0,1], default: 0.666] 2.99/3.00 c heuristics/crossover/minfixingrate = 0.5 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 20] 2.99/3.00 c heuristics/feaspump/freq = -1 2.99/3.00 c 2.99/3.00 c # additional number of allowed LP iterations 2.99/3.00 c # [type: int, range: [0,2147483647], default: 1000] 2.99/3.00 c heuristics/feaspump/maxlpiterofs = 2000 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 10] 2.99/3.00 c heuristics/fracdiving/freq = -1 2.99/3.00 c 2.99/3.00 c # maximal fraction of diving LP iterations compared to node LP iterations 2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.99/3.00 c heuristics/fracdiving/maxlpiterquot = 0.075 2.99/3.00 c 2.99/3.00 c # additional number of allowed LP iterations 2.99/3.00 c # [type: int, range: [0,2147483647], default: 1000] 2.99/3.00 c heuristics/fracdiving/maxlpiterofs = 1500 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 10] 2.99/3.00 c heuristics/guideddiving/freq = -1 2.99/3.00 c 2.99/3.00 c # maximal fraction of diving LP iterations compared to node LP iterations 2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.99/3.00 c heuristics/guideddiving/maxlpiterquot = 0.075 2.99/3.00 c 2.99/3.00 c # additional number of allowed LP iterations 2.99/3.00 c # [type: int, range: [0,2147483647], default: 1000] 2.99/3.00 c heuristics/guideddiving/maxlpiterofs = 1500 2.99/3.00 c 2.99/3.00 c # maximal fraction of diving LP iterations compared to node LP iterations 2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.99/3.00 c heuristics/intdiving/maxlpiterquot = 0.075 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 10] 2.99/3.00 c heuristics/intshifting/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 10] 2.99/3.00 c heuristics/linesearchdiving/freq = -1 2.99/3.00 c 2.99/3.00 c # maximal fraction of diving LP iterations compared to node LP iterations 2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.99/3.00 c heuristics/linesearchdiving/maxlpiterquot = 0.075 2.99/3.00 c 2.99/3.00 c # additional number of allowed LP iterations 2.99/3.00 c # [type: int, range: [0,2147483647], default: 1000] 2.99/3.00 c heuristics/linesearchdiving/maxlpiterofs = 1500 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 1] 2.99/3.00 c heuristics/nlp/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 20] 2.99/3.00 c heuristics/objpscostdiving/freq = -1 2.99/3.00 c 2.99/3.00 c # maximal fraction of diving LP iterations compared to total iteration number 2.99/3.00 c # [type: real, range: [0,1], default: 0.01] 2.99/3.00 c heuristics/objpscostdiving/maxlpiterquot = 0.015 2.99/3.00 c 2.99/3.00 c # additional number of allowed LP iterations 2.99/3.00 c # [type: int, range: [0,2147483647], default: 1000] 2.99/3.00 c heuristics/objpscostdiving/maxlpiterofs = 1500 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 1] 2.99/3.00 c heuristics/oneopt/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 10] 2.99/3.00 c heuristics/pscostdiving/freq = -1 2.99/3.00 c 2.99/3.00 c # maximal fraction of diving LP iterations compared to node LP iterations 2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.99/3.00 c heuristics/pscostdiving/maxlpiterquot = 0.075 2.99/3.00 c 2.99/3.00 c # additional number of allowed LP iterations 2.99/3.00 c # [type: int, range: [0,2147483647], default: 1000] 2.99/3.00 c heuristics/pscostdiving/maxlpiterofs = 1500 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 0] 2.99/3.00 c heuristics/rens/freq = -1 2.99/3.00 c 2.99/3.00 c # minimum percentage of integer variables that have to be fixable 2.99/3.00 c # [type: real, range: [0,1], default: 0.5] 2.99/3.00 c heuristics/rens/minfixingrate = 0.3 2.99/3.00 c 2.99/3.00 c # number of nodes added to the contingent of the total nodes 2.99/3.00 c # [type: longint, range: [0,9223372036854775807], default: 500] 2.99/3.00 c heuristics/rens/nodesofs = 2000 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 20] 2.99/3.00 c heuristics/rootsoldiving/freq = -1 2.99/3.00 c 2.99/3.00 c # maximal fraction of diving LP iterations compared to node LP iterations 2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 2.99/3.00 c heuristics/rootsoldiving/maxlpiterquot = 0.015 2.99/3.00 c 2.99/3.00 c # additional number of allowed LP iterations 2.99/3.00 c # [type: int, range: [0,2147483647], default: 1000] 2.99/3.00 c heuristics/rootsoldiving/maxlpiterofs = 1500 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 1] 2.99/3.00 c heuristics/rounding/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 10] 2.99/3.00 c heuristics/shifting/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 1] 2.99/3.00 c heuristics/simplerounding/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 0] 2.99/3.00 c heuristics/trivial/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 1] 2.99/3.00 c heuristics/trysol/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 10] 2.99/3.00 c heuristics/veclendiving/freq = -1 2.99/3.00 c 2.99/3.00 c # maximal fraction of diving LP iterations compared to node LP iterations 2.99/3.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 2.99/3.00 c heuristics/veclendiving/maxlpiterquot = 0.075 2.99/3.00 c 2.99/3.00 c # additional number of allowed LP iterations 2.99/3.00 c # [type: int, range: [0,2147483647], default: 1000] 2.99/3.00 c heuristics/veclendiving/maxlpiterofs = 1500 2.99/3.00 c 2.99/3.00 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 1] 2.99/3.00 c heuristics/zirounding/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 0] 2.99/3.00 c separating/cmir/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: 0] 2.99/3.00 c separating/flowcover/freq = -1 2.99/3.00 c 2.99/3.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 2.99/3.00 c # [type: int, range: [-1,2147483647], default: -1] 2.99/3.00 c separating/rapidlearning/freq = 0 2.99/3.00 c 2.99/3.00 c ----------------------------------------------------------------------------------------------- 2.99/3.00 c start solving 2.99/3.00 c 8.69/8.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 8.69/8.75 c 8.3s| 1 | 0 | 4226 | - | 50M| 0 |1960 |3433 |9136 |3433 |9136 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 35.37/35.43 c 35.0s| 1 | 0 | 7055 | - | 52M| 0 |2306 |3433 |9968 |3433 |9305 | 169 | 0 | 0 | 0.000000e+00 | -- | Inf 50.06/50.10 c 49.6s| 1 | 0 | 10049 | - | 52M| 0 |2412 |3433 |9968 |3433 |9386 | 250 | 0 | 0 | 0.000000e+00 | -- | Inf 65.46/65.58 c 65.1s| 1 | 0 | 12927 | - | 52M| 0 |2526 |3433 |9968 |3433 |9426 | 290 | 0 | 0 | 0.000000e+00 | -- | Inf 82.86/82.93 c 82.5s| 1 | 0 | 15913 | - | 52M| 0 |2547 |3433 |9968 |3433 |9463 | 327 | 0 | 0 | 0.000000e+00 | -- | Inf 98.25/98.32 c 97.9s| 1 | 0 | 18233 | - | 52M| 0 |2601 |3433 |9968 |3433 |9514 | 378 | 0 | 0 | 0.000000e+00 | -- | Inf 133.64/133.72 c 133s| 1 | 2 | 18233 | - | 52M| 0 |2601 |3433 |9968 |3433 |9514 | 378 | 0 | 10 | 0.000000e+00 | -- | Inf 1789.54/1790.01 c 1789.54/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1789.54/1790.01 c Solving Time (sec) : 1789.56 1789.54/1790.01 c Solving Nodes : 197 1789.54/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1789.54/1790.01 c Dual Bound : +0.00000000000000e+00 1789.54/1790.01 c Gap : infinite 1789.54/1790.01 s UNKNOWN 1789.54/1790.01 c SCIP Status : solving was interrupted [time limit reached] 1789.54/1790.01 c Solving Time : 1789.56 1789.54/1790.01 c Original Problem : 1789.54/1790.01 c Problem name : HOME/instance-2704754-1278580634.opb 1789.54/1790.01 c Variables : 9272 (9272 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.54/1790.01 c Constraints : 29174 initial, 29174 maximal 1789.54/1790.01 c Presolved Problem : 1789.54/1790.01 c Problem name : t_HOME/instance-2704754-1278580634.opb 1789.54/1790.01 c Variables : 3433 (3433 binary, 0 integer, 0 implicit integer, 0 continuous) 1789.54/1790.01 c Constraints : 9136 initial, 10205 maximal 1789.54/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1789.54/1790.01 c trivial : 0.01 387 0 0 0 0 0 0 0 1789.54/1790.01 c dualfix : 0.03 56 0 0 0 0 0 0 0 1789.54/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1789.54/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1789.54/1790.01 c implics : 0.03 0 0 0 0 0 0 0 0 1789.54/1790.01 c probing : 0.00 0 0 0 0 0 0 0 0 1789.54/1790.01 c knapsack : 0.10 0 0 0 0 0 0 13 152 1789.54/1790.01 c setppc : 0.06 0 0 0 0 0 0 0 0 1789.54/1790.01 c linear : 2.04 3972 1424 0 4359 0 20038 82 68 1789.54/1790.01 c logicor : 0.07 0 0 0 0 0 0 0 0 1789.54/1790.01 c root node : - 0 - - 0 - - - - 1789.54/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1789.54/1790.01 c integral : 0 0 0 134 0 0 4 0 0 262 1789.54/1790.01 c knapsack : 245 5 2085 0 1 24 14416 426 0 0 1789.54/1790.01 c setppc : 7315 5 2061 0 1 10 31097 0 0 0 1789.54/1790.01 c linear : 0+ 5 2049 0 0 2 287 22 0 0 1789.54/1790.01 c logicor : 1576+ 5 1754 0 1 38 6685 0 0 0 1789.54/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0 1789.54/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1789.54/1790.01 c integral : 812.69 0.00 0.00 812.69 0.00 1789.54/1790.01 c knapsack : 0.20 0.02 0.18 0.00 0.00 1789.54/1790.01 c setppc : 0.85 0.01 0.85 0.00 0.00 1789.54/1790.01 c linear : 0.57 0.01 0.57 0.00 0.00 1789.54/1790.01 c logicor : 0.13 0.00 0.13 0.00 0.00 1789.54/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1789.54/1790.01 c Propagators : Time Calls Cutoffs DomReds 1789.54/1790.01 c vbounds : 0.00 1 0 0 1789.54/1790.01 c rootredcost : 0.00 0 0 0 1789.54/1790.01 c pseudoobj : 0.00 0 0 0 1789.54/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1789.54/1790.01 c propagation : 0.02 74 72 456 27.7 9 5.7 - 1789.54/1790.01 c infeasible LP : 0.07 19 19 215 89.1 0 0.0 0 1789.54/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1789.54/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1789.54/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1789.54/1790.01 c applied globally : - - - 277 42.3 - - - 1789.54/1790.01 c applied locally : - - - 0 0.0 - - - 1789.54/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1789.54/1790.01 c cut pool : 0.00 4 - - 5 - (maximal pool size: 182) 1789.54/1790.01 c redcost : 0.03 135 0 0 0 0 1789.54/1790.01 c impliedbounds : 0.05 5 0 0 258 0 1789.54/1790.01 c intobj : 0.00 0 0 0 0 0 1789.54/1790.01 c cgmip : 0.00 0 0 0 0 0 1789.54/1790.01 c gomory : 15.91 5 0 0 816 0 1789.54/1790.01 c strongcg : 15.99 5 0 0 816 0 1789.54/1790.01 c cmir : 0.00 0 0 0 0 0 1789.54/1790.01 c flowcover : 0.00 0 0 0 0 0 1789.54/1790.01 c clique : 1.13 5 0 0 37 0 1789.54/1790.01 c zerohalf : 0.00 0 0 0 0 0 1789.54/1790.01 c mcf : 1.41 5 0 0 19 0 1789.54/1790.01 c rapidlearning : 7.61 1 0 0 0 832 1789.54/1790.01 c Pricers : Time Calls Vars 1789.54/1790.01 c problem variables: 0.00 0 0 1789.54/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1789.54/1790.01 c relpscost : 812.69 134 0 4 0 0 262 1789.54/1790.01 c pscost : 0.00 0 0 0 0 0 0 1789.54/1790.01 c inference : 0.00 1 0 0 0 0 2 1789.54/1790.01 c mostinf : 0.00 0 0 0 0 0 0 1789.54/1790.01 c leastinf : 0.00 0 0 0 0 0 0 1789.54/1790.01 c fullstrong : 0.00 0 0 0 0 0 0 1789.54/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0 1789.54/1790.01 c random : 0.00 0 0 0 0 0 0 1789.54/1790.01 c Primal Heuristics : Time Calls Found 1789.54/1790.01 c LP solutions : 0.00 - 0 1789.54/1790.01 c pseudo solutions : 0.00 - 0 1789.54/1790.02 c trivial : 0.02 1 0 1789.54/1790.02 c simplerounding : 0.00 0 0 1789.54/1790.02 c zirounding : 0.00 0 0 1789.54/1790.02 c rounding : 0.00 0 0 1789.54/1790.02 c shifting : 0.00 0 0 1789.54/1790.02 c intshifting : 0.00 0 0 1789.54/1790.02 c oneopt : 0.00 0 0 1789.54/1790.02 c twoopt : 0.00 0 0 1789.54/1790.02 c fixandinfer : 0.00 0 0 1789.54/1790.02 c feaspump : 0.00 0 0 1789.54/1790.02 c coefdiving : 0.00 0 0 1789.54/1790.02 c pscostdiving : 0.00 0 0 1789.54/1790.02 c fracdiving : 0.00 0 0 1789.54/1790.02 c veclendiving : 0.00 0 0 1789.54/1790.02 c intdiving : 0.00 0 0 1789.54/1790.02 c actconsdiving : 0.00 0 0 1789.54/1790.02 c objpscostdiving : 0.00 0 0 1789.54/1790.02 c rootsoldiving : 0.00 0 0 1789.54/1790.02 c linesearchdiving : 0.00 0 0 1789.54/1790.02 c guideddiving : 0.00 0 0 1789.54/1790.02 c octane : 0.00 0 0 1789.54/1790.02 c rens : 0.00 0 0 1789.54/1790.02 c rins : 0.00 0 0 1789.54/1790.02 c localbranching : 0.00 0 0 1789.54/1790.02 c mutation : 0.00 0 0 1789.54/1790.02 c crossover : 0.00 0 0 1789.54/1790.02 c dins : 0.00 0 0 1789.54/1790.02 c undercover : 0.00 0 0 1789.54/1790.02 c nlp : 0.00 0 0 1789.54/1790.02 c trysol : 0.00 0 0 1789.54/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec 1789.54/1790.02 c primal LP : 0.03 0 0 0.00 0.00 1789.54/1790.02 c dual LP : 928.91 159 327745 2061.29 352.83 1789.54/1790.02 c lex dual LP : 0.00 0 0 0.00 - 1789.54/1790.02 c barrier LP : 0.00 0 0 0.00 - 1789.54/1790.02 c diving/probing LP: 0.00 0 0 0.00 - 1789.54/1790.02 c strong branching : 812.56 282 276311 979.83 340.05 1789.54/1790.02 c (at root node) : - 10 10000 1000.00 - 1789.54/1790.02 c conflict analysis: 0.00 0 0 0.00 - 1789.54/1790.02 c B&B Tree : 1789.54/1790.02 c number of runs : 1 1789.54/1790.02 c nodes : 197 1789.54/1790.02 c nodes (total) : 197 1789.54/1790.02 c nodes left : 35 1789.54/1790.02 c max depth : 20 1789.54/1790.02 c max depth (total): 20 1789.54/1790.02 c backtracks : 62 (31.5%) 1789.54/1790.02 c delayed cutoffs : 33 1789.54/1790.02 c repropagations : 169 (16760 domain reductions, 28 cutoffs) 1789.54/1790.02 c avg switch length: 3.80 1789.54/1790.02 c switching time : 0.54 1789.54/1790.02 c Solution : 1789.54/1790.02 c Solutions found : 0 (0 improvements) 1789.54/1790.02 c Primal Bound : - 1789.54/1790.02 c Dual Bound : +0.00000000000000e+00 1789.54/1790.02 c Gap : infinite 1789.54/1790.02 c Root Dual Bound : +0.00000000000000e+00 1789.54/1790.02 c Root Iterations : 18233 1789.64/1790.16 c Time complete: 1789.7.
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-2704754-1278580634/watcher-2704754-1278580634 -o /tmp/evaluation-result-2704754-1278580634/solver-2704754-1278580634 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704754-1278580634.opb -t 1800 -m 1800 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.01 0.96 3/106 501 /proc/meminfo: memFree=1784512/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=5692 CPUtime=0 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 730 0 0 0 0 0 0 0 18 0 1 0 26269845 5828608 644 1992294400 4194304 8395647 140735026365968 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/501/statm: 1423 649 305 1026 0 393 0 [startup+0.0679811 s] /proc/loadavg: 1.00 1.01 0.96 3/106 501 /proc/meminfo: memFree=1784512/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=15628 CPUtime=0.06 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 3203 0 0 0 5 1 0 0 20 0 1 0 26269845 16003072 3114 1992294400 4194304 8395647 140735026365968 18446744073709551615 4424487 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/501/statm: 3907 3115 390 1026 0 2877 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15628 [startup+0.101983 s] /proc/loadavg: 1.00 1.01 0.96 3/106 501 /proc/meminfo: memFree=1784512/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=18244 CPUtime=0.09 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 3845 0 0 0 8 1 0 0 20 0 1 0 26269845 18681856 3756 1992294400 4194304 8395647 140735026365968 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/501/statm: 4561 3756 390 1026 0 3531 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18244 [startup+0.301001 s] /proc/loadavg: 1.00 1.01 0.96 3/106 501 /proc/meminfo: memFree=1784512/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=22812 CPUtime=0.29 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 5004 0 0 0 28 1 0 0 20 0 1 0 26269845 23359488 4915 1992294400 4194304 8395647 140735026365968 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/501/statm: 5703 4915 390 1026 0 4673 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22812 [startup+0.701036 s] /proc/loadavg: 1.00 1.01 0.96 3/106 501 /proc/meminfo: memFree=1784512/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=63036 CPUtime=0.69 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 15066 0 0 0 64 5 0 0 21 0 1 0 26269845 64548864 14623 1992294400 4194304 8395647 140735026365968 18446744073709551615 6080701 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 15759 14623 469 1026 0 14729 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 63036 [startup+1.5011 s] /proc/loadavg: 1.00 1.01 0.96 2/107 502 /proc/meminfo: memFree=1709360/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=100724 CPUtime=1.49 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 24372 0 0 0 141 8 0 0 23 0 1 0 26269845 103141376 23929 1992294400 4194304 8395647 140735026365968 18446744073709551615 6080349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 25181 23929 469 1026 0 24151 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 100724 [startup+3.10125 s] /proc/loadavg: 1.00 1.01 0.96 2/107 502 /proc/meminfo: memFree=1679228/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=125372 CPUtime=3.09 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 30291 0 0 0 299 10 0 0 25 0 1 0 26269845 128380928 29802 1992294400 4194304 8395647 140735026365968 18446744073709551615 6496300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 31343 29802 584 1026 0 30313 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 125372 [startup+6.30152 s] /proc/loadavg: 1.08 1.03 0.96 2/107 502 /proc/meminfo: memFree=1663480/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=128244 CPUtime=6.29 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 31281 0 0 0 616 13 0 0 25 0 1 0 26269845 131321856 30735 1992294400 4194304 8395647 140735026365968 18446744073709551615 6698327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 32061 30735 581 1026 0 31031 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 128244 [startup+12.7011 s] /proc/loadavg: 1.07 1.03 0.96 2/107 502 /proc/meminfo: memFree=1662364/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=128812 CPUtime=12.69 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 31517 0 0 0 1254 15 0 0 25 0 1 0 26269845 131903488 30970 1992294400 4194304 8395647 140735026365968 18446744073709551615 6197330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 32203 30970 593 1026 0 31173 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 128812 [startup+25.5012 s] /proc/loadavg: 1.06 1.02 0.96 2/107 502 /proc/meminfo: memFree=1606316/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=186728 CPUtime=25.49 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 45640 0 0 0 2511 38 0 0 25 0 1 0 26269845 191209472 45093 1992294400 4194304 8395647 140735026365968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 46682 45093 621 1026 0 45652 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 186728 [startup+51.1014 s] /proc/loadavg: 1.04 1.02 0.96 2/107 502 /proc/meminfo: memFree=1602348/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=51.06 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46730 0 0 0 5055 51 0 0 25 0 1 0 26269845 194301952 46028 1992294400 4194304 8395647 140735026365968 18446744073709551615 6440946 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46028 631 1026 0 46407 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 189748 [startup+102.309 s] /proc/loadavg: 1.01 1.02 0.96 2/107 504 /proc/meminfo: memFree=1602224/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=102.26 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46731 0 0 0 10159 67 0 0 25 0 1 0 26269845 194301952 46029 1992294400 4194304 8395647 140735026365968 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46029 632 1026 0 46407 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 189748 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.96 3/108 509 /proc/meminfo: memFree=1581376/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=162.24 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46732 0 0 0 16142 82 0 0 25 0 1 0 26269845 194301952 46030 1992294400 4194304 8395647 140735026365968 18446744073709551615 6696247 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46030 633 1026 0 46407 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 189748 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 511 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=222.22 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46732 0 0 0 22127 95 0 0 25 0 1 0 26269845 194301952 46030 1992294400 4194304 8395647 140735026365968 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46030 633 1026 0 46407 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 189748 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 511 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=282.2 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46732 0 0 0 28109 111 0 0 25 0 1 0 26269845 194301952 46030 1992294400 4194304 8395647 140735026365968 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46030 633 1026 0 46407 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 189748 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 513 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=342.2 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46732 0 0 0 34092 128 0 0 25 0 1 0 26269845 194301952 46030 1992294400 4194304 8395647 140735026365968 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46030 633 1026 0 46407 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 189748 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 515 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=402.18 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46732 0 0 0 40076 142 0 0 25 0 1 0 26269845 194301952 46030 1992294400 4194304 8395647 140735026365968 18446744073709551615 6664884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46030 633 1026 0 46407 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 189748 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 517 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=462.16 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46732 0 0 0 46061 155 0 0 25 0 1 0 26269845 194301952 46030 1992294400 4194304 8395647 140735026365968 18446744073709551615 6702063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46030 633 1026 0 46407 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 189748 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 519 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=522.14 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46732 0 0 0 52044 170 0 0 25 0 1 0 26269845 194301952 46030 1992294400 4194304 8395647 140735026365968 18446744073709551615 6693794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46030 633 1026 0 46407 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 189748 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 519 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=582.14 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46732 0 0 0 58027 187 0 0 25 0 1 0 26269845 194301952 46030 1992294400 4194304 8395647 140735026365968 18446744073709551615 6693742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46030 633 1026 0 46407 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 189748 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 521 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=642.12 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46735 0 0 0 64011 201 0 0 25 0 1 0 26269845 194301952 46033 1992294400 4194304 8395647 140735026365968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46033 633 1026 0 46407 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 189748 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1002.03 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 99911 292 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6636379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 189748 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 533 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1062.02 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 105894 308 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6692989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 189748 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 535 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1122 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 111875 325 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6697262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 189748 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 535 /proc/meminfo: memFree=1601728/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1181.99 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 117858 341 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6670318 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 189748 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 537 /proc/meminfo: memFree=1601604/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1241.98 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 123841 357 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6697980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 189748 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 539 /proc/meminfo: memFree=1601480/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1301.97 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 129822 375 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 189748 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 541 /proc/meminfo: memFree=1601480/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1361.95 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 135804 391 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6390516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 189748 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/107 543 /proc/meminfo: memFree=1601480/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1421.94 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 141786 408 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 189748 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 543 /proc/meminfo: memFree=1601480/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1481.92 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 147769 423 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6696343 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 189748 [startup+1542.3 s] /proc/loadavg: 1.04 1.01 0.97 2/107 545 /proc/meminfo: memFree=1601480/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1541.9 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 153753 437 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6693757 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 189748 [startup+1602.3 s] /proc/loadavg: 1.10 1.04 0.98 2/107 547 /proc/meminfo: memFree=1601480/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1601.89 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 159737 452 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 189748 [startup+1662.3 s] /proc/loadavg: 1.07 1.04 0.98 2/107 549 /proc/meminfo: memFree=1601480/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1661.88 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 165720 468 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6701738 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 189748 [startup+1722.3 s] /proc/loadavg: 1.06 1.05 0.99 2/107 551 /proc/meminfo: memFree=1601480/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1721.86 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 171702 484 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6735858 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 189748 [startup+1782.3 s] /proc/loadavg: 1.11 1.06 1.00 2/107 551 /proc/meminfo: memFree=1601232/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1781.85 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 177682 503 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6696781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 189748 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.10 1.06 1.00 2/107 551 /proc/meminfo: memFree=1601232/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1785.05 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 178001 504 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6739521 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1785.05 Current children cumulated vsize (KiB) 189748 [startup+1788.7 s] /proc/loadavg: 1.10 1.06 1.00 2/107 551 /proc/meminfo: memFree=1601232/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1788.24 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 178320 504 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6754847 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1788.24 Current children cumulated vsize (KiB) 189748 [startup+1789.5 s] /proc/loadavg: 1.10 1.06 1.00 2/107 551 /proc/meminfo: memFree=1601232/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1789.04 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 178400 504 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 7382056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1789.04 Current children cumulated vsize (KiB) 189748 [startup+1789.9 s] /proc/loadavg: 1.10 1.06 1.00 2/107 551 /proc/meminfo: memFree=1601232/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1789.44 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46736 0 0 0 178440 504 0 0 25 0 1 0 26269845 194301952 46034 1992294400 4194304 8395647 140735026365968 18446744073709551615 6754851 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46034 634 1026 0 46407 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (KiB) 189748 [startup+1790.1 s] /proc/loadavg: 1.10 1.06 1.00 2/107 551 /proc/meminfo: memFree=1601232/2059040 swapFree=4139820/4192956 [pid=501] ppid=499 vsize=189748 CPUtime=1789.64 /proc/501/stat : 501 (pbscip.linux.x8) R 499 501 32113 0 -1 4202496 46739 0 0 0 178460 504 0 0 25 0 1 0 26269845 194301952 46037 1992294400 4194304 8395647 140735026365968 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/501/statm: 47437 46037 637 1026 0 46407 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (KiB) 189748 Child status: 0 Real time (s): 1790.16 CPU time (s): 1789.72 CPU user time (s): 1784.65 CPU system time (s): 5.06923 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 189748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.65 system time used= 5.06923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46742 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= 2 involuntary context switches= 10003 runsolver used 2.99254 second user time and 8.41872 second system time The end
Begin job on node055 at 2010-07-08 11:17:14 IDJOB=2704754 IDBENCH=75714 IDSOLVER=1213 FILE ID=node055/2704754-1278580634 PBS_JOBID= 11240072 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_1-unsat.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704754-1278580634/watcher-2704754-1278580634 -o /tmp/evaluation-result-2704754-1278580634/solver-2704754-1278580634 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704754-1278580634.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 42cd00962bc65fa4ff073d4ddf5f250d RANDOM SEED=497646582 node055.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.224 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 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.224 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1785040 kB Buffers: 31072 kB Cached: 154920 kB SwapCached: 6292 kB Active: 126504 kB Inactive: 72892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1785040 kB SwapTotal: 4192956 kB SwapFree: 4139820 kB Dirty: 11364 kB Writeback: 0 kB AnonPages: 11816 kB Mapped: 11948 kB Slab: 52680 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180992 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62572 MiB End job on node055 at 2010-07-08 11:47:04